74 search results - page 5 / 15 » Using Metamorphic Testing to Improve Dynamic Symbolic Execut... |
IASTEDSE
2004
13 years 8 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
FASE
2006
Springer
13 years 10 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
TSE
2010
13 years 5 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
GECCO
2006
Springer
13 years 10 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...