Steven J. Zeil

25 papers A* 6A 1Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2014 — conf
Optimized Backward Chaining Reasoning System for a Semantic Web.
WIMS
Hui Shi, Kurt Maly, Steven J. Zeil
2014 — conf
Trust and hybrid reasoning for ontological knowledge bases.
WWW (Companion Volume)
Hui Shi, Kurt Maly, Steven J. Zeil
2011 — conf
Comparison of ontology reasoning systems using custom rules.
WIMS
Hui Shi, Kurt Maly, Steven J. Zeil, Mohammad Zubair
2011 — conf
Performance Evaluation of Oracle Semantic Technologies with Respect to User Defined Rules.
DEXA Workshops
Ashraf Yaseen, Kurt Maly, Steven J. Zeil, Mohammad Zubair
2007 — conf
A Scriptable, Statistical Oracle for a Metadata Extraction System.
QSIC
Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal
2007 — conf
Automated Template-Based Metadata Extraction Architecture.
ICADL
Paul Flynn, Li Zhou, Kurt Maly, Steven J. Zeil, Mohammad Zubair
2006 — conf
Automated Building of OAI Compliant Repository from Legacy Collection.
ELPUB
Jianfeng Tang, Kurt Maly, Steven J. Zeil, Mohammad Zubair
2000 J jnl
Reliability growth modeling from fault failure rates.
ACM SIGSOFT Softw. Eng. Notes
Steven J. Zeil
1998 A conf
An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing.
ISSTA
Brian Mitchell, Steven J. Zeil
1997 J jnl
Modeling Reliability Growth During Non-Representative Testing.
Ann. Softw. Eng.
Brian Mitchell, Steven J. Zeil
1996 A* conf
A Reliability Model Combining Representative and Directed Testing.
ICSE
Brian Mitchell, Steven J. Zeil
1993 — conf
A Multi-Theory Constraint Satisfaction System.
ACM Conference on Computer Science
Steven J. Zeil
1993 — conf
A knowledge base for software test refinement.
KBSE
Steven J. Zeil, J. Christian Wild
1992 J jnl
Detection of Linear Errors via Domain Testing.
ACM Trans. Softw. Eng. Methodol.
Steven J. Zeil, Faten H. Afifi, Lee J. White
1992 J jnl
Employing Accumulated Knowledge to Refine Test Descriptions.
Softw. Test. Verification Reliab.
J. Christian Wild, Steven J. Zeil, Gao Feng, Ji Chen
1992 A* conf
Testing for Linear Errors in Nonlinear Computer Programs.
ICSE
Faten H. Afifi, Lee J. White, Steven J. Zeil
1989 J jnl
A Formal Evaluation of Data Flow Path Selection Criteria.
IEEE Trans. Software Eng.
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1989 J jnl
Perturbation Techniques for Detecting Domain Errors.
IEEE Trans. Software Eng.
Steven J. Zeil
1988 J jnl
Complexity of the EQUATE testing strategy.
J. Syst. Softw.
Steven J. Zeil
1988 A* conf
Interpretation in a Tool-Fragment Environment.
ICSE
Steven J. Zeil, Edward C. Epp
1988 — conf
TEAM: A Support Environment for Testing, Evaluation, and Analysis.
Software Development Environments (SDE)
Lori A. Clarke, Debra J. Richardson, Steven J. Zeil
1985 A* conf
A Comparison of Data Flow Path Selection Criteria.
ICSE
Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil
1984 A* conf
Perturbation Testing for Computation Errors.
ICSE
Steven J. Zeil
1983 J jnl
Testing for Perturbations of Program Statements.
IEEE Trans. Software Eng.
Steven J. Zeil
1981 A* conf
Sufficient Tset Sets for Path Analysis Testing Strategies.
ICSE
Steven J. Zeil, Lee J. White