Aditya P. Mathur

123 papers A* 7A 13B 12C 2Misc 1Journal 45Unranked 42
YearRankTypeTitle / Venue / Authors
2026 J jnl
Attack pattern mining to discover hidden threats to industrial control systems.
Int. J. Inf. Sec.
Muhammad Azmi Umer, Chuadhry Mujeeb Ahmed, Aditya P. Mathur, Muhammad Taha Jilani
2025 J jnl
A Cyber-Twin Based Honeypot for Gathering Threat Intelligence.
CoRR
Muhammad Azmi Umer, Zhan Xuna, Yan Lin Aung, Aditya P. Mathur, Jianying Zhou
2025 J jnl
Assessing the Effectiveness of PCAT in Avoiding Process Anomalies in Water Treatment Plants.
IEEE Trans. Ind. Informatics
M. R. Gauthama Raman, Siddhant Shrivastava, Aditya P. Mathur
2025 Misc conf
PlantShield: An Automated Response Tool for Critical Infrastructures.
ICNC
Sanskar Shrivastava, Tiger Lim, Aditya P. Mathur
2024 — conf
Adaptive Data-Driven LSTM Model for Sensor Drift Detection in Water Utilities.
ATIS
S. Abisheg, M. R. Gauthama Raman, Aditya P. Mathur
2024 — conf
DRACE: A Framework for Evaluating Anomaly Detectors for Industrial Control Systems.
CPSS@AsiaCCS
Ivan Christian, Francisco Furtado, Aditya P. Mathur
2023 J jnl
Introduction to the special issue on automation of software test and test code quality.
J. Softw. Evol. Process.
Antonia Bertolino, Shin Hong, Aditya P. Mathur
2023 J jnl
Reconfigurable Digital Twin to Support Research, Education, and Training in the Defense of Critical Infrastructure.
IEEE Secur. Priv.
Aditya P. Mathur
2022 J jnl
A Hybrid Physics-Based Data-Driven Framework for Anomaly Detection in Industrial Control Systems.
IEEE Trans. Syst. Man Cybern. Syst.
M. R. Gauthama Raman, Aditya P. Mathur
2022 J jnl
AICrit: A unified framework for real-time anomaly detection in water treatment plants.
J. Inf. Secur. Appl.
M. R. Gauthama Raman, Aditya P. Mathur
2022 J jnl
Design-knowledge in learning plant dynamics for detecting process anomalies in water treatment plants.
Comput. Secur.
Dillon Cheong Lien Sung, M. R. Gauthama Raman, Aditya P. Mathur
2022 J jnl
Machine Learning for Intrusion Detection in Industrial Control Systems: Applications, Challenges, and Recommendations.
CoRR
Muhammad Azmi Umer, Khurum Nazir Junejo, Muhammad Taha Jilani, Aditya P. Mathur
2022 J jnl
Machine learning for intrusion detection in industrial control systems: Applications, challenges, and recommendations.
Int. J. Crit. Infrastructure Prot.
Muhammad Azmi Umer, Khurum Nazir Junejo, Muhammad Taha Jilani, Aditya P. Mathur
2021 — conf
Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning.
CPSIOTSEC@CCS
Muhammad Azmi Umer, Chuadhry Mujeeb Ahmed, Muhammad Taha Jilani, Aditya P. Mathur
2021 J jnl
Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning.
CoRR
Muhammad Azmi Umer, Chuadhry Mujeeb Ahmed, Muhammad Taha Jilani, Aditya P. Mathur
2020 J jnl
A multilayer perceptron model for anomaly detection in water treatment plants.
Int. J. Crit. Infrastructure Prot.
M. R. Gauthama Raman, Nivethitha Somu, Aditya P. Mathur
2020 — conf
Challenges in Machine Learning based approaches for Real-Time Anomaly Detection in Industrial Control Systems.
CPSS@AsiaCCS
Chuadhry Mujeeb Ahmed, M. R. Gauthama Raman, Aditya P. Mathur
2019 — conf
Anomaly Detection in Critical Infrastructure Using Probabilistic Neural Network.
ATIS
M. R. Gauthama Raman, Nivethitha Somu, Aditya P. Mathur
2019 — conf
Challenges in Secure Engineering of Critical Infrastructure Systems.
ASE Workshops
Sridhar Adepu, Eunsuk Kang, Aditya P. Mathur
2019 J jnl
Dynamic Random Testing: Technique and Experimental Evaluation.
IEEE Trans. Reliab.
Hanyu Pei, Kai-Yuan Cai, Beibei Yin, Aditya P. Mathur, Min Xie
2018 A conf
Noise Matters: Using Sensor and Process Noise Fingerprint to Detect Stealthy Cyber Attacks and Authenticate sensors in CPS.
ACSAC
Chuadhry Mujeeb Ahmed, Jianying Zhou, Aditya P. Mathur
2017 — conf
Hardware Identification via Sensor Fingerprinting in a Cyber Physical System.
QRS Companion
Chuadhry Mujeeb Ahmed, Aditya P. Mathur
2017 — conf
WADI: a water distribution testbed for research in the design of secure cyber physical systems.
CySWATER@CPSWeek
Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, Aditya P. Mathur
2016 — conf
Challenges in Testing the Design of Secure Complex Critical Public Infrastructure.
COMPSAC Workshops
Aditya P. Mathur
2016 B conf
Designing [Secure] Complex Critical Public Infrastructure.
COMPSAC
Aditya P. Mathur
2016 — conf
Detecting Multi-Point Attacks in a Water Treatment System Using Intermittent Control Actions.
SG-CRC
Sridhar Adepu, Aditya P. Mathur
2016 — conf
Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot.
COMPSAC Workshops
Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur
2016 — conf
Empirical Assessment of Methods to Detect Cyber Attacks on a Robot.
HASE
Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur
2016 — conf
Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study.
CSDM Asia
Sridhar Adepu, Aditya P. Mathur
2016 — conf
Model-based security analysis of a water treatment system.
SEsCPS@ICSE
Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur
2016 — conf
SWaT: a water treatment testbed for research and training on ICS security.
CySWATER@CPSWeek
Aditya P. Mathur, Nils Ole Tippenhauer
2015 C conf
Experimental Evaluation of Stealthy Attack Detection in a Robot.
PRDC
Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur
2015 J jnl
Fault domain-based testing in imperfect situations: a heuristic approach and case studies.
Softw. Qual. J.
Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão
2014 — conf
Aligning Cyber-Physical System Safety and Security.
CSDM Asia
Giedre Sabaliauskaite, Aditya P. Mathur
2014 — conf
Countermeasures to Enhance Cyber-physical System Security and Safety.
COMPSAC Workshops
Giedre Sabaliauskaite, Aditya P. Mathur
2014 — conf
Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems.
COMPSAC Workshops
Giedre Sabaliauskaite, Aditya P. Mathur
2013 C conf
Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums.
SEKE
Karthikeyan Rajasekharan, Aditya P. Mathur, See-Kiong Ng
2013 J jnl
Enhancing software reliability estimates using modified adaptive testing.
Inf. Softw. Technol.
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur
2013 — conf
Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems.
CyberC
Giedre Sabaliauskaite, Aditya P. Mathur
2012 — conf
A Security Assurance Framework Combining Formal Verification and Security Functional Testing.
QSIC
Weiguang Wang, Qingkai Zeng, Aditya P. Mathur
2012 J jnl
Modeling, Analysis, and Testing of System Vulnerabilities.
Adv. Comput.
Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke
2011 A* conf
Analysis of an expert search query log.
SIGIR
Yi Fang, Naveen Somasundaram, Luo Si, Jeongwoo Ko, Aditya P. Mathur
2011 J jnl
Discriminative probabilistic models for expert search in heterogeneous information sources.
Inf. Retr.
Yi Fang, Luo Si, Aditya P. Mathur
2011 — conf
Teaching software testing: Experiences, lessons learned and the path forward.
CSEE&T
W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya P. Mathur, Jeff Offutt, Mladen A. Vouk
2011 — conf
Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems.
COMPSAC Workshops
Huanyin Yi, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Aditya P. Mathur
2010 J jnl
Conformance Testing of Temporal Role-Based Access Control Systems.
IEEE Trans. Dependable Secur. Comput.
Ammar Masood, Arif Ghafoor, Aditya P. Mathur
2010 J jnl
Discriminative graphical models for faculty homepage discovery.
Inf. Retr.
Yi Fang, Luo Si, Aditya P. Mathur
2010 A* conf
Discriminative models of integrating document evidence and document-candidate associations for expert search.
SIGIR
Yi Fang, Luo Si, Aditya P. Mathur
2010 J jnl
Fault coverage of Constrained Random Test Selection for access control: A formal analysis.
J. Syst. Softw.
Ammar Masood, Arif Ghafoor, Aditya P. Mathur
2009 J jnl
Editorial.
J. Syst. Softw.
W. Eric Wong, Aditya P. Mathur
2009 J jnl
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng.
João W. Cangussu, Aditya P. Mathur
2009 J jnl
Scalable and Effective Test Generation for Role-Based Access Control Systems.
IEEE Trans. Software Eng.
Ammar Masood, Rafae Bhatti, Arif Ghafoor, Aditya P. Mathur
2008 B conf
IWSC 2008 Workshop Organization.
COMPSAC
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
2008 B conf
Message from the IWSC 2008 Workshop Organizers.
COMPSAC
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai
2008 J jnl
Message from the guest editors.
J. Syst. Softw.
Aditya P. Mathur, Johnny Wong
2008 B conf
On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.
COMPSAC
K. R. Jayaram, Aditya P. Mathur
2008 B conf
Quantitative Modeling for Incremental Software Process Control.
COMPSAC
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur
2008 — ch.
Software Cybernetics.
Wiley Encyclopedia of Computer Science and Engineering
João W. Cangussu, Kai-Yuan Cai, Scott D. Miller, Aditya P. Mathur
2007 — conf
Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective.
FECS
James Early, Rajesh Subramanyan, Aditya P. Mathur
2006 J jnl
A control-theoretic approach to the management of the software system test phase.
J. Syst. Softw.
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu
2006 J jnl
Introduction to the special section on software cybernetics.
J. Syst. Softw.
Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur
2005 — conf
A Software Cybernetic Approach to Control of the Software System Test Phase.
COMPSAC (2)
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur
2005 — conf
DIG: A Tool for Software Process Data Extraction and Grooming.
COMPSAC (1)
Scott D. Miller, Aditya P. Mathur, Raymond A. DeCarlo
2005 — conf
Interceptor Based Constraint Violation Detection.
ECBS
Qianxiang Wang, Aditya P. Mathur
2005 — conf
Model-Based Software Testing and Verification.
COMPSAC (1)
Aditya P. Mathur
2004 B conf
Computer Supported Cooperative Work in Software Engineering.
COMPSAC
J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun
2004 — conf
Modeling and Control of the Incremental Software Test Process.
COMPSAC Workshops
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur
2004 A conf
Software Release Control using Defect Based Quality Estimation.
ISSRE
João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo
2003 — conf
An Overview of Software Cybernetics.
STEP
Kai-Yuan Cai, João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2003 — conf
Monitoring the software test process using statistical process control: a logarithmic approach.
ESEC / SIGSOFT FSE
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2003 A* conf
Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.
PerCom
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
2003 J jnl
Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process.
IEEE Trans. Software Eng.
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2003 — conf
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.
QSIC
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai
2002 J jnl
A Formal Model of the Software Test Process.
IEEE Trans. Software Eng.
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2002 J jnl
Digital device manuals for the management of ConnectedSpaces.
IEEE Commun. Mag.
Baskar Sridharan, Aditya P. Mathur, Steven G. Ungar
2002 A conf
Effect of Disturbances on the Convergence of Failure Intensity.
ISSRE
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo
2001 — conf
A XML based Policy-Driven Management Information Service.
Integrated Network Management
Ramkumar Natarajan, Aditya P. Mathur, Paul McKee
2001 B conf
A state model for the Software Test Process with automated parameter identification.
SMC
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2001 A conf
Feedback Control of the Software Test Process Through Measurements of Software Reliability.
ISSRE
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo
2001 J jnl
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation.
Empir. Softw. Eng.
Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur
2001 J jnl
Interface Mutation: An Approach for Integration Testing.
IEEE Trans. Software Eng.
Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur
2001 J jnl
Interface mutation.
Softw. Test. Verification Reliab.
Sudipto Ghosh, Aditya P. Mathur
2001 A conf
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.
ISSRE
Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi
2001 B conf
Sensitivity analysis of a state variable model of the Software Test Process.
SMC
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
2000 A* conf
Generating Test Data for Branch Coverage.
ASE
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
2000 — conf
Interface Mutation to Assess the Adequacy of Tests for Components and Systems.
TOOLS (34)
Sudipto Ghosh, Aditya P. Mathur
2000 — conf
Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects.
TOOLS (33)
Baskar Sridharan, Sambrama Mundkur, Aditya P. Mathur
2000 A conf
Testing for Software Vulnerability Using Environment Perturbation.
DSN
Wenliang Du, Aditya P. Mathur
1999 A conf
Security Relevancy Analysis on the Registry of Windows NT 4.0.
ACSAC
Wenliang Du, Praerit Garg, Aditya P. Mathur
1999 J jnl
Test set size minimization and fault detection effectiveness: A case study in a space application.
J. Syst. Softw.
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
1999 A* conf
UNA Based Iterative Test Data Generation and Its Evaluation.
ASE
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
1998 — conf
Automated Test Data Generation Using an Iterative Relaxation Method.
SIGSOFT FSE
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa
1998 J jnl
Effect of Test Set Minimization on Fault Detection Effectiveness.
Softw. Pract. Exp.
W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur
1997 A conf
On the estimation of reliability of a software system using reliabilities of its components.
ISSRE
Saileshwar Krishnamurthy, Aditya P. Mathur
1997 B conf
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application.
COMPSAC
W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini
1996 A conf
Integration testing using interface mutation.
ISSRE
Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur
1996 — conf
On predicting reliability of modules using code coverage.
CASCON
Saileshwar Krishnamurthy, Aditya P. Mathur
1995 A* conf
Effect of Test Set Minimization on Fault Detection Effectiveness.
ICSE
W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur
1995 J jnl
Fault detection effectiveness of mutation and data flow testing.
Softw. Qual. J.
W. Eric Wong, Aditya P. Mathur
1995 B conf
LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior.
COMPSAC
David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur
1995 A conf
On the correlation between code coverage and software reliability.
ISSRE
Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini
1995 J jnl
Reducing the cost of mutation testing: An empirical study.
J. Syst. Softw.
W. Eric Wong, Aditya P. Mathur
1995 J jnl
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods.
IEEE Trans. Software Eng.
Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong
1994 — conf
A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria.
ACM Conference on Computer Science
Aditya P. Mathur, W. Eric Wong
1994 — conf
A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience.
CSEE
David B. Boardman, Aditya P. Mathur
1994 A conf
A case study to investigate sensitivity of reliability estimates to errors in operational profile.
ISSRE
Mei-Hwa Chen, Aditya P. Mathur, Vernon Rego
1994 J jnl
An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria.
Softw. Test. Verification Reliab.
Aditya P. Mathur, W. Eric Wong
1994 — conf
Constrained Mutation in C programs.
SBES
W. Eric Wong, José Carlos Maldonado, Márcio E. Delamaro, Aditya P. Mathur
1994 A conf
Effect of test set size and block coverage on the fault detection effectiveness.
ISSRE
W. Eric Wong, Joseph R. Horgan, Saul London, Aditya P. Mathur
1994 J jnl
Experiments with
Concurr. Pract. Exp.
Ling-Yu Chuang, Vernon Rego, Aditya P. Mathur
1994 — conf
Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness.
Software Quality and Productivity
W. Eric Wong, Aditya P. Mathur, José Carlos Maldonado
1993 — conf
Evaluation of The Cost of Alternate Mutation Strategies.
SBES
Aditya P. Mathur, Weichen E. Wong
1993 J jnl
High-performance mutation testing.
J. Syst. Softw.
Byoungju Choi, Aditya P. Mathur
1993 A conf
TERSE: A tool for evaluating software reliability models.
ISSRE
Mei-Hwa Chen, Michael K. Jones, Aditya P. Mathur, Vernon Rego
1992 J jnl
An application of program unification to priority queue vectorization.
Int. J. Parallel Program.
Ling-Yu Chuang, Vernon Rego, Aditya P. Mathur
1992 J jnl
Assessing Testing Tools in Research and Education.
IEEE Softw.
Joseph Robert Horgan, Aditya P. Mathur
1991 B conf
Compiler-integrated program mutation.
COMPSAC
Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur
1991 J jnl
High Performance Software Testing on SIMD Machines.
IEEE Trans. Software Eng.
Edward W. Krauser, Aditya P. Mathur, Vernon Rego
1991 B conf
Performance, effectiveness, and reliability issues in software testing.
COMPSAC
Aditya P. Mathur
1990 J jnl
Concurrency Enhancement through Program Unification: A Performance Analysis.
J. Parallel Distributed Comput.
Vernon Rego, Aditya P. Mathur
1990 J jnl
Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis.
IEEE Trans. Parallel Distributed Syst.
Vernon Rego, Aditya P. Mathur
1989 — conf
PMothra: Scheduling Mutants for Execution on a Hypercube.
Symposium on Testing, Analysis, and Verification
Byoungju Choi, Aditya P. Mathur, Brian Pattison
1988 A* conf
Modeling Mutation on a Vector Processor.
ICSE
Aditya P. Mathur, Edward W. Krauser