Aditya P. Mathur

According to our database, Aditya P. Mathur authored at least 164 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2023

Introduction to the special issue on automation of software test and test code quality.

Antonia Bertolino, Shin Hong, Aditya P. Mathur

J. Softw. Evol. Process., April, 2023

Reconfigurable Digital Twin to Support Research, Education, and Training in the Defense of Critical Infrastructure.

Aditya P. Mathur

IEEE Secur. Priv., 2023

Instance-Level Semantic Maps for Vision Language Navigation.

Laksh Nanwani, Anmol Agarwal, Kanishk Jain, Raghav Prabhakar, Aaron Monis, Aditya Mathur, Krishna Murthy Jatavallabhula, A. H. Abdul Hafez, Vineet Gandhi, K. Madhava Krishna

Proceedings of the 32nd IEEE International Conference on Robot and Human Interactive Communication, 2023

2022

A Hybrid Physics-Based Data-Driven Framework for Anomaly Detection in Industrial Control Systems.

M. R. Gauthama Raman, Aditya P. Mathur

IEEE Trans. Syst. Man Cybern. Syst., 2022

AICrit: A unified framework for real-time anomaly detection in water treatment plants.

M. R. Gauthama Raman, Aditya P. Mathur

J. Inf. Secur. Appl., 2022

Machine learning for intrusion detection in industrial control systems: Applications, challenges, and recommendations.

Muhammad Azmi Umer, Khurum Nazir Junejo, Muhammad Taha Jilani, Aditya P. Mathur

Int. J. Crit. Infrastructure Prot., 2022

Design-knowledge in learning plant dynamics for detecting process anomalies in water treatment plants.

Dillon Cheong Lien Sung, M. R. Gauthama Raman, Aditya P. Mathur

Comput. Secur., 2022

Effect of time patterns in mining process invariants for industrial control systems: an experimental study.

Muhammad Azmi Umer, Aditya Mathur, Muhammad Taha Jilani

Proceedings of the 2nd International Workshop on Software Engineering and AI for Data Quality in Cyber-Physical Systems/Internet of Things, 2022

The Design of Cyber-Physical Exercises (CPXS).

Siddhant Shrivastava, Francisco Furtado, Mark Goh, Aditya Mathur

Proceedings of the 14th International Conference on Cyber Conflict: Keep Moving!, 2022

2021

Assessing the Effectiveness of Attack Detection at a Hackfest on Industrial Control Systems.

Sridhar Adepu, Aditya Mathur

IEEE Trans. Sustain. Comput., 2021

Distributed Attack Detection in a Water Treatment Plant: Method and Case Study.

Sridhar Adepu, Aditya Mathur

IEEE Trans. Dependable Secur. Comput., 2021

Can Replay Attacks Designed to Steal Water from Water Distribution Systems Remain Undetected?

Venkata Reddy Palleti, Vishrut Kumar Mishra, Chuadhry Mujeeb Ahmed, Aditya Mathur

ACM Trans. Cyber Phys. Syst., 2021

SafeCI: Avoiding process anomalies in critical infrastructure.

Sridhar Adepu, Aditya Mathur

Int. J. Crit. Infrastructure Prot., 2021

Machine learning for intrusion detection in industrial control systems: challenges and lessons from experimental evaluation.

M. R. Gauthama Raman, Chuadhry Mujeeb Ahmed, Aditya Mathur

Cybersecur., 2021

Cascading effects of cyber-attacks on interconnected critical infrastructure.

Venkata Reddy Palleti, Sridhar Adepu, Vishrut Kumar Mishra, Aditya Mathur

Cybersecur., 2021

Super Detector: An Ensemble Approach for Anomaly Detection in Industrial Control Systems.

Madhumitha Balaji, Siddhant Shrivastava, Sridhar Adepu, Aditya Mathur

Proceedings of the Critical Information Infrastructures Security, 2021

Attack Rules: An Adversarial Approach to Generate Attacks for Industrial Control Systems using Machine Learning.

Muhammad Azmi Umer, Chuadhry Mujeeb Ahmed, Muhammad Taha Jilani, Aditya P. Mathur

Proceedings of the CPSIoTSec '21: Proceedings of the 2th Workshop on CPS&IoT Security and Privacy, 2021

PCAT: PLC Command Analysis Tool for automatic incidence response in Water Treatment Plants.

Siddhant Shrivastava, M. R. Gauthama Raman, Aditya Mathur

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

Scanning the Cycle: Timing-based Authentication on PLCs.

Chuadhry Mujeeb Ahmed, Martín Ochoa, Jianying Zhou, Aditya Mathur

Proceedings of the ASIA CCS '21: ACM Asia Conference on Computer and Communications Security, 2021

Attacklets to Test Anomaly Detectors for Critical Infrastructure.

Salimah Liyakkathali, Gayathri Sugumar, Aditya Mathur

Proceedings of the Applied Cryptography and Network Security Workshops, 2021

2020

<i>NoiSense Print</i>: Detecting Data Integrity Attacks on Sensor Measurements Using Hardware-based Fingerprints.

Chuadhry Mujeeb Ahmed, Aditya P. Mathur, Martín Ochoa

ACM Trans. Priv. Secur., 2020

A Mechanism to Assess the Effectiveness Anomaly Detectors in Industrial Control Systems.

Salimah Liyakkathali, Francisco Furtado, Gayathri Sugumar, Aditya Mathur

J. Integr. Des. Process. Sci., 2020

Attacks on smart grid: power supply interruption and malicious power generation.

Sridhar Adepu, Nandha Kumar Kandasamy, Jianying Zhou, Aditya Mathur

Int. J. Inf. Sec., 2020

Generating invariants using design and data-centric approaches for distributed attack detection.

Muhammad Azmi Umer, Aditya Mathur, Khurum Nazir Junejo, Sridhar Adepu

Int. J. Crit. Infrastructure Prot., 2020

A multilayer perceptron model for anomaly detection in water treatment plants.

M. R. Gauthama Raman, Nivethitha Somu, Aditya P. Mathur

Int. J. Crit. Infrastructure Prot., 2020

Deep autoencoders as anomaly detectors: Method and case study in a distributed water treatment plant.

M. R. Gauthama Raman, Wenjie Dong, Aditya Mathur

Comput. Secur., 2020

Domain-Based Fuzzing for Supervised Learning of Anomaly Detection in Cyber-Physical Systems.

Herman Wijaya, Maurício Finavaro Aniche, Aditya Mathur

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Challenges in Machine Learning based approaches for Real-Time Anomaly Detection in Industrial Control Systems.

Chuadhry Mujeeb Ahmed, M. R. Gauthama Raman, Aditya P. Mathur

Proceedings of the 6th ACM Workshop on Cyber-Physical System Security, 2020

Investigation of Cyber Attacks on a Water Distribution System.

Sridhar Adepu, Venkata Reddy Palleti, Gyanendra Mishra, Aditya Mathur

Proceedings of the Applied Cryptography and Network Security Workshops, 2020

2019

Dynamic Random Testing: Technique and Experimental Evaluation.

Hanyu Pei, Kai-Yuan Cai, Beibei Yin, Aditya P. Mathur, Min Xie

IEEE Trans. Reliab., 2019

ICS-BlockOpS: Blockchain for operational data security in industrial control system.

Aung Maw, Sridhar Adepu, Aditya Mathur

Pervasive Mob. Comput., 2019

A method for testing distributed anomaly detectors.

Gayathri Sugumar, Aditya Mathur

Int. J. Crit. Infrastructure Prot., 2019

A modeling framework for critical infrastructure and its application in detecting cyber-attacks on a water distribution system.

Vishrut Kumar Mishra, Venkata Reddy Palleti, Aditya Mathur

Int. J. Crit. Infrastructure Prot., 2019

A Systematic Framework to Generate Invariants for Anomaly Detection in Industrial Control Systems.

Cheng Feng, Venkata Reddy Palleti, Aditya Mathur, Deeph Chana

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

Challenges in Secure Engineering of Critical Infrastructure Systems.

Sridhar Adepu, Eunsuk Kang, Aditya P. Mathur

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

Assessment of a Method for Detecting Process Anomalies Using Digital-Twinning.

Gayathri Sugumar, Aditya Mathur

Proceedings of the 15th European Dependable Computing Conference, 2019

Using Datasets from Industrial Control Systems for Cyber Security Research and Education.

Qin Lin, Sicco Verwer, Robert E. Kooij, Aditya Mathur

Proceedings of the Critical Information Infrastructures Security, 2019

Anomaly Detection in Critical Infrastructure Using Probabilistic Neural Network.

M. R. Gauthama Raman, Nivethitha Somu, Aditya P. Mathur

Proceedings of the Applications and Techniques in Information Security, 2019

2018

Design and assessment of an Orthogonal Defense Mechanism for a water treatment facility.

Siddhant Shrivastava, Sridhar Adepu, Aditya Mathur

Robotics Auton. Syst., 2018

An Approach for Formal Analysis of the Security of a Water Treatment Testbed.

Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur

Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

EPIC: An Electric Power Testbed for Research and Training in Cyber Physical Systems Security.

Sridhar Adepu, Nandha Kumar Kandasamy, Aditya Mathur

Proceedings of the Computer Security - ESORICS 2018 International Workshops, 2018

On The Limits of Detecting Process Anomalies in Critical Infrastructure.

Aditya Mathur

Proceedings of the 4th ACM Workshop on Cyber-Physical System Security, 2018

TABOR: A Graphical Model-based Approach for Anomaly Detection in Industrial Control Systems.

Qin Lin, Sridhar Adepu, Sicco Verwer, Aditya Mathur

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

<i>NoisePrint</i>: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems.

Chuadhry Mujeeb Ahmed, Martín Ochoa, Jianying Zhou, Aditya P. Mathur, Rizwan Qadeer, Carlos Murguia, Justin Ruths

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

Noise Matters: Using Sensor and Process Noise Fingerprint to Detect Stealthy Cyber Attacks and Authenticate sensors in CPS.

Chuadhry Mujeeb Ahmed, Jianying Zhou, Aditya P. Mathur

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

A comprehensive approach, and a case study, for conducting attack detection experiments in Cyber-Physical Systems.

Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya Mathur

Robotics Auton. Syst., 2017

NoiSense: Detecting Data Integrity Attacks on Sensor Measurements using Hardware based Fingerprints.

Chuadhry Mujeeb Ahmed, Aditya Mathur, Martín Ochoa

CoRR, 2017

Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems.

Gayathri Sugumar, Aditya Mathur

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Hardware Identification via Sensor Fingerprinting in a Cyber Physical System.

Chuadhry Mujeeb Ahmed, Aditya P. Mathur

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

WaterJam: An Experimental Case Study of Jamming Attacks on a Water Treatment System.

Sridhar Adepu, Jay Prakash, Aditya Mathur

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Access Control in Water Distribution Networks: A Case Study.

Sridhar Adepu, Gyanendra Mishra, Aditya Mathur

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

From Design to Invariants: Detecting Attacks on Cyber Physical Systems.

Sridhar Adepu, Aditya Mathur

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems.

Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya Mathur

Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

SecWater: a multi-layer security framework for water treatment plants.

Aditya Mathur

Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, 2017

WADI: a water distribution testbed for research in the design of secure cyber physical systems.

Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, Aditya P. Mathur

Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks, 2017

Integrating Design and Data Centric Approaches to Generate Invariants for Distributed Attack Detection.

Muhammad Azmi Umer, Aditya Mathur, Khurum Nazir Junejo, Sridhar Adepu

Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, 2017

2016

Argus: An Orthogonal Defense Framework to Protect Public Infrastructure against Cyber-Physical Attacks.

Sridhar Adepu, Siddhant Shrivastava, Aditya Mathur

IEEE Internet Comput., 2016

Detecting Multi-Point Attacks in a Water Treatment System Using Intermittent Control Actions.

Sridhar Adepu, Aditya P. Mathur

Proceedings of the Singapore Cyber-Security Conference (SG-CRC) 2016, 2016

Using Process Invariants to Detect Cyber Attacks on a Water Treatment System.

Sridhar Adepu, Aditya Mathur

Proceedings of the ICT Systems Security and Privacy Protection, 2016

Model-based security analysis of a water treatment system.

Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

Empirical Assessment of Methods to Detect Cyber Attacks on a Robot.

Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

An Investigation into the Response of a Water Treatment System to Cyber Attacks.

Sridhar Adepu, Aditya Mathur

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Introducing Cyber Security at the Design Stage of Public Infrastructures: A Procedure and Case Study.

Sridhar Adepu, Aditya P. Mathur

Proceedings of the Complex Systems Design & Management Asia - Smart Nations, 2016

A Six-Step Model for Safety and Security Analysis of Cyber-Physical Systems.

Giedre Sabaliauskaite, Sridhar Adepu, Aditya Mathur

Proceedings of the Critical Information Infrastructures Security, 2016

A Dataset to Support Research in the Design of Secure Water Treatment Systems.

Jonathan Goh, Sridhar Adepu, Khurum Nazir Junejo, Aditya Mathur

Proceedings of the Critical Information Infrastructures Security, 2016

SWaT: a water treatment testbed for research and training on ICS security.

Aditya P. Mathur, Nils Ole Tippenhauer

Proceedings of the 2016 International Workshop on Cyber-physical Systems for Smart Water Networks, 2016

Empirical Assessment of Corrupt Sensor Data Detection Methods in a Robot.

Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Challenges in Testing the Design of Secure Complex Critical Public Infrastructure.

Aditya P. Mathur

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Designing [Secure] Complex Critical Public Infrastructure.

Aditya P. Mathur

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Generalized Attacker and Attack Models for Cyber Physical Systems.

Sridhar Adepu, Aditya Mathur

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Distributed Detection of Single-Stage Multipoint Cyber Attacks in a Water Treatment Plant.

Sridhar Adepu, Aditya Mathur

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016

2015

Fault domain-based testing in imperfect situations: a heuristic approach and case studies.

Fevzi Belli, Mutlu Beyazit, André Takeshi Endo, Aditya P. Mathur, Adenilso da Silva Simão

Softw. Qual. J., 2015

Experimental Evaluation of Stealthy Attack Detection in a Robot.

Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya P. Mathur

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

An Agent-Based Framework for Simulating and Analysing Attacks on Cyber Physical Systems.

Sridhar Adepu, Aditya Mathur, Jagadeesh Gunda, Sasa Z. Djokic

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

2014

Aligning Cyber-Physical System Safety and Security.

Giedre Sabaliauskaite, Aditya P. Mathur

Proceedings of the Complex Systems Design & Management Asia, Designing Smart Cities: Proceedings of the First Asia, 2014

Countermeasures to Enhance Cyber-physical System Security and Safety.

Giedre Sabaliauskaite, Aditya P. Mathur

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Design of Intelligent Checkers to Enhance the Security and Safety of Cyber Physical Systems.

Giedre Sabaliauskaite, Aditya P. Mathur

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Enhancing software reliability estimates using modified adaptive testing.

Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur

Inf. Softw. Technol., 2013

Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums.

Karthikeyan Rajasekharan, Aditya P. Mathur, See-Kiong Ng

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems.

Giedre Sabaliauskaite, Aditya P. Mathur

Proceedings of the 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2013

2012

Modeling, Analysis, and Testing of System Vulnerabilities.

Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke

Adv. Comput., 2012

A Security Assurance Framework Combining Formal Verification and Security Functional Testing.

Weiguang Wang, Qingkai Zeng, Aditya P. Mathur

Proceedings of the 2012 12th International Conference on Quality Software, 2012

2011

ICST 2008 Special Issue.

Robert M. Hierons, Aditya Mathur

Softw. Test. Verification Reliab., 2011

Discriminative probabilistic models for expert search in heterogeneous information sources.

Yi Fang, Luo Si, Aditya P. Mathur

Inf. Retr., 2011

Analysis of an expert search query log.

Yi Fang, Naveen Somasundaram, Luo Si, Jeongwoo Ko, Aditya P. Mathur

Proceedings of the Proceeding of the 34th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2011

Teaching software testing: Experiences, lessons learned and the path forward.

W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya P. Mathur, Jeff Offutt, Mladen A. Vouk

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

Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems.

Huanyin Yi, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Aditya P. Mathur

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Conformance Testing of Temporal Role-Based Access Control Systems.

Ammar Masood, Arif Ghafoor, Aditya P. Mathur

IEEE Trans. Dependable Secur. Comput., 2010

Fault coverage of Constrained Random Test Selection for access control: A formal analysis.

Ammar Masood, Arif Ghafoor, Aditya P. Mathur

J. Syst. Softw., 2010

Discriminative graphical models for faculty homepage discovery.

Yi Fang, Luo Si, Aditya P. Mathur

Inf. Retr., 2010

Discriminative models of integrating document evidence and document-candidate associations for expert search.

Yi Fang, Luo Si, Aditya P. Mathur

Proceedings of the Proceeding of the 33rd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2010

Current State of the Software Testing Education in North American Academia and Some Recommendations for the New Educators.

Vahid Garousi, Aditya Mathur

Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010

2009

Scalable and Effective Test Generation for Role-Based Access Control Systems.

Ammar Masood, Rafae Bhatti, Arif Ghafoor, Aditya P. Mathur

IEEE Trans. Software Eng., 2009

Editorial.

W. Eric Wong, Aditya P. Mathur

J. Syst. Softw., 2009

Guest Editors' Introduction.

João W. Cangussu, Aditya P. Mathur

Int. J. Softw. Eng. Knowl. Eng., 2009

2008

Software Cybernetics.

João W. Cangussu, Kai-Yuan Cai, Scott D. Miller, Aditya P. Mathur

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Message from the guest editors.

Aditya P. Mathur, Johnny Wong

J. Syst. Softw., 2008

IWSC 2008 Workshop Organization.

Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the IWSC 2008 Workshop Organizers.

Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Quantitative Modeling for Incremental Software Process Control.

Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.

K. R. Jayaram, Aditya P. Mathur

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective.

James Early, Rajesh Subramanyan, Aditya P. Mathur

Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science & Computer Engineering, 2007

2006

A control-theoretic approach to the management of the software system test phase.

Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu

J. Syst. Softw., 2006

Introduction to the special section on software cybernetics.

Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur

J. Syst. Softw., 2006

2005

Interceptor Based Constraint Violation Detection.

Qianxiang Wang, Aditya P. Mathur

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

DIG: A Tool for Software Process Data Extraction and Grooming.

Scott D. Miller, Aditya P. Mathur, Raymond A. DeCarlo

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

A Software Cybernetic Approach to Control of the Software System Test Phase.

Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Model-Based Software Testing and Verification.

Aditya P. Mathur

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Software Release Control using Defect Based Quality Estimation.

João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Modeling and Control of the Incremental Software Test Process.

Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Computer Supported Cooperative Work in Software Engineering.

J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process.

João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur

IEEE Trans. Software Eng., 2003

An Overview of Software Cybernetics.

Kai-Yuan Cai, João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

Monitoring the software test process using statistical process control: a logarithmic approach.

João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces.

Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces.

Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

2002

A Formal Model of the Software Test Process.

João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur

IEEE Trans. Software Eng., 2002

Digital device manuals for the management of ConnectedSpaces.

Baskar Sridharan, Aditya P. Mathur, Steven G. Ungar

IEEE Commun. Mag., 2002

Effect of Disturbances on the Convergence of Failure Intensity.

João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

Interface Mutation: An Approach for Integration Testing.

Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur

IEEE Trans. Software Eng., 2001

Interface mutation.

Sudipto Ghosh, Aditya P. Mathur

Softw. Test. Verification Reliab., 2001

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation.

Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur

Empir. Softw. Eng., 2001

Sensitivity analysis of a state variable model of the Software Test Process.

João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the IEEE International Conference on Systems, 2001

A state model for the Software Test Process with automated parameter identification.

João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur

Proceedings of the IEEE International Conference on Systems, 2001

Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.

Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Feedback Control of the Software Test Process Through Measurements of Software Reliability.

João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

A XML based Policy-Driven Management Information Service.

Ramkumar Natarajan, Aditya P. Mathur, Paul McKee

Proceedings of the 2001 IEEE/IFIP International Symposium on Integrated Network Management, 2001

2000

Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects.

Baskar Sridharan, Sambrama Mundkur, Aditya P. Mathur

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Interface Mutation to Assess the Adequacy of Tests for Components and Systems.

Sudipto Ghosh, Aditya P. Mathur

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Generating Test Data for Branch Coverage.

Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Testing for Software Vulnerability Using Environment Perturbation.

Wenliang Du, Aditya P. Mathur

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Test set size minimization and fault detection effectiveness: A case study in a space application.

W. Eric Wong, Joseph Robert Horgan, Aditya P. Mathur, Alberto Pasquini

J. Syst. Softw., 1999

UNA Based Iterative Test Data Generation and Its Evaluation.

Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Security Relevancy Analysis on the Registry of Windows NT 4.0.

Wenliang Du, Praerit Garg, Aditya P. Mathur

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

1998

Effect of Test Set Minimization on Fault Detection Effectiveness.

W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur

Softw. Pract. Exp., 1998

Automated Test Data Generation Using an Iterative Relaxation Method.

Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

1997

On the estimation of reliability of a software system using reliabilities of its components.

Saileshwar Krishnamurthy, Aditya P. Mathur

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

1996

Integration testing using interface mutation.

Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

On predicting reliability of modules using code coverage.

Saileshwar Krishnamurthy, Aditya P. Mathur

Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

1995

Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods.

Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong

IEEE Trans. Software Eng., 1995

Fault detection effectiveness of mutation and data flow testing.

W. Eric Wong, Aditya P. Mathur

Softw. Qual. J., 1995

Reducing the cost of mutation testing: An empirical study.

W. Eric Wong, Aditya P. Mathur

J. Syst. Softw., 1995

On the correlation between code coverage and software reliability.

Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior.

David B. Boardman, Geoffrey Greene, Vivek Khandelwal, Aditya P. Mathur

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria.

Aditya P. Mathur, W. Eric Wong

Softw. Test. Verification Reliab., 1994

Experiments with <i>Program unification</i> on the Cray Y-MP.

Ling-Yu Chuang, Vernon Rego, Aditya P. Mathur

Concurr. Pract. Exp., 1994

Constrained Mutation in C programs.

W. Eric Wong, José Carlos Maldonado, Márcio E. Delamaro, Aditya P. Mathur

Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

Effect of test set size and block coverage on the fault detection effectiveness.

W. Eric Wong, Joseph R. Horgan, Saul London, Aditya P. Mathur

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

A case study to investigate sensitivity of reliability estimates to errors in operational profile.

Mei-Hwa Chen, Aditya P. Mathur, Vernon Rego

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness.

W. Eric Wong, Aditya P. Mathur, José Carlos Maldonado

Proceedings of the Software Quality and Productivity: Theory, 1994

A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience.

David B. Boardman, Aditya P. Mathur

Proceedings of the Software Engineering Education, 1994

A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria.

Aditya P. Mathur, W. Eric Wong

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993

High-performance mutation testing.

Byoungju Choi, Aditya P. Mathur

J. Syst. Softw., 1993

Evaluation of The Cost of Alternate Mutation Strategies.

Aditya P. Mathur, Weichen E. Wong

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

TERSE: A tool for evaluating software reliability models.

Mei-Hwa Chen, Michael K. Jones, Aditya P. Mathur, Vernon Rego

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993

1992

Assessing Testing Tools in Research and Education.

Joseph Robert Horgan, Aditya P. Mathur

IEEE Softw., 1992

An application of program unification to priority queue vectorization.

Ling-Yu Chuang, Vernon Rego, Aditya P. Mathur

Int. J. Parallel Program., 1992

1991

High Performance Software Testing on SIMD Machines.

Edward W. Krauser, Aditya P. Mathur, Vernon Rego

IEEE Trans. Software Eng., 1991

Performance, effectiveness, and reliability issues in software testing.

Aditya P. Mathur

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Compiler-integrated program mutation.

Richard A. DeMillo, Edward W. Krauser, Aditya P. Mathur

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis.

Vernon Rego, Aditya P. Mathur

IEEE Trans. Parallel Distributed Syst., 1990

Concurrency Enhancement through Program Unification: A Performance Analysis.

Vernon Rego, Aditya P. Mathur

J. Parallel Distributed Comput., 1990

1989

PMothra: Scheduling Mutants for Execution on a Hypercube.

Byoungju Choi, Aditya P. Mathur, Brian Pattison

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

Modeling Mutation on a Vector Processor.

Aditya P. Mathur, Edward W. Krauser

Proceedings of the Proceedings, 1988