Paul Ammann - RankMe

109 papers A* 8A 15B 6C 2Journal 34Unranked 42

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	230, 439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers. CoRR Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell
2024	A	`conf`	230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers. ICST Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell
2024	—	`conf`	A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants. ICSTW Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell
2024	A	`conf`	An Empirical Examination of Fuzzer Mutator Performance. ISSTA James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
2022	A*	`conf`	CONFETTI: Amplifying Concolic Guidance for Fuzzers. ICSE James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
2022	A*	`conf`	Prioritizing Mutants to Guide Mutation Testing. ICSE Samuel J. Kaufman, Ryan Featherman, Justin Alvin, Bob Kurtz, Paul Ammann, René Just
2021	—	`conf`	Practice makes better: quiz retake software to increase student learning. EASEAI@ESEC/SIGSOFT FSE Kesina Baral, Jeff Offutt, Paul Ammann, Rasika Mohod
2020	A*	`conf`	Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. ASE Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just
2020	—	`conf`	Teaching a Testing Concept (JUnit) with Active Learning. ICST Workshops Kesina Baral, Paul Ammann
2019	—	`conf`	Evaluating a Test Automation Decision Support Tool. ICST Workshops Kesina Baral, Rasika Mohod, Jennifer Flamm, Seth Goldrich, Paul Ammann
2019	—	`conf`	Guiding testing effort using mutant utility. ICSE (Companion Volume) Justin Alvin, Bob Kurtz, Paul Ammann, Huzefa Rangwala, René Just
2018	—	`conf`	An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. ICST Workshops Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, René Just
2017	B	`conf`	A Novel Self-Paced Model for Teaching Programming. L@S Jeff Offutt, Paul Ammann, Kinga Dobolyi, Chris Kauffmann, Jaime Lester, Upsorn Praphamontripong, Huzefa Rangwala, Sanjeev Setia, Pearl Y. Wang, Liz White
2017	A	`conf`	Inferring mutant utility from program context. ISSTA René Just, Bob Kurtz, Paul Ammann
2017	J	`jnl`	Mutation operators for testing Android apps. Inf. Softw. Technol. Lin Deng, Jeff Offutt, Paul Ammann, Nariman Mirzaei
2016	—	`conf`	Analyzing the validity of selective mutation with dominator mutants. SIGSOFT FSE Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe
2016	—	`conf`	Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. ICST Workshops Bob Kurtz, Paul Ammann, Jeff Offutt, Mariet Kurtz
2016	J	`jnl`	Barriers to Usable Security? Three Organizational Case Studies. IEEE Secur. Priv. Deanna D. Caputo, Shari Lawrence Pfleeger, M. Angela Sasse, Paul Ammann, Jeff Offutt, Lin Deng
2015	—	`conf`	EcoDroid: An Approach for Energy-Based Ranking of Android Apps. GREENS Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Joshua Garcia, Sam Malek, Paul Ammann
2015	—	`conf`	Static analysis of mutant subsumption. ICST Workshops Bob Kurtz, Paul Ammann, Jeff Offutt
2015	—	`conf`	Towards mutation analysis of Android apps. ICST Workshops Lin Deng, Nariman Mirzaei, Paul Ammann, Jeff Offutt
2014	A	`conf`	Designing Deletion Mutation Operators. ICST Márcio Eduardo Delamaro, Jeff Offutt, Paul Ammann
2014	A	`conf`	Establishing Theoretical Minimal Sets of Mutants. ICST Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt
2014	—	`conf`	Generating Test Data to Distinguish Conjunctive Queries with Equalities. ICST Workshops Preetham Vemasani, Alexander Brodsky, Paul Ammann
2014	—	`conf`	Mutant Subsumption Graphs. ICST Workshops Bob Kurtz, Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt, Lin Deng
2013	J	`jnl`	Improving logic-based testing. J. Syst. Softw. Gary Kaminski, Paul Ammann, Jeff Offutt
2012	A	`conf`	Adding Criteria-Based Tests to Test Driven Development. ICST William Shelton, Nan Li, Paul Ammann, Jeff Offutt
2012	J	`jnl`	Guest Editorial for the Special Issue on Model-Based Testing. Softw. Test. Verification Reliab. Paul Ammann, Gordon Fraser, Franz Wotawa
2011	J	`jnl`	A logic mutation approach to selective mutation for programs and queries. Inf. Softw. Technol. Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
2011	—	`conf`	Better predicate testing. AST@ICSE Gary Kaminski, Paul Ammann, Jeff Offutt
2011	J	`jnl`	Reducing logic test set size while preserving fault detection. Softw. Test. Verification Reliab. Garrett Kent Kaminski, Paul Ammann
2011	—	`conf`	Using abstraction and Web applications to teach criteria-based test design. CSEE&T Jeff Offutt, Nan Li, Paul Ammann, Wuzhi Xu
2010	—	`conf`	An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage. Software Engineering Research and Practice Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt
2010	—	`conf`	Applications of Optimization to Logic Testing. ICST Workshops Garrett Kent Kaminski, Paul Ammann
2010	—	`conf`	Applying MCDC to Large DNF Logic Expressions. Software Engineering Research and Practice Garrett Kent Kaminski, Paul Ammann
2009	J	`jnl`	Issues in using model checkers for test case generation. J. Syst. Softw. Gordon Fraser, Franz Wotawa, Paul Ammann
2009	J	`jnl`	Testing with model checkers: a survey. Softw. Test. Verification Reliab. Gordon Fraser, Franz Wotawa, Paul Ammann
2009	—	`conf`	Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. ICST Workshops Garrett Kent Kaminski, Paul Ammann
2009	A	`conf`	Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. ICST Garrett Kent Kaminski, Paul Ammann
2009	A	`conf`	Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. ICST Garrett Kent Kaminski, Paul Ammann
2008	—	`conf`	Coverage Criteria for State Based Specifications. Formal Methods and Testing Paul Ammann, Jeff Offutt, Wuzhi Xu
2008	—	`book`	Introduction to Software Testing. Paul Ammann, Jeff Offutt
2008	—	`conf`	Reachability and Propagation for LTL Requirements Testing. QSIC Gordon Fraser, Paul Ammann
2008	J	`jnl`	Reconciling perspectives of software logic testing. Softw. Test. Verification Reliab. Garrett Kent Kaminski, Gregory Williams, Paul Ammann
2007	J	`jnl`	Can-Follow Concurrency Control. IEEE Trans. Computers Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann
2007	—	`conf`	Relating counterexamples to test cases in CTL model checking specifications. A-MOST Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser
2006	—	`conf`	A framework for establishing, assessing, and managing trust in inter-organizational relationships. SWS Joseph Pamula, Paul Ammann, Sushil Jajodia, Ronald W. Ritchey
2006	—	`conf`	A weakest-adversary security metric for network configuration security analysis. QoP Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup
2006	C	`conf`	An Algebra for Composing Ontologies. FOIS Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann
2006	—	`conf`	An industrial case study of structural testing applied to safety-critical embedded software. ISESE Jing Guan, Jeff Offutt, Paul Ammann
2006	—	`conf`	BPEL orchestration of secure webmail. SWS Saket Kaushik, Duminda Wijesekera, Paul Ammann
2006	B	`conf`	Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. DBSec Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
2005	A	`conf`	A Host-Based Approach to Network Attack Chaining Analysis. ACSAC Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey
2005	—	`conf`	Email feedback: a policy-based approach to overcoming false positives. FMSE Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann
2005	—	`conf`	Policy-based dissemination of partial web-ontologies. SWS Saket Kaushik, Duminda Wijesekera, Paul Ammann
2004	—	`conf`	A Policy Driven Approach to Email Services. POLICY Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey
2003	A	`conf`	Coverage Criteria for Logical Expressions. ISSRE Paul Ammann, A. Jefferson Offutt, Hong Huang
2003	J	`jnl`	Generating test data from state-based specifications. Softw. Test. Verification Reliab. A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann
2002	J	`jnl`	Recovery from Malicious Transactions. IEEE Trans. Knowl. Data Eng. Paul Ammann, Sushil Jajodia, Peng Liu
2002	A*	`conf`	Scalable, graph-based network vulnerability analysis. CCS Paul Ammann, Duminda Wijesekera, Saket Kaushik
2001	B	`conf`	Using a Model Checker to Test Safety Properties. ICECCS Paul Ammann, Wei Ding, Daling Xu
2000	B	`conf`	Evaluation of Three Specification-Based Testing Criteria. ICECCS Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt
2000	J	`jnl`	Rewriting Histories: Recovering from Malicious Transactions. Distributed Parallel Databases Peng Liu, Paul Ammann, Sushil Jajodia
2000	J	`jnl`	System testing via mutation analysis of model checking specifications. ACM SIGSOFT Softw. Eng. Notes Paul Ammann
2000	—	`conf`	Using Model Checking to Analyze Network Vulnerabilities. S&P Ronald W. Ritchey, Paul Ammann
2000	J	`jnl`	Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity. Inf. Sci. Indrakshi Ray, Paul Ammann, Sushil Jajodia
1999	—	`conf`	A Specification-Based Coverage Metric to Evaluate Test Sets. HASE Paul Ammann, Paul E. Black
1999	J	`jnl`	Computer Security, Fault Tolerance, And Software Assurance. IEEE Concurr. Paul Ammann, Sushil Jajodia
1999	A	`conf`	Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications. ICDCS Peng Liu, Paul Ammann, Sushil Jajodia
1999	J	`jnl`	Surviving Information Warfare Attacks. Computer Sushil Jajodia, Paul Ammann, Catherine D. McCollum
1999	—	`conf`	The Integrity Challenge. IICIS Paul Ammann, Sushil Jajodia
1999	J	`jnl`	Trusted Recovery. Commun. ACM Sushil Jajodia, Catherine D. McCollum, Paul Ammann
1998	J	`jnl`	A Semantic-Based Transaction Processing Model for Multilevel Transactions. J. Comput. Secur. Indrakshi Ray, Paul Ammann, Sushil Jajodia
1998	C	`conf`	Using Model Checking to Generate Tests from Specifications. ICFEM Paul Ammann, Paul E. Black, William Majurski
1997	J	`jnl`	Applying Data Redundancy to Differential Equation Solvers. Ann. Softw. Eng. Paul Ammann, Dahlard L. Lukes, John C. Knight
1997	J	`jnl`	Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. Paul Ammann, Sushil Jajodia, Indrakshi Ray
1997	A	`conf`	Implementing Semantic-Based Decomposition of Transactions. CAiSE Sushil Jajodia, Indrakshi Ray, Paul Ammann
1997	—	`conf`	Maintaining Knowledge Currency in the 21st Century. CSEE&T Paul Ammann, Jeff Offutt
1997	J	`jnl`	Rethinking integrity [distributed databases]. IEEE Concurrency Paul Ammann, Sushil Jajodia
1997	—	`ch.`	Semantic-Based Decomposition of Transactions. Advanced Transaction Models and Architectures Paul Ammann, Sushil Jajodia, Indrakshi Ray
1997	J	`jnl`	Semantics-based transaction processing: satisfying conflicting objectives. IEEE Concurrency Paul Ammann, Sushil Jajodia
1997	—	`conf`	Surviving information warfare attacks on databases. S&P Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein
1996	—	`conf`	Ensuring Atomicity of Multilevel Transactions. S&P Paul Ammann, Sushil Jajodia, Indrakshi Ray
1996	J	`jnl`	Globally Consistent Event Ordering in One-Directional Distributed Environments. IEEE Trans. Parallel Distributed Syst. Paul Ammann, Sushil Jajodia, Phyllis G. Frankl
1996	J	`jnl`	Maintaining Replicated Authorizations in Distributed Database Systems. Data Knowl. Eng. Pierangela Samarati, Paul Ammann, Sushil Jajodia
1996	J	`jnl`	The Expressive Power of Multi-parent Creation in Monotonic Access Control Models. J. Comput. Secur. Paul Ammann, Richard J. Lipton, Ravi S. Sandhu
1995	J	`jnl`	Concurrency Control in a Secure Database via a Two-Snapshot Algorithm. J. Comput. Secur. Paul Ammann, Frank Jaeckle, Sushil Jajodia
1995	J	`jnl`	On-The-Fly Reading of Entire Databases. IEEE Trans. Knowl. Data Eng. Paul Ammann, Sushil Jajodia, Padmaja Mavuluri
1995	J	`jnl`	The Partitioned Synchronization Rule for Planar Extendible Partial Orders. IEEE Trans. Knowl. Data Eng. Paul Ammann, Vijayalakshmi Atluri, Sushil Jajodia
1995	A*	`conf`	Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB Paul Ammann, Sushil Jajodia, Indrakshi Ray
1994	—	`conf`	A Five Year Perspective on Software Engineering Graduate Programs at George Mason University. CSEE Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Ingvar Sandén
1994	A*	`conf`	An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads. CCS Paul Ammann, Sushil Jajodia
1994	—	`conf`	One-Representative Safety Analysis in the Non-Monotonic Transform Model. CSFW Ravi S. Sandhu, Paul Ammann
1994	A*	`conf`	Propagation of Authorizations in Distributed Database Systems. CCS Pierangela Samarati, Paul Ammann, Sushil Jajodia
1994	J	`jnl`	The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. IEEE Trans. Software Eng. Paul Ammann, Susan S. Brilliant, John C. Knight
1993	J	`jnl`	Distributed Timestamp Generation in Planar Lattice Networks. ACM Trans. Comput. Syst. Paul Ammann, Sushil Jajodia
1993	B	`conf`	Planar Lattice Security Structures for Multilevel Replicated Databases. DBSec Paul Ammann, Sushil Jajodia
1992	—	`conf`	A two snapshot algorithm for concurrency control in multi-level secure databases. S&P Paul Ammann, Frank Jaeckle, Sushil Jajodia
1992	A	`conf`	Implementing transaction control expressions by checking for absence of access rights. ACSAC Paul Ammann, Ravi S. Sandhu
1992	—	`conf`	The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model. CSFW Paul Ammann, Richard J. Lipton, Ravi S. Sandhu
1992	J	`jnl`	The Extended Schematic Protection Model J. Comput. Secur. Paul Ammann, Ravi S. Sandhu
1991	B	`conf`	A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases. DBSec Paul Ammann, Sushil Jajodia
1991	A	`conf`	A distributed implementation of the extended schematic protection model. ACSAC Paul Ammann, Ravi S. Sandhu, Gurpreet S. Suri
1991	—	`conf`	Safety Analysis for the Extended Schematic Protection Model. S&P Paul Ammann, Ravi S. Sandhu
1990	A	`conf`	Extending the creation operation in the Schematic Protection Model. ACSAC Paul Ammann, Ravi S. Sandhu
1990	—	`conf`	On the performance of software testing using multiple versions. FTCS Susan S. Brilliant, John C. Knight, Paul Ammann
1989	—	`conf`	Issues Influencing the Use of N-Version Programming. IFIP Congress John C. Knight, Paul Ammann
1988	J	`jnl`	Data Diversity: An Approach to Software Fault Tolerance. IEEE Trans. Computers Paul Ammann, John C. Knight
1985	A*	`conf`	An Experimental Evaluation of Simple Methods for Seeding Program Errors. ICSE John C. Knight, Paul Ammann