444 search results - page 38 / 89 » Using Test Oracles Generated from Program Documentation |
113
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
162
click to vote
DLIB
2002
15 years 1 months ago
2002
In this article we present a method for retrieving documents from a digital library through a visual interface based on automatically generated concepts. We used a vocabulary gene...
105
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
111
click to vote
SAS
2010
Springer
15 years 11 days ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
132
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...