% csauthors.net - beta - BibTeX bibliography of Aditya P. Mathur
@inproceedings{conf/icse/MathurK88,
title = {Modeling Mutation on a Vector Processor.},
year = {1988},
booktitle = {ICSE},
author = {{Aditya P. Mathur} and {Edward W. Krauser}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings, 10th International Conference on Software Engineering, Singapore, Singapore, April 11-15, 1988.}
}
@inproceedings{conf/issta/ChoiMP89,
title = {PMothra: Scheduling Mutants for Execution on a Hypercube.},
year = {1989},
booktitle = {Symposium on Testing, Analysis, and Verification},
author = {{Byoungju Choi} and {Aditya P. Mathur} and {Brian Pattison}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, TAV 1989, Key West, Florida, USA, December 13-15, 1989}
}
@article{journals/jpdc/RegoM90,
title = {Concurrency Enhancement through Program Unification: A Performance Analysis.},
year = {1990},
journal = {J. Parallel Distributed Comput.},
author = {{Vernon Rego} and {Aditya P. Mathur}}
}
@article{journals/tpds/RegoM90,
title = {Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis.},
year = {1990},
journal = {IEEE Trans. Parallel Distributed Syst.},
author = {{Vernon Rego} and {Aditya P. Mathur}}
}
@inproceedings{conf/compsac/DeMilloKM91,
title = {Compiler-integrated program mutation.},
year = {1991},
booktitle = {COMPSAC},
author = {{Richard A. DeMillo} and {Edward W. Krauser} and {Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991}
}
@inproceedings{conf/compsac/Mathur91,
title = {Performance, effectiveness, and reliability issues in software testing.},
year = {1991},
booktitle = {COMPSAC},
author = {{Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991}
}
@article{journals/tse/KrauserMR91,
title = {High Performance Software Testing on SIMD Machines.},
year = {1991},
journal = {IEEE Trans. Software Eng.},
author = {{Edward W. Krauser} and {Aditya P. Mathur} and {Vernon Rego}}
}
@article{journals/ijpp/ChuangRM92,
title = {An application of program unification to priority queue vectorization.},
year = {1992},
journal = {Int. J. Parallel Program.},
author = {{Ling-Yu Chuang} and {Vernon Rego} and {Aditya P. Mathur}}
}
@article{journals/software/HorganM92,
title = {Assessing Testing Tools in Research and Education.},
year = {1992},
journal = {IEEE Softw.},
author = {{Joseph Robert Horgan} and {Aditya P. Mathur}}
}
@inproceedings{conf/issre/ChenJMR93,
title = {TERSE: A tool for evaluating software reliability models.},
year = {1993},
booktitle = {ISSRE},
author = {{Mei-Hwa Chen} and {Michael K. Jones} and {Aditya P. Mathur} and {Vernon Rego}},
publisher = {IEEE Computer Society},
booktitle = {Fourth International Symposium on Software Reliability Engineering, ISSRE 1993, Denver, CO, USA, November 3-6, 1993}
}
@inproceedings{conf/sbes/MathurW93,
title = {Evaluation of The Cost of Alternate Mutation Strategies.},
year = {1993},
booktitle = {SBES},
author = {{Aditya P. Mathur} and {Weichen E. Wong}},
publisher = {SBC},
booktitle = {Proceedings of the 7th Brazilian Symposium on Software Engineering, SBES 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993.}
}
@article{journals/jss/ChoiM93,
title = {High-performance mutation testing.},
year = {1993},
journal = {J. Syst. Softw.},
author = {{Byoungju Choi} and {Aditya P. Mathur}}
}
@inproceedings{conf/acm/MathurW94,
title = {A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria.},
year = {1994},
booktitle = {ACM Conference on Computer Science},
author = {{Aditya P. Mathur} and {W. Eric Wong}},
publisher = {ACM},
booktitle = {Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, CSC '94, Phoenix, Arizona, USA, March 8-10, 1994}
}
@inproceedings{conf/csee/BoardmanM94,
title = {A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience.},
year = {1994},
booktitle = {CSEE},
author = {{David B. Boardman} and {Aditya P. Mathur}},
publisher = {Springer},
booktitle = {Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings}
}
@inproceedings{conf/icsqp/WongMM94,
title = {Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness.},
year = {1994},
booktitle = {Software Quality and Productivity},
author = {{W. Eric Wong} and {Aditya P. Mathur} and {José Carlos Maldonado}},
publisher = {Chapman & Hall},
booktitle = {Software Quality and Productivity: Theory, practice and training, 5-7 December 1994, City Polytechnic of Hong Kong Hong Kong}
}
@inproceedings{conf/issre/ChenMR94,
title = {A case study to investigate sensitivity of reliability estimates to errors in operational profile.},
year = {1994},
booktitle = {ISSRE},
author = {{Mei-Hwa Chen} and {Aditya P. Mathur} and {Vernon Rego}},
publisher = {IEEE Computer Society},
booktitle = {5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994}
}
@inproceedings{conf/issre/WongHLM94,
title = {Effect of test set size and block coverage on the fault detection effectiveness.},
year = {1994},
booktitle = {ISSRE},
author = {{W. Eric Wong} and {Joseph R. Horgan} and {Saul London} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994}
}
@inproceedings{conf/sbes/WongMDM94,
title = {Constrained Mutation in C programs.},
year = {1994},
booktitle = {SBES},
author = {{W. Eric Wong} and {José Carlos Maldonado} and {Márcio E. Delamaro} and {Aditya P. Mathur}},
publisher = {SBC},
booktitle = {Proceedings of the 8th Brazilian Symposium on Software Engineering, SBES 1994, Curitiba, PR, Brazil, October 26-27, 1994.}
}
@article{journals/concurrency/ChuangRM94,
title = {Experiments with Program unification on the Cray Y-MP.},
year = {1994},
journal = {Concurr. Pract. Exp.},
author = {{Ling-Yu Chuang} and {Vernon Rego} and {Aditya P. Mathur}}
}
@article{journals/stvr/MathurW94,
title = {An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria.},
year = {1994},
journal = {Softw. Test. Verification Reliab.},
author = {{Aditya P. Mathur} and {W. Eric Wong}}
}
@inproceedings{conf/compsac/BoardmanGKM95,
title = {LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior.},
year = {1995},
booktitle = {COMPSAC},
author = {{David B. Boardman} and {Geoffrey Greene} and {Vivek Khandelwal} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA}
}
@inproceedings{conf/issre/FrateGMP95,
title = {On the correlation between code coverage and software reliability.},
year = {1995},
booktitle = {ISSRE},
author = {{Fabio Del Frate} and {Praerit Garg} and {Aditya P. Mathur} and {Alberto Pasquini}},
publisher = {IEEE Computer Society},
booktitle = {Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995}
}
@article{journals/jss/WongM95,
title = {Reducing the cost of mutation testing: An empirical study.},
year = {1995},
journal = {J. Syst. Softw.},
author = {{W. Eric Wong} and {Aditya P. Mathur}}
}
@article{journals/sqj/WongM95,
title = {Fault detection effectiveness of mutation and data flow testing.},
year = {1995},
journal = {Softw. Qual. J.},
author = {{W. Eric Wong} and {Aditya P. Mathur}}
}
@article{journals/tse/DeMilloMW95,
title = {Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods.},
year = {1995},
journal = {IEEE Trans. Software Eng.},
author = {{Richard A. DeMillo} and {Aditya P. Mathur} and {W. Eric Wong}}
}
@inproceedings{conf/cascon/KrishnamurthyM96,
title = {On predicting reliability of modules using code coverage.},
year = {1996},
booktitle = {CASCON},
author = {{Saileshwar Krishnamurthy} and {Aditya P. Mathur}},
publisher = {IBM},
booktitle = {Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada}
}
@inproceedings{conf/issre/DelamaroMM96,
title = {Integration testing using interface mutation.},
year = {1996},
booktitle = {ISSRE},
author = {{Márcio Eduardo Delamaro} and {José Carlos Maldonado} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {Seventh International Symposium on Software Reliability Engineering, ISSRE 1996, White Plains, NY, USA, October 30, 1996-Nov. 2, 1996}
}
@inproceedings{conf/issre/KrishnamurthyM97,
title = {On the estimation of reliability of a software system using reliabilities of its components.},
year = {1997},
booktitle = {ISSRE},
author = {{Saileshwar Krishnamurthy} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {Eighth International Symposium on Software Reliability Engineering, ISSRE 1997, Albuquerque, NM, USA, November 2-5, 1997}
}
@inproceedings{conf/sigsoft/GuptaMS98,
title = {Automated Test Data Generation Using an Iterative Relaxation Method.},
year = {1998},
booktitle = {SIGSOFT FSE},
author = {{Neelam Gupta} and {Aditya P. Mathur} and {Mary Lou Soffa}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998}
}
@article{journals/spe/WongHLM98,
title = {Effect of Test Set Minimization on Fault Detection Effectiveness.},
year = {1998},
journal = {Softw. Pract. Exp.},
author = {{W. Eric Wong} and {Joseph Robert Horgan} and {Saul London} and {Aditya P. Mathur}}
}
@inproceedings{conf/acsac/DuGM99,
title = {Security Relevancy Analysis on the Registry of Windows NT 4.0.},
year = {1999},
booktitle = {ACSAC},
author = {{Wenliang Du} and {Praerit Garg} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {15th Annual Computer Security Applications Conference (ACSAC 1999), 6-10 December 1999, Scottsdale, AZ, USA}
}
@inproceedings{conf/kbse/GuptaMS99,
title = {UNA Based Iterative Test Data Generation and Its Evaluation.},
year = {1999},
booktitle = {ASE},
author = {{Neelam Gupta} and {Aditya P. Mathur} and {Mary Lou Soffa}},
publisher = {IEEE Computer Society},
booktitle = {The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999}
}
@article{journals/jss/WongHMP99,
title = {Test set size minimization and fault detection effectiveness: A case study in a space application.},
year = {1999},
journal = {J. Syst. Softw.},
author = {{W. Eric Wong} and {Joseph Robert Horgan} and {Aditya P. Mathur} and {Alberto Pasquini}}
}
@inproceedings{conf/dsn/DuM00,
title = {Testing for Software Vulnerability Using Environment Perturbation.},
year = {2000},
booktitle = {DSN},
author = {{Wenliang Du} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA}
}
@inproceedings{conf/kbse/GuptaMS00,
title = {Generating Test Data for Branch Coverage.},
year = {2000},
booktitle = {ASE},
author = {{Neelam Gupta} and {Aditya P. Mathur} and {Mary Lou Soffa}},
publisher = {IEEE Computer Society},
booktitle = {The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000}
}
@inproceedings{conf/tools/GhoshM00,
title = {Interface Mutation to Assess the Adequacy of Tests for Components and Systems.},
year = {2000},
booktitle = {TOOLS (34)},
author = {{Sudipto Ghosh} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA}
}
@inproceedings{conf/tools/SridharanMM00,
title = {Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects.},
year = {2000},
booktitle = {TOOLS (33)},
author = {{Baskar Sridharan} and {Sambrama Mundkur} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 5-8 June 2000, St. Malo, France}
}
@inproceedings{conf/im/NatarajanMM01,
title = {A XML based Policy-Driven Management Information Service.},
year = {2001},
booktitle = {Integrated Network Management},
author = {{Ramkumar Natarajan} and {Aditya P. Mathur} and {Paul McKee}},
publisher = {IEEE},
booktitle = {2001 IEEE/IFIP International Symposium on Integrated Network Management, IM 2001, Seattle, USA, May 14-18, 2001. Proceedings}
}
@inproceedings{conf/issre/CangussuMD01,
title = {Feedback Control of the Software Test Process Through Measurements of Software Reliability.},
year = {2001},
booktitle = {ISSRE},
author = {{João W. Cangussu} and {Aditya P. Mathur} and {Raymond A. DeCarlo}},
publisher = {IEEE Computer Society},
booktitle = {12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China}
}
@inproceedings{conf/issre/Goseva-PopstojanovaMT01,
title = {Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.},
year = {2001},
booktitle = {ISSRE},
author = {{Katerina Goseva-Popstojanova} and {Aditya P. Mathur} and {Kishor S. Trivedi}},
publisher = {IEEE Computer Society},
booktitle = {12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China}
}
@inproceedings{conf/smc/CangussuDM01,
title = {A state model for the Software Test Process with automated parameter identification.},
year = {2001},
booktitle = {SMC},
author = {{João W. Cangussu} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001}
}
@inproceedings{conf/smc/CangussuDM01a,
title = {Sensitivity analysis of a state variable model of the Software Test Process.},
year = {2001},
booktitle = {SMC},
author = {{João W. Cangussu} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001}
}
@article{journals/ese/DelamaroMPM01,
title = {Interface Mutation Test Adequacy Criterion: An Empirical Evaluation.},
year = {2001},
journal = {Empir. Softw. Eng.},
author = {{Márcio Eduardo Delamaro} and {José Carlos Maldonado} and {Alberto Pasquini} and {Aditya P. Mathur}}
}
@article{journals/stvr/GhoshM01,
title = {Interface mutation.},
year = {2001},
journal = {Softw. Test. Verification Reliab.},
author = {{Sudipto Ghosh} and {Aditya P. Mathur}}
}
@article{journals/tse/DelamaroMM01,
title = {Interface Mutation: An Approach for Integration Testing.},
year = {2001},
journal = {IEEE Trans. Software Eng.},
author = {{Márcio Eduardo Delamaro} and {José Carlos Maldonado} and {Aditya P. Mathur}}
}
@inproceedings{conf/issre/CangussuMD02,
title = {Effect of Disturbances on the Convergence of Failure Intensity.},
year = {2002},
booktitle = {ISSRE},
author = {{João W. Cangussu} and {Aditya P. Mathur} and {Raymond A. DeCarlo}},
publisher = {IEEE Computer Society},
booktitle = {13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA}
}
@article{journals/cm/SridharanMU02,
title = {Digital device manuals for the management of ConnectedSpaces.},
year = {2002},
journal = {IEEE Commun. Mag.},
author = {{Baskar Sridharan} and {Aditya P. Mathur} and {Steven G. Ungar}}
}
@article{journals/tse/CangussuDM02,
title = {A Formal Model of the Software Test Process.},
year = {2002},
journal = {IEEE Trans. Software Eng.},
author = {{João W. Cangussu} and {Raymond A. DeCarlo} and {Aditya P. Mathur}}
}
@inproceedings{conf/percom/SridharanMC03,
title = {Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.},
year = {2003},
booktitle = {PerCom},
author = {{Baskar Sridharan} and {Aditya P. Mathur} and {Kai-Yuan Cai}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), March 23-26, 2003, Fort Worth, Texas, USA}
}
@inproceedings{conf/qsic/SridharanMC03,
title = {Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.},
year = {2003},
booktitle = {QSIC},
author = {{Baskar Sridharan} and {Aditya P. Mathur} and {Kai-Yuan Cai}},
publisher = {IEEE Computer Society},
booktitle = {3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA}
}
@inproceedings{conf/sigsoft/CangussuDM03,
title = {Monitoring the software test process using statistical process control: a logarithmic approach.},
year = {2003},
booktitle = {ESEC / SIGSOFT FSE},
author = {{João W. Cangussu} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003}
}
@inproceedings{conf/step/CaiCDM03,
title = {An Overview of Software Cybernetics.},
year = {2003},
booktitle = {STEP},
author = {{Kai-Yuan Cai} and {João W. Cangussu} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands}
}
@article{journals/tse/CangussuDM03,
title = {Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process.},
year = {2003},
journal = {IEEE Trans. Software Eng.},
author = {{João W. Cangussu} and {Raymond A. DeCarlo} and {Aditya P. Mathur}}
}
@inproceedings{conf/compsac/LiLLMK04,
title = {Computer Supported Cooperative Work in Software Engineering.},
year = {2004},
booktitle = {COMPSAC},
author = {{J. Jenny Li} and {Tangqiu Li} and {Zongkai Lin} and {Aditya P. Mathur} and {Karama Kanoun}},
publisher = {IEEE Computer Society},
booktitle = {28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings}
}
@inproceedings{conf/compsac/MillerDM04,
title = {Modeling and Control of the Incremental Software Test Process.},
year = {2004},
booktitle = {COMPSAC Workshops},
author = {{Scott D. Miller} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Workshop Papers}
}
@inproceedings{conf/issre/CangussuKMD04,
title = {Software Release Control using Defect Based Quality Estimation.},
year = {2004},
booktitle = {ISSRE},
author = {{João W. Cangussu} and {Richard M. Karcich} and {Aditya P. Mathur} and {Raymond A. DeCarlo}},
publisher = {IEEE Computer Society},
booktitle = {15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France}
}
@inproceedings{conf/compsac/Mathur05,
title = {Model-Based Software Testing and Verification.},
year = {2005},
booktitle = {COMPSAC (1)},
author = {{Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1}
}
@inproceedings{conf/compsac/MillerDM05,
title = {A Software Cybernetic Approach to Control of the Software System Test Phase.},
year = {2005},
booktitle = {COMPSAC (2)},
author = {{Scott D. Miller} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 2}
}
@inproceedings{conf/compsac/MillerMD05,
title = {DIG: A Tool for Software Process Data Extraction and Grooming.},
year = {2005},
booktitle = {COMPSAC (1)},
author = {{Scott D. Miller} and {Aditya P. Mathur} and {Raymond A. DeCarlo}},
publisher = {IEEE Computer Society},
booktitle = {29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1}
}
@inproceedings{conf/ecbs/WangM05,
title = {Interceptor Based Constraint Violation Detection.},
year = {2005},
booktitle = {ECBS},
author = {{Qianxiang Wang} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA}
}
@article{journals/jss/BelliCDM06,
title = {Introduction to the special section on software cybernetics.},
year = {2006},
journal = {J. Syst. Softw.},
author = {{Fevzi Belli} and {Kai-Yuan Cai} and {Raymond A. DeCarlo} and {Aditya P. Mathur}}
}
@article{journals/jss/MillerDMC06,
title = {A control-theoretic approach to the management of the software system test phase.},
year = {2006},
journal = {J. Syst. Softw.},
author = {{Scott D. Miller} and {Raymond A. DeCarlo} and {Aditya P. Mathur} and {João W. Cangussu}}
}
@inproceedings{conf/fecs/EarlySM07,
title = {Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective.},
year = {2007},
booktitle = {FECS},
author = {{James Early} and {Rajesh Subramanyan} and {Aditya P. Mathur}},
publisher = {CSREA Press},
booktitle = {Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science & Computer Engineering, FECS 2007, June 25-28, 2007, Las Vegas, Nevada, USA}
}
@inproceedings{conf/compsac/JayaramM08,
title = {On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.},
year = {2008},
booktitle = {COMPSAC},
author = {{K. R. Jayaram} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland}
}
@inproceedings{conf/compsac/MillerDM08,
title = {Quantitative Modeling for Incremental Software Process Control.},
year = {2008},
booktitle = {COMPSAC},
author = {{Scott D. Miller} and {Raymond A. DeCarlo} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland}
}
@inproceedings{conf/compsac/YauCMBC08,
title = {Message from the IWSC 2008 Workshop Organizers.},
year = {2008},
booktitle = {COMPSAC},
author = {{Stephen S. Yau} and {João W. Cangussu} and {Aditya P. Mathur} and {Fevzi Belli} and {Kai-Yuan Cai}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland}
}
@inproceedings{conf/compsac/YauCMBC08a,
title = {IWSC 2008 Workshop Organization.},
year = {2008},
booktitle = {COMPSAC},
author = {{Stephen S. Yau} and {João W. Cangussu} and {Aditya P. Mathur} and {Fevzi Belli} and {Kai-Yuan Cai}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland}
}
@article{journals/jss/MathurW08,
title = {Message from the guest editors.},
year = {2008},
journal = {J. Syst. Softw.},
author = {{Aditya P. Mathur} and {Johnny Wong}}
}
@incollection{reference/wiley/CangussuCMM08,
title = {Software Cybernetics.},
year = {2008},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
author = {{João W. Cangussu} and {Kai-Yuan Cai} and {Scott D. Miller} and {Aditya P. Mathur}},
publisher = {John Wiley & Sons, Inc.},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering}
}
@article{journals/ijseke/CangussuM09,
title = {Guest Editors' Introduction.},
year = {2009},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
author = {{João W. Cangussu} and {Aditya P. Mathur}}
}
@article{journals/jss/WongM09,
title = {Editorial.},
year = {2009},
journal = {J. Syst. Softw.},
author = {{W. Eric Wong} and {Aditya P. Mathur}}
}
@article{journals/tse/MasoodBGM09,
title = {Scalable and Effective Test Generation for Role-Based Access Control Systems.},
year = {2009},
journal = {IEEE Trans. Software Eng.},
author = {{Ammar Masood} and {Rafae Bhatti} and {Arif Ghafoor} and {Aditya P. Mathur}}
}
@inproceedings{conf/csee/GarousiM10,
title = {Current State of the Software Testing Education in North American Academia and Some Recommendations for the New Educators.},
year = {2010},
booktitle = {CSEE&T},
author = {{Vahid Garousi} and {Aditya Mathur}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings 23rd IEEE Conference on Software Engineering Education and Training, CSEE&T 2010, Pittsburgh, Pennsylvania, USA, 9-12 March 2010}
}
@inproceedings{conf/sigir/FangSM10,
title = {Discriminative models of integrating document evidence and document-candidate associations for expert search.},
year = {2010},
booktitle = {SIGIR},
author = {{Yi Fang 003} and {Luo Si} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2010, Geneva, Switzerland, July 19-23, 2010}
}
@article{journals/ir/FangSM10,
title = {Discriminative graphical models for faculty homepage discovery.},
year = {2010},
journal = {Inf. Retr.},
author = {{Yi Fang 003} and {Luo Si} and {Aditya P. Mathur}}
}
@article{journals/jss/MasoodGM10,
title = {Fault coverage of Constrained Random Test Selection for access control: A formal analysis.},
year = {2010},
journal = {J. Syst. Softw.},
author = {{Ammar Masood} and {Arif Ghafoor} and {Aditya P. Mathur}}
}
@article{journals/tdsc/MasoodGM10,
title = {Conformance Testing of Temporal Role-Based Access Control Systems.},
year = {2010},
journal = {IEEE Trans. Dependable Secur. Comput.},
author = {{Ammar Masood} and {Arif Ghafoor} and {Aditya P. Mathur}}
}
@inproceedings{conf/compsac/YiJHCM11,
title = {Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems.},
year = {2011},
booktitle = {COMPSAC Workshops},
author = {{Huanyin Yi} and {Chang-Hai Jiang} and {Hai Hu} and {Kai-Yuan Cai} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC Workshops 2011, Munich, Germany, 18-22 July 2011}
}
@inproceedings{conf/csee/WongBDMOV11,
title = {Teaching software testing: Experiences, lessons learned and the path forward.},
year = {2011},
booktitle = {CSEE&T},
author = {{W. Eric Wong} and {Antonia Bertolino} and {Vidroha Debroy} and {Aditya P. Mathur} and {Jeff Offutt} and {Mladen A. Vouk}},
publisher = {IEEE Computer Society},
booktitle = {24th IEEE-CS Conference on Software Engineering Education and Training, CSEE&T 2011, May 22-24, 2011, Waikiki, Honolulu, HI, USA, Proceedings}
}
@inproceedings{conf/sigir/FangSSKM11,
title = {Analysis of an expert search query log.},
year = {2011},
booktitle = {SIGIR},
author = {{Yi Fang 003} and {Naveen Somasundaram} and {Luo Si} and {Jeongwoo Ko} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2011, Beijing, China, July 25-29, 2011}
}
@article{journals/ir/FangSM11,
title = {Discriminative probabilistic models for expert search in heterogeneous information sources.},
year = {2011},
journal = {Inf. Retr.},
author = {{Yi Fang 003} and {Luo Si} and {Aditya P. Mathur}}
}
@article{journals/stvr/HieronsM11,
title = {ICST 2008 Special Issue.},
year = {2011},
journal = {Softw. Test. Verification Reliab.},
author = {{Robert M. Hierons} and {Aditya Mathur}}
}
@inproceedings{conf/qsic/WangZM12,
title = {A Security Assurance Framework Combining Formal Verification and Security Functional Testing.},
year = {2012},
booktitle = {QSIC},
author = {{Weiguang Wang} and {Qingkai Zeng 002} and {Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012}
}
@article{journals/ac/BelliBMN12,
title = {Modeling, Analysis, and Testing of System Vulnerabilities.},
year = {2012},
journal = {Adv. Comput.},
author = {{Fevzi Belli} and {Mutlu Beyazit} and {Aditya P. Mathur} and {Nimal Nissanke}}
}
@inproceedings{conf/cyberc/SabaliauskaiteM13,
title = {Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems.},
year = {2013},
booktitle = {CyberC},
author = {{Giedre Sabaliauskaite} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, CyberC 2013, Beijing, China, October 10-12, 2013}
}
@inproceedings{conf/seke/RajasekharanMN13,
title = {Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums.},
year = {2013},
booktitle = {SEKE},
author = {{Karthikeyan Rajasekharan} and {Aditya P. Mathur} and {See-Kiong Ng}},
publisher = {Knowledge Systems Institute Graduate School},
booktitle = {The 25th International Conference on Software Engineering and Knowledge Engineering, Boston, MA, USA, June 27-29, 2013.}
}
@article{journals/infsof/HuJCWM13,
title = {Enhancing software reliability estimates using modified adaptive testing.},
year = {2013},
journal = {Inf. Softw. Technol.},
author = {{Hai Hu} and {Chang-Hai Jiang} and {Kai-Yuan Cai} and {W. Eric Wong} and {Aditya P. Mathur}}
}
@inproceedings{conf/compsac/SabaliauskaiteM14,
title = {Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems.},
year = {2014},
booktitle = {COMPSAC Workshops},
author = {{Giedre Sabaliauskaite} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014}
}
@inproceedings{conf/compsac/SabaliauskaiteM14a,
title = {Countermeasures to Enhance Cyber-physical System Security and Safety.},
year = {2014},
booktitle = {COMPSAC Workshops},
author = {{Giedre Sabaliauskaite} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014}
}
@inproceedings{conf/csdm/SabaliauskaiteM14,
title = {Aligning Cyber-Physical System Safety and Security.},
year = {2014},
booktitle = {CSDM Asia},
author = {{Giedre Sabaliauskaite} and {Aditya P. Mathur}},
publisher = {Springer},
booktitle = {Complex Systems Design & Management Asia, Designing Smart Cities: Proceedings of the First Asia - Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2014, Singapore, December 10-12, 2014}
}
@inproceedings{conf/ica3pp/AdepuMGD15,
title = {An Agent-Based Framework for Simulating and Analysing Attacks on Cyber Physical Systems.},
year = {2015},
booktitle = {ICA3PP (3)},
author = {{Sridhar Adepu} and {Aditya Mathur} and {Jagadeesh Gunda} and {Sasa Z. Djokic}},
publisher = {Springer},
booktitle = {Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015. Proceedings, Part III}
}
@inproceedings{conf/prdc/SabaliauskaiteN15,
title = {Experimental Evaluation of Stealthy Attack Detection in a Robot.},
year = {2015},
booktitle = {PRDC},
author = {{Giedre Sabaliauskaite} and {Geok See Ng} and {Justin Ruths} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {21st IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2015, Zhangjiajie, China, November 18-20, 2015}
}
@article{journals/sqj/BelliBEMS15,
title = {Fault domain-based testing in imperfect situations: a heuristic approach and case studies.},
year = {2015},
journal = {Softw. Qual. J.},
author = {{Fevzi Belli} and {Mutlu Beyazit} and {André Takeshi Endo} and {Aditya P. Mathur} and {Adenilso da Silva Simão}}
}
@inproceedings{conf/ccs/AdepuM16,
title = {Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment Plant.},
year = {2016},
booktitle = {AsiaCCS},
author = {{Sridhar Adepu} and {Aditya Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, AsiaCCS 2016, Xi'an, China, May 30 - June 3, 2016}
}
@inproceedings{conf/compsac/AdepuM16,
title = {Generalized Attacker and Attack Models for Cyber Physical Systems.},
year = {2016},
booktitle = {COMPSAC},
author = {{Sridhar Adepu} and {Aditya Mathur}},
publisher = {IEEE Computer Society},
booktitle = {40th IEEE Annual Computer Software and Applications Conference, COMPSAC 2016, Atlanta, GA, USA, June 10-14, 2016}
}
@inproceedings{conf/compsac/Mathur16,
title = {Designing [Secure] Complex Critical Public Infrastructure.},
year = {2016},
booktitle = {COMPSAC},
author = {{Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {40th IEEE Annual Computer Software and Applications Conference, COMPSAC 2016, Atlanta, GA, USA, June 10-14, 2016}
}
@inproceedings{conf/compsac/Mathur16a,
title = {Challenges in Testing the Design of Secure Complex Critical Public Infrastructure.},
year = {2016},
booktitle = {COMPSAC Workshops},
author = {{Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016}
}
@inproceedings{conf/compsac/SabaliauskaiteN16,
title = {Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot.},
year = {2016},
booktitle = {COMPSAC Workshops},
author = {{Giedre Sabaliauskaite} and {Geok See Ng} and {Justin Ruths} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016}
}
@inproceedings{conf/cpsweek/MathurT16,
title = {SWaT: a water treatment testbed for research and training on ICS security.},
year = {2016},
booktitle = {CySWATER@CPSWeek},
author = {{Aditya P. Mathur} and {Nils Ole Tippenhauer}},
publisher = {IEEE Computer Society},
booktitle = {2016 International Workshop on Cyber-physical Systems for Smart Water Networks, CySWater@CPSWeek 2016, Vienna, Austria, April 11, 2016}
}
@inproceedings{conf/critis/GohAJM16,
title = {A Dataset to Support Research in the Design of Secure Water Treatment Systems.},
year = {2016},
booktitle = {CRITIS},
author = {{Jonathan Goh} and {Sridhar Adepu} and {Khurum Nazir Junejo} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Critical Information Infrastructures Security - 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers}
}
@inproceedings{conf/critis/SabaliauskaiteA16,
title = {A Six-Step Model for Safety and Security Analysis of Cyber-Physical Systems.},
year = {2016},
booktitle = {CRITIS},
author = {{Giedre Sabaliauskaite} and {Sridhar Adepu} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Critical Information Infrastructures Security - 11th International Conference, CRITIS 2016, Paris, France, October 10-12, 2016, Revised Selected Papers}
}
@inproceedings{conf/csdm/AdepuM16,
title = {Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study.},
year = {2016},
booktitle = {CSDM Asia},
author = {{Sridhar Adepu} and {Aditya P. Mathur}},
publisher = {Springer},
booktitle = {Complex Systems Design & Management Asia - Smart Nations - Sustaining and Designing: Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSD&M Asia 2016, Singapore, February 24-26, 2016.}
}
@inproceedings{conf/hase/AdepuM16,
title = {An Investigation into the Response of a Water Treatment System to Cyber Attacks.},
year = {2016},
booktitle = {HASE},
author = {{Sridhar Adepu} and {Aditya Mathur}},
publisher = {IEEE Computer Society},
booktitle = {17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016}
}
@inproceedings{conf/hase/SabaliauskaiteN16,
title = {Empirical Assessment of Methods to Detect Cyber Attacks on a Robot.},
year = {2016},
booktitle = {HASE},
author = {{Giedre Sabaliauskaite} and {Geok See Ng} and {Justin Ruths} and {Aditya P. Mathur}},
publisher = {IEEE Computer Society},
booktitle = {17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016}
}
@inproceedings{conf/icse/KangAJM16,
title = {Model-based security analysis of a water treatment system.},
year = {2016},
booktitle = {SEsCPS@ICSE},
author = {{Eunsuk Kang} and {Sridhar Adepu} and {Daniel Jackson 001} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016}
}
@inproceedings{conf/sec/AdepuM16,
title = {Using Process Invariants to Detect Cyber Attacks on a Water Treatment System.},
year = {2016},
booktitle = {SEC},
author = {{Sridhar Adepu} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {ICT Systems Security and Privacy Protection - 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings}
}
@inproceedings{conf/sgcrc/AdepuM16,
title = {Detecting Multi-Point Attacks in a Water Treatment System Using Intermittent Control Actions.},
year = {2016},
booktitle = {SG-CRC},
author = {{Sridhar Adepu} and {Aditya P. Mathur}},
publisher = {IOS Press},
booktitle = {Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016 - Cyber-Security by Design, Singapore, January 14-15, 2016.}
}
@article{journals/internet/AdepuSM16,
title = {Argus: An Orthogonal Defense Framework to Protect Public Infrastructure against Cyber-Physical Attacks.},
year = {2016},
journal = {IEEE Internet Comput.},
author = {{Sridhar Adepu} and {Siddhant Shrivastava} and {Aditya Mathur}}
}
@inproceedings{conf/ccs/UmerMJA17,
title = {Integrating Design and Data Centric Approaches to Generate Invariants for Distributed Attack Detection.},
year = {2017},
booktitle = {CPS-SPC@CCS},
author = {{Muhammad Azmi Umer} and {Aditya Mathur} and {Khurum Nazir Junejo} and {Sridhar Adepu}},
publisher = {ACM},
booktitle = {Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017}
}
@inproceedings{conf/cpsweek/AhmedPM17,
title = {WADI: a water distribution testbed for research in the design of secure cyber physical systems.},
year = {2017},
booktitle = {CySWATER@CPSWeek},
author = {{Chuadhry Mujeeb Ahmed} and {Venkata Reddy Palleti} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, CySWATER@CPSWeek 2017, Pittsburgh, Pennsylvania, USA, April 21, 2017}
}
@inproceedings{conf/cpsweek/Mathur17,
title = {SecWater: a multi-layer security framework for water treatment plants.},
year = {2017},
booktitle = {CySWATER@CPSWeek},
author = {{Aditya Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, CySWATER@CPSWeek 2017, Pittsburgh, Pennsylvania, USA, April 21, 2017}
}
@inproceedings{conf/prdc/SabaliauskaiteN17,
title = {Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems.},
year = {2017},
booktitle = {PRDC},
author = {{Giedre Sabaliauskaite} and {Geok See Ng} and {Justin Ruths} and {Aditya Mathur}},
publisher = {IEEE Computer Society},
booktitle = {22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017}
}
@inproceedings{conf/qrs/AdepuM17,
title = {From Design to Invariants: Detecting Attacks on Cyber Physical Systems.},
year = {2017},
booktitle = {QRS Companion},
author = {{Sridhar Adepu} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017}
}
@inproceedings{conf/qrs/AdepuMM17,
title = {Access Control in Water Distribution Networks: A Case Study.},
year = {2017},
booktitle = {QRS},
author = {{Sridhar Adepu} and {Gyanendra Mishra} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017}
}
@inproceedings{conf/qrs/AdepuPM17,
title = {WaterJam: An Experimental Case Study of Jamming Attacks on a Water Treatment System.},
year = {2017},
booktitle = {QRS Companion},
author = {{Sridhar Adepu} and {Jay Prakash} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017}
}
@inproceedings{conf/qrs/AhmedM17,
title = {Hardware Identification via Sensor Fingerprinting in a Cyber Physical System.},
year = {2017},
booktitle = {QRS Companion},
author = {{Chuadhry Mujeeb Ahmed} and {Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017}
}
@inproceedings{conf/qrs/SugumarM17,
title = {Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems.},
year = {2017},
booktitle = {QRS Companion},
author = {{Gayathri Sugumar} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017}
}
@article{journals/corr/abs-1712-01598,
title = {NoiSense: Detecting Data Integrity Attacks on Sensor Measurements using Hardware based Fingerprints.},
year = {2017},
journal = {CoRR},
author = {{Chuadhry Mujeeb Ahmed} and {Aditya Mathur} and {Martín Ochoa}}
}
@article{journals/ras/SabaliauskaiteN17,
title = {A comprehensive approach, and a case study, for conducting attack detection experiments in Cyber-Physical Systems.},
year = {2017},
journal = {Robotics Auton. Syst.},
author = {{Giedre Sabaliauskaite} and {Geok See Ng} and {Justin Ruths} and {Aditya Mathur}}
}
@inproceedings{conf/acsac/Ahmed0M18,
title = {Noise Matters: Using Sensor and Process Noise Fingerprint to Detect Stealthy Cyber Attacks and Authenticate sensors in CPS.},
year = {2018},
booktitle = {ACSAC},
author = {{Chuadhry Mujeeb Ahmed} and {Jianying Zhou 001} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018}
}
@inproceedings{conf/ccs/AhmedOZMQMR18,
title = {NoisePrint: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems.},
year = {2018},
booktitle = {AsiaCCS},
author = {{Chuadhry Mujeeb Ahmed} and {Martín Ochoa} and {Jianying Zhou 001} and {Aditya P. Mathur} and {Rizwan Qadeer} and {Carlos Murguia} and {Justin Ruths}},
publisher = {ACM},
booktitle = {Proceedings of the 2018 on Asia Conference on Computer and Communications Security, AsiaCCS 2018, Incheon, Republic of Korea, June 04-08, 2018}
}
@inproceedings{conf/ccs/LinAVM18,
title = {TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems.},
year = {2018},
booktitle = {AsiaCCS},
author = {{Qin Lin} and {Sridhar Adepu} and {Sicco Verwer} and {Aditya Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 2018 on Asia Conference on Computer and Communications Security, AsiaCCS 2018, Incheon, Republic of Korea, June 04-08, 2018}
}
@inproceedings{conf/ccs/Mathur18,
title = {On The Limits of Detecting Process Anomalies in Critical Infrastructure.},
year = {2018},
booktitle = {CPSS@AsiaCCS},
author = {{Aditya Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 4th ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2018, Incheon, Republic of Korea, June 04-08, 2018}
}
@inproceedings{conf/esorics/AdepuKM18,
title = {EPIC: An Electric Power Testbed for Research and Training in Cyber Physical Systems Security.},
year = {2018},
booktitle = {CyberICPS/SECPRE@ESORICS},
author = {{Sridhar Adepu} and {Nandha Kumar Kandasamy} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Computer Security - ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6-7, 2018, Revised Selected Papers}
}
@inproceedings{conf/prdc/PatlollaMAM18,
title = {An Approach for Formal Analysis of the Security of a Water Treatment Testbed.},
year = {2018},
booktitle = {PRDC},
author = {{Sai Sidharth Patlolla} and {Bruce M. McMillin} and {Sridhar Adepu} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018}
}
@article{journals/ras/ShrivastavaAM18,
title = {Design and assessment of an Orthogonal Defense Mechanism for a water treatment facility.},
year = {2018},
journal = {Robotics Auton. Syst.},
author = {{Siddhant Shrivastava} and {Sridhar Adepu} and {Aditya Mathur}}
}
@inproceedings{conf/atis/RamanSM19,
title = {Anomaly Detection in Critical Infrastructure Using Probabilistic Neural Network.},
year = {2019},
booktitle = {ATIS},
author = {{M. R. Gauthama Raman} and {Nivethitha Somu} and {Aditya P. Mathur}},
publisher = {Springer},
booktitle = {Applications and Techniques in Information Security - 10th International Conference, ATIS 2019, Thanjavur, India, November 22-24, 2019, Proceedings}
}
@inproceedings{conf/critis/LinVKM19,
title = {Using Datasets from Industrial Control Systems for Cyber Security Research and Education.},
year = {2019},
booktitle = {CRITIS},
author = {{Qin Lin} and {Sicco Verwer} and {Robert E. Kooij} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23-25, 2019, Revised Selected Papers}
}
@inproceedings{conf/edcc/SugumarM19,
title = {Assessment of a Method for Detecting Process Anomalies Using Digital-Twinning.},
year = {2019},
booktitle = {EDCC},
author = {{Gayathri Sugumar} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {15th European Dependable Computing Conference, EDCC 2019, Naples, Italy, September 17-20, 2019}
}
@inproceedings{conf/kbse/AdepuKM19,
title = {Challenges in Secure Engineering of Critical Infrastructure Systems.},
year = {2019},
booktitle = {ASE Workshops},
author = {{Sridhar Adepu} and {Eunsuk Kang} and {Aditya P. Mathur}},
publisher = {IEEE},
booktitle = {34th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASE Workshops 2019, San Diego, CA, USA, November 11-15, 2019}
}
@inproceedings{conf/ndss/0004PMC19,
title = {A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems.},
year = {2019},
booktitle = {NDSS},
author = {{Cheng Feng 004} and {Venkata Reddy Palleti} and {Aditya Mathur} and {Deeph Chana}},
publisher = {The Internet Society},
booktitle = {26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, February 24-27, 2019}
}
@article{journals/ijcip/MishraPM19,
title = {A modeling framework for critical infrastructure and its application in detecting cyber-attacks on a water distribution system.},
year = {2019},
journal = {Int. J. Crit. Infrastructure Prot.},
author = {{Vishrut Kumar Mishra} and {Venkata Reddy Palleti} and {Aditya Mathur}}
}
@article{journals/ijcip/SugumarM19,
title = {A method for testing distributed anomaly detectors.},
year = {2019},
journal = {Int. J. Crit. Infrastructure Prot.},
author = {{Gayathri Sugumar} and {Aditya Mathur}}
}
@article{journals/percom/MawAM19,
title = {ICS-BlockOpS: Blockchain for operational data security in industrial control system.},
year = {2019},
journal = {Pervasive Mob. Comput.},
author = {{Aung Maw} and {Sridhar Adepu} and {Aditya Mathur}}
}
@article{journals/tr/PeiCYMX19,
title = {Dynamic Random Testing: Technique and Experimental Evaluation.},
year = {2019},
journal = {IEEE Trans. Reliab.},
author = {{Hanyu Pei} and {Kai-Yuan Cai} and {Beibei Yin} and {Aditya P. Mathur} and {Min Xie 001}}
}
@inproceedings{conf/acns/AdepuPMM20,
title = {Investigation of Cyber Attacks on a Water Distribution System.},
year = {2020},
booktitle = {ACNS Workshops},
author = {{Sridhar Adepu} and {Venkata Reddy Palleti} and {Gyanendra Mishra} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Applied Cryptography and Network Security Workshops - ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19-22, 2020, Proceedings}
}
@inproceedings{conf/ccs/AhmedRM20,
title = {Challenges in Machine Learning based approaches for Real-Time Anomaly Detection in Industrial Control Systems.},
year = {2020},
booktitle = {CPSS@AsiaCCS},
author = {{Chuadhry Mujeeb Ahmed} and {M. R. Gauthama Raman} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {Proceedings of the 6th ACM Workshop on Cyber-Physical System Security, CPSS@AsiaCCS 2020, Taipei, Taiwan, October 6, 2020}
}
@inproceedings{conf/icse/WijayaAM20,
title = {Domain-Based Fuzzing for Supervised Learning of Anomaly Detection in Cyber-Physical Systems.},
year = {2020},
booktitle = {ICSE (Workshops)},
author = {{Herman Wijaya} and {Maurício Finavaro Aniche} and {Aditya Mathur}},
publisher = {ACM},
booktitle = {ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020}
}
@article{journals/compsec/RDM20,
title = {Deep autoencoders as anomaly detectors: Method and case study in a distributed water treatment plant.},
year = {2020},
journal = {Comput. Secur.},
author = {{M. R. Gauthama Raman} and {Wenjie Dong} and {Aditya Mathur}}
}
@article{journals/ijcip/RamanSM20,
title = {A multilayer perceptron model for anomaly detection in water treatment plants.},
year = {2020},
journal = {Int. J. Crit. Infrastructure Prot.},
author = {{M. R. Gauthama Raman} and {Nivethitha Somu} and {Aditya P. Mathur}}
}
@article{journals/ijcip/UmerMJA20,
title = {Generating invariants using design and data-centric approaches for distributed attack detection.},
year = {2020},
journal = {Int. J. Crit. Infrastructure Prot.},
author = {{Muhammad Azmi Umer} and {Aditya Mathur} and {Khurum Nazir Junejo} and {Sridhar Adepu}}
}
@article{journals/ijisec/AdepuKZM20,
title = {Attacks on smart grid: power supply interruption and malicious power generation.},
year = {2020},
journal = {Int. J. Inf. Sec.},
author = {{Sridhar Adepu} and {Nandha Kumar Kandasamy} and {Jianying Zhou 001} and {Aditya Mathur}}
}
@article{journals/jid/LiyakkathaliFSM20,
title = {A Mechanism to Assess the Effectiveness Anomaly Detectors in Industrial Control Systems.},
year = {2020},
journal = {J. Integr. Des. Process. Sci.},
author = {{Salimah Liyakkathali} and {Francisco Furtado} and {Gayathri Sugumar} and {Aditya Mathur}}
}
@article{journals/tissec/AhmedMO20,
title = {NoiSense Print: Detecting Data Integrity Attacks on Sensor Measurements Using Hardware-based Fingerprints.},
year = {2020},
journal = {ACM Trans. Priv. Secur.},
author = {{Chuadhry Mujeeb Ahmed} and {Aditya P. Mathur} and {Martín Ochoa}}
}
@inproceedings{conf/acns/LiyakkathaliSM21,
title = {Attacklets to Test Anomaly Detectors for Critical Infrastructure.},
year = {2021},
booktitle = {ACNS Workshops},
author = {{Salimah Liyakkathali} and {Gayathri Sugumar} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Applied Cryptography and Network Security Workshops - ACNS 2021 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, and SiMLA, Kamakura, Japan, June 21-24, 2021, Proceedings}
}
@inproceedings{conf/asiaccs/AhmedO0M21,
title = {Scanning the Cycle: Timing-based Authentication on PLCs.},
year = {2021},
booktitle = {AsiaCCS},
author = {{Chuadhry Mujeeb Ahmed} and {Martín Ochoa} and {Jianying Zhou 001} and {Aditya Mathur}},
publisher = {ACM},
booktitle = {ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, Virtual Event, Hong Kong, June 7-11, 2021.}
}
@inproceedings{conf/bigdataconf/ShrivastavaRM21,
title = {PCAT: PLC Command Analysis Tool for automatic incidence response in Water Treatment Plants.},
year = {2021},
booktitle = {IEEE BigData},
author = {{Siddhant Shrivastava} and {M. R. Gauthama Raman} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {2021 IEEE International Conference on Big Data (Big Data), Orlando, FL, USA, December 15-18, 2021}
}
@inproceedings{conf/ccs/UmerAJM21,
title = {Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning.},
year = {2021},
booktitle = {CPSIOTSEC@CCS},
author = {{Muhammad Azmi Umer} and {Chuadhry Mujeeb Ahmed} and {Muhammad Taha Jilani} and {Aditya P. Mathur}},
publisher = {ACM},
booktitle = {CPSIoTSec '21: Proceedings of the 2th Workshop on CPS&IoT Security and Privacy, Virtual Event, Republic of Korea, 15 November 2021}
}
@inproceedings{conf/critis/BalajiSAM21,
title = {Super Detector: An Ensemble Approach for Anomaly Detection in Industrial Control Systems.},
year = {2021},
booktitle = {CRITIS},
author = {{Madhumitha Balaji} and {Siddhant Shrivastava} and {Sridhar Adepu} and {Aditya Mathur}},
publisher = {Springer},
booktitle = {Critical Information Infrastructures Security - 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27-29, 2021, Revised Selected Papers}
}
@article{journals/cybersec/PalletiAMM21,
title = {Cascading effects of cyber-attacks on interconnected critical infrastructure.},
year = {2021},
journal = {Cybersecur.},
author = {{Venkata Reddy Palleti} and {Sridhar Adepu} and {Vishrut Kumar Mishra} and {Aditya Mathur}}
}
@article{journals/cybersec/RamanAM21,
title = {Machine learning for intrusion detection in industrial control systems: challenges and lessons from experimental evaluation.},
year = {2021},
journal = {Cybersecur.},
author = {{M. R. Gauthama Raman} and {Chuadhry Mujeeb Ahmed} and {Aditya Mathur}}
}
@article{journals/ijcip/AdepuM21,
title = {SafeCI: Avoiding process anomalies in critical infrastructure.},
year = {2021},
journal = {Int. J. Crit. Infrastructure Prot.},
author = {{Sridhar Adepu} and {Aditya Mathur}}
}
@article{journals/tcps/PalletiMAM21,
title = {Can Replay Attacks Designed to Steal Water from Water Distribution Systems Remain Undetected?},
year = {2021},
journal = {ACM Trans. Cyber Phys. Syst.},
author = {{Venkata Reddy Palleti} and {Vishrut Kumar Mishra} and {Chuadhry Mujeeb Ahmed} and {Aditya Mathur}}
}
@article{journals/tdsc/AdepuM21,
title = {Distributed Attack Detection in a Water Treatment Plant: Method and Case Study.},
year = {2021},
journal = {IEEE Trans. Dependable Secur. Comput.},
author = {{Sridhar Adepu} and {Aditya Mathur}}
}
@article{journals/tsusc/AdepuM21,
title = {Assessing the Effectiveness of Attack Detection at a Hackfest on Industrial Control Systems.},
year = {2021},
journal = {IEEE Trans. Sustain. Comput.},
author = {{Sridhar Adepu} and {Aditya Mathur}}
}
@inproceedings{conf/cycon/ShrivastavaFGM22,
title = {The Design of Cyber-Physical Exercises (CPXS).},
year = {2022},
booktitle = {CyCom},
author = {{Siddhant Shrivastava} and {Francisco Furtado} and {Mark Goh} and {Aditya Mathur}},
publisher = {IEEE},
booktitle = {14th International Conference on Cyber Conflict: Keep Moving!, CyCon 2022, Tallinn, Estonia, May 31 - June 3, 2022}
}
@inproceedings{conf/sea4dq/UmerMJ22,
title = {Effect of time patterns in mining process invariants for industrial control systems: an experimental study.},
year = {2022},
booktitle = {SEA4DQ@ESEC/SIGSOFT FSE},
author = {{Muhammad Azmi Umer} and {Aditya Mathur} and {Muhammad Taha Jilani}},
publisher = {ACM},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things, SEA4DQ 2022, Singapore, Singapore, 17 November 2022}
}
@article{journals/compsec/SungRM22,
title = {Design-knowledge in learning plant dynamics for detecting process anomalies in water treatment plants.},
year = {2022},
journal = {Comput. Secur.},
author = {{Dillon Cheong Lien Sung} and {M. R. Gauthama Raman} and {Aditya P. Mathur}}
}
@article{journals/ijcip/UmerJJM22,
title = {Machine learning for intrusion detection in industrial control systems: Applications, challenges, and recommendations.},
year = {2022},
journal = {Int. J. Crit. Infrastructure Prot.},
author = {{Muhammad Azmi Umer} and {Khurum Nazir Junejo} and {Muhammad Taha Jilani} and {Aditya P. Mathur}}
}
@article{journals/istr/RamanM22,
title = {AICrit: A unified framework for real-time anomaly detection in water treatment plants.},
year = {2022},
journal = {J. Inf. Secur. Appl.},
author = {{M. R. Gauthama Raman} and {Aditya P. Mathur}}
}
@article{journals/tsmc/RamanM22,
title = {A Hybrid Physics-Based Data-Driven Framework for Anomaly Detection in Industrial Control Systems.},
year = {2022},
journal = {IEEE Trans. Syst. Man Cybern. Syst.},
author = {{M. R. Gauthama Raman} and {Aditya P. Mathur}}
}
@inproceedings{conf/ro-man/NanwaniAJPMMJHGK23,
title = {Instance-Level Semantic Maps for Vision Language Navigation.},
year = {2023},
booktitle = {RO-MAN},
author = {{Laksh Nanwani} and {Anmol Agarwal} and {Kanishk Jain} and {Raghav Prabhakar} and {Aaron Monis} and {Aditya Mathur} and {Krishna Murthy Jatavallabhula} and {A. H. Abdul Hafez} and {Vineet Gandhi} and {K. Madhava Krishna}},
publisher = {IEEE},
booktitle = {32nd IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2023, Busan, Republic of Korea, August 28-31, 2023}
}
@article{journals/ieeesp/Mathur23,
title = {Reconfigurable Digital Twin to Support Research, Education, and Training in the Defense of Critical Infrastructure.},
year = {2023},
journal = {IEEE Secur. Priv.},
author = {{Aditya P. Mathur}}
}
@article{journals/smr/BertolinoHM23,
title = {Introduction to the special issue on automation of software test and test code quality.},
year = {2023},
month = {April},
journal = {J. Softw. Evol. Process.},
author = {{Antonia Bertolino} and {Shin Hong} and {Aditya P. Mathur}}
}