ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 15

Volume 15, Number 1, January 2006

Rik Eshuis:
Symbolic model checking of UML activity diagrams. 1-38
Electronic Edition (ACM DL) BibTeX
David A. Basin, Jürgen Doser, Torsten Lodderstedt:
Model driven security: From UML models to access control infrastructures. 39-91
Electronic Edition (ACM DL) BibTeX
Colin F. Snook, Michael J. Butler:
UML-B: Formal modeling and design aided by UML. 92-122
Electronic Edition (ACM DL) BibTeX

Steve Counsell, Stephen Swift, Jason Crampton:
The interpretation and utility of three cohesion metrics for object-oriented design. 123-149
Electronic Edition (ACM DL) BibTeX
Marc Fisher II, Gregg Rothermel, Darren Brown, Mingming Cao, Curtis R. Cook, Margaret M. Burnett:
Integrating automated test generation into the WYSIWYT spreadsheet testing methodology. 150-194
Electronic Edition (ACM DL) BibTeX
Wei Zhao, Lu Zhang, Yin Liu, Jiasu Sun, Fuqing Yang:
SNIAFL: Towards a static noninteractive approach to feature location. 195-226
Electronic Edition (ACM DL) BibTeX

Robert M. Hierons:
Avoiding coincidental correctness in boundary value analysis. 227-241
Electronic Edition (ACM DL) BibTeX
Avik Sinha, Carol Smidts:
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. 242-278
Electronic Edition (ACM DL) BibTeX
Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman:
LIME: A coordination model and middleware supporting mobility of hosts and agents. 279-328
Electronic Edition (ACM DL) BibTeX