751 search results - page 6 / 151 » Consistency techniques for interprocedural test data generat... |
74
Voted
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
76
Voted
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
AGENDA is a tool set for testing relational database applications. An earlier prototype was targeted to applications consisting of a single query and included components for popul...
114
Voted
TRUSTBUS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
83
Voted
KBSE
2002
IEEE
15 years 3 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
CEC
2009
IEEE
15 years 5 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...