565 search results - page 19 / 113 » Compositional dynamic test generation |
130
Voted
AADEBUG
2005
Springer
15 years 3 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
ICSE
2000
IEEE-ACM
15 years 5 months ago
2000
IEEE-ACM
Well engineered Web based courseware and exercises provide flexibility and added value to the students, which goes beyond the traditional text book or CD-ROM based courses. The Mu...
136
Voted
WWW
2010
ACM
15 years 8 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
134
click to vote
SCESM
2006
ACM
15 years 7 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
154
Voted
KBSE
2010
IEEE
15 years 9 days ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...