1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Alma L. Juarez Dominguez & Nancy A. Day (2013): Generating multiple diverse counterexamples for an EFSM. Technical Report CS-2013-06. University of Waterloo.
  7. Daniel Jackson (2012): Software Abstractions: Logic, Language, and Analysis, 2nd edition. MIT.
  8. 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.
  9. 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.

Comments and questions to:
For website issues: