• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 40 matches

• 2020
• 
  Wolfgang Ahrendt, Heike Wehrheim:
  Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12165, Springer 2020, ISBN 978-3-030-50994-1 [contents]
• 2019
• 
  Viet Hoang Le:
  Une couverture Combinant Tests et Preuves pour la Vérification Formelle. (A coverage combining tests and proofs for formal verification). Federal University of Toulouse Midi-Pyrénées, France, 2019
• 
  Dirk Beyer, Chantal Keller:
  Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Lecture Notes in Computer Science 11823, Springer 2019, ISBN 978-3-030-31156-8 [contents]
• 2018
• 
  Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
  Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018)
• 
  Catherine Dubois, Alain Giorgetti:
  Tests and proofs for custom data generators. Formal Aspects Comput. 30(6): 659-684 (2018)
• 
  Catherine Dubois, Burkhart Wolff:
  Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4 [contents]
• 2017
• 
  Sebastian Gabmeyer, Einar Broch Johnsen:
  Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Lecture Notes in Computer Science 10375, Springer 2017, ISBN 978-3-319-61466-3 [contents]
• 2016
• 
  Olli Saarikivi, Keijo Heljanko:
  LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution). TACAS 2016: 927-929
• 
  Catherine Dubois, Alain Giorgetti, Richard Genestier:
  Tests and Proofs for Enumerative Combinatorics. TAP@STAF 2016: 57-75
• 
  Bernhard K. Aichernig, Carlo A. Furia:
  Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7 [contents]
• 2015
• 
  Guillaume Petiot:
  Contribution à la vérification de programmes C par combinaison de tests et de preuves. (Contribution to software verification combining tests and proofs). University of Franche-Comté, Besançon, France, 2015
• 
  Jasmin Christian Blanchette, Nikolai Kosmatov:
  Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. Lecture Notes in Computer Science 9154, Springer 2015, ISBN 978-3-319-21214-2 [contents]
• 2014
• 
  Achim D. Brucker, Jacques Julliand:
  Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing. Softw. Test. Verification Reliab. 24(7): 497-498 (2014)
• 
  Achim D. Brucker, Jacques Julliand:
  Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites. Softw. Test. Verification Reliab. 24(8): 591-592 (2014)
• 
  Charanjit S. Jutla, Arnab Roy:
  Switching Lemma for Bilinear Tests and Constant-Size NIZK Proofs for Linear Subspaces. CRYPTO (2) 2014: 295-312
• 
  Martina Seidl, Nikolai Tillmann:
  Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. Lecture Notes in Computer Science 8570, Springer 2014, ISBN 978-3-319-09098-6 [contents]
• 
  Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
  Kleene Algebra with Tests and Demonic Refinement Algebras. Arch. Formal Proofs 2014 (2014)
• 2013
• 
  Gordon Fraser, Angelo Gargantini:
  Guest editor's introduction to the special section on tests and proofs. Softw. Qual. J. 21(1): 99-100 (2013)
• 
  Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
  From tests to proofs. Int. J. Softw. Tools Technol. Transf. 15(4): 291-303 (2013)
• 
  Aditya V. Nori, Rahul Sharma:
  Termination proofs from tests. ESEC/SIGSOFT FSE 2013: 246-256
• 
  Margus Veanes, Luca Viganò:
  Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Lecture Notes in Computer Science 7942, Springer 2013, ISBN 978-3-642-38915-3 [contents]
• 
  Charanjit S. Jutla, Arnab Roy:
  Switching Lemma for Bilinear Tests and Constant-size NIZK Proofs for Linear Subspaces. IACR Cryptol. ePrint Arch. 2013: 670 (2013)
• 2012
• 
  Achim D. Brucker, Jacques Julliand:
  Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Lecture Notes in Computer Science 7305, Springer 2012, ISBN 978-3-642-30472-9 [contents]
• 2011
• 
  Patrice Godefroid:
  Tests from Proofs. TAP@TOOLS 2011: 14
• 
  Martin Gogolla, Burkhart Wolff:
  Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6706, Springer 2011, ISBN 978-3-642-21767-8 [contents]
• 2010
• 
  Bernhard Beckert, Reiner Hähnle:
  Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. 45(4): 327-329 (2010)
• 
  Michael D. Ernst:
  How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback. TAP@TOOLS 2010: 1-2
• 
  Gordon Fraser, Angelo Gargantini:
  Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, ISBN 978-3-642-13976-5 [contents]
• 2009
• 
  Stefano Guerrini, Andrea Masini:
  Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10(2): 12:1-12:34 (2009)
• 
  Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko:
  From Tests to Proofs. TACAS 2009: 262-276

skipping 10 more matches