An approach to symbolic test generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1945, Issue , 2000, Pages 338-357

  Rusu, Vlad ^a   Du Bousquet, Lydie ^a   Jéron, Thierry ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM SYNTHESIS; FORMAL METHODS; TESTING;

INPUT-OUTPUT; PROGRAM SYNTHESIS; REACTIVE PROGRAMS; SYMBOLIC TEST; SYMBOLIC TEST GENERATION; SYSTEM UNDER TEST; TEST GENERATIONS; TEST PURPOSE;

SOFTWARE TESTING;

EID: 84894560040     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-40911-4_20     Document Type: Article

References (22)

1. A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: A simple experiment. In International Workshop on the Testing of Communicating Systems (IWTCS'99), pp 179-196, 1999.
2. S. Bensalem, Y. Lakhnech, and S. Owre. Computing abstractions of infinite state systems sompositionally and automatically. In Computer-Aided Verification (CAV'98), LNCS 1427, pp 319-331, 1998.
3. G. Bernot, M. C. Gaudel, and B. Marre. Software testing based on formal specifications: A theory and a tool. Software Engineering Journal 6(6), pp 387-405, 1991.
4. M. Bozga, J-C. Fernandez, and L. Ghirvu. Using static analysis to improve automatic test generation. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'OO), LNCS 1785, pp 235-250, 2000.
5. E. Brinskma. A theory for the derivation of tests. In Protocol Specification, Testing, and Verification (FORTE/PSTV'98), pp 63-74, 1998.
6. J.-C. Fernandez, C. Jard, T. Jeron, and C. Viho. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming, 29 (1-2): 123-146, 1997.
7. N. Halbwachs, Y.E. Proy, and F. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2): 157-185, 1997.
8. L. Helmink, M. P. A. Sellink, and F. Vaandrager. Proof-checking a data link protocol. In Types for Proofs and Programs, International Workshop (TYPES'94), LNCS 806, pp 127-165, 1994.
9. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer 1:110-122, 1997.
10. C.A.R. Hoare. Communicating sequential processes. Prentice Hall International Series in Computer Science, 1985.
11. ISO/IEC. International Standard 9646-1/2/3, OSI-Open Systems Interconnection, Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework, 1992.
12. C. Jard, T. Jeron and P. Morel. Verification of test suites. To appear in International Conference on the Testing of Communicating Systems (TestCom'00), 2000.
13. T. Jeron and P. Morel. Test generation derived from model-checking. In Computer- Aided Verification (CAV'99), LNCS 1633, pp 108-122, 1999.
14. N. Klarlund and M. Schwartzbach. A Domain-Specific Language for Regular Sets of Strings and Trees. IEEE 'Transactions On Software Engineering 25(3):378-386, 1999.
15. N. Lynch and M. Tuttle. An introduction to input/output automata. CWI Quarterly, 3(2), 1999.
16. J. Tretmans. Test generation with inputs, outputs and quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
17. S. Owre, J. Rusby, N. Shankar, and F. von Ilenke. Formal verification of fault- Tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21(2): 107-125, 1995.
18. P.J. Ramadge, and W.M. Wonham. Supervisory Control of a Class of Discrete- Event Processes. SI AM Journal of Control and Optimization, 25(1):206-230, 1987.
19. S. Rapps and E. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, 2(4):367-375, 1985.
20. R. Shostak. A practical decision procedure for arithmetic with function symbols. Journal of the ACM, 26(2): 351-360, 1979.
21. International Telecommunications Union. B-ISDN SAAL Service-Specific Connection-Oriented Protocol. ITU-T Recommendation Q.2110, 1994.
22. F. Tip. A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en Informatlca, 1994.