79 search results - page 9 / 16 » Coverage and adequacy in software product line testing |
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
SE
2007
13 years 8 months ago
2007
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...
SIGSOFT
1998
ACM
13 years 11 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
SIGMOD
2009
ACM
14 years 7 months ago
2009
ACM
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
APL
1998
ACM
13 years 11 months ago
1998
ACM
This article describes our experience with test suites and automated branch coverage tools for APL software maintenance, based on our use of them to verify Y2K compliance of an AP...