{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:57Z","timestamp":1750307937230,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,29]],"date-time":"2009-07-29T00:00:00Z","timestamp":1248825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,29]]},"DOI":"10.1145\/1626553.1626560","type":"proceedings-article","created":{"date-parts":[[2009,10,6]],"date-time":"2009-10-06T18:23:22Z","timestamp":1254853402000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Testing and fault tolerance approach for distributed software systems using nematode worms"],"prefix":"10.1145","author":[{"given":"Ahmed","family":"Berbar","sequence":"first","affiliation":[{"name":"LSI FEI USTHB, Alger Algerie"}]},{"given":"Mohamed","family":"Ahmednacer","sequence":"additional","affiliation":[{"name":"LSI FEI USTHB, Alger Algerie"}]}],"member":"320","published-online":{"date-parts":[[2009,7,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"G\u00e9nie logiciel et test logiciels.DESS OANNIS Parissis 2002 G\u00e9nie logiciel et test logiciels .DESS OANNIS Parissis 2002"},{"key":"e_1_3_2_1_2_1","unstructured":"Athanasou. A. Performance differences on an untimed test: some Australian and New Zealand data from high school pupils and job applicants Copyright2008 INIST-CNRS.  Athanasou. A. Performance differences on an untimed test: some Australian and New Zealand data from high school pupils and job applicants Copyright2008 INIST-CNRS."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Lionel C. Bri And Ro Morasca An Operational Process for Goal-Driven Definition of Measures IEEE Computer Society 2002.  Lionel C. Bri And Ro Morasca An Operational Process for Goal-Driven Definition of Measures IEEE Computer Society 2002.","DOI":"10.1109\/TSE.2002.1158285"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Lionel C. Bri And Ro Morasca An Operational Process for Goal-Driven Definition of Measures Ieee Computer Society 2002.  Lionel C. Bri And Ro Morasca An Operational Process for Goal-Driven Definition of Measures Ieee Computer Society 2002.","DOI":"10.1109\/TSE.2002.1158285"},{"key":"e_1_3_2_1_5_1","unstructured":"Lionel C. Bri&Ro Morasca An Operational Process for Goal-Driven Definition of Measures IEEE 2002.  Lionel C. Bri&Ro Morasca An Operational Process for Goal-Driven Definition of Measures IEEE 2002."},{"key":"e_1_3_2_1_6_1","unstructured":"Khaled El Emmam Saida beniarbi nishith Goel and Shesh Rai A validation of object oriented metrics October 1999  Khaled El Emmam Saida beniarbi nishith Goel and Shesh Rai A validation of object oriented metrics October 1999"},{"key":"e_1_3_2_1_7_1","unstructured":"Peter Lindsay Reasoning about Z specifications: a VDM perspective.; Software Verification Research Centre ; St Lucia Queensland 4072 Australia. 2005.  Peter Lindsay Reasoning about Z specifications: a VDM perspective .; Software Verification Research Centre ; St Lucia Queensland 4072 Australia. 2005."},{"key":"e_1_3_2_1_8_1","unstructured":"A. Jefferson Offutt Yiwei Xiong and Shaoying Liu. Criteria for generating specification-based test. Information and Software Engineering Faculty of Information Sciences; George Mason University Hiroshima City University. 1999  A. Jefferson Offutt Yiwei Xiong and Shaoying Liu. Criteria for generating specification-based test . Information and Software Engineering Faculty of Information Sciences; George Mason University Hiroshima City University. 1999"},{"key":"e_1_3_2_1_9_1","unstructured":"Sergio Yovine ftp:\/\/ftp.imag.fr\/pub\/SPECTRE\/KRONOS\/articles\/rts:embedded97.ps.gz 2000  Sergio Yovine ftp:\/\/ftp.imag.fr\/pub\/SPECTRE\/KRONOS\/articles\/rts:embedded97.ps.gz 2000"},{"volume-title":"APSEC 2001","year":"2001","author":"Alagar S.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","unstructured":"A. Berbar and M. Ahmed Nacer. Architecture de test pour les syst\u00e8mes distribu\u00e9s. SNIB mai 2004 Biskra ALGERIE  A. Berbar and M. Ahmed Nacer. Architecture de test pour les syst\u00e8mes distribu\u00e9s . SNIB mai 2004 Biskra ALGERIE"},{"volume-title":"ISTIA 2002","author":"Nasra","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","unstructured":"Dominique M Ery Yassine Mokhtari. Validation of formal specifications. LORIA-UMR7503; Univ Henri Poincar\u00e9.  Dominique M Ery Yassine Mokhtari. Validation of formal specifications . LORIA-UMR7503; Univ Henri Poincar\u00e9."},{"key":"e_1_3_2_1_14_1","unstructured":"Thomas Pareaud. Adaptation de la tol\u00e9rance aux fautes \u00e0 l'ex\u00e9cution. EDSys 2007 8eme congr\u00e8s des doctorants  Thomas Pareaud. Adaptation de la tol\u00e9rance aux fautes \u00e0 l'ex\u00e9cution . EDSys 2007 8eme congr\u00e8s des doctorants"},{"key":"e_1_3_2_1_15_1","unstructured":"J. B Stefani and S. Krakowiak. Tol\u00e9rance aux fautes: principes et m\u00e9canismes. INRIA Universit\u00e9 Joseph Fourier  J. B Stefani and S. Krakowiak. Tol\u00e9rance aux fautes: principes et m\u00e9canismes . INRIA Universit\u00e9 Joseph Fourier"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Roberto Baldoni Jean-Michel Helary and Michel Raynal. Mutually Consistent Recording in Asynchronous Computations. Rapport interne IRISA 1996  Roberto Baldoni Jean-Michel Helary and Michel Raynal. Mutually Consistent Recording in Asynchronous Computations . Rapport interne IRISA 1996","DOI":"10.1145\/248052.248058"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Gr\u00e9gorie Jacob Herv\u00e9 Debar and Eric Filiol. Behavioral detection of malware: from a survey towards an established taxonomy. Journal in computer Virology Volume 4 Number 3 Aout 2008 Springer Paris  Gr\u00e9gorie Jacob Herv\u00e9 Debar and Eric Filiol. Behavioral detection of malware: from a survey towards an established taxonomy . Journal in computer Virology Volume 4 Number 3 Aout 2008 Springer Paris","DOI":"10.1007\/s11416-008-0086-0"},{"key":"e_1_3_2_1_18_1","unstructured":"David Aitel. Nematodes -- Beneficial worms V 1.0 Dave@immunitysecsec.com Septembre 2005.  David Aitel. Nematodes -- Beneficial worms V 1.0 Dave@immunitysecsec.com Septembre 2005."},{"key":"e_1_3_2_1_19_1","first-page":"61554","volume":"0","author":"Wilson Robin I.","year":"1990","journal-title":"ISBN"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00134-6"}],"event":{"name":"QTNA '09: International Conference on Queueing Theory and Network Applications","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation"],"location":"Fusionopolis Singapore","acronym":"QTNA '09"},"container-title":["Proceedings of the 4th International Conference on Queueing Theory and Network Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1626553.1626560","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1626553.1626560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:52:10Z","timestamp":1750258330000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1626553.1626560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,29]]},"references-count":20,"alternative-id":["10.1145\/1626553.1626560","10.1145\/1626553"],"URL":"https:\/\/doi.org\/10.1145\/1626553.1626560","relation":{},"subject":[],"published":{"date-parts":[[2009,7,29]]},"assertion":[{"value":"2009-07-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}