George Finklang  Home/Search
Context Related
| ucdavis.edu/gfink/gfink/pa...senotes.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucdavis.edu/gfink/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The goal of software testing analysis is to validate that an implementation satisfies its specifications. Many errors in software are caused by generalizable flaws in the source code. Property-based testing assures that a given program is free of the specified generic flaws. Property-based testing uses property specifications and a data-flow analysis of the program to guide evaluation of test executions for correctness and completeness. Introduction Analysts test computer programs to determine ... (Update)
Context of citations to this paper: More
...the aws. Fink et al. developed a method to specify program properties, including security properties, called property based testing [12, 14, 15]. A speci cation T for a program P is written in a language such as TASPEC [13] which relates program locations to the activation...
Cited by: More
Security Analysis of Wireless Java - Mourad Debbabi Mohamed (2005) (Correct)
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
Reducing Software Security Risk Through an Integrated Approach - David Gilliam David (2000) (Correct)
Active bibliography (related documents): More All
2.2: Appendix A TASPEC Grammar - The Grammar Is (Correct)
1.0: An Interface Language Between Specifications and Testing - Fink, Helmke, Bishop, Levitt (1995) (Correct)
0.5: Testing C Programs for Buffer Overflow Vulnerabilities - Haugh, Bishop (2003) (Correct)
Similar documents based on text: More All
0.3: Towards a Property-based Testing Environment with.. - Fink, Ko, Archer, Levitt (1994) (Correct)
0.1: A Critical Analysis of Vulnerability Taxonomies - Bishop, Bailey (1996) (Correct)
0.1: Race Conditions, Files, and Security Flaws; or the Tortoise and.. - Bishop (1995) (Correct)
Related documents from co-citation: More All
6: An automated approach for identifying potential vulnerabilities in software - Ghosh, O'Connor et al. - 1998
4: An empirical study of the reliability of Unix utilities - Miller, Fredriksen et al. - 1990
4: Advisory CA (context) - Center
BibTeX entry: (Update)
G. Fink and M. Bishop. Property-based testing: A new approach to testing for assurance. ACM SIGSOFT Software Engineering Notes, 22(4), July 1997. http://citeseer.ist.psu.edu/finklang97propertybased.html More
@misc{ fink97propertybased,
author = "G. Fink and M. Bishop",
title = "Property-based testing: A new approach to testing for assurance",
text = "G. Fink and M. Bishop. Property-based testing: A new approach to testing
for assurance. ACM SIGSOFT Software Engineering Notes, 22(4), July 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/finklang97propertybased.html" }
Citations (may not include all citations):318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
166 Selecting software test data using data flow information (context) - Rapps, Weyuker - 1985
123 An Introduction to Formal Methods (context) - Diller - 1990
86 Constraint-based automatic test data generation (context) - DeMillo, Offutt - 1991
83 Automating the Generation and Sequencing of Test Cases from .. (context) - Dick, Faivre - 1993
49 CERT advisory CA (context) - advisory, hole
48 A formal evaluation of data flow path selection criteria (context) - Clarke, Podgurski et al. - 1989
40 TAOS: Testing with analysis and oracle support - Richardson - 1994
36 The internet worm: Crisis and aftermath (context) - Spafford - 1989
26 Practical Formal Methods with VDM (context) - Andrews, Ince - 1991
26 IEEE Transactions on Software Engineering (context) - Ntafos, element - 1984
21 Property-based testing of privileged programs - Fink, Levitt - 1994
21 Structural specification-based testing with ADL (context) - Chang, Richardson et al. - 1996
20 A taxonomy of computer program security flaws (context) - Landwehr, Bull et al. - 1993
6 Data flow testing in STAD (context) - Laski - 1990
5 Towards a property-based testing environment with applicatio.. - Fink, Ko et al. - 1994
4 Discovering security and safety flaws using property-based t.. (context) - Fink - 1995
3 Larch: Langauges and Tools for Formal Specification (context) - Guttag, Horning - 1993
3 An interface language between specifications and testing - Fink, Helmke et al. - 1995
3 A semi-formal approach to the validation of requirements tra.. (context) - Helmke - 1995
2 Workshop on Future Directions in Intrusion and Misuses Detec.. (context) - Spafford, vulnerabilities - 1992
1 a complete and practical data-flow coverage metric (context) - Fink - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://avalon.cs.ucdavis.edu/gfink/research.html): More
Towards a Property-based Testing Environment with.. - Fink, Ko, Archer, Levitt (1994) (Correct)
Property-Based Testing of Privileged Programs - George Fink (1994) (Correct)
Appendix A TASPEC Grammar - The Grammar Is (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC