Structural testing of executables

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 22-31

  Bardin, Sébastien ^a   Herrmann, Philippe ^a  

^a DIF   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); TEST FACILITIES; VERIFICATION;

INTERNATIONAL CONFERENCES; VERIFICATION AND VALIDATION;

SOFTWARE TESTING;

EID: 50649086846     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.8     Document Type: Conference Paper

References (23)

1. K. R. Apt. Principles of Constraint Programming. Cambridge University Press, 2003.
2. K. R. Apt and M. Wallace. Constraint Logic Programming using Eclipse. Cambridge University Press, 2007.
3. B. Botella, A. Gotlieb and C. Michel. Symbolic execution of floating-point computations. In STVR vol. 16, 2006.
4. G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In CC 2004. Springer.
5. G. Balakrishnan, T. Reps, D. Melski and T. Teitelbaum. WYS-INWYX: What You See Is Not What You eXecute. In IFIP Working Conference on Verified Software: Theories, Tools, Experiments. 2005.
6. D. Cyrluk, O. Möller and H. Rué. An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. In CAV 1997, Springer.
7. J. Esparza and S. Schwoon. A BDD-based Model Checker for Recursive Programs. In CAV 2001, Springer.
8. A. Gotlieb, B. Botella and M. Rueher. Automatic Test Data Generation Using Constraint Solving Techniques. In ISSTA 1998. ACM.
9. A. Gotlieb, B. Botella and M. Watel. Inka: Ten years after the first ideas. In ICSSEA 2006.
10. P. Godefroid, N. Klarlund and K. Sen. DART: Directed Automated Random Testing. In PLDI'2005. ACM.
11. P. Godefroid. Compositional dynamic test generation. In POPL 2007. ACM.
12. M. Howard. Some bad news and some good news. Microsoft Developer Network, October 2002, http://msdn2.microsoft.com/en-us/library/ms972826.aspx.
13. B. Marre and A. Arnould. Test sequences generation from LUSTRE descriptions: GATeL. In ASE 2000. IEEE.
14. P. Mouy. Automatisation du test de tous-les-chemins en présence d'appels de fonctions. PhD thesis, INSTN, 2007.
15. Software Considerations in Airborne Systems and Equipment Certification. RTCA 1992.
16. R. Majumdar and K. Sen. Hybrid Concolic Testing. In ICSE 2007. IEEE.
17. T. Reps, S. Schwoon, S. Jha and D. Melski. Weighted pushdown systems and their application to interprocedural dataflow analysis. In SCP, october 2005.
18. A. Stump, C. W. Barret, D. Dill and J. Levitt. A Decision Procedure for an Extensional Theory of Arrays. In LICS 2001, IEEE.
19. D. Suwimonteerabuth, F. Berger, S. Schwoon and J. Esparza. jMoped: A Test Environment for Java programs. In CAV 2007, Springer.
20. K. Sen, D. Marinov and G. Agha. CUTE: A Concolic Unit Testing Engine for C. In ESEC/FSE 2005. ACM.
21. http://www.absint.com/
22. http://www.datarescue.com/
23. N. Williams, B. Marre and P. Mouy. On-the-Fly Generation of K-Path Tests for C Functions. In ASE 2004. IEEE.