Search the dblp DataBase
Aditya P. Mathur :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Aditya P. Mathur , W. Eric Wong A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1994, pp:38-45 [Conf ] Wenliang Du , Praerit Garg , Aditya P. Mathur Security Relevancy Analysis on the Registry of Windows NT 4.0. [Citation Graph (0, 0)][DBLP ] ACSAC, 1999, pp:331-340 [Conf ] Saileshwar Krishnamurthy , Aditya P. Mathur On predicting reliability of modules using code coverage. [Citation Graph (0, 0)][DBLP ] CASCON, 1996, pp:22- [Conf ] David B. Boardman , Geoffrey Greene , Vivek Khandelwal , Aditya P. Mathur LISTEN: A Tool to Investigate the Use of Sound for the Analysis of Program Behavior. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1995, pp:184-191 [Conf ] J. Jenny Li , Tangqiu Li , Zongkai Lin , Aditya P. Mathur , Karama Kanoun Computer Supported Cooperative Work in Software Engineering. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2004, pp:328- [Conf ] Scott D. Miller , Raymond A. DeCarlo , Aditya P. Mathur Modeling and Control of the Incremental Software Test Process. [Citation Graph (0, 0)][DBLP ] COMPSAC Workshops, 2004, pp:156-159 [Conf ] Scott D. Miller , Raymond A. DeCarlo , Aditya P. Mathur A Software Cybernetic Approach to Control of the Software System Test Phase. [Citation Graph (0, 0)][DBLP ] COMPSAC (2), 2005, pp:103-108 [Conf ] Scott D. Miller , Aditya P. Mathur , Raymond A. DeCarlo DIG: A Tool for Software Process Data Extraction and Grooming. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2005, pp:35-40 [Conf ] Aditya P. Mathur Model-Based Software Testing and Verification. [Citation Graph (0, 0)][DBLP ] COMPSAC (1), 2005, pp:329- [Conf ] W. Eric Wong , Joseph Robert Horgan , Aditya P. Mathur , Alberto Pasquini Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:522-0 [Conf ] David B. Boardman , Aditya P. Mathur A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience. [Citation Graph (0, 0)][DBLP ] CSEE, 1994, pp:5-22 [Conf ] Wenliang Du , Aditya P. Mathur Testing for Software Vulnerability Using Environment Perturbation. [Citation Graph (0, 0)][DBLP ] DSN, 2000, pp:603-612 [Conf ] Qianxiang Wang , Aditya P. Mathur Interceptor Based Constraint Violation Detection. [Citation Graph (0, 0)][DBLP ] ECBS, 2005, pp:457-464 [Conf ] Aditya P. Mathur , Edward W. Krauser Modeling Mutation on a Vector Processor. [Citation Graph (0, 0)][DBLP ] ICSE, 1988, pp:154-161 [Conf ] W. Eric Wong , Joseph Robert Horgan , Saul London , Aditya P. Mathur Effect of Test Set Minimization on Fault Detection Effectiveness. [Citation Graph (0, 0)][DBLP ] ICSE, 1995, pp:41-50 [Conf ] W. Eric Wong , Aditya P. Mathur , José Carlos Maldonado Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness. [Citation Graph (0, 0)][DBLP ] Software Quality and Productivity, 1994, pp:258-265 [Conf ] João W. Cangussu , Richard M. Karcich , Aditya P. Mathur , Raymond A. DeCarlo Software Release Control using Defect Based Quality Estimation. [Citation Graph (0, 0)][DBLP ] ISSRE, 2004, pp:440-450 [Conf ] João W. Cangussu , Aditya P. Mathur , Raymond A. DeCarlo Feedback Control of the Software Test Process Through Measurements of Software Reliability. [Citation Graph (0, 0)][DBLP ] ISSRE, 2001, pp:232-241 [Conf ] João W. Cangussu , Aditya P. Mathur , Raymond A. DeCarlo Effect of Disturbances on the Convergence of Failure Intensity. [Citation Graph (0, 0)][DBLP ] ISSRE, 2002, pp:377-387 [Conf ] Katerina Goseva-Popstojanova , Aditya P. Mathur , Kishor S. Trivedi Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. [Citation Graph (0, 0)][DBLP ] ISSRE, 2001, pp:22-33 [Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa Generating Test Data for Branch Coverage. [Citation Graph (0, 0)][DBLP ] ASE, 2000, pp:219-228 [Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa UNA Based Iterative Test Data Generation and Its Evaluation. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:224-0 [Conf ] Baskar Sridharan , Aditya P. Mathur , Kai-Yuan Cai Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. [Citation Graph (0, 0)][DBLP ] PerCom, 2003, pp:452-459 [Conf ] Baskar Sridharan , Aditya P. Mathur , Kai-Yuan Cai Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:186-0 [Conf ] Neelam Gupta , Aditya P. Mathur , Mary Lou Soffa Automated Test Data Generation Using an Iterative Relaxation Method. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 1998, pp:231-244 [Conf ] João W. Cangussu , Raymond A. DeCarlo , Aditya P. Mathur Monitoring the software test process using statistical process control: a logarithmic approach. [Citation Graph (0, 0)][DBLP ] ESEC / SIGSOFT FSE, 2003, pp:158-167 [Conf ] Kai-Yuan Cai , João W. Cangussu , Raymond A. DeCarlo , Aditya P. Mathur An Overview of Software Cybernetics. [Citation Graph (0, 0)][DBLP ] STEP, 2003, pp:77-86 [Conf ] Baskar Sridharan , Sambrama Mundkur , Aditya P. Mathur Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects. [Citation Graph (0, 0)][DBLP ] TOOLS (33), 2000, pp:195-0 [Conf ] Sudipto Ghosh , Aditya P. Mathur Interface Mutation to Assess the Adequacy of Tests for Components and Systems. [Citation Graph (0, 0)][DBLP ] TOOLS (34), 2000, pp:37-0 [Conf ] Márcio Eduardo Delamaro , José Carlos Maldonado , Alberto Pasquini , Aditya P. Mathur Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. [Citation Graph (0, 0)][DBLP ] Empirical Software Engineering, 2001, v:6, n:2, pp:111-142 [Journal ] Vernon Rego , Aditya P. Mathur Concurrency Enhancement through Program Unification: A Performance Analysis. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1990, v:8, n:3, pp:201-217 [Journal ] Byoungju Choi , Aditya P. Mathur High-performance mutation testing. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1993, v:20, n:2, pp:135-152 [Journal ] W. Eric Wong , Joseph Robert Horgan , Aditya P. Mathur , Alberto Pasquini Test set size minimization and fault detection effectiveness: A case study in a space application. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1999, v:48, n:2, pp:79-89 [Journal ] W. Eric Wong , Aditya P. Mathur Reducing the cost of mutation testing: An empirical study. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1995, v:31, n:3, pp:185-196 [Journal ] Scott D. Miller , Raymond A. DeCarlo , Aditya P. Mathur , João W. Cangussu A control-theoretic approach to the management of the software system test phase. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2006, v:79, n:11, pp:1486-1503 [Journal ] Fevzi Belli , Kai-Yuan Cai , Raymond A. DeCarlo , Aditya P. Mathur Introduction to the special section on software cybernetics. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2006, v:79, n:11, pp:1483-1485 [Journal ] Joseph Robert Horgan , Aditya P. Mathur Assessing Testing Tools in Research and Education. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1992, v:9, n:3, pp:61-69 [Journal ] W. Eric Wong , Joseph Robert Horgan , Saul London , Aditya P. Mathur Effect of Test Set Minimization on Fault Detection Effectiveness. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1998, v:28, n:4, pp:347-369 [Journal ] Sudipto Ghosh , Aditya P. Mathur Interface mutation. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 2001, v:11, n:3, pp:227-247 [Journal ] Aditya P. Mathur , W. Eric Wong An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria. [Citation Graph (0, 0)][DBLP ] Softw. Test., Verif. Reliab., 1994, v:4, n:1, pp:9-31 [Journal ] Vernon Rego , Aditya P. Mathur Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1990, v:1, n:4, pp:399-414 [Journal ] João W. Cangussu , Raymond A. DeCarlo , Aditya P. Mathur A Formal Model of the Software Test Process. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2002, v:28, n:8, pp:782-796 [Journal ] João W. Cangussu , Raymond A. DeCarlo , Aditya P. Mathur Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2003, v:29, n:5, pp:430-443 [Journal ] Richard A. DeMillo , Aditya P. Mathur , W. Eric Wong Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1995, v:21, n:10, pp:858-861 [Journal ] Márcio Eduardo Delamaro , José Carlos Maldonado , Aditya P. Mathur Interface Mutation: An Approach for Integration Testing. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2001, v:27, n:3, pp:228-247 [Journal ] Edward W. Krauser , Aditya P. Mathur , Vernon Rego High Performance Software Testing on SIMD Machines. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1991, v:17, n:5, pp:403-423 [Journal ] Quantitative Modeling for Incremental Software Process Control. [Citation Graph (, )][DBLP ] On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. [Citation Graph (, )][DBLP ] Message from the IWSC 2008 Workshop Organizers. [Citation Graph (, )][DBLP ] IWSC 2008 Workshop Organization. [Citation Graph (, )][DBLP ] Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective. [Citation Graph (, )][DBLP ] Discriminative models of integrating document evidence and document-candidate associations for expert search. [Citation Graph (, )][DBLP ] Experiments with Program unification on the Cray Y-MP. [Citation Graph (, )][DBLP ] Search in 0.022secs, Finished in 0.024secs