Sciweavers

3424 search results - page 10 / 685
» Automated Testing of Classes
Sort
View
DLOG
1996
14 years 11 months ago
A New Method for Testing Decision Procedures in Modal and Terminological Logics
Fausto Giunchiglia, Marco Roveri, Roberto Sebastia...
DLOG
2006
14 years 11 months ago
PSPACE Automata for Description Logics
Tree automata are often used for satisfiability testing in the area of description logics, which usually yields ExpTime complexity results. We examine conditions under which this ...
Jan Hladik, Rafael Peñaloza
ISSTA
2010
ACM
15 years 1 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
85
Voted
OSDI
2008
ACM
15 years 9 months ago
Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions
Abstract ? Large enterprise networks consist of thousands of services and applications. The performance and reliability of any particular application may depend on multiple service...
Xu Chen, Ming Zhang, Zhuoqing Morley Mao, Paramvir...
ISSTA
2006
ACM
15 years 3 months ago
Tool support for randomized unit testing
There are several problem areas that must be addressed when applying randomization to unit testing. As yet no general, fully automated solution that works for all units has been p...
James H. Andrews, Susmita Haldar, Yong Lei, Felix ...