Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Java Ranger at SV-COMP 2020 (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Java Ranger: statically summarizing regions for efficient symbolic execution of Java.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools.

[BibT_eX]

[DOI]

Alexander Leid

Brink van der Merwe

Proceedings of the SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020

Graft: Static Analysis of Java Bytecode with Graph Databases.

[BibT_eX]

[DOI]

Wim Keirsgieter

Proceedings of the SAICSIT '20: Conference of the South African Institute of Computer Scientists and Information Technologists 2020, 2020

Constraint Caching Revisited.

[BibT_eX]

[DOI]

Jan Taljaard

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Improving Symbolic Automata Learning with Concolic Execution.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

Globalised vs averaged: Bias and ranking performance on the author level.

[BibT_eX]

[DOI]

J. Informetrics, 2019

On the interplay between normalisation, bias, and performance of paper impact metrics.

[BibT_eX]

[DOI]

J. Informetrics, 2019

Symbolic Pathfinder for SV-COMP - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Java Pathfinder at SV-COMP 2019 (Competition Contribution).

[BibT_eX]

[DOI]

Cyrille Artho

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Towards Model Checking Android Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2018

Author ranking evaluation at scale.

[BibT_eX]

[DOI]

J. Informetrics, 2018

How to evaluate rankings of academic entities using test data.

[BibT_eX]

[DOI]

J. Informetrics, 2018

Monte Carlo Tree Search for Finding Costly Paths in Programs.

[BibT_eX]

[DOI]

Kasper Søe Luckow

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Test input generation with Java PathFinder: then and now (invited talk abstract).

[BibT_eX]

[DOI]

Sarfraz Khurshid

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Software Engineering Research at the International Conference on Software Engineering in 2016.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2017

Veritesting Challenges in Symbolic Execution of Java.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2017

Addressing challenges in obtaining high coverage when model checking Android applications.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

S3: syntax- and semantic-guided repair synthesis via programming by examples.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Probabilistic programming for Java using symbolic execution and model counting.

[BibT_eX]

[DOI]

Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017

SymInfer: inferring program invariants using symbolic states.

[BibT_eX]

[DOI]

ThanhVu Nguyen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

JFIX: semantics-based repair of Java programs via symbolic PathFinder.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Writing good software engineering research papers: revisited.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

StateComparator: Detecting Unbounded Variables Using JPF.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Evaluating paper and author ranking algorithms using impact and contribution awards.

[BibT_eX]

[DOI]

J. Informetrics, 2016

Field-exhaustive testing.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

What makes killing a mutant hard.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Environment Modeling Using Runtime Values for JPF-Android.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2015

Generation of Library Models for Verification of Android Applications.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2015

SE 2014: Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering.

[BibT_eX]

[DOI]

Computer, 2015

Model Counting for Complex Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Statistical Symbolic Execution with Informed Sampling.

[BibT_eX]

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Probabilistic Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014

Execution and property specifications for JPF-android.

[BibT_eX]

[DOI]

Heila van der Merwe

Brink van der Merwe

ACM SIGSOFT Softw. Eng. Notes, 2014

Reliability Analysis in Symbolic Pathfinder: A brief summary.

[BibT_eX]

[DOI]

Antonio Filieri

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Compositional solution space quantification for probabilistic software analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Exact and approximate probabilistic symbolic execution for nondeterministic programs.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Software engineering and automated deduction.

[BibT_eX]

[DOI]

Nikolaj S. Bjørner

Natarajan Shankar

Proceedings of the on Future of Software Engineering, 2014

2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2013

Revision of the SE 2004 curriculum model.

[BibT_eX]

[DOI]

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Bounded Lazy Initialization.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

A hands-on Java PathFinder tutorial.

[BibT_eX]

[DOI]

Peter C. Mehlitz

Neha Rungta

Proceedings of the 35th International Conference on Software Engineering, 2013

Reliability analysis in symbolic pathfinder.

[BibT_eX]

[DOI]

Antonio Filieri

Proceedings of the 35th International Conference on Software Engineering, 2013

Town hall discussion of SE 2004 revisions (panel).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Workshop on revisions to SE 2004.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012

The hidden models of model checking.

[BibT_eX]

[DOI]

Michael W. Whalen

Softw. Syst. Model., 2012

Verifying android applications using Java PathFinder.

[BibT_eX]

[DOI]

Heila van der Merwe

Brink van der Merwe

ACM SIGSOFT Softw. Eng. Notes, 2012

Green: reducing, reusing and recycling constraints in program analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Symbolic execution of programs with strings.

[BibT_eX]

[DOI]

Gideon Redelinghuys

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Automated coverage calculation and test case generation.

[BibT_eX]

[DOI]

G. C. Morrison

Cornelia P. Inggs

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Comparing paper ranking algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Test-case generation and bug-finding through symbolic execution.

[BibT_eX]

[DOI]

Willem Bester

Cornelia P. Inggs

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

Probabilistic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2011

Symbolic execution with mixed concrete-symbolic solving.

[BibT_eX]

[DOI]

Neha Rungta

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Infinitely Often Testing - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Symbolic execution for software testing in practice: preliminary assessment.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Guest Editorial.

[BibT_eX]

[DOI]

Andrew Ireland

Autom. Softw. Eng., 2010

Impendulo: debugging the programmer.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

FITE - Future Integrated Testing Environment.

[BibT_eX]

[DOI]

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

2009

A survey of new trends in symbolic execution for software testing and analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2009

Symbolic execution with abstraction.

[BibT_eX]

[DOI]

Saswat Anand

Int. J. Softw. Tools Technol. Transf., 2009

Property-based Slicing for Agent Verification.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

Who Really Cares If the Program Crashes?.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2009

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.

[BibT_eX]

[DOI]

Neha Rungta

Eric G. Mercer

Proceedings of the Model Checking Software, 2009

2007

Predicate Abstraction with Under-Approximation Refinement.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2007

JPF-SE: A Symbolic Execution Extension to Java PathFinder.

[BibT_eX]

[DOI]

Saswat Anand

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Variably interprocedural program analysis for runtime error detection.

[BibT_eX]

[DOI]

Aaron Tomb

Guillaume P. Brat

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Formal Software Analysis Emerging Trends in Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

Symbolic Execution and Model Checking for Testing.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Verifying Multi-agent Programs by Model Checking.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2006

Symbolic Execution with Abstract Subsumption Checking.

[BibT_eX]

[DOI]

Saswat Anand

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Test input generation for java containers using state matching.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

06172 Abstracts Collection -- Directed Model Checking.

[BibT_eX]

[DOI]

Stefan Edelkamp

Stefan Leue

Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

06172 Executive Summary -- Directed Model Checking.

[BibT_eX]

[DOI]

Stefan Edelkamp

Stefan Leue

Proceedings of the Directed Model Checking, 26.04. - 29.04.2006, 2006

2005

Combining test case generation and runtime verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Foreword.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2005

Preface.

[BibT_eX]

[DOI]

Byron Cook

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Model Checking Programs with Java PathFinder.

[BibT_eX]

[DOI]

Peter C. Mehlitz

Proceedings of the Model Checking Software, 2005

Test input generation for red-black trees using abstraction.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Concrete Model Checking with Abstract Matching and Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Model Checking Real Time Java Using Java PathFinder.

[BibT_eX]

[DOI]

Gary Lindstrom

Peter C. Mehlitz

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Heuristics for model checking Java programs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.

[BibT_eX]

[DOI]

Guillaume P. Brat

Doron Drusinsky

Dimitra Giannakopoulou

Formal Methods Syst. Des., 2004

Model Checking Rational Agents.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2004

Verification of Java Programs Using Symbolic Execution and Invariant Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

Analyzing Interaction Orderings with Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Test input generation with java PathFinder.

[BibT_eX]

[DOI]

Sarfraz Khurshid

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

State-Space Reduction Techniques in Agent Verification.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

2003

Finding feasible abstract counter-examples.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

SoftMC 2003: Workshop on Software Model Checking.

[BibT_eX]

[DOI]

Byron Cook

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Model Checking Programs.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2003

Generalized Symbolic Execution for Model Checking and Testing.

[BibT_eX]

[DOI]

Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

What Went Wrong: Explaining Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2003

Verifiable Multi-agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.

[BibT_eX]

[DOI]

Mats Per Erik Heimdahl

Proceedings of the Formal Approaches to Software Testing, 2003

Model Checking Multi-Agent Programs with CASP.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Experiments with Test Case Generation and Runtime Analysis.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2003

2002

Program model checking as a new trend.

[BibT_eX]

[DOI]

Klaus Havelund

Int. J. Softw. Tools Technol. Transf., 2002

Heuristic Model Checking for Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Model checking Java programs using structural heuristics.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000).

[BibT_eX]

Softw. Test. Verification Reliab., 2001

Automated analysis, verification and testing.

[BibT_eX]

[DOI]

Softw. Focus, 2001

The first international workshop on automated program analysis, testing and verification.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Software Model Checking 2001, 2001

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems.

[BibT_eX]

[DOI]

Charles Pecheur

Reid G. Simmons

AI Mag., 2001

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Addressing Dynamic Issues of Program Model Checking.

[BibT_eX]

[DOI]

Flavio Lerda

Proceedings of the Model Checking Software, 2001

Combining Static Analysis and Model Checking for Software Analysis.

[BibT_eX]

[DOI]

Guillaume P. Brat

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

The Second International Workshop on Automated Program Analysis, Testing and Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Tool-Supported Program Abstraction for Finite-State Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Practical CTL<sup>*</sup> Model Checking: Should SPIN be Extended?

[BibT_eX]

[DOI]

Howard Barringer

Int. J. Softw. Tools Technol. Transf., 2000

Model Checking Programs.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Verification of time partitioning in the DEOS scheduler kernel.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Using predicate abstraction to reduce object-oriented programs for model checking.

[BibT_eX]

[DOI]

Seungjoon Park

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1997

Efficient CTL* model checking for analysis of rainbow designs.

[BibT_eX]

Proceedings of the Advances in Hardware Design and Verification, 1997

1996

Memory efficient state storage in Spin.

[BibT_eX]

[DOI]