2774 search results - page 135 / 555 » Query-Driven Program Testing |
127
click to vote
JUCS
2006
15 years 2 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
130
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
111
click to vote
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
135
click to vote
TRIDENTCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
128
click to vote
DSN
2000
IEEE
15 years 6 months ago
2000
IEEE
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...