David Clark

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

Detecting Malware with Information Complexity.

[BibT_eX]

[DOI]

Entropy, 2020

An Empirical Study on Failed Error Propagation in Java Programs with Real Faults.

[BibT_eX]

[DOI]

CoRR, 2020

A Generative Neural Network Framework for Automated Software Testing.

[BibT_eX]

[DOI]

Leonid Joffe

CoRR, 2020

Correctly Slicing Extended Finite State Machines.

[BibT_eX]

[DOI]

Torben Amtoft

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

Ant Colony Optimization for Object-Oriented Unit Test Generation.

[BibT_eX]

[DOI]

Proceedings of the Swarm Intelligence - 12th International Conference, 2020

2019

Normalised Squeeziness and Failed Error Propagation.

[BibT_eX]

[DOI]

Robert M. Hierons

Krishna Patel

Inf. Process. Lett., 2019

The arms race: Adversarial search defeats entropy used to detect malware.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2019

SafeStrings: Representing Strings as Structured Data.

[BibT_eX]

[DOI]

CoRR, 2019

Constructing Search Spaces for Search-Based Software Testing Using Neural Networks.

[BibT_eX]

[DOI]

Leonid Joffe

Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

Dorylus: An Ant Colony Based Tool for Automated Test Case Generation.

[BibT_eX]

[DOI]

Dan Bruce

Héctor D. Menéndez

Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

Directing a Search Towards Execution Properties with a Learned Fitness Function.

[BibT_eX]

[DOI]

Leonid Joffe

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

2018

Picking on the family: Disrupting android malware triage by forcing misclassification.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2018

A comparison of code similarity analysers.

[BibT_eX]

[DOI]

Chaiyong Ragkhitwetsagul

Jens Krinke

Empir. Softw. Eng., 2018

Indexing Operators to Extend the Reach of Symbolic Execution.

[BibT_eX]

[DOI]

CoRR, 2018

OASIs: oracle assessment and improvement tool.

[BibT_eX]

[DOI]

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

2016

ITect: Scalable Information Theoretic Similarity for Malware Detection.

[BibT_eX]

[DOI]

CoRR, 2016

Similarity of Source Code in the Presence of Pervasive Modifications.

[BibT_eX]

[DOI]

Chaiyong Ragkhitwetsagul

Jens Krinke

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Test oracle assessment and improvement.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

A semiring-based trace semantics for processes with applications to information leakage analysis.

[BibT_eX]

[DOI]

Michele Boreale

Daniele Gorla

Math. Struct. Comput. Sci., 2015

Detecting Malware with Information Complexity.

[BibT_eX]

[DOI]

CoRR, 2015

Information Transformation: An Underpinning Theory for Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

An analysis of the relationship between conditional entropy and failed error propagation in software testing.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Amorphous Slicing of Extended Finite State Machines.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Fault localization prioritization: Comparing information-theoretic and coverage-based approaches.

[BibT_eX]

[DOI]

Shin Yoo

Mark Harman

ACM Trans. Softw. Eng. Methodol., 2013

State-based model slicing: A survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2013

2012

Squeeziness: An information theoretic measure for avoiding fault masking.

[BibT_eX]

[DOI]

Robert M. Hierons

Inf. Process. Lett., 2012

2011

Foreword: programming language interference and dependence.

[BibT_eX]

[DOI]

Roberto Giacobazzi

Math. Struct. Comput. Sci., 2011

A Tool: Quantitative Analyser for Programs.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Model projection: simplifying models in response to restricting the environment.

[BibT_eX]

[DOI]

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

2010

An alternative characterization of weak order dependence.

[BibT_eX]

[DOI]

Torben Amtoft

Mark Harman

Zheng Li

Inf. Process. Lett., 2010

2009

An Interval-based Abstraction for Quantifying Information Flow.

[BibT_eX]

[DOI]

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

Control Dependence for Extended Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.

[BibT_eX]

[DOI]

Proceedings of the The Forth International Conference on Availability, 2009

Axiomatic Semantics of State Machines.

[BibT_eX]

[DOI]

Proceedings of the UML 2 Semantics and Applications, 2009

2008

Model Transformation Specification and Verification.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

Non-Interference for Deterministic Interactive Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Semantics and Refinement of Behavior State Machines.

[BibT_eX]

Proceedings of the ICEIS 2008, 2008

2007

Direct Semantics of Extended State Machines.

[BibT_eX]

[DOI]

J. Object Technol., 2007

Special issue on Programming Language Interference and Dependence.

[BibT_eX]

[DOI]

Sebastian Danicic

Roberto Giacobazzi

J. Log. Algebraic Methods Program., 2007

A static analysis for quantifying information flow in a simple imperative language.

[BibT_eX]

[DOI]

J. Comput. Secur., 2007

2005

Quantitative Information Flow, Relations and Polymorphic Types.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Refinement Patterns for UML.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

2004

Quantified Interference for a While Language.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

UML to B: Formal Verification of Object-Oriented Models.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

RSDS, a Subset of UML with Precise Semantics.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2003

2002

Information flow for Algol-like languages.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2002

Safety and Security Analysis of Object-Oriented Models.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2002

From Implicit Specifications to Explicit Designs in Reactive System Development.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2001

Quantitative Analysis of the Leakage of Confidential Data.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

2000

Safety of Strictness Analysis via Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

Invariant-Based Synthesis of Fault-Tolerant Systems.

[BibT_eX]

[DOI]

Pauline Kan

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Structuring and Design of Reactive Systems Using RSDS and B.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1996

Event Structures and Non-Orthogonal Term Graph Rewriting.

[BibT_eX]

[DOI]

Richard Kennaway

Math. Struct. Comput. Sci., 1996

1995

Some properties of non-orthogonal term graph rewriting systems.

[BibT_eX]

[DOI]

Richard Kennaway

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

1994

Static Analysis of Value-Passing Process Calculi.

[BibT_eX]

Lindsay Errington

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

A Lattice of Abstract Graphs.

[BibT_eX]

[DOI]