enter search term and/or author name
Avoiding coincidental correctness in boundary value analysis
R. M. Hierons
In partition analysis we divide the input domain to form subdomains on which the system's behaviour should be uniform. Boundary value analysis produces test inputs near each subdomain's boundaries to find failures caused by incorrect implementation...
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
Avik Sinha, Carol Smidts
Model-based testing is an effective black-box test generation technique for applications. Existing model-based testing techniques, however, fail to capture implicit domain-specific properties, as they overtly rely on software artifacts such as design...
LIME: A coordination model and middleware supporting mobility of hosts and agents
Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman
LIME (Linda in a mobile environment) is a model and middleware supporting the development of applications that exhibit the physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the...