355 search results - page 12 / 71 » Validation and Test Generation for Object-Oriented Distribut... |
ICECCS
2002
IEEE
15 years 2 months ago
2002
IEEE
Distributed Java applications represent a large growth area in software. Validating such applications using information from runtime interactions is a challenge. We propose techni...
LISA
2001
14 years 10 months ago
2001
Gossips is a modular client/server based system monitor. It uses distributed monitoring tasks to define and report states of an IT-environment. A monitoring task includes probes t...
127
click to vote
ASWEC
2010
IEEE
14 years 9 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...