A. Mathur

发表

An Overview of Software Cybernetics

Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur, 2003, STEP.

A Formal Model of the Software Test Process

Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu, 2002, IEEE Trans. Software Eng..

Vulnerability Testing of Software System Using Fault Injection

Wenliang Du, Aditya P. Mathur, Wenliang Du, 1999 .

A Survey of Malware Detection Techniques

Aditya P. Mathur, Nwokedi C. Idika, N. Idika, 2007 .

On building non-intrusive performance instrumentation blocks for CORBA-based distributed systems

A. P. Mathur, B. Sridharan, B. Dasarathy, 2000, Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000.

Aligning Cyber-Physical System Safety and Security

Aditya P. Mathur, Giedre Sabaliauskaite, A. Mathur, 2014, CSDM Asia.

Ranking Experts with Discriminative Probabilistic Models

A. Mathur, Yi Fang, 2009 .

On Errors and Failures in Distributed Systems Built to CORBA and COM Standards

A. Mathur, Sudipto Ghosh, 2007 .

Model-based Testing of Access Control Systems that Employ RBAC Policies

A. Ghafoor, A. Mathur, A. Masood, 2005 .

NoiSense Print

Chuadhry Mujeeb Ahmed, A. Mathur, Martín Ochoa, 2020 .

Eeect of Testing Techniques on Software Reliability Estimates Obtained Using Time-domain Models

A. Mathur, Vernon J. RegoSoftware, 1992 .

NoisePrint: Attack Detection Using Sensor and Process Noise Fingerprint in Cyber Physical Systems

Jianying Zhou, Aditya P. Mathur, Carlos Murguia, 2018, AsiaCCS.

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

Arif Ghafoor, Aditya P. Mathur, Rafae Bhatti, 2009, IEEE Transactions on Software Engineering.

Infrastructure for the Management of SmartHomes

Aditya P. Mathur, Baskar Sridharan, A. Mathur, .

On software reliability and code coverage

Aditya P. Mathur, R. M. Karcich, R. Skibbe, 1996, 1996 IEEE Aerospace Applications Conference. Proceedings.

Testing for software vulnerability using environment perturbation

Wenliang Du, Aditya P. Mathur, Wenliang Du, 2002 .

Fevzi Belli Test Generation Using Event Sequence Graphs

Christof J. Budnik, A. Mathur, C. Budnik, 2005 .

FacFinder: Search for Expertise in Academic Institutions*

Luo Si, Yi Fang, Aditya P. Mathur, 2008 .

A theoretical comparison between mutation and data flow based test adequacy criteria

W. Eric Wong, Aditya P. Mathur, W. E. Wong, 1994, International Conference on Scientific Computing.

Adequacy of Statecharts as a Source of Tests for Implementations of Cryptographic Protocols

K. R. Jayaram, A. Mathur, 2007 .

Effect of Test Set Minimization on Fault Detection Effectiveness

Joseph Robert Horgan, W. Eric Wong, Aditya P. Mathur, 1995, 1995 17th International Conference on Software Engineering.

Concurrency Enhancement Thr ough Program Unific ation: A Performance Analysis

Vernon Rego, Aditya P. Mathur, V. Rego, 1988 .

Software testing and reliability

Aditya P. Mathur, J. R. Horgan, A. Mathur, 1996 .

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

Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu, 2006, J. Syst. Softw..

Experimental Evaluation of Stealthy Attack Detection in a Robot

Geok See Ng, Aditya P. Mathur, Justin Ruths, 2015, 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC).

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

Sridhar Adepu, Aditya Mathur, Khurum Nazir Junejo, 2016, CRITIS.

Anomaly Detection in Critical Infrastructure Using Probabilistic Neural Network

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

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

Nils Ole Tippenhauer, Aditya P. Mathur, A. Mathur, 2016, 2016 International Workshop on Cyber-physical Systems for Smart Water Networks (CySWater).

Quantitative Modeling for Incremental Software Process Control

Raymond A. DeCarlo, Aditya P. Mathur, Scott D. Miller, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

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

Qin Lin, Sridhar Adepu, Aditya Mathur, 2018, AsiaCCS.

High Performance Software Testing on SIMD Machines

Vernon Rego, Aditya P. Mathur, E. W. Krauser, 1991, IEEE Trans. Software Eng..

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

Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu, 2003, ESEC/FSE-11.

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

Aditya Mathur, Cheng Feng, Venkata Reddy Palleti, 2019, NDSS.

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

Aditya P. Mathur, Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, 2017, CySWATER@CPSWeek.

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

Sridhar Adepu, Nandha Kumar Kandasamy, Aditya Mathur, 2018, CyberICPS/SECPRE@ESORICS.

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

A. Mathur, M. Raman, 2022, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

Analysis of an expert search query log

Luo Si, Yi Fang, Jeongwoo Ko, 2011, SIGIR.

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

Aditya Mathur, Martín Ochoa, Chuadhry Mujeeb Ahmed, 2017, ArXiv.

DESIGN OF MUTANT OPERATORS FOR THE C PROGRAMMING LANGUAGE

Wynne Hsu, Richard A. DeMillo, Aditya P. Mathur, 2006 .

High-performance mutation testing

Byoungju Choi, Aditya P. Mathur, A. Mathur, 1993, J. Syst. Softw..

Software and hardware quality assurance: towards a common platform for high reliability

A.P. Mathur, R.J. Martin, A. Mathur, 1990, IEEE International Conference on Communications, Including Supercomm Technical Sessions.

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

Aditya P. Mathur, Saileshwar Krishnamurthy, A. Mathur, 1997, Proceedings The Eighth International Symposium on Software Reliability Engineering.

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

Vernon Rego, Aditya P. Mathur, Mei-Hwa Chen, 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

Effect of testing techniques on software reliability estimates obtained using a time-domain model

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

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

Aditya P. Mathur, Venkata Reddy Palleti, Vishrut Kumar Mishra, 2019, Int. J. Crit. Infrastructure Prot..

Interface Mutation: An Approach for Integration Testing

Aditya P. Mathur, Márcio Eduardo Delamaro, José Carlos Maldonado, 2001, IEEE Trans. Software Eng..

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

Herman Wijaya, Maurício Aniche, Aditya Mathur, 2020, ICSE.

A multilayer perceptron model for anomaly detection in water treatment plants

Aditya P. Mathur, M. R. Gauthama Raman, Nivethitha Somu, 2020, Int. J. Crit. Infrastructure Prot..

Scanning the Cycle: Timing-based Authentication on PLCs

Jianying Zhou, Chuadhry Mujeeb Ahmed, Martin Ochoa, 2021, AsiaCCS.

Machine Learning for Intrusion Detection in Industrial Control Systems: Applications, Challenges, and Recommendations

Muhammad Taha Jilani, Muhammad Azmi Umer, A. Mathur, 2022, Int. J. Crit. Infrastructure Prot..

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

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

A software cybernetic approach to control of the software system test phase

Raymond A. DeCarlo, Aditya P. Mathur, Scott D. Miller, 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

Software release control using defect based quality estimation

Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu, 2004, 15th International Symposium on Software Reliability Engineering.

On predicting reliability of modules using code coverage

Aditya P. Mathur, Saileshwar Krishnamurthy, A. Mathur, 1996, CASCON.

Enhancing software reliability estimates using modified adaptive testing

Kai-Yuan Cai, Hai Hu, W. Eric Wong, 2013, Inf. Softw. Technol..

Interface Mutation Test Adequacy Criterion: An Empirical Evaluation

Aditya P. Mathur, Alberto Pasquini, Márcio Eduardo Delamaro, 2001, Empirical Software Engineering.

Interface Mutation to assess the adequacy of tests for components and systems

Sudipto Ghosh, Aditya P. Mathur, A. Mathur, 2000, Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34.

Testing for software vulnerability using environment perturbation

Wenliang Du, Aditya P. Mathur, Wenliang Du, 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

Reducing the cost of mutation testing: An empirical study

W. Eric Wong, Aditya P. Mathur, W. E. Wong, 1995, J. Syst. Softw..

An empirical comparison of data flow and mutation‐based test adequacy criteria

W. Eric Wong, Aditya P. Mathur, W. E. Wong, 1994, Softw. Test. Verification Reliab..

Effect of Test Set Minimization on Fault Detection Effectiveness

Joseph Robert Horgan, W. Eric Wong, Aditya P. Mathur, 1995, 1995 17th International Conference on Software Engineering.

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

Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, 2014, Software Quality Journal.

Modeling, Analysis, and Testing of System Vulnerabilities

Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, 2012, Adv. Comput..

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

Joseph Robert Horgan, W. Eric Wong, Aditya P. Mathur, 1997, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97).

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

Vahid Garousi, Aditya Mathur, V. Garousi, 2010, 2010 23rd IEEE Conference on Software Engineering Education and Training.

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

Richard A. DeMillo, W. Eric Wong, Aditya P. Mathur, 1995, IEEE Trans. Software Eng..

Fault detection effectiveness of mutation and data flow testing

W. Eric Wong, Aditya P. Mathur, W. E. Wong, 1995, Software Quality Journal.

Foundations of Software Testing

Aditya P. Mathur, A. Mathur, 2007 .

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

Wenjie Dong, M. R. Gauthama Raman, Aditya Mathur, 2020, Comput. Secur..

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

Sridhar Adepu, Aditya P. Mathur, Khurum Nazir Junejo, 2020, Int. J. Crit. Infrastructure Prot..

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

Jianying Zhou, Aditya P. Mathur, Chuadhry Mujeeb Ahmed, 2018, ACSAC.

Automated test data generation using an iterative relaxation method

Mary Lou Soffa, Aditya P. Mathur, Neelam Gupta, 1998, SIGSOFT '98/FSE-6.

Compiler-integrated program mutation

Richard A. DeMillo, Aditya P. Mathur, E. W. Krauser, 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

Generating test data for branch coverage

Mary Lou Soffa, Aditya P. Mathur, Neelam Gupta, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

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

Sridhar Adepu, Aditya Mathur, A. Mathur, 2018, IEEE Transactions on Sustainable Computing.

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

Sridhar Adepu, Aditya Mathur, Siddhant Shrivastava, 2018, Robotics Auton. Syst..

Software Cybernetics

Kai-Yuan Cai, Aditya P. Mathur, João W. Cangussu, 2008, Wiley Encyclopedia of Computer Science and Engineering.

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

Mladen A. Vouk, Antonia Bertolino, A. Jefferson Offutt, 2011, CSEE&T.

Guest Editors' Introduction

Aditya P. Mathur, João W. Cangussu, A. Mathur, 2009, International journal of software engineering and knowledge engineering.

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

Chuadhry Mujeeb Ahmed, Venkata Reddy Palleti, Vishrut Kumar Mishra, 2020, ACM Trans. Cyber Phys. Syst..

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

Sridhar Adepu, Aditya Mathur, Khurum Nazir Junejo, 2017, CPS-SPC@CCS.

Hardware Identification via Sensor Fingerprinting in a Cyber Physical System

Aditya P. Mathur, Chuadhry Mujeeb Ahmed, A. Mathur, 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

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

Sridhar Adepu, Aditya Mathur, A. Mathur, 2016, AsiaCCS.

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

Sasa Z. Djokic, Sridhar Adepu, Aditya Mathur, 2015, ICA3PP.

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

Sridhar Adepu, Aditya P. Mathur, A. Mathur, 2016, CSDM Asia.

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

Aditya P. Mathur, Chuadhry Mujeeb Ahmed, M. R. Gauthama Raman, 2020, CPSS@AsiaCCS.

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

Sridhar Adepu, Aditya Mathur, A. Mathur, 2016, SEC.

Limitations of state estimation based cyber attack detection schemes in industrial control systems

Sridhar Adepu, Aditya Mathur, Chuadhry Mujeeb Ahmed, 2016, 2016 Smart City Security and Privacy Workshop (SCSP-W).

From Design to Invariants: Detecting Attacks on Cyber Physical Systems

Sridhar Adepu, Aditya Mathur, A. Mathur, 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

Investigation of Cyber Attacks on a Water Distribution System

Sridhar Adepu, Aditya Mathur, Venkata Reddy Palleti, 2019, ACNS Workshops.

Countermeasures to Enhance Cyber-physical System Security and Safety

Aditya P. Mathur, Giedre Sabaliauskaite, A. Mathur, 2014, 2014 IEEE 38th International Computer Software and Applications Conference Workshops.

Generalized Attacker and Attack Models for Cyber Physical Systems

Sridhar Adepu, Aditya Mathur, A. Mathur, 2016, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).

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

Joseph Robert Horgan, W. Eric Wong, Aditya P. Mathur, 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

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

Sridhar Adepu, Aditya P. Mathur, A. Mathur, 2018, IEEE Transactions on Dependable and Secure Computing.

Dynamic Random Testing: Technique and Experimental Evaluation

Kai-Yuan Cai, Min Xie, Aditya P. Mathur, 2019, IEEE Transactions on Reliability.

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

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

Detecting injection attacks in linear time invariant systems

Giedre Sabaliauskaite, Aditya Mathur, A. Mathur, 2013, 2013 IEEE Conference on Cybernetics and Intelligent Systems (CIS).

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

Jianying Zhou, Sridhar Adepu, Nandha Kumar Kandasamy, 2019, International Journal of Information Security.

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

Sridhar Adepu, Aditya P. Mathur, Aung Maw, 2019, Pervasive Mob. Comput..

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

Sridhar Adepu, Aditya Mathur, Jay Prakash, 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

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

Sridhar Adepu, Aditya Mathur, Giedre Sabaliauskaite, 2016, CRITIS.

Discriminative probabilistic models for expert search in heterogeneous information sources

Luo Si, Yi Fang, Aditya P. Mathur, 2011, Information Retrieval.

Cascading effects of cyber-attacks on interconnected critical infrastructure

Sridhar Adepu, Venkata Reddy Palleti, Vishrut Kumar Mishra, 2021, Cybersecurity.

Vulnerability Testing of Software System Using Fault Injection

Wenliang Du, A. Mathur, 1999 .

Model-Based Security Analysis of a Water Treatment System

Daniel Jackson, Sridhar Adepu, Aditya P. Mathur, 2016, 2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).

Challenges in Secure Engineering of Critical Infrastructure Systems

Sridhar Adepu, Aditya P. Mathur, Eunsuk Kang, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW).

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

Sridhar Adepu, Aditya Mathur, Siddhant Shrivastava, 2016, IEEE Internet Computing.

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

Sridhar Adepu, Aditya Mathur, A. Mathur, 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

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

A. Mathur, 2023, IEEE Security & Privacy.

SafeCI: Avoiding process anomalies in critical infrastructure

Sridhar Adepu, Aditya Mathur, A. Mathur, 2021, Int. J. Crit. Infrastructure Prot..

Conformance Testing of Temporal Role-Based Access Control Systems

A. Ghafoor, A. Mathur, A. Masood, 2010, IEEE Transactions on Dependable and Secure Computing.

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

Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu, 2003, IEEE Trans. Software Eng..

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

Raymond A. DeCarlo, Aditya P. Mathur, João W. Cangussu, 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

A Security Assurance Framework Combining Formal Verification and Security Functional Testing

Weiguang Wang, Qingkai Zeng, Aditya P. Mathur, 2012, 2012 12th International Conference on Quality Software.

LSL: A specification language for program auralization

Aditya P. Mathur, David B. Boardman, Vivek Khandelwal, 1994 .

LISTEN: A tool to investigate the use of sound for the analysis of program behavior

A.P. Mathur, D.B. Boardman, G. Greene, 1995, Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95).

Assessing testing tools in research and education

Joseph Robert Horgan, Aditya P. Mathur, J. R. Horgan, 1992, IEEE Software.

PMothra: scheduling mutants for execution on a hypercube

Byoungju Choi, Aditya P. Mathur, Brian Pattison, 1989, TAV3.

Perils Of Software Reliability Modeling

Vernon Rego, J. R. Horgan, Alberto Pasquini, 1995 .

A Time/Structure Based Model for Estimating Software Reliability

Vernon Rego, Aditya P. Mathur, J. R. Horgan, 1992 .

Categorization of Software Errors that led to Security Breaches

Wenliang Du, Aditya P. Mathur, Wenliang Du, 1998 .

Modeling and Simulation of the Auditory Pathway INTERIM REPORT : Computational Models for the Study of Hearing and Language Impairement in Children

Aditya P. Mathur, A. M. Bakshi, A. Mathur, 2007 .

Unified Stochastic Simulations for Vector Machines: Empirical Results

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

Parallel Models in Software Life Cycle

Aditya P. Mathur, A. Mathur, 1990 .

On the correlation between code coverage and software reliability

Fabio Del Frate, Aditya P. Mathur, Praerit Garg, 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

NoiSense Print

Chuadhry Mujeeb Ahmed, A. Mathur, Martín Ochoa, 2020, ACM Trans. Priv. Secur..

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

W. Eric Wong, Aditya P. Mathur, José Carlos Maldonado, 1994, Software Quality and Productivity.

Comparison of architecture-based software reliability models

Aditya P. Mathur, Katerina Goseva-Popstojanova, Kishor S. Trivedi, 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

Intelligent Checkers to Improve Attack Detection in Cyber Physical Systems

Aditya P. Mathur, Giedre Sabaliauskaite, A. Mathur, 2013, 2013 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery.