Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 15 Issue 3, July 2006

Avoiding coincidental correctness in boundary value analysis
R. M. Hierons
Pages: 227-241
DOI: 10.1145/1151695.1151696
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
Pages: 242-278
DOI: 10.1145/1151695.1151697
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
Pages: 279-328
DOI: 10.1145/1151695.1151698
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...