publication list My (partial) publication list by subject.

Boolean expression testing

Arcaini, Paolo, Gargantini, Angelo, and Riccobene, Elvinia
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions
in 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA (Eds. Perry Alexander and Corina S. Pasareanu and John G. Hosking) IEEE (2011): 388 -391 ISBN 978-1-4577-1638-6
[abstract] [download the pdf file] [DOI] [Try the tool at http://fmse.di.unimi.it/atgtBoolean.html]
Gargantini, Angelo
Dealing with Constraints in Boolean Expression Testing
in CSTVA 2011- 3rd Workshop on Constraints in Software Testing, Verification, and Analysis, Berlin, March 25, 2011 (2011): 322 -327
[abstract] [download the pdf file] [DOI]
Gargantini, Angelo, and Fraser, Gordon
Generating Minimal Fault Detecting Test Suites for General Boolean Specifications
in Information and Software Technology, Elsevier, vol. 53 (2011): 1263-1273
[abstract] [read the copyright and download the pdf file] [DOI]
Fraser, Gordon, and Gargantini, Angelo
Generating minimal fault detecting test suites for Boolean expressions
in 6th Workshop on Advances in Model Based Testing A-MOST 2010, Third International Conference on Software Testing, Verification, and Validation Workshops, ParisIEEE Computer Society (2010) ISBN 978-0-7695-4050-4
[abstract] [download the pdf file] [DOI] [See also http://cs.unibg.it/gargantini/research/abstracts/ase2011.html and the supporting tool http://fmse.di.unimi.it/atgtBoolean.html]

Combinatorial testing

Calvagna, Andrea, Gargantini, Angelo, and Vavassori, Paolo
Combinatorial Interaction Testing with CITLAB
in Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool trackIEEE Computer Society, ICST '13 (2013): 376--382 ISBN 978-0-7695-4968-2
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Calvagna, Andrea, Gargantini, Angelo, and Vavassori, Paolo.
Combinatorial Testing for Feature Models Using CitLab
in The 2nd International Workshop on Combinatorial Testing (IWCT 2013) In conjunction with International Conference on Software Testing (ICST 2013, March 18-22) LuxembourgIEEE Computer Society, ICSTW '13 (2013): 338--347 ISBN 978-0-7695-4993-4
[abstract] [read the copyright and download the pdf file] [DOI] [url] [presentation]
Calvagna, Andrea, and Gargantini, Angelo
T-wise combinatorial interaction test suites construction based on coverage inheritance
in Software Testing, Verification and ReliabilityJohn Wiley & Sons, Ltd, vol. 22, n. 7 (2011): 507--526
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Calvagna, Andrea, and Gargantini, Angelo
A Formal Logic Approach to Constrained Combinatorial Testing
in Journal of Automated ReasoningSpringer Netherlands, vol. 45, n. 4 (2010): 331-358
[abstract] [read the copyright and download the pdf file] [DOI] [url]
Calvagna, Andrea, and Gargantini, Angelo
IPO-s: incremental generation of combinatorial interaction test data based on symmetries of covering arrays
in 5th Workshop on Advances in Model Based Testing (A-MOST 2009), Proceedings - International Conference on Software Testing, Verification, and Validation Workshops, Denver, CO (2009)
[abstract] [read the copyright and download the pdf file] [DOI]
Andrea Calvagna, Gargantini, Angelo, and Emiliano Tramontana
Building T-wise Combinatorial Interaction Test Suites by means of Grid computing
in Fifth Workshop on Emerging Technologies for Next generation GRID (ETNGRID-2009) part of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2009) June 29 - July 1, 2009, Groningen (The Netherlands). (2009)
[abstract] [download the pdf file] [DOI]
Calvagna, Andrea, and Gargantini, Angelo
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing
in Third International Conference on Tests And Proofs (TAP) (Eds. Dubois, Catherine) Springer-Verlag, Lecture Notes in Computer Science, vol. 5668 (2009): 27--42 ISBN 978-3-642-02948-6
[abstract] [download the pdf file] [DOI]
Andrea Calvagna, and Gargantini, Angelo
Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints
in Proceedings of AFM Automated Formal Methods - workshop of CAV, 14 July 2008, Princeton, New Jersey, USA (Eds. John Rushby and Natarajan Shankar) (2008)
[abstract] [download the pdf file]
Andrea Calvagna, and Gargantini, Angelo
A Logic-Based Approach to Combinatorial Testing with Constraints
in Tests and Proofs, Second International Conference, TAP, Prato, Italy, April 9-11, 2008. Proceedings (Eds. Bernhard Beckert and Reiner Hähnle) Springer, Lecture Notes in Computer Science, vol. 4966 (2008): 66-83 ISBN 978-3-540-79123-2
[abstract] [read the copyright and download the pdf file] [DOI]

Test generation by model checking

Arcaini, Paolo, Bolis, Francesco, and Gargantini, Angelo
Test Generation for Sequential Nets of Abstract State Machines
in Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Eds. Derrick, John and Fitzgerald, John and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia) Springer Berlin / Heidelberg, LNCS-Lecture Notes in Computer Science, vol. 7316 (2012): 36-50 ISBN 978-3-642-30884-0
[abstract] [read the copyright and download the pdf file] [DOI]
Fraser, Gordon, and Gargantini, Angelo
An Evaluation of Model Checkers for Specification Based Test Case Generation
in 2009 International Conference on Software Testing Verification and Validation (ICST), Denver, CO, 2009 (2009): 41-50
[abstract] [read the copyright and download the pdf file] [DOI]
Gargantini, Angelo, and Heitmeyer, Constance
Using Model Checking to Generate Tests from Requirements Specifications
in Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999 (Eds. Nierstrasz, Oscar and Lemoine, Michel) Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 1687 (1999): 146-162 ISBN 978-3-540-66538-0
[abstract] [read the copyright and download the pdf file] [DOI] [url]

My sw links