355 search results - page 26 / 71 » Validation and Test Generation for Object-Oriented Distribut... |
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
124
Voted
SIGMOD
2012
ACM
12 years 12 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
78
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...
PTS
1998
14 years 10 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
SEMWEB
2005
Springer
15 years 2 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...