enter search term and/or author name
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
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
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
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
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
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
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...