{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:39Z","timestamp":1725488619339},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672821"},{"type":"electronic","value":"9783540464198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46419-0_17","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T19:17:25Z","timestamp":1186600645000},"page":"235-250","source":"Crossref","is-referenced-by-count":10,"title":["Using Static Analysis to Improve Automatic Test Generation"],"prefix":"10.1007","author":[{"given":"Marius","family":"Bozga","sequence":"first","affiliation":[]},{"given":"Jean-Claude","family":"Fernandez","sequence":"additional","affiliation":[]},{"given":"Lucian","family":"Ghirvu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"17_CR1","unstructured":"A. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986. 247"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal Test Automation: a Simple Experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12 th International Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 1999. 235","DOI":"10.1007\/978-0-387-35567-2_12"},{"key":"17_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039704","volume-title":"International Conference on Formal Methods in Programming and their Applications","author":"F. Bourdoncle","year":"1993","unstructured":"F. Bourdoncle. Efficient Chaotic Iteration Strategies with Widenings. In International Conference on Formal Methods in Programming and their Applications, volume 735 of LNCS. Springer-Verlag, 1993. 246"},{"key":"17_CR4","series-title":"Lect Notes Comput Sci","volume-title":"SAS","author":"M. Bozga","year":"1999","unstructured":"M. Bozga, J.-C. Fernandez, and L. Ghirvu. State Space Reduction based on Live Variables Analysis. In SAS, volume 1694 of LNCS, Venezia, IT, 1999. 242, 245"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, L. Mounier, and J. Sifakis. IF: An Intermediate Representation for SDL and its Applications. In SDL Forum Proceedings, Montreal, CA, June 1999. 247","DOI":"10.1016\/B978-044450228-5\/50028-X"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. J\u00e9ron, A. Kerbrat, P. Morel, and L. Mounier. Verification and Test Generation for the SSCOP Protocol. Science of Computer Programming, 1999. 247","DOI":"10.1016\/S0167-6423(99)00017-9"},{"key":"17_CR7","unstructured":"E. Brinksma, R. Alderden, R. Langerak, J. Van de Lagemaat, and J. Tretmans. A Formal Approach to Conformance Testing. In J. De Meer, L. Mackert, and W. Effelsberg, editors, 2 nd International Workshop on Protocol Test Systems. North Holland, 1990. 235"},{"key":"17_CR8","unstructured":"P. Cousot and R. Cousot. Comparing the Galois Connection and Widening\/Narrowing Approaches to Abstract Interpretation. Technical report, LIX, Ecole Polytechnique, 91128 Palaiseau Cedex FR, May 1990. 246"},{"key":"17_CR9","series-title":"Technical Report","volume-title":"Data Flow Analysis Frameworks for Concurrent Programs","author":"M. Dwyer","year":"1995","unstructured":"M. Dwyer. Data Flow Analysis Frameworks for Concurrent Programs. Technical Report UM-CS-1995-062, University of Massachusetts at Amherst, US, 1995. 246"},{"key":"17_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 8th International Conference on Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. Using on-the-fly verification techniques for the generation of test suites. In Proceedings of the 8th International Conference on Computer Aided Verification, number 1102 in LNCS. Springer-Verlag, 1996. 237"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0167-6423(96)00036-6","volume":"29","author":"J.-C. Fernandez","year":"1997","unstructured":"J.-C. Fernandez, C. Jard, T. J\u00e9ron, and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, 29, 1997. 235","journal-title":"Science of Computer Programming"},{"key":"17_CR12","unstructured":"International Organization for Standardization. OSI-Open Systems Interconnection, Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework, 1992. Standard ISO\/IEC 9646-1\/2\/3. 235, 236, 239, 246"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"R. Gupta, M.J. Harrold, and M.L. Soffa. Program Slicing-Based Regression Testing Techniques. Journal of Software Testing, Verification and Reliability,, June 1996. 236","DOI":"10.1002\/(SICI)1099-1689(199606)6:2<83::AID-STVR112>3.0.CO;2-9"},{"key":"17_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47018-2","volume-title":"SAS","author":"J. Hatcliff","year":"1999","unstructured":"J. Hatcliff, J. Corbett, M. Dwyer, S. Sokolowski, and H. Zheng. A Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives. In SAS, volume 1694 of LNCS, Venezia, IT, 1999. Springer-Verlag. 236"},{"key":"17_CR15","unstructured":"ITU-T SG 10\/Q.8. ISO\/IEC JTC1\/SC21 WG7. Information Retrieval, Transfer and Management for OSI; Framework: Formal Methods in Conformance Testing. Technical report, International Organization for Standardization-ISO, 1996. 235"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"G. Kildall. A Unified Approach to Global Program Optimization. In ACM Symposium on Principles of Programming Languages, 1973. 246","DOI":"10.1145\/512927.512945"},{"key":"17_CR17","unstructured":"S. Muchnick. Advanced Compiler Design Implementation. Morgan Kaufmann Publishers, 1997. 241, 247"},{"key":"17_CR18","unstructured":"M. Phalippou. Test Sequence using Estelle or SDL Structure Information. In FORTE, Berne, CH, October 1994. 235, 236"},{"key":"17_CR19","unstructured":"H. Ratschek and J. Rokne. New Computer Methods for Global Optimization. Ellis Horwood, John Wiley, 1988. 246"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"D. Rayner. OSI Conformance Testing. Computer Networks and ISDN Systems, 14, 1987. 236","DOI":"10.1016\/0169-7552(87)90087-0"},{"key":"17_CR21","series-title":"Technical Report","volume-title":"Autolink-A Tool for Automatic and Semi-automatic Test Generation from SDL Specifications","author":"M. Schmitt","year":"1998","unstructured":"M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe. Autolink-A Tool for Automatic and Semi-automatic Test Generation from SDL Specifications. Technical Report A-98-05, Medical Univ. of L\u00fcbeck, DE, 1998. 235"},{"key":"17_CR22","unstructured":"J. Tretmans. A Formal Approach to Conformance Testing. In 6 th International Workshop on Protocols Test Systems, number C-19 in IFIP Transactions, pages 257\u2013276, 1994. 235, 236"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"M. Weiser. Program Slicing. IEEE Transactions on Software Engineering, SE-10(4), July 1984. 236","DOI":"10.1109\/TSE.1984.5010248"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46419-0_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T17:07:14Z","timestamp":1556730434000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46419-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672821","9783540464198"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-46419-0_17","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}