Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 22 Issue 1, February 2013

Editorial—looking back
David Notkin
Article No.: 1
DOI: 10.1145/2430536.2431201

Editorial—looking forward
David S. Rosenblum
Article No.: 2
DOI: 10.1145/2430536.2431202

Modeling and verifying hierarchical real-time systems using stateful timed CSP
Jun Sun, Yang Liu, Jin Song Dong, Yan Liu, Ling Shi, Étienne André
Article No.: 3
DOI: 10.1145/2430536.2430537

Modeling and verifying complex real-time systems are challenging research problems. The de facto approach is based on Timed Automata, which are finite state automata equipped with clock variables. Timed Automata are deficient in modeling...

Views: Synthesizing fine-grained concurrency control
Brian Demsky, Patrick Lam
Article No.: 4
DOI: 10.1145/2430536.2430538

Fine-grained locking is often necessary to increase concurrency. Correctly implementing fine-grained locking with today's concurrency primitives can be challenging—race conditions often plague programs with sophisticated locking schemes.


Facilitating the transition from use case models to analysis models: Approach and experiments
Tao Yue, Lionel C. Briand, Yvan Labiche
Article No.: 5
DOI: 10.1145/2430536.2430539

Use case modeling, including use case diagrams and use case specifications (UCSs), is commonly applied to structure and document requirements. UCSs are usually structured but unrestricted textual documents complying with a certain use case...

Achieving scalable model-based testing through test case diversity
Hadi Hemmati, Andrea Arcuri, Lionel Briand
Article No.: 6
DOI: 10.1145/2430536.2430540

The increase in size and complexity of modern software systems requires scalable, systematic, and automated testing approaches. Model-based testing (MBT), as a systematic and automated test case generation technique, is being successfully applied...

Detecting missing method calls as violations of the majority rule
Martin Monperrus, Mira Mezini
Article No.: 7
DOI: 10.1145/2430536.2430541

When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this article, we provide a comprehensive set of empirical facts on this problem, starting from traces of...

Scaling predictive analysis of concurrent programs by removing trace redundancy
Jeff Huang, Jinguo Zhou, Charles Zhang
Article No.: 8
DOI: 10.1145/2430536.2430542

Predictive trace analysis (PTA) of concurrent programs is powerful in finding concurrency bugs unseen in past program executions. Unfortunately, existing PTA solutions face considerable challenges in scaling to large traces. In this article, we...

Synthesizing nonanomalous event-based controllers for liveness goals
Nicolás D'ippolito, Victor Braberman, Nir Piterman, Sebastián Uchitel
Article No.: 9
DOI: 10.1145/2430536.2430543

We present SGR(1), a novel synthesis technique and methodological guidelines for automatically constructing event-based behavior models. Our approach works for an expressive subset of liveness properties, distinguishes between controlled and...