3639 search results - page 108 / 728 » Experiments on IPv6 Testing |
85
Voted
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Developers write and execute ad-hoc tests as they implement software. While these tests reflect important insights of the developers (e.g., which parts of the software need testi...
97
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
99
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
In ICSE’08 we demonstrated the Java UML Lightweight Enumerator (JULE) tool, which supports compliance test generation from modeling standards specifications. When employed in ou...
135
Voted
PTS
2008
15 years 2 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
133
click to vote
ENTCS
2007
15 years 21 days ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...