{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:08:58Z","timestamp":1781651338744,"version":"3.54.5"},"reference-count":59,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2002.1044538","type":"proceedings-article","created":{"date-parts":[[2005,8,25]],"date-time":"2005-08-25T03:23:34Z","timestamp":1124940214000},"page":"91-101","source":"Crossref","is-referenced-by-count":10,"title":["FORTEST: formal methods and testing"],"prefix":"10.1109","author":[{"given":"J.P.","family":"Bowen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Bogdanov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.A.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Harman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.M.","family":"Hierons","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Krause","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1049\/sej.1996.0040","article-title":"automatic structural testing using genetic algorithms","volume":"11","author":"jones","year":"1996","journal-title":"Software Engineering Journal"},{"key":"36","first-page":"896","article-title":"Verifying consistency and validity of formal specifications by testing","author":"liu","year":"1999","journal-title":"FM '99 Formal Methods Volume I Volume 1708 of Lecture Notes in Computer Science"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1080\/00207169708804559"},{"key":"34","year":"1997","journal-title":"Framework on Formal Methods in Conformance Testing"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1993.324825"},{"key":"37","first-page":"147","article-title":"Breaking and fixing the Needham-Schroeder public-key protocol using FDR","author":"lowe","year":"1996","journal-title":"Tools and Algorithms for Construction and Analysis of Systems Volume 1055 of Lecture Notes in Computer Science"},{"key":"38","first-page":"93","volume":"17","author":"lowe","year":"1996","journal-title":"Software Concepts and Tools"},{"key":"43","author":"myers","year":"1979","journal-title":"The Art of Software Testing"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"},{"key":"41","article-title":"Gedanken-experiments","author":"moore","year":"1956","journal-title":"Automata Studies"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/182987.184075"},{"key":"22","article-title":"Using model checking to generate tests from requirements specifications","author":"gargantini","year":"0","journal-title":"Proc ESEC\/FSE 99 Joint 7th European Software Engineering Conference (ESEC) and 7th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-7) Toulouse France 6-10 September 1999"},{"key":"23","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","article-title":"Testing can be formal too","author":"gaudel","year":"1995","journal-title":"TAPSOFT'95 Theory and Practice of Software Development Volume 915 of Lecture Notes in Computer Science"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312836"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/75308.75313"},{"key":"26","article-title":"Improving evolutionary testing by flag removal","author":"harman","year":"0","journal-title":"Genetic and Evolutionary Computation Conference (GECCO 2002) New York USA July 2002"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2001.921741"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00145-2"},{"key":"3","article-title":"A feasibility study in formal coverage driven test generation","author":"benjamin","year":"0","journal-title":"Proc 36th Design Automation Conference (DAC'99) June 1999"},{"key":"2","first-page":"250","article-title":"The translation of goto programs into while programs","volume":"1","author":"ashcroft","year":"1972","journal-title":"Proc IFIP Congress 71"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(86)90004-X"},{"key":"30","first-page":"1","article-title":"How did software get so reliable without proof?","author":"hoare","year":"1996","journal-title":"FME'96 Industrial Benefit and Advances in Formal Methods Volume 1051 of Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.217"},{"key":"5","author":"bogdanov","year":"2000","journal-title":"Automated Testing of Harel s Statecharts"},{"key":"32","first-page":"152","article-title":"Improving software tests using Z specifications","author":"ho?rcher","year":"0"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.485220"},{"key":"31","author":"holcombe","year":"1998","journal-title":"Correct Systems Building a Business Process Solution"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/2.375178"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/332051.332078"},{"key":"59","author":"wegener","year":"0","journal-title":"Software Engineering Using Metaheuristic Innovative Algorithms"},{"key":"58","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information and Software Technology"},{"key":"57","first-page":"295","article-title":"Reinforced condition\/decision coverage (RC\/DC): A new criterion for software testing","author":"vilkomir","year":"2002","journal-title":"ZB 2002 Formal Specification and Development in Z and B Volume 2272 of Lecture Notes in Computer Science"},{"key":"56","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960638"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"55","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0135-2_12"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199903)9:1<27::AID-STVR172>3.0.CO;2-B"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.4.511"},{"key":"13","article-title":"Automated V&V for high integrity systems: A targeted formal methods approach","author":"burton","year":"0","journal-title":"Proc 5th NASA Langley Formal Methods Workshop June 2000"},{"key":"14","article-title":"Testing, proof and automation: An integrated approach","author":"burton","year":"0","journal-title":"Proc 1st International Workshop of Automated Program Analysis Testing and Verification June 2000"},{"key":"11","article-title":"ZUM'95: The Z formal specification notation","year":"1995","journal-title":"9th International Conference of Z Users Limerick Ireland September 7-9 1995 Proceedings Volume 967 of Lecture Notes in Computer Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"21","first-page":"348","article-title":"Using on-the-fly verification techniques for the generation of test suites","author":"fernandez","year":"1996","journal-title":"Computer Aided Verification 8th International Conference CAV'96 Volume 1102 of Lecture Notes in Computer Science"},{"key":"20","author":"fenton","year":"1991","journal-title":"Software Metrics A Rigorous Approach"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1016\/0140-3664(95)96834-D"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35062-2_10"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200001)30:1<61::AID-SPE292>3.0.CO;2-9"},{"key":"47","first-page":"53","article-title":"Test automation of safety-critical reactive systems","volume":"19","author":"peleska","year":"1997","journal-title":"South African Computer Journal"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3431-2"},{"key":"51","first-page":"137","article-title":"Testing as abstraction","author":"stepney","year":"0"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271792"},{"key":"54","first-page":"169","article-title":"The way forward for unifying dynamic test-case generation: The optimisation-based approach","author":"tracey","year":"1998","journal-title":"Proc International Workshop on Dependable Computing and Its Applications (DCIA)"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1145\/48014.48021"}],"event":{"name":"26th Annual International Computer Software and Applications","location":"Oxford, UK","acronym":"CMPSAC-02"},"container-title":["Proceedings 26th Annual International Computer Software and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8094\/22390\/01044538.pdf?arnumber=1044538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T22:56:07Z","timestamp":1497653767000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1044538\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":59,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2002.1044538","relation":{},"subject":[]}}