4079 search results - page 192 / 816 » Differential Testing for Software |
ESEC
1993
Springer
14 years 1 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy, such as "Program e...
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
FUIN
2006
13 years 9 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
COMPSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...