783 search results - page 55 / 157 » The Bio-PEPA Tool Suite |
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
Civic networks of community-based organizations face significant challenges in working together to combat issues facing their community (e.g., gang violence, sex trafficking). In ...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—Enterprise networks today host a wide variety of network services, which often depend on each other to provide and support network-based services and applications. Understanding...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Regression testing, as it's commonly practiced, is unsound due to inconsistent test repair and test addition. This paper presents a new technique, differential testing, that ...
ICDE
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...