291 search results - page 45 / 59 » Software-Test |
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
In this paper, we propose a method to help users avoid bugs in GUI applications. In particular, users would use the application normally and report bugs that they encounter to pre...
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...
DAGSTUHL
2004
14 years 11 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
115
click to vote
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
14 years 7 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
ECBS
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...