4299 search results - page 181 / 860 » Concurrent Test Generation |
112
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...
147
Voted
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
135
Voted
ICSE
2011
IEEE-ACM
14 years 7 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...
142
Voted
FDTC
2010
Springer
15 years 1 months ago
2010
Springer
The testability of the cryptographic cores brings in an extra dimension to the process of digital circuits testing
128
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...