Sciweavers

314 search results - page 32 / 63
» The Complexity of Coverage
Sort
View
WSE
2003
IEEE
15 years 7 months ago
Considering Browser Interaction in Web Application Testing
As web applications evolves, their structure may become more and more complex. Thus, systematic approaches/methods for web application testing are needed. Existing methods take in...
Giuseppe A. Di Lucca, Massimiliano Di Penta
ICSE
2003
IEEE-ACM
15 years 7 months ago
Data Flow Testing as Model Checking
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg S...
ATAL
2008
Springer
15 years 3 months ago
Deployed ARMOR protection: the application of a game theoretic model for security at the Los Angeles International Airport
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
James Pita, Manish Jain, Janusz Marecki, Fernando ...
CAINE
2008
15 years 3 months ago
Parallel Assembler for Fuzzy Genome Sequence Assembly
Assembly is an NP-Hard problem, which involves comparing fragments that have a time complexity of O(n2 ). This paper presents a parallel approach for sequence assembly. The parall...
Sara Nasser, Adrienne Breland, Frederick C. Harris...
EACL
2006
ACL Anthology
15 years 3 months ago
Investigating a Generic Paraphrase-Based Approach for Relation Extraction
Unsupervised paraphrase acquisition has been an active research field in recent years, but its effective coverage and performance have rarely been evaluated. We propose a generic ...
Lorenza Romano, Milen Kouylekov, Idan Szpektor, Id...