Phyllis
G. Frankl
|
Computer and Information Science Department
Polytechnic University
Six Metrotech Center
Brooklyn, NY 11201 USA
phone: 718 260-3870
fax: 718 260-3609
e-mail: pfrankl at poly dot edu
|
Education
B.A. in Mathematics and Physics, Brandeis
University
M.A. in Mathematics, Columbia University
M.S. and Ph.D. in Computer Science, Courant Institute of Mathematical Sciences,
New York University
Professional Activities:
Selected
Publications:
Testing Database Applications:
·
Yuetang
Deng, Phyllis Frankl, David Chays, “Testing Database Transactions with
AGENDA”, ICSE 2005. 70-87.
·
David Chays, Yuetang Deng, Phyllis G. Frankl, Saikat Dan, Filippos I. Vokolos, Elaine J. Weyuker, “ An AGENDA for testing
relational database applications”. Software Testing, Verification, and
Reliability, 14(1): 17-44 (2004).
·
Yuetang Deng, Phyllis G.
Frankl, Zhongqiang Chen:
Testing Database Transaction Concurrency. ASE 2003: 184-195
·
David Chays, Saikat Dan, Phyllis G. Frankl, Filippos
I. Vokolos, Elaine J. Weyuker: A framework for testing
database applications. ISSTA 2000: 147-157
Effectiveness of testing techniques:
- Phyllis G. Frankl, Yuetang
Deng: Comparison of delivered reliability of branch, data flow and
operational testing: A case study. ISSTA 2000: 124-134
- "Testing Software to
Detect and Reduce Risk," Journal of Systems and Software, 53(3)
Sept 15, 2000, pp 275-286, (with E. Weyuker).
- "Further
Empirical Studies of Test Effectiveness," ACM SIGSOFT Sixth
International Symposium on the Foundations of Software Engineering, Nov.
1998 (with O. Iakounenko).
- "Evaluating
Testing Methods by Delivered Reliability," IEEE Transactions
on Software Engineering (ICSE '97), V. 24, 8, Aug. 1998, pp. 586 to
602, (with R.G. Hamlet, B. Littlewood, L. Strigini). Correction.
- "Choosing
a Testing Method to Deliver Reliability," International
Conference on Software Engineering (ICSE '97), May, 1997 (with R.G.
Hamlet, B. Littlewood, L. Strigini).
- "All-Uses
versus Mutation Testing: An Experimental Comparison of Effectiveness",
Journal of Systems and Software, Sept. 1997, (with S.N Weiss and C.
Hu).
- "An
Experimental Comparison of the Effectiveness of Branch Testing and Data
Flow Testing," IEEE Transactions on Software Engineering,
v. 19, 8, Aug., 1993, pp. 774-787, (with S.N. Weiss).
- "Provable
Improvements on Branch Testing," IEEE Trans. Software
Engineering, v. 19,10,Oct. 1993, pp. 962-975,
(with E.J. Weyuker).
- "A
Formal Analysis of the Fault Detecting Ability of Testing Methods," IEEE
Trans. Software Engineering, v. 19,3, March,
1993, pp. 202-213, (with E.J. Weyker).
Data Flow Testing:
- "The
Path-wise Approach to Data Flow Testing with Pointer Variables," International
Symposium on Software Testing and Analysis, Jan. 1996, (with Delia
I.S. Marx).
- An applicable family of data
flow testing criteria," IEEE Transactions on Software Engineering,
v. SE-14,10, Oct. 1988, pp.1483-1498, (with E.J.
Weyuker).
- "ASSET: a system to
select and evaluate tests," Proceedings of the IEEE Conference on
Software Tools, New York,
NY, April 1985, (with S.N.
Weiss and E.J. Weyuker).
Testing Object-oriented Programs:
- "The
ASTOOT Approach to Testing Object-oriented Programs," ACM
Trans. on Software Engineering Methodology, April, 1994, (with R. Doong).
- "Case studies on testing
object-oriented programs," TAV4: Symposium on Software Testing,
Analysis and Verification, Oct. 1991, (with R. Doong).
- "Tools
for testing object-oriented programs," Pacific Northwest
Software Quality Assurance Conference, Portland, Oregon,
Oct. 1990, (with R. Doong).
Regression Testing:
Infostation (Wireless data dissemination system):
·
John Buford, Emré Celebi,
Phyllis G. Frankl: Property-Based Peer Trust in the Sleeper Service Discovery
Protocol. COMPSAC (2) 2006: 209-214
Other:
- "Globally Consistent
Event Ordering in One-Directional Distributed Environments", IEEE
Trans. on Parallel and Distributed Systems, v. 7, 6, June, 1996, pp.
665-670, (with P. Ammann and S. Jajodia).
- Vikram
Anantapadmanabhan, Phyllis G. Frankl, Nasir D.
Memon, Gleb Naumovich:
Design of a Laboratory for Information Security Education. World
Conference on Information Security Education 2003: 61-73
- "Adaptive
Testing of Non-deterministic Communications Protocols," 6th
International Workshop on Protocol Test Systems, Sept. 1993, (with M. Ghriga).
"A
change in twist of actin provides the force for the
extension of the acrosomal process in limulus sperm:
the false-discharge reaction," Journal of Cell Biology Vol. 93, May 1982,
324 - 337, (with De Rosier, Tilney, and Bonder)