Aditya P. Mathur Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur: Enhancing software reliability estimates using modified adaptive testing. Information & Software Technology 55(2): 288-300 (2013)
2012
j29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fevzi Belli, Mutlu Beyazit, Aditya P. Mathur, Nimal Nissanke: Modeling, Analysis, and Testing of System Vulnerabilities. Advances in Computers 84: 39-92 (2012)
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Weiguang Wang, Qingkai Zeng, Aditya P. Mathur: A Security Assurance Framework Combining Formal Verification and Security Functional Testing. QSIC 2012: 136-139
2011
j28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yi Fang, Luo Si, Aditya P. Mathur: Discriminative probabilistic models for expert search in heterogeneous information sources. Inf. Retr. 14(2): 158-177 (2011)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huanyin Yi, Chang-Hai Jiang, Hai Hu, Kai-Yuan Cai, Aditya P. Mathur: Using Markov-Chains to Model Reliability and QoS for Deployed Service-Based Systems. COMPSAC Workshops 2011: 356-361
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Antonia Bertolino, Vidroha Debroy, Aditya P. Mathur, Jeff Offutt, Mladen A. Vouk: Teaching software testing: Experiences, lessons learned and the path forward. CSEE&T 2011: 530-534
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yi Fang, Naveen Somasundaram, Luo Si, Jeongwoo Ko, Aditya P. Mathur: Analysis of an expert search query log. SIGIR 2011: 1189-1190
2010
j27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yi Fang, Luo Si, Aditya P. Mathur: Discriminative graphical models for faculty homepage discovery. Inf. Retr. 13(6): 618-635 (2010)
j26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ammar Masood, Arif Ghafoor, Aditya P. Mathur: Fault coverage of Constrained Random Test Selection for access control: A formal analysis. Journal of Systems and Software 83(12): 2607-2617 (2010)
j25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ammar Masood, Arif Ghafoor, Aditya P. Mathur: Conformance Testing of Temporal Role-Based Access Control Systems. IEEE Trans. Dependable Sec. Comput. 7(2): 144-158 (2010)
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yi Fang, Luo Si, Aditya P. Mathur: Discriminative models of integrating document evidence and document-candidate associations for expert search. SIGIR 2010: 683-690
2009
j24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Aditya P. Mathur: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 19(5): 625 (2009)
j23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Aditya P. Mathur: Editorial. Journal of Systems and Software 82(9): 1375 (2009)
j22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ammar Masood, Rafae Bhatti, Arif Ghafoor, Aditya P. Mathur: Scalable and Effective Test Generation for Role-Based Access Control Systems. IEEE Trans. Software Eng. 35(5): 654-668 (2009)
2008
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aditya P. Mathur, Johnny Wong: Message from the guest editors. Journal of Systems and Software 81(10): 1623-1624 (2008)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai: Message from the IWSC 2008 Workshop Organizers. COMPSAC 2008: 813
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen S. Yau, João W. Cangussu, Aditya P. Mathur, Fevzi Belli, Kai-Yuan Cai: IWSC 2008 Workshop Organization. COMPSAC 2008: 814-815
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur: Quantitative Modeling for Incremental Software Process Control. COMPSAC 2008: 830-835
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
K. R. Jayaram, Aditya P. Mathur: On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. COMPSAC 2008: 937-942
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Kai-Yuan Cai, Scott D. Miller, Aditya P. Mathur: Software Cybernetics. Wiley Encyclopedia of Computer Science and Engineering 2008
2007
c31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
James Early, Rajesh Subramanyan, Aditya P. Mathur: Academic/Industry Collaboration in Undergraduate Software Engineering - A Fifteen Year Perspective. FECS 2007: 28-34
2006
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fevzi Belli, Kai-Yuan Cai, Raymond A. DeCarlo, Aditya P. Mathur: Introduction to the special section on software cybernetics. Journal of Systems and Software 79(11): 1483-1485 (2006)
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Journal of Systems and Software 79(11): 1486-1503 (2006)
2005
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott D. Miller, Aditya P. Mathur, Raymond A. DeCarlo: DIG: A Tool for Software Process Data Extraction and Grooming. COMPSAC (1) 2005: 35-40
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur: A Software Cybernetic Approach to Control of the Software System Test Phase. COMPSAC (2) 2005: 103-108
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aditya P. Mathur: Model-Based Software Testing and Verification. COMPSAC (1) 2005: 329
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Qianxiang Wang, Aditya P. Mathur: Interceptor Based Constraint Violation Detection. ECBS 2005: 457-464
2004
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott D. Miller, Raymond A. DeCarlo, Aditya P. Mathur: Modeling and Control of the Incremental Software Test Process. COMPSAC Workshops 2004: 156-159
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
J. Jenny Li, Tangqiu Li, Zongkai Lin, Aditya P. Mathur, Karama Kanoun: Computer Supported Cooperative Work in Software Engineering. COMPSAC 2004: 328
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Richard M. Karcich, Aditya P. Mathur, Raymond A. DeCarlo: Software Release Control using Defect Based Quality Estimation. ISSRE 2004: 440-450
2003
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur: Using Sensitivity Analysis to Validate a State Variable Model of the Software Test Process. IEEE Trans. Software Eng. 29(5): 430-443 (2003)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai: Synthesizing Distributed Controllers for the Safe Operation of ConnectedSpaces. PerCom 2003: 452-459
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Baskar Sridharan, Aditya P. Mathur, Kai-Yuan Cai: Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces. QSIC 2003: 186-
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur: Monitoring the software test process using statistical process control: a logarithmic approach. ESEC / SIGSOFT FSE 2003: 158-167
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kai-Yuan Cai, João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur: An Overview of Software Cybernetics. STEP 2003: 77-86
2002
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur: A Formal Model of the Software Test Process. IEEE Trans. Software Eng. 28(8): 782-796 (2002)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo: Effect of Disturbances on the Convergence of Failure Intensity. ISSRE 2002: 377-387
2001
j16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Márcio Eduardo Delamaro, José Carlos Maldonado, Alberto Pasquini, Aditya P. Mathur: Interface Mutation Test Adequacy Criterion: An Empirical Evaluation. Empirical Software Engineering 6(2): 111-142 (2001)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sudipto Ghosh, Aditya P. Mathur: Interface mutation. Softw. Test., Verif. Reliab. 11(3): 227-247 (2001)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur: Interface Mutation: An Approach for Integration Testing. IEEE Trans. Software Eng. 27(3): 228-247 (2001)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramkumar Natarajan, Aditya P. Mathur, Paul McKee: A XML based Policy-Driven Management Information Service. Integrated Network Management 2001: 277-280
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi: Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. ISSRE 2001: 22-33
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo: Feedback Control of the Software Test Process Through Measurements of Software Reliability. ISSRE 2001: 232-241
2000
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenliang Du, Aditya P. Mathur: Testing for Software Vulnerability Using Environment Perturbation. DSN 2000: 603-612
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: Generating Test Data for Branch Coverage. ASE 2000: 219-228
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sudipto Ghosh, Aditya P. Mathur: Interface Mutation to Assess the Adequacy of Tests for Components and Systems. TOOLS (34) 2000: 37-
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Baskar Sridharan, Sambrama Mundkur, Aditya P. Mathur: Non-Intrusive Testing, Monitoring and Control of Distributed CORBA Objects. TOOLS (33) 2000: 195-
1999
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Journal of Systems and Software 48(2): 79-89 (1999)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Wenliang Du, Praerit Garg, Aditya P. Mathur: Security Relevancy Analysis on the Registry of Windows NT 4.0. ACSAC 1999: 331-338
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: UNA Based Iterative Test Data Generation and Its Evaluation. ASE 1999: 224-
1998
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur: Effect of Test Set Minimization on Fault Detection Effectiveness. Softw., Pract. Exper. 28(4): 347-369 (1998)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: Automated Test Data Generation Using an Iterative Relaxation Method. SIGSOFT FSE 1998: 231-244
1997
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. COMPSAC 1997: 522-528
1996
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Saileshwar Krishnamurthy, Aditya P. Mathur: On predicting reliability of modules using code coverage. CASCON 1996: 22
1995
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Aditya P. Mathur: Reducing the cost of mutation testing: An empirical study. Journal of Systems and Software 31(3): 185-196 (1995)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Aditya P. Mathur: Fault detection effectiveness of mutation and data flow testing. Software Quality Journal 4(1): 69-83 (1995)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard A. DeMillo, Aditya P. Mathur, W. Eric Wong: Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods. IEEE Trans. Software Eng. 21(10): 858-861 (1995)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. COMPSAC 1995: 184-189
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur: Effect of Test Set Minimization on Fault Detection Effectiveness. ICSE 1995: 41-50
1994
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ling-Yu Chuang, Vernon Rego, Aditya P. Mathur: Experiments with Program unification on the Cray Y-MP. Concurrency - Practice and Experience 6(1): 33-53 (1994)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aditya P. Mathur, W. Eric Wong: An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria. Softw. Test., Verif. Reliab. 4(1): 9-31 (1994)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aditya P. Mathur, W. Eric Wong: A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria. ACM Conference on Computer Science 1994: 38-45
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David B. Boardman, Aditya P. Mathur: A Two-Semester Undergraduate Sequence in Software Engineering: Architecutre & Experience. CSEE 1994: 5-22
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
W. Eric Wong, Aditya P. Mathur, José Carlos Maldonado: Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness. Software Quality and Productivity 1994: 258-265
1993
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Byoungju Choi, Aditya P. Mathur: High-performance mutation testing. Journal of Systems and Software 20(2): 135-152 (1993)
1992
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ling-Yu Chuang, Vernon Rego, Aditya P. Mathur: An application of program unification to priority queue vectorization. International Journal of Parallel Programming 21(3): 193-224 (1992)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joseph Robert Horgan, Aditya P. Mathur: Assessing Testing Tools in Research and Education. IEEE Software 9(3): 61-69 (1992)
1991
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Edward W. Krauser, Aditya P. Mathur, Vernon Rego: High Performance Software Testing on SIMD Machines. IEEE Trans. Software Eng. 17(5): 403-423 (1991)
1990
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vernon Rego, Aditya P. Mathur: Concurrency Enhancement through Program Unification: A Performance Analysis. J. Parallel Distrib. Comput. 8(3): 201-217 (1990)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vernon Rego, Aditya P. Mathur: Exploiting Parallelism Across Program Execution: A Unification Technique and Its Analysis. IEEE Trans. Parallel Distrib. Syst. 1(4): 399-414 (1990)
1988
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Aditya P. Mathur, Edward W. Krauser: Modeling Mutation on a Vector Processor. ICSE 1988: 154-161

Coauthor Index

1Fevzi Belli
[j29] [c35] [c34] [j20]
2Antonia Bertolino
[c38]
3Mutlu Beyazit
[j29]
4Rafae Bhatti
[j22]
5David B. Boardman
[c6] [c3]
6Kai-Yuan Cai
[j30] [c39] [c35] [c34] [p1] [j20] [c23] [c22] [c20]
7João W. Cangussu
[j24] [c35] [c34] [p1] [j19] [c24] [j18] [c21] [c20] [j17] [c19] [c16]
8Byoungju Choi
[j6]
9Ling-Yu Chuang
[j8] [j5]
10Raymond A. DeCarlo
[c33] [j20] [j19] [c30] [c29] [c26] [c24] [j18] [c21] [c20] [j17] [c19] [c16]
11Richard A. DeMillo
[j9]
12Vidroha Debroy
[c38]
13Márcio Eduardo Delamaro
[j16] [j14]
14Wenliang Du
[c15] [c11]
15James Early
[c31]
16Yi Fang
[j28] [c37] [j27] [c36]
17Praerit Garg
[c11]
18Arif Ghafoor
[j26] [j25] [j22]
19Sudipto Ghosh
[j15] [c13]
20Katerina Goseva-Popstojanova
[c17]
21Geoffrey Greene
[c6]
22Neelam Gupta
[c14] [c10] [c9]
23Joseph Robert Horgan (Joseph R. Horgan)
[j13] [j12] [c8] [c5] [j4]
24Hai Hu
[j30] [c39]
25K. R. Jayaram
[c32]
26Chang-Hai Jiang
[j30] [c39]
27Karama Kanoun
[c25]
28Richard M. Karcich
[c24]
29Vivek Khandelwal
[c6]
30Jeongwoo Ko
[c37]
31Edward W. Krauser
[j3] [c1]
32Saileshwar Krishnamurthy
[c7]
33J. Jenny Li
[c25]
34Tangqiu Li
[c25]
35Zongkai Lin
[c25]
36Saul London
[j12] [c5]
37José Carlos Maldonado
[j16] [j14] [c2]
38Ammar Masood
[j26] [j25] [j22]
39Paul McKee
[c18]
40Scott D. Miller
[c33] [p1] [j19] [c30] [c29] [c26]
41Sambrama Mundkur
[c12]
42Ramkumar Natarajan
[c18]
43Nimal Nissanke
[j29]
44A. Jefferson Offutt (Jeff Offutt)
[c38]
45Alberto Pasquini
[j16] [j13] [c8]
46Vernon Rego
[j8] [j5] [j3] [j2] [j1]
47Luo Si
[j28] [c37] [j27] [c36]
48Mary Lou Soffa
[c14] [c10] [c9]
49Naveen Somasundaram
[c37]
50Baskar Sridharan
[c23] [c22] [c12]
51Rajesh Subramanyan
[c31]
52Kishor S. Trivedi
[c17]
53Mladen A. Vouk
[c38]
54Qianxiang Wang
[c27]
55Weiguang Wang
[c40]
56Johnny S. Wong (Johnny Wong)
[j21]
57W. Eric Wong
[j30] [c38] [j23] [j13] [j12] [c8] [j11] [j10] [j9] [c5] [j7] [c4] [c2]
58Stephen S. Yau
[c35] [c34]
59Huanyin Yi
[c39]
60Qingkai Zeng
[c40]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 15:50:32 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page