2419 search results - page 108 / 484 » A Formal Approach to Software Testing |
168
click to vote
OOPSLA
2010
Springer
15 years 16 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
100
click to vote
CACM
2010
15 years 2 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
139
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
CSEE
2004
Springer
15 years 8 months ago
2004
Springer
Domain testing is a stratified sampling strategy for choosing a few test cases from the near infinity of candidate test cases. The strategy goes under several names, such as equiv...
137
Voted
AAI
2006
15 years 2 months ago
2006
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...