Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo & Jeanne Tawa (2018):
Proposition of an Action Layer for Electrum.
In: Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ),
LNCS 10817.
Springer,
pp. 397–402,
doi:10.1007/978-3-319-91271-4_30.
Julien Brunel, David Chemouil, Alcino Cunha & Nuno Macedo (2018):
The Electrum Analyzer: Model checking relational first-order temporal specifications.
In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE).
ACM,
pp. 884–887,
doi:10.1145/3238147.3240475.
Kalou Cabrera Castillos, Hélène Waeselynck & Virginie Wiels (2015):
Show Me New Counterexamples: A Path-Based Approach.
In: Proceedings of the 8th International Conference on Software Testing, Verification and Validation (ICST).
IEEE,
pp. 1–10,
doi:10.1109/ICST.2015.7102606.
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina & Nishant Sinha (2004):
State/Event-Based Software Model Checking.
In: Proceedings of the 4th International Conference on Integrated Formal Methods (iFM),
LNCS 2999.
Springer,
pp. 128–147,
doi:10.1007/978-3-540-24756-2_8.
Marsha Chechik & Arie Gurfinkel (2007):
A framework for counterexample generation and exploration.
International Journal on Software Tools for Technology Transfer 9(5–6),
pp. 429–445,
doi:10.1007/978-3-540-31984-9_17.
Alma L. Juarez Dominguez & Nancy A. Day (2013):
Generating multiple diverse counterexamples for an EFSM.
Technical Report CS-2013-06.
University of Waterloo.
Daniel Jackson (2012):
Software Abstractions: Logic, Language, and Analysis,
2nd edition.
MIT.
Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha & Denis Kuperberg (2016):
Lightweight specification and analysis of dynamic systems with rich configurations.
In: Proceedings of 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE).
ACM,
pp. 373–383,
doi:10.1145/2950290.2950318.
Nuno Macedo, Alcino Cunha & Tiago Guimarães (2015):
Exploring Scenario Exploration.
In: Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE),
LNCS 9033.
Springer,
pp. 301–315,
doi:10.1007/978-3-662-46675-9_20.