Paul Ammann

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Evaluating a Test Automation Decision Support Tool.

[BibT_eX]

[DOI]

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

Guiding testing effort using mutant utility.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions.

[BibT_eX]

[DOI]

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

2017

Mutation operators for testing Android apps.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

A Novel Self-Paced Model for Teaching Programming.

[BibT_eX]

[DOI]

Upsorn Praphamontripong

Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Inferring mutant utility from program context.

[BibT_eX]

[DOI]

René Just

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

2016

Barriers to Usable Security? Three Organizational Case Studies.

[BibT_eX]

[DOI]

Deanna D. Caputo

Shari Lawrence Pfleeger

IEEE Secur. Priv., 2016

Analyzing the validity of selective mutation with dominator mutants.

[BibT_eX]

[DOI]

Mariet Kurtz

Nida Gökçe

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

Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness.

[BibT_eX]

[DOI]

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

2015

Static analysis of mutant subsumption.

[BibT_eX]

[DOI]

Reyhaneh Jabbarvand Behrouz

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Towards mutation analysis of Android apps.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

EcoDroid: An Approach for Energy-Based Ranking of Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Workshop on Green and Sustainable Software, 2015

2014

Generating Test Data to Distinguish Conjunctive Queries with Equalities.

[BibT_eX]

[DOI]

Preetham Vemasani

Alexander Brodsky

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Mutant Subsumption Graphs.

[BibT_eX]

[DOI]

Lin Deng

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Designing Deletion Mutation Operators.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Establishing Theoretical Minimal Sets of Mutants.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Improving logic-based testing.

[BibT_eX]

[DOI]

Gary Kaminski

J. Syst. Softw., 2013

2012

Guest Editorial for the Special Issue on Model-Based Testing.

[BibT_eX]

[DOI]

Franz Wotawa

Softw. Test. Verification Reliab., 2012

Adding Criteria-Based Tests to Test Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Reducing logic test set size while preserving fault detection.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2011

A logic mutation approach to selective mutation for programs and queries.

[BibT_eX]

[DOI]

Upsorn Praphamontripong

Inf. Softw. Technol., 2011

Better predicate testing.

[BibT_eX]

[DOI]

Gary Kaminski

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

Using abstraction and Web applications to teach criteria-based test design.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage.

[BibT_eX]

Upsorn Praphamontripong

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applying MCDC to Large DNF Logic Expressions.

[BibT_eX]

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Applications of Optimization to Logic Testing.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

Testing with model checkers: a survey.

[BibT_eX]

[DOI]

Franz Wotawa

Softw. Test. Verification Reliab., 2009

Issues in using model checkers for test case generation.

[BibT_eX]

[DOI]

Franz Wotawa

J. Syst. Softw., 2009

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Reconciling perspectives of software logic testing.

[BibT_eX]

[DOI]

Gregory Williams

Softw. Test. Verification Reliab., 2008

Reachability and Propagation for LTL Requirements Testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

Coverage Criteria for State Based Specifications.

[BibT_eX]

[DOI]

Wuzhi Xu

Proceedings of the Formal Methods and Testing, 2008

Introduction to Software Testing.

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 978-0-511-80916-3, 2008

2007

Can-Follow Concurrency Control.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2007

Relating counterexamples to test cases in CTL model checking specifications.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

A framework for establishing, assessing, and managing trust in inter-organizational relationships.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

BPEL orchestration of secure webmail.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop On Secure Web Services, 2006

An industrial case study of structural testing applied to safety-critical embedded software.

[BibT_eX]

[DOI]

Jing Guan

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

An Algebra for Composing Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2006

Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems.

[BibT_eX]

[DOI]

William H. Winsborough

Proceedings of the Data and Applications Security XX, 2006

A weakest-adversary security metric for network configuration security analysis.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Quality of Protection, 2006

2005

Policy-based dissemination of partial web-ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop On Secure Web Services, 2005

Email feedback: a policy-based approach to overcoming false positives.

[BibT_eX]

[DOI]

William H. Winsborough

Proceedings of the 2005 ACM workshop on Formal methods in security engineering, 2005

A Host-Based Approach to Network Attack Chaining Analysis.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

A Policy Driven Approach to Email Services.

[BibT_eX]

[DOI]

William H. Winsborough

Ronald W. Ritchey

Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2004), 2004

2003

Generating test data from state-based specifications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2003

Coverage Criteria for Logical Expressions.

[BibT_eX]

[DOI]

A. Jefferson Offutt

Hong Huang

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

2002

Recovery from Malicious Transactions.

[BibT_eX]

[DOI]

Peng Liu

IEEE Trans. Knowl. Data Eng., 2002

Scalable, graph-based network vulnerability analysis.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Conference on Computer and Communications Security, 2002

2001

Using a Model Checker to Test Safety Properties.

[BibT_eX]

[DOI]

Wei Ding

Daling Xu

Proceedings of the 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 2001

2000

System testing via mutation analysis of model checking specifications.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity.

[BibT_eX]

[DOI]

Inf. Sci., 2000

Rewriting Histories: Recovering from Malicious Transactions.

[BibT_eX]

[DOI]

Peng Liu

Distributed Parallel Databases, 2000

Using Model Checking to Analyze Network Vulnerabilities.

[BibT_eX]

[DOI]

Ronald W. Ritchey

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

Evaluation of Three Specification-Based Testing Criteria.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

1999

Computer Security, Fault Tolerance, And Software Assurance.

[BibT_eX]

[DOI]

IEEE Concurr., 1999

Surviving Information Warfare Attacks.

[BibT_eX]

[DOI]

Catherine D. McCollum

Computer, 1999

Trusted Recovery.

[BibT_eX]

[DOI]

Catherine D. McCollum

Commun. ACM, 1999

The Integrity Challenge.

[BibT_eX]

Proceedings of the Integrity and Internal Control in Information Systems, 1999

Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications.

[BibT_eX]

[DOI]

Peng Liu

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

A Specification-Based Coverage Metric to Evaluate Test Sets.

[BibT_eX]

[DOI]

Paul E. Black

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

A Semantic-Based Transaction Processing Model for Multilevel Transactions.

[BibT_eX]

[DOI]

J. Comput. Secur., 1998

Using Model Checking to Generate Tests from Specifications.

[BibT_eX]

[DOI]

Paul E. Black

William Majurski

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Applying Formal Methods to Semantic-Based Decomposition of Transactions.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1997

Rethinking integrity [distributed databases].

[BibT_eX]

[DOI]

IEEE Concurrency, 1997

Semantics-based transaction processing: satisfying conflicting objectives.

[BibT_eX]

[DOI]

IEEE Concurrency, 1997

Applying Data Redundancy to Differential Equation Solvers.

[BibT_eX]

[DOI]

Dahlard L. Lukes

Ann. Softw. Eng., 1997

Surviving information warfare attacks on databases.

[BibT_eX]

[DOI]

Catherine D. McCollum

Barbara T. Blaustein

Proceedings of the 1997 IEEE Symposium on Security and Privacy, 1997

Maintaining Knowledge Currency in the 21st Century.

[BibT_eX]

[DOI]

Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

Implementing Semantic-Based Decomposition of Transactions.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1997

Semantic-Based Decomposition of Transactions.

[BibT_eX]

Proceedings of the Advanced Transaction Models and Architectures, 1997

1996

Globally Consistent Event Ordering in One-Directional Distributed Environments.

[BibT_eX]

[DOI]

Phyllis G. Frankl

IEEE Trans. Parallel Distributed Syst., 1996

The Expressive Power of Multi-parent Creation in Monotonic Access Control Models.

[BibT_eX]

[DOI]

Richard J. Lipton

J. Comput. Secur., 1996

Maintaining Replicated Authorizations in Distributed Database Systems.

[BibT_eX]

[DOI]

Pierangela Samarati

Data Knowl. Eng., 1996

Ensuring Atomicity of Multilevel Transactions.

[BibT_eX]

[DOI]

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

1995

On-The-Fly Reading of Entire Databases.

[BibT_eX]

[DOI]

Padmaja Mavuluri

IEEE Trans. Knowl. Data Eng., 1995

The Partitioned Synchronization Rule for Planar Extendible Partial Orders.

[BibT_eX]

[DOI]

Vijayalakshmi Atluri

IEEE Trans. Knowl. Data Eng., 1995

Concurrency Control in a Secure Database via a Two-Snapshot Algorithm.

[BibT_eX]

[DOI]

Frank Jaeckle

J. Comput. Secur., 1995

Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions.

[BibT_eX]

[DOI]

Proceedings of the VLDB'95, 1995

1994

The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing.

[BibT_eX]

[DOI]

Susan S. Brilliant

IEEE Trans. Software Eng., 1994

One-Representative Safety Analysis in the Non-Monotonic Transform Model.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE Computer Security Foundations Workshop, 1994

A Five Year Perspective on Software Engineering Graduate Programs at George Mason University.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1994

Propagation of Authorizations in Distributed Database Systems.

[BibT_eX]

[DOI]

Pierangela Samarati

Proceedings of the CCS '94, 1994

An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads.

[BibT_eX]

[DOI]

Proceedings of the CCS '94, 1994

1993

Distributed Timestamp Generation in Planar Lattice Networks.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1993

Planar Lattice Security Structures for Multilevel Replicated Databases.

[BibT_eX]

Proceedings of the Database Security, 1993

1992

The Extended Schematic Protection Model

[BibT_eX]

[DOI]

J. Comput. Secur., 1992

A two snapshot algorithm for concurrency control in multi-level secure databases.

[BibT_eX]

[DOI]

Frank Jaeckle

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model.

[BibT_eX]

[DOI]

Richard J. Lipton

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

Implementing transaction control expressions by checking for absence of access rights.

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual Computer Security Applications Conference, 1992

1991

Safety Analysis for the Extended Schematic Protection Model.

[BibT_eX]

[DOI]

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases.

[BibT_eX]

Proceedings of the Database Security, 1991

A distributed implementation of the extended schematic protection model.

[BibT_eX]

[DOI]

Gurpreet S. Suri

Proceedings of the Seventh Annual Computer Security Applications Conference, 1991

1990

On the performance of software testing using multiple versions.

[BibT_eX]

[DOI]

Susan S. Brilliant

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

Extending the creation operation in the Schematic Protection Model.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual Computer Security Applications Conference, 1990

1989

Issues Influencing the Use of N-Version Programming.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Data Diversity: An Approach to Software Fault Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

1985

An Experimental Evaluation of Simple Methods for Seeding Program Errors.

[BibT_eX]

[DOI]