Abstract State Machines, Alloy, B, TLA, VDM, and Z

State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018 Southampton, UK, June 5–8, 2018 Proceedings

[1]  Koushik Sen,et al.  CodeHint: dynamic and interactive synthesis of code snippets , 2014, ICSE.

[2]  Ruzica Piskac,et al.  Interactive Synthesis of Code Snippets , 2011, CAV.

[3]  Sarfraz Khurshid,et al.  Towards a test automation framework for alloy , 2014, SPIN.

[4]  Peter-Michael Osera,et al.  Type-and-example-directed program synthesis , 2015, PLDI.

[5]  Michael D. Ernst,et al.  Dynamically discovering likely program invariants , 2000 .

[6]  Emina Torlak,et al.  Kodkod: A Relational Model Finder , 2007, TACAS.

[7]  Sarfraz Khurshid,et al.  MuAlloy: A Mutation Testing Framework for Alloy , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

[8]  Rastislav Bodík,et al.  Jungloid mining: helping to navigate the API jungle , 2005, PLDI '05.

[9]  Sanjit A. Seshia,et al.  Sketching stencils , 2007, PLDI '07.

[10]  Sarfraz Khurshid,et al.  Automated Test Generation and Mutation Testing for Alloy , 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[11]  Isil Dillig,et al.  Component-based synthesis for complex APIs , 2017, POPL.

[12]  Sumit Gulwani,et al.  Oracle-guided component-based program synthesis , 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

[13]  Eric Larson,et al.  Generating Evil Test Strings for Regular Expressions , 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[14]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[15]  Sarfraz Khurshid,et al.  AUnit: A Test Automation Tool for Alloy , 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

[16]  Armando Solar-Lezama,et al.  Sketching concurrent data structures , 2008, PLDI '08.

[17]  Sanjit A. Seshia,et al.  Combinatorial sketching for finite programs , 2006, ASPLOS XII.

[18]  Sarfraz Khurshid,et al.  An Automated Approach for Writing Alloy Specifications Using Instances , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[19]  Sumit Gulwani,et al.  Test-driven synthesis , 2014, PLDI.

[20]  Marcelo F. Frias,et al.  TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds , 2013, IEEE Transactions on Software Engineering.

[21]  Kathi Fisler,et al.  Aluminum: Principled scenario exploration through minimality , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[22]  Daniel J. Dougherty,et al.  The power of "why" and "why not": enriching scenario exploration with provenance , 2017, ESEC/SIGSOFT FSE.

[23]  Armando Solar-Lezama,et al.  JSketch: sketching for Java , 2015, ESEC/SIGSOFT FSE.

[24]  Allison Sullivan.  Automated testing and sketching of alloy models , 2017 .

[25]  Rastislav Bodík,et al.  Algorithmic program synthesis: introduction , 2013, International Journal on Software Tools for Technology Transfer.

[26]  Sarfraz Khurshid,et al.  EdSketch: execution-driven sketching for Java , 2017, SPIN.

[27]  Ruzica Piskac,et al.  Complete functional synthesis , 2010, PLDI '10.

[28]  Rajeev Alur,et al.  Syntax-guided synthesis , 2013, 2013 Formal Methods in Computer-Aided Design.

[29]  Manu Sridharan,et al.  Debugging overconstrained declarative models using unsatisfiable cores , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[30]  Rishabh Singh,et al.  Synthesizing data structure manipulations from storyboards , 2011, ESEC/FSE '11.

[31]  Yves Deville,et al.  Logic Program Synthesis , 1994, J. Log. Program..

[32]  Kathi Fisler,et al.  Alchemy: transmuting base alloy specifications into implementations , 2008, SIGSOFT '08/FSE-16.

[33]  Sarfraz Khurshid,et al.  Systematic Generation of Non-equivalent Expressions for Relational Algebra , 2018, ABZ.

[34]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[35]  Viktor Kuncak,et al.  Synthesis modulo recursive functions , 2013, OOPSLA.

[36]  Sumit Gulwani,et al.  Predicting a Correct Program in Programming by Example , 2015, CAV.

[37]  Sarfraz Khurshid,et al.  Evaluating State Modeling Techniques in Alloy , 2017, SQAMIA.

[38]  Viktor Kuncak,et al.  Deductive Program Repair , 2015, CAV.

[39]  Sarfraz Khurshid,et al.  EdSynth: Synthesizing API Sequences with Conditionals and Loops , 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

[40]  Isil Dillig,et al.  Synthesizing data structure transformations from input-output examples , 2015, PLDI.

[41]  Felix Sheng-Ho Chang,et al.  Finding Minimal Unsatisfiable Cores of Declarative Specifications , 2008, FM.

[42]  Armando Solar-Lezama,et al.  Program synthesis by sketching , 2008 .