5159 search results - page 16 / 1032 » Structural Testing of Executables |
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
CEJCS
2011
12 years 9 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
ICST
2010
IEEE
13 years 8 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...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
ISSTA
2010
ACM
14 years 1 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...