Sciweavers

1134 search results - page 18 / 227
» Composing Tests from Examples
Sort
View
96
Voted
ICDE
2005
IEEE
126views Database» more  ICDE 2005»
15 years 4 months ago
ProtChew: Automatic Extraction of Protein Names from Biomedical Literature
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical inform...
Amund Tveit, Rune Sætre, Astrid Lægrei...
104
Voted
ISSTA
2010
ACM
15 years 28 days ago
OCAT: object capture-based automated testing
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang
181
Voted
CISISSPAIN
2011
14 years 2 months ago
Testing Ensembles for Intrusion Detection: On the Identification of Mutated Network Scans
In last decades there have been many proposals from the machine learning community in the intrusion detection field. One of the main problems that Intrusion Detection Systems (IDSs...
Silvia González, Javier Sedano, Álva...
SOQUA
2004
15 years 9 days ago
Test Oracles Using Statistical Methods
Abstract: The oracle problem is addressed for random testing and testing of randomized software. The presented Statistical Oracle is a Heuristic Oracle using statistical methods, e...
Johannes Mayer, Ralph Guderlei
102
Voted
BPM
2008
Springer
136views Business» more  BPM 2008»
15 years 28 days ago
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...