104 search results - page 7 / 21 » On test repair using symbolic execution |
RTCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
SPIN
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
PTS
2007
13 years 9 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
TAP
2010
Springer
14 years 15 days ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...