Test generation strategies to measure worst-case execution time

Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009

Volumn , Issue , 2009, Pages 88-96

  Williams, Nicky ^a   Roger, Muriel ^a  

^a CEA LIST   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; EXECUTION PATHS; EXECUTION TIME; PARTIAL ORDER; STRUCTURAL TESTS; TECHNIQUES USED; TEST GENERATIONS; TEST INPUTS; WORST-CASE EXECUTION TIME;

COMPUTER SOFTWARE;

TESTING;

EID: 70349669592     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWAST.2009.5069045     Document Type: Conference Paper

References (10)

1. R. Heckmann, M. Langenbach, S. Thesing and R. Wilhelm, The influence of processor architecture on the design and the results of WCET tools, In Proceedings of the IEEE 91(7): 1038-1054 (2003)
2. N. Williams, WCET Measurement using modified Path Testing, In Proc. WCET'05, Palma de Mallorca, Spain, July 2005
3. Meng-Luo Ji, Ji Wang, Shuhao Li and Zhi-Chang Qi, Automated WCET Analysis based on Program Modes, In Proc. AST'06, Shanghai, China, May 2006
4. N. Williams, B. Marre, P. Mouy and M. Roger, PathCrawler: Automatic generation of path tests by combining static and dynamic analysis, In Proc. EDCC- 5, Budapest, April 2005
5. K. Sen, D. Marinov, and G. Agha, Cute: A concolic unit testing engine for C, In Proc. ESEC/FSE'05, Lisbon, Portugal, September 2005
6. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, Exe: automatically generating inputs of death, In Proc. ACM Conference on Computer and Communications Security, 2006
7. P. Mouy, B. Marre, N. Williams and P. Le Gall, Generation of all-paths unit test with function calls, In Proc. ICST'08, Lillehammer, Norway, 2008
8. M. Wallace, S. Novello and J. Schimpf, ECLiPSe: A platform for Constraint Logic Programming, IC Parc, Imperial College, London, Aug 1997
9. S. Anand, P. Godefroid, N. Tillmann, Demand-Driven Compositional Symbolic Execution, In Proc. TACAS 2008, Budapest, Hungary, 2008
10. P. Boonstoppel, Cristian Cadar, Dawson Engler, RWSet: Attacking path explosion in constraint-based test generation, In Proc. TACAS 2008, Budapest, Hungary, March-April 2008