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, Paris, IEEE 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 track, IEEE Computer Society, ICST '13 (2013): 376--382 ISBN 978-0-7695-4968-2 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| 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) Luxembourg, IEEE Computer Society, ICSTW '13 (2013): 338--347 ISBN 978-0-7695-4993-4 [abstract] [read the copyright and download the pdf file] [DOI] [presentation] |
|
| Calvagna, Andrea, and Gargantini, Angelo T-wise combinatorial interaction test suites construction based on coverage inheritance in Software Testing, Verification and Reliability, John Wiley & Sons, Ltd, vol. 22, n. 7 (2011): 507--526 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| Calvagna, Andrea, and Gargantini, Angelo A Formal Logic Approach to Constrained Combinatorial Testing in Journal of Automated Reasoning, Springer Netherlands, vol. 45, n. 4 (2010): 331-358 [abstract] [read the copyright and download the pdf file] [DOI] |
|
| 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, Angelo Gargantini, 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 Angelo Gargantini 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] |
|
| Andrea Calvagna, and Angelo Gargantini 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] |
|