107 search results - page 5 / 22 » Fault Localization with Non-parametric Program Behavior Mode... |
TACAS
2004
Springer
13 years 12 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
CCGRID
2006
IEEE
14 years 20 days ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
ICSOC
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. The modularity of Service-oriented Architectures (SOA) allows to establish complex distributed systems comprising e.g., services, clients, brokers, and workflow engines. ...
DSN
2000
IEEE
13 years 11 months ago
2000
IEEE
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
HASE
2008
IEEE
14 years 1 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....