230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers.

Paul Ammann George Mason University, Fairfax, Virginia, USA http://ise.gmu.edu/~pammann/ https://scholar.google.com/citations?user=-j0V55IAAAAJ https://dl.acm.org/profile/81100513501 https://mathgenealogy.org/id.php?id=67535 https://www.wikidata.org/entity/Q78153354 https://orcid.org/0009-0002-8470-2917 https://www.wikidata.org/entity/Q130926443 Abdulrahman Alshammari Paul Ammann Michael Hilton Jonathan Bell 0001 230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers. 257-268 2024 ICST https://doi.org/10.1109/ICST60714.2024.00031 conf/icst/2024 db/conf/icst/icst2024.html#AlshammariAHB24 streams/conf/icst Abdulrahman Alshammari Paul Ammann Michael Hilton Jonathan Bell 0001 A Study of Flaky Failure De-Duplication to Identify Unreliably Killed Mutants. 257-262 2024 ICSTW https://doi.org/10.1109/ICSTW60967.2024.00054 conf/icst/2024w db/conf/icst/icst2024w.html#AlshammariAHB24a streams/conf/icst James Kukucka Luís Pina Paul Ammann Jonathan Bell 0001 An Empirical Examination of Fuzzer Mutator Performance. 1631-1642 2024 ISSTA https://doi.org/10.1145/3650212.3680387 https://www.wikidata.org/entity/Q130926444 conf/issta/2024 db/conf/issta/issta2024.html#KukuckaPA024

Abdulrahman Alshammari Paul Ammann Michael Hilton Jonathan Bell 0001 230, 439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers. 2024 abs/2401.15788 CoRR https://doi.org/10.48550/arXiv.2401.15788 db/journals/corr/corr2401.html#abs-2401-15788

James Kukucka Luís Pina Paul Ammann Jonathan Bell 0001 CONFETTI: Amplifying Concolic Guidance for Fuzzers. 438-450 2022 ICSE https://doi.org/10.1145/3510003.3510628 conf/icse/2022 db/conf/icse/icse2022.html#KukuckaPA022 Samuel J. Kaufman Ryan Featherman Justin Alvin Bob Kurtz Paul Ammann René Just Prioritizing Mutants to Guide Mutation Testing. 1743-1754 2022 ICSE https://doi.org/10.1145/3510003.3510187 conf/icse/2022 db/conf/icse/icse2022.html#KaufmanFAKAJ22 Kesina Baral Jeff Offutt Paul Ammann Rasika Mohod Practice makes better: quiz retake software to increase student learning. 47-53 2021 EASEAI@ESEC/SIGSOFT FSE https://doi.org/10.1145/3472673.3473965 https://www.wikidata.org/entity/Q130843044 conf/sigsoft/2021easeai db/conf/sigsoft/easeai2021.html#BaralOAM21 Kesina Baral Paul Ammann Teaching a Testing Concept (JUnit) with Active Learning. 411 2020 ICST Workshops https://doi.org/10.1109/ICSTW50294.2020.00073 conf/icst/2020w db/conf/icst/icstw2020.html#BaralA20 Yiqun T. Chen Rahul Gopinath Anita Tadakamalla Michael D. Ernst Reid Holmes Gordon Fraser 0001 Paul Ammann René Just Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. 237-249 2020 ASE https://doi.org/10.1145/3324884.3416667 https://ieeexplore.ieee.org/document/9286102 conf/kbse/2020 db/conf/kbse/ase2020.html#ChenGTEHFAJ20 Justin Alvin Bob Kurtz Paul Ammann Huzefa Rangwala René Just Guiding testing effort using mutant utility. 312-313 2019 ICSE (Companion Volume) https://doi.org/10.1109/ICSE-Companion.2019.00130 https://dl.acm.org/citation.cfm?id=3339800 conf/icse/2019c db/conf/icse/icse2019c.html#AlvinKARJ19 Kesina Baral Rasika Mohod Jennifer Flamm Seth Goldrich Paul Ammann Evaluating a Test Automation Decision Support Tool. 69-76 2019 ICST Workshops https://doi.org/10.1109/ICSTW.2019.00034 conf/icst/2019w db/conf/icst/icstw2019.html#BaralMFGA19 Goran Petrovic Marko Ivankovic Bob Kurtz Paul Ammann René Just An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions. 47-53 2018 ICST Workshops https://doi.ieeecomputersociety.org/10.1109/ICSTW.2018.00027 conf/icst/2018w db/conf/icst/icstw2018.html#PetrovicIKAJ18

Lin Deng 0001 Jeff Offutt Paul Ammann Nariman Mirzaei Mutation operators for testing Android apps. 154-168 2017 81 Inf. Softw. Technol. https://doi.org/10.1016/j.infsof.2016.04.012 https://www.wikidata.org/entity/Q113317196 db/journals/infsof/infsof81.html#DengOAM17

René Just Bob Kurtz Paul Ammann Inferring mutant utility from program context. 284-294 2017 ISSTA https://doi.org/10.1145/3092703.3092732 conf/issta/2017 db/conf/issta/issta2017.html#JustKA17 Jeff Offutt Paul Ammann Kinga Dobolyi Chris Kauffmann Jaime Lester Upsorn Praphamontripong Huzefa Rangwala Sanjeev Setia Pearl Y. Wang Liz White A Novel Self-Paced Model for Teaching Programming. 177-180 2017 L@S https://doi.org/10.1145/3051457.3053978 conf/lats/2017 db/conf/lats/lats2017.html#OffuttADKLPRSWW17

Deanna D. Caputo Shari Lawrence Pfleeger M. Angela Sasse Paul Ammann Jeff Offutt Lin Deng 0001 Barriers to Usable Security? Three Organizational Case Studies. 22-32 2016 14 IEEE Secur. Priv. 5 https://doi.org/10.1109/MSP.2016.95 http://doi.ieeecomputersociety.org/10.1109/MSP.2016.95 db/journals/ieeesp/ieeesp14.html#CaputoPSAOD16

Bob Kurtz Paul Ammann Jeff Offutt Mariet Kurtz Are We There Yet? How Redundant and Equivalent Mutants Affect Determination of Test Completeness. 142-151 2016 ICST Workshops https://doi.org/10.1109/ICSTW.2016.41 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2016.41 conf/icst/2016w db/conf/icst/icstw2016.html#KurtzAOK16 Bob Kurtz Paul Ammann Jeff Offutt Márcio Eduardo Delamaro Mariet Kurtz Nida Gökçe Analyzing the validity of selective mutation with dominator mutants. 571-582 2016 SIGSOFT FSE https://doi.org/10.1145/2950290.2950322 conf/sigsoft/2016 db/conf/sigsoft/fse2016.html#KurtzAODKG16 Reyhaneh Jabbarvand Behrouz Alireza Sadeghi Joshua Garcia Sam Malek Paul Ammann EcoDroid: An Approach for Energy-Based Ranking of Android Apps. 8-14 2015 GREENS https://doi.org/10.1109/GREENS.2015.9 https://doi.ieeecomputersociety.org/10.1109/GREENS.2015.9 http://dl.acm.org/citation.cfm?id=2820161 conf/greens/2015 db/conf/greens/greens2015.html#BehrouzSGMA15 Lin Deng 0001 Nariman Mirzaei Paul Ammann Jeff Offutt Towards mutation analysis of Android apps. 1-10 2015 ICST Workshops https://doi.org/10.1109/ICSTW.2015.7107450 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2015.7107450 conf/icst/2015w db/conf/icst/icstw2015.html#DengMAO15 Bob Kurtz Paul Ammann Jeff Offutt Static analysis of mutant subsumption. 1-10 2015 ICST Workshops https://doi.org/10.1109/ICSTW.2015.7107454 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2015.7107454 conf/icst/2015w db/conf/icst/icstw2015.html#KurtzAO15 Márcio Eduardo Delamaro Jeff Offutt Paul Ammann Designing Deletion Mutation Operators. 11-20 2014 ICST https://doi.org/10.1109/ICST.2014.12 https://doi.ieeecomputersociety.org/10.1109/ICST.2014.12 conf/icst/2014 db/conf/icst/icst2014.html#DelamaroOA14 Paul Ammann Márcio Eduardo Delamaro Jeff Offutt Establishing Theoretical Minimal Sets of Mutants. 21-30 2014 ICST https://doi.org/10.1109/ICST.2014.13 https://doi.ieeecomputersociety.org/10.1109/ICST.2014.13 conf/icst/2014 db/conf/icst/icst2014.html#AmmannDO14 Bob Kurtz Paul Ammann Márcio Eduardo Delamaro Jeff Offutt Lin Deng 0001 Mutant Subsumption Graphs. 176-185 2014 ICST Workshops https://doi.org/10.1109/ICSTW.2014.20 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2014.20 conf/icst/2014w db/conf/icst/icstw2014.html#KurtzADOD14 Preetham Vemasani Alexander Brodsky 0001 Paul Ammann Generating Test Data to Distinguish Conjunctive Queries with Equalities. 216-221 2014 ICST Workshops https://doi.org/10.1109/ICSTW.2014.23 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2014.23 conf/icst/2014w db/conf/icst/icstw2014.html#VemasaniBA14

Gary Kaminski Paul Ammann Jeff Offutt Improving logic-based testing. 2002-2012 2013 86 J. Syst. Softw. 8 https://doi.org/10.1016/j.jss.2012.08.024 db/journals/jss/jss86.html#KaminskiAO13

Paul Ammann Gordon Fraser 0001 Franz Wotawa Guest Editorial for the Special Issue on Model-Based Testing. 295-296 2012 22 Softw. Test. Verification Reliab. 5 https://doi.org/10.1002/stvr.1478 db/journals/stvr/stvr22.html#AmmannFW12

William Shelton Nan Li 0008 Paul Ammann Jeff Offutt Adding Criteria-Based Tests to Test Driven Development. 878-886 2012 ICST https://doi.org/10.1109/ICST.2012.191 https://doi.ieeecomputersociety.org/10.1109/ICST.2012.191 conf/icst/2012 db/conf/icst/icst2012.html#SheltonLAO12

Garrett Kent Kaminski Upsorn Praphamontripong Paul Ammann Jeff Offutt A logic mutation approach to selective mutation for programs and queries. 1137-1152 2011 53 Inf. Softw. Technol. 10 https://doi.org/10.1016/j.infsof.2011.03.009 db/journals/infsof/infsof53.html#KaminskiPAO11

Garrett Kent Kaminski Paul Ammann Reducing logic test set size while preserving fault detection. 155-193 2011 21 Softw. Test. Verification Reliab. 3 https://doi.org/10.1002/stvr.442 db/journals/stvr/stvr21.html#KaminskiA11

Jeff Offutt Nan Li 0008 Paul Ammann Wuzhi Xu Using abstraction and Web applications to teach criteria-based test design. 227-236 2011 CSEE&T https://doi.org/10.1109/CSEET.2011.5876092 https://doi.ieeecomputersociety.org/10.1109/CSEET.2011.5876092 conf/csee/2011 db/conf/csee/csee2011.html#OffuttLAX11 Gary Kaminski Paul Ammann Jeff Offutt Better predicate testing. 57-63 2011 AST@ICSE https://doi.org/10.1145/1982595.1982608 conf/icse/2011ast db/conf/icse/ast2011.html#KaminskiAO11 Garrett Kent Kaminski Paul Ammann Applications of Optimization to Logic Testing. 331-336 2010 ICST Workshops https://doi.org/10.1109/ICSTW.2010.49 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2010.49 conf/icst/2010w db/conf/icst/icstw2010.html#KaminskiA10 Garrett Kent Kaminski Upsorn Praphamontripong Paul Ammann Jeff Offutt An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage. 205-211 2010 Software Engineering Research and Practice conf/serp/2010 db/conf/serp/serp2010.html#KaminskiPAO10 Garrett Kent Kaminski Paul Ammann Applying MCDC to Large DNF Logic Expressions. 411-417 2010 Software Engineering Research and Practice conf/serp/2010 db/conf/serp/serp2010.html#KaminskiA10

Gordon Fraser 0001 Franz Wotawa Paul Ammann Issues in using model checkers for test case generation. 1403-1418 2009 82 J. Syst. Softw. 9 https://doi.org/10.1016/j.jss.2009.05.016 https://www.wikidata.org/entity/Q121438034 db/journals/jss/jss82.html#FraserWA09

Gordon Fraser 0001 Franz Wotawa Paul Ammann Testing with model checkers: a survey. 215-261 2009 19 Softw. Test. Verification Reliab. 3 https://doi.org/10.1002/stvr.402 db/journals/stvr/stvr19.html#FraserWA09

Garrett Kent Kaminski Paul Ammann Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection. 167-176 2009 ICST Workshops https://doi.org/10.1109/ICSTW.2009.13 https://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.13 conf/icst/2009w db/conf/icst/icstw2009.html#KaminskiA09b Garrett Kent Kaminski Paul Ammann Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. 356-365 2009 ICST https://doi.org/10.1109/ICST.2009.14 https://doi.ieeecomputersociety.org/10.1109/ICST.2009.14 conf/icst/2009 db/conf/icst/icst2009.html#KaminskiA09 Garrett Kent Kaminski Paul Ammann Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. 386-395 2009 ICST https://doi.org/10.1109/ICST.2009.13 https://doi.ieeecomputersociety.org/10.1109/ICST.2009.13 conf/icst/2009 db/conf/icst/icst2009.html#KaminskiA09a Paul Ammann Jeff Offutt Introduction to Software Testing. I-XXII, 1-322 Cambridge University Press 2008 978-0-521-88038-1 978-0-511-80916-3 https://doi.org/10.1017/CBO9780511809163

Garrett Kent Kaminski Gregory Williams 0002 Paul Ammann Reconciling perspectives of software logic testing. 149-188 2008 18 Softw. Test. Verification Reliab. 3 https://doi.org/10.1002/stvr.386 db/journals/stvr/stvr18.html#KaminskiWA08

Paul Ammann Jeff Offutt Wuzhi Xu Coverage Criteria for State Based Specifications. 118-156 2008 Formal Methods and Testing https://doi.org/10.1007/978-3-540-78917-8_4 conf/fortest/2008 db/conf/fortest/fortest2008.html#AmmannOX08 Gordon Fraser 0001 Paul Ammann Reachability and Propagation for LTL Requirements Testing. 189-198 2008 QSIC https://doi.org/10.1109/QSIC.2008.21 https://doi.ieeecomputersociety.org/10.1109/QSIC.2008.21 conf/qsic/2008 db/conf/qsic/qsic2008.html#FraserA08

Peng Liu 0005 Jie Li 0002 Sushil Jajodia Paul Ammann Can-Follow Concurrency Control. 1425-1430 2007 56 IEEE Trans. Computers 10 https://doi.org/10.1109/TC.2007.70761 https://doi.ieeecomputersociety.org/10.1109/TC.2007.70761 db/journals/tc/tc56.html#LiuLJA07

Duminda Wijesekera Paul Ammann Lingya Sun Gordon Fraser 0001 Relating counterexamples to test cases in CTL model checking specifications. 75-84 2007 conf/amost/2007 A-MOST https://doi.org/10.1145/1291535.1291543 db/conf/amost/amost2007.html#WijesekeraASF07 Joseph Pamula Sushil Jajodia Paul Ammann Vipin Swarup A weakest-adversary security metric for network configuration security analysis. 31-38 2006 QoP https://doi.org/10.1145/1179494.1179502 conf/ccs/2006qop db/conf/ccs/qop2006.html#PamulaJAS06 Saket Kaushik William H. Winsborough Duminda Wijesekera Paul Ammann Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. 163-178 2006 conf/dbsec/2006 DBSec https://doi.org/10.1007/11805588_12 http://dl.ifip.org/db/conf/dbsec/dbsec2006/KaushikWWA06.pdf db/conf/dbsec/dbsec2006.html#KaushikWWA06 Saket Kaushik Csilla Farkas Duminda Wijesekera Paul Ammann An Algebra for Composing Ontologies. 265-276 2006 FOIS conf/fois/2006 db/conf/fois/fois2006.html#KaushikFWA06 https://dl.acm.org/doi/10.5555/1566079.1566110 Jing Guan Jeff Offutt Paul Ammann An industrial case study of structural testing applied to safety-critical embedded software. 272-277 2006 conf/isese/2006 ISESE https://doi.org/10.1145/1159733.1159774 db/conf/isese/isese2006.html#GuanOA06 Joseph Pamula Paul Ammann Sushil Jajodia Ronald W. Ritchey A framework for establishing, assessing, and managing trust in inter-organizational relationships. 23-32 2006 SWS https://doi.org/10.1145/1180367.1180374 conf/sws/2006 db/conf/sws/sws2006.html#PamulaAJR06 Saket Kaushik Duminda Wijesekera Paul Ammann BPEL orchestration of secure webmail. 85-94 2006 SWS https://doi.org/10.1145/1180367.1180383 conf/sws/2006 db/conf/sws/sws2006.html#KaushikWA06 Paul Ammann Joseph Pamula Julie A. Street Ronald W. Ritchey A Host-Based Approach to Network Attack Chaining Analysis. 72-84 2005 conf/acsac/2005 ACSAC https://doi.org/10.1109/CSAC.2005.6 https://doi.ieeecomputersociety.org/10.1109/CSAC.2005.6 db/conf/acsac/acsac2005.html#AmmannPSR05 Saket Kaushik William H. Winsborough Duminda Wijesekera Paul Ammann Email feedback: a policy-based approach to overcoming false positives. 73-82 2005 conf/ccs/2005fmse FMSE https://doi.org/10.1145/1103576.1103586 db/conf/ccs/ccs2005fmse.html#KaushikWWA05 Saket Kaushik Duminda Wijesekera Paul Ammann Policy-based dissemination of partial web-ontologies. 43-52 2005 SWS https://doi.org/10.1145/1103022.1103030 conf/sws/2005 db/conf/sws/sws2005.html#KaushikWA05 Saket Kaushik Paul Ammann Duminda Wijesekera William H. Winsborough Ronald W. Ritchey A Policy Driven Approach to Email Services. 169- 2004 conf/policy/2004 POLICY https://doi.org/10.1109/POLICY.2004.1309163 https://doi.ieeecomputersociety.org/10.1109/POLICY.2004.1309163 db/conf/policy/policy2004.html#KaushikAWWR04

A. Jefferson Offutt Shaoying Liu Aynur Abdurazik Paul Ammann Generating test data from state-based specifications. 25-53 2003 13 Softw. Test. Verification Reliab. 1 https://doi.org/10.1002/stvr.264 db/journals/stvr/stvr13.html#OffuttLAA03

Paul Ammann A. Jefferson Offutt Hong Huang Coverage Criteria for Logical Expressions. 99-107 2003 conf/issre/2003 ISSRE https://doi.org/10.1109/ISSRE.2003.1251034 https://doi.ieeecomputersociety.org/10.1109/ISSRE.2003.1251034 db/conf/issre/issre2003.html#AmmannOH03

Paul Ammann Sushil Jajodia Peng Liu 0005 Recovery from Malicious Transactions. 1167-1185 2002 14 IEEE Trans. Knowl. Data Eng. 5 https://doi.org/10.1109/TKDE.2002.1033782 http://doi.ieeecomputersociety.org/10.1109/TKDE.2002.1033782 db/journals/tkde/tkde14.html#AmmannJL02

Paul Ammann Duminda Wijesekera Saket Kaushik Scalable, graph-based network vulnerability analysis. 217-224 2002 conf/ccs/2002 CCS https://doi.org/10.1145/586110.586140 https://www.wikidata.org/entity/Q130917781 db/conf/ccs/ccs2002.html#AmmannWK02 Paul Ammann Wei Ding 0003 Daling Xu Using a Model Checker to Test Safety Properties. 212-221 2001 conf/iceccs/2001 ICECCS https://doi.org/10.1109/ICECCS.2001.930180 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2001.930180 db/conf/iceccs/iceccs2001.html#AmmannDX01

https://doi.org/10.1023/A:1008731200105 Peng Liu 0005 Paul Ammann Sushil Jajodia Rewriting Histories: Recovering from Malicious Transactions. 7-40 2000 8 Distributed Parallel Databases 1 db/journals/dpd/dpd8.html#LiuAJ00 DPD/8/P007.pdf

Indrakshi Ray Paul Ammann Sushil Jajodia Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity. 155-195 2000 129 Inf. Sci. 1-4 db/journals/isci/isci129.html#RayAJ00 https://doi.org/10.1016/S0020-0255(00)00062-1

Paul Ammann System testing via mutation analysis of model checking specifications. 33 2000 25 ACM SIGSOFT Softw. Eng. Notes 1 https://doi.org/10.1145/340855.340862 db/journals/sigsoft/sigsoft25.html#Ammann00

Aynur Abdurazik Paul Ammann Wei Ding 0003 A. Jefferson Offutt Evaluation of Three Specification-Based Testing Criteria. 179-187 2000 conf/iceccs/2000 ICECCS https://doi.org/10.1109/ICECCS.2000.873943 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873943 db/conf/iceccs/iceccs2000.html#AbdurazikADO00 Ronald W. Ritchey Paul Ammann Using Model Checking to Analyze Network Vulnerabilities. 156-165 2000 conf/sp/2000 S&P https://doi.org/10.1109/SECPRI.2000.848453 https://doi.ieeecomputersociety.org/10.1109/SECPRI.2000.848453 db/conf/sp/sp2000.html#RitcheyA00

Sushil Jajodia Catherine D. McCollum Paul Ammann Trusted Recovery. 71-75 1999 42 Commun. ACM 7 CACMs1/CACM4207/P0071.pdf https://doi.org/10.1145/306549.306580 db/journals/cacm/cacm42.html#JajodiaMA99 ... journals/tods/AmmannJR97 conf/sigmod/Garcia-MolinaS87 books/mk/GrayR93 ...

Sushil Jajodia Paul Ammann Catherine D. McCollum Surviving Information Warfare Attacks. 57-63 1999 32 Computer 4 db/journals/computer/computer32.html#JajodiaAM99 https://doi.org/10.1109/2.755006 http://doi.ieeecomputersociety.org/10.1109/2.755006

Paul Ammann Sushil Jajodia Computer Security, Fault Tolerance, And Software Assurance. 4-6 1999 7 IEEE Concurr. 1 https://doi.org/10.1109/MCC.1999.749129 http://doi.ieeecomputersociety.org/10.1109/MCC.1999.749129 https://www.wikidata.org/entity/Q113435947 db/journals/ieeecc/ieeecc7.html#AmmannJ99

Paul Ammann Paul E. Black A Specification-Based Coverage Metric to Evaluate Test Sets. 239-248 1999 conf/hase/1999 HASE https://doi.org/10.1109/HASE.1999.809499 https://doi.ieeecomputersociety.org/10.1109/HASE.1999.809499 db/conf/hase/hase1999.html#AmmannB99 Peng Liu 0005 Paul Ammann Sushil Jajodia Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications. 414-423 1999 conf/icdcs/1999 ICDCS https://doi.org/10.1109/ICDCS.1999.776543 https://doi.ieeecomputersociety.org/10.1109/ICDCS.1999.776543 db/conf/icdcs/icdcs99.html#LiuAJ99 Paul Ammann Sushil Jajodia The Integrity Challenge. 59-70 1999 conf/tc11-5/1999 IICIS db/conf/tc11-5/iicis1999.html#AmmannJ99

Indrakshi Ray Paul Ammann Sushil Jajodia A Semantic-Based Transaction Processing Model for Multilevel Transactions. 181-217 1998 6 J. Comput. Secur. 3 db/journals/jcs/jcs6.html#RayAJ98 https://doi.org/10.3233/jcs-980108 https://www.wikidata.org/entity/Q114943851

Paul Ammann Paul E. Black William Majurski Using Model Checking to Generate Tests from Specifications. 46-55 1998 conf/icfem/1998 ICFEM https://doi.org/10.1109/ICFEM.1998.730569 https://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730569 db/conf/icfem/icfem1998.html#AmmannBM98

Paul Ammann Dahlard L. Lukes John C. Knight Applying Data Redundancy to Differential Equation Solvers. 65-77 1997 4 Ann. Softw. Eng. db/journals/ansoft/ansoft4.html#AmmannLK97 https://doi.org/10.1023/A:1018958526071

Paul Ammann Sushil Jajodia Semantics-based transaction processing: satisfying conflicting objectives. 8-10 1997 5 IEEE Concurrency 2 https://doi.org/10.1109/4434.588269 http://doi.ieeecomputersociety.org/10.1109/4434.588269 db/journals/ieeecc/ieeecc5.html#AmmannJ97

Paul Ammann Sushil Jajodia Rethinking integrity [distributed databases]. 5-6 1997 5 IEEE Concurrency 4 https://doi.org/10.1109/4434.641618 http://doi.ieeecomputersociety.org/10.1109/4434.641618 db/journals/ieeecc/ieeecc5.html#AmmannJ97a

Paul Ammann Sushil Jajodia Indrakshi Ray Applying Formal Methods to Semantic-Based Decomposition of Transactions. 215-254 TODS22/P215.PDF 1997 22 ACM Trans. Database Syst. 2 db/journals/tods/tods22.html#AmmannJR97 https://doi.org/10.1145/249978.249981 journals/tods/AgrawalAS93 ... conf/vldb/AmmannJR95 ... books/aw/BernsteinHG87 journals/tods/BadrinathR92 journals/tods/ChrysanthisR94 conf/vldb/DuE89 books/bc/ElmasriN89 journals/tods/FarragO89 journals/tods/Garcia-Molina83 conf/sigmod/Garcia-MolinaS87 journals/tc/Herlihy87 journals/jcss/HerlihyW91 conf/icde/JajodiaM87 conf/vldb/KorthLS90 conf/sigmod/KorthS88 journals/tods/KorthS94 conf/sigmod/LevyKS91 conf/podc/LevyKS91 ... journals/tods/Lynch83 journals/cacm/OwickiG76 ... conf/icdcs/RastogiKS95 journals/tc/ShaLJ88 ... conf/sigmod/ShashaSV92 ... journals/tc/Weihl88 books/mk/elmagarmid92/WachterR92

Sushil Jajodia Indrakshi Ray Paul Ammann Implementing Semantic-Based Decomposition of Transactions. 75-88 1997 conf/caise/1997 CAiSE db/conf/caise/caise97.html#JajodiaRA97 https://doi.org/10.1007/3-540-63107-0_6 Paul Ammann Jeff Offutt Maintaining Knowledge Currency in the 21st Century. 161-173 1997 CSEE&T https://doi.org/10.1109/SEDC.1997.592450 https://doi.ieeecomputersociety.org/10.1109/SEDC.1997.592450 conf/csee/1997 db/conf/csee/csee1997.html#AmmannO97 Paul Ammann Sushil Jajodia Catherine D. McCollum Barbara T. Blaustein Surviving information warfare attacks on databases. 164-174 1997 conf/sp/1997 S&P https://doi.org/10.1109/SECPRI.1997.601331 https://doi.ieeecomputersociety.org/10.1109/SECPRI.1997.601331 db/conf/sp/sp1997.html#AmmannJMB97 Paul Ammann Sushil Jajodia Indrakshi Ray Semantic-Based Decomposition of Transactions. 1997 books/kl/JajodiaK97 Advanced Transaction Models and Architectures db/books/collections/JajodiaK97.html#AmmannJR97

Pierangela Samarati Paul Ammann Sushil Jajodia Maintaining Replicated Authorizations in Distributed Database Systems. 55-84 1996 18 Data Knowl. Eng. 1 db/journals/dke/dke18.html#SamaratiAJ96 https://doi.org/10.1016/0169-023X(95)00000-I https://www.wikidata.org/entity/Q60487417

Paul Ammann Richard J. Lipton Ravi S. Sandhu The Expressive Power of Multi-parent Creation in Monotonic Access Control Models. 149-166 1996 4 J. Comput. Secur. 2/3 db/journals/jcs/jcs4.html#AmmannLS96 https://doi.org/10.3233/JCS-1996-42-303 https://www.wikidata.org/entity/Q114944504

Paul Ammann Sushil Jajodia Phyllis G. Frankl Globally Consistent Event Ordering in One-Directional Distributed Environments. 665-670 1996 7 IEEE Trans. Parallel Distributed Syst. 6 https://doi.org/10.1109/71.506704 http://doi.ieeecomputersociety.org/10.1109/71.506704 db/journals/tpds/tpds7.html#AmmannJF96

Paul Ammann Sushil Jajodia Indrakshi Ray Ensuring Atomicity of Multilevel Transactions. 74-84 1996 conf/sp/1996 S&P https://doi.org/10.1109/SECPRI.1996.502671 https://doi.ieeecomputersociety.org/10.1109/SECPRI.1996.502671 https://dl.acm.org/doi/10.5555/525080.884262 db/conf/sp/sp1996.html#AmmannJR96

Paul Ammann Frank Jaeckle Sushil Jajodia Concurrency Control in a Secure Database via a Two-Snapshot Algorithm. 87-114 1995 3 J. Comput. Secur. 2/3 db/journals/jcs/jcs3.html#AmmannJJ95 https://doi.org/10.3233/JCS-1994/1995-32-302 https://www.wikidata.org/entity/Q114944548

Paul Ammann Vijayalakshmi Atluri Sushil Jajodia The Partitioned Synchronization Rule for Planar Extendible Partial Orders. 797-808 1995 7 IEEE Trans. Knowl. Data Eng. 5 db/journals/tkde/tkde7.html#AmmannAJ95 https://doi.org/10.1109/69.469819 http://doi.ieeecomputersociety.org/10.1109/69.469819 TKDE7/k0797.pdf ... journals/tocs/AmmannJ93 ... books/aw/BernsteinHG87 ... books/aw/Denning82 journals/cacm/EswarranGLT76 journals/tods/HsuC86 ... ...

Paul Ammann Sushil Jajodia Padmaja Mavuluri On-The-Fly Reading of Entire Databases. 834-838 1995 7 IEEE Trans. Knowl. Data Eng. 5 db/journals/tkde/tkde7.html#AmmannJM95 https://doi.org/10.1109/69.469836 http://doi.ieeecomputersociety.org/10.1109/69.469836 TKDE7/k0834.pdf conf/pods/AgrawalA90 conf/icde/AgrawalAL91 journals/tods/BayerHR80 journals/tods/Bayer86 books/aw/BernsteinHG87 ... journals/cacm/EswarranGLT76 ... conf/sigmod/MohanPL92 journals/algorithmica/Pu86 conf/dpds/PuHW88 journals/tods/SalemGS94

conf/vldb/95 Paul Ammann Sushil Jajodia Indrakshi Ray Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. 218-227 1995 VLDB db/conf/vldb/vldb95.html#AmmannJR95 http://www.vldb.org/conf/1995/P218.PDF journals/tods/AgrawalAS93 ... books/aw/BernsteinHG87 journals/tods/BadrinathR92 journals/tods/ChrysanthisR94 conf/vldb/DuE89 journals/tods/FarragO89 journals/tods/Garcia-Molina83 journals/debu/Garcia-MolinaS94 journals/tc/Herlihy87 journals/jcss/HerlihyW91 conf/icde/JajodiaM87 conf/sigmod/KorthS88 journals/tods/KorthS94 ... journals/tods/Lynch83 journals/cacm/OwickiG76 journals/tc/ShaLJ88 ... conf/sigmod/ShashaSV92 ... journals/tc/Weihl88 books/mk/elmagarmid92/WachterR92

Paul Ammann Susan S. Brilliant John C. Knight The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. 142-148 https://doi.org/10.1109/32.265635 http://doi.ieeecomputersociety.org/10.1109/32.265635 1994 20 IEEE Trans. Software Eng. 2 db/journals/tse/tse20.html#AmmannBK94

Paul Ammann Sushil Jajodia An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads. 118-125 1994 conf/ccs/1994 CCS https://doi.org/10.1145/191177.191201 db/conf/ccs/ccs1994.html#AmmannJ94 Pierangela Samarati Paul Ammann Sushil Jajodia Propagation of Authorizations in Distributed Database Systems. 136-147 1994 conf/ccs/1994 CCS https://doi.org/10.1145/191177.191204 db/conf/ccs/ccs1994.html#SamaratiAJ94 Paul Ammann Hassan Gomaa A. Jefferson Offutt David Rine Bo Ingvar Sandén A Five Year Perspective on Software Engineering Graduate Programs at George Mason University. 473-488 1994 conf/csee/1994 CSEE db/conf/csee/csee1994.html#AmmannGORS94 https://doi.org/10.1007/BFb0017635 Ravi S. Sandhu Paul Ammann One-Representative Safety Analysis in the Non-Monotonic Transform Model. 1994 conf/csfw/1994 CSFW db/conf/csfw/csfw1994.html#SandhuA94 139-149 https://doi.org/10.1109/CSFW.1994.315940

Paul Ammann Sushil Jajodia Distributed Timestamp Generation in Planar Lattice Networks. 205-225 1993 11 ACM Trans. Comput. Syst. 3 db/journals/tocs/tocs11.html#AmmannJ93 https://doi.org/10.1145/152864.152865

Paul Ammann Sushil Jajodia Planar Lattice Security Structures for Multilevel Replicated Databases. 125-134 1993 conf/dbsec/1993 DBSec db/conf/dbsec/dbsec93.html#AmmannJ93

Paul Ammann Ravi S. Sandhu The Extended Schematic Protection Model 335-384 1992 1 J. Comput. Secur. 3-4 db/journals/jcs/jcs1.html#AmmannS92 https://doi.org/10.3233/JCS-1992-13-408 https://www.wikidata.org/entity/Q114944607

Paul Ammann Ravi S. Sandhu Implementing transaction control expressions by checking for absence of access rights. 131-140 1992 ACSAC https://doi.org/10.1109/CSAC.1992.228226 conf/acsac/1992 db/conf/acsac/acsac1992.html#AmmannS92 Paul Ammann Richard J. Lipton Ravi S. Sandhu The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model. 148-156 1992 conf/csfw/1992 CSFW db/conf/csfw/csfw1992.html#AmmannLS92 https://doi.org/10.1109/CSFW.1992.236780 Paul Ammann Frank Jaeckle Sushil Jajodia A two snapshot algorithm for concurrency control in multi-level secure databases. 204-215 1992 S&P https://doi.org/10.1109/RISP.1992.213260 https://doi.ieeecomputersociety.org/10.1109/RISP.1992.213260 conf/sp/1992 db/conf/sp/sp1992.html#AmmannJJ92 Paul Ammann Ravi S. Sandhu Gurpreet S. Suri A distributed implementation of the extended schematic protection model. 152-164 1991 ACSAC https://doi.org/10.1109/CSAC.1991.213009 conf/acsac/1991 db/conf/acsac/acsac1991.html#AmmannSS91 Paul Ammann Sushil Jajodia A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases. 191-202 1991 conf/dbsec/1991 DBSec db/conf/dbsec/dbsec91.html#AmmannJ91 Paul Ammann Ravi S. Sandhu Safety Analysis for the Extended Schematic Protection Model. 87-97 1991 conf/sp/1991 S&P db/conf/sp/sp1991.html#AmmannS91 https://doi.org/10.1109/RISP.1991.130777 https://doi.ieeecomputersociety.org/10.1109/RISP.1991.130777 Paul Ammann Ravi S. Sandhu Extending the creation operation in the Schematic Protection Model. 1990 ACSAC https://doi.org/10.1109/CSAC.1990.143796 conf/acsac/1990 db/conf/acsac/acsac1990.html#AmmannS90 Susan S. Brilliant John C. Knight Paul Ammann On the performance of software testing using multiple versions. 408-415 1990 FTCS https://doi.org/10.1109/FTCS.1990.89395 conf/ftcs/1990 db/conf/ftcs/ftcs1990.html#BrilliantKA90 John C. Knight Paul Ammann Issues Influencing the Use of N-Version Programming. 217-222 1989 conf/ifip/1989 IFIP Congress db/conf/ifip/ifip89.html#KnightA89

Paul Ammann John C. Knight Data Diversity: An Approach to Software Fault Tolerance. 418-425 1988 37 IEEE Trans. Computers 4 db/journals/tc/tc37.html#AmmannK88 https://doi.org/10.1109/12.2185 http://doi.ieeecomputersociety.org/10.1109/12.2185 https://www.wikidata.org/entity/Q111898347

John C. Knight Paul Ammann An Experimental Evaluation of Simple Methods for Seeding Program Errors. 337-342 1985 conf/icse/1985 ICSE db/conf/icse/icse85.html#KnightA85 http://dl.acm.org/citation.cfm?id=319667 Aynur Abdurazik Abdulrahman Alshammari Justin Alvin Vijayalakshmi Atluri Kesina Baral Reyhaneh Jabbarvand Behrouz Jonathan Bell 0001 Paul E. Black Barbara T. Blaustein Susan S. Brilliant Alexander Brodsky 0001 Deanna D. Caputo Yiqun Chen 0001Yiqun T. Chen Márcio Eduardo Delamaro Lin Deng 0001 Wei Ding 0003 Kinga Dobolyi Michael D. Ernst Csilla Farkas Ryan Featherman Jennifer Flamm Phyllis G. Frankl Gordon Fraser 0001 Joshua Garcia Nida Gökçe Seth Goldrich Hassan Gomaa Rahul Gopinath Jing Guan Michael Hilton Reid Holmes Hong Huang Marko Ivankovic Frank Jaeckle Sushil Jajodia René Just Garrett Kent Kaminski Gary Kaminski Chris Kauffmann Samuel J. Kaufman Saket Kaushik John C. Knight James Kukucka Bob Kurtz Mariet Kurtz Jaime Lester Jie Li 0002 Nan Li 0008 Richard J. Lipton Peng Liu 0005 Shaoying Liu Dahlard L. Lukes William Majurski Sam Malek Padmaja Mavuluri Catherine D. McCollum Nariman Mirzaei Rasika Mohod A. Jefferson OffuttJeff Offutt Joseph Pamula Goran Petrovic Shari Lawrence Pfleeger Luís Pina Upsorn Praphamontripong Huzefa Rangwala Indrakshi Ray David C. RineDavid Rine Ronald W. Ritchey Alireza Sadeghi Pierangela Samarati Bo Ingvar Sandén Ravi S. Sandhu M. Angela Sasse Sanjeev Setia William Shelton Julie A. Street Lingya Sun Gurpreet S. Suri Vipin Swarup Anita Tadakamalla Preetham Vemasani Pearl Y. Wang Liz White Duminda Wijesekera Gregory Williams 0002 William H. Winsborough Franz Wotawa Daling Xu Wuzhi Xu