13 search results - page 1 / 3 » DART: directed automated random testing |
79
Voted
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
99
Voted
EMSOFT
2008
Springer
15 years 20 days ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
85
Voted
CODES
2008
IEEE
15 years 21 days ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
104
Voted
ISSTA
2010
ACM
15 years 27 days ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
81
Voted
ICSE
2011
IEEE-ACM
14 years 2 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...