Foundational Property-Based Testing (Q2945645): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Turning Inductive into Equational Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: On theorem prover-based testing / rank
 
Normal rank
Property / cites work
 
Property / cites work: The New Quickcheck for Isabelle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Smart Testing of Functional Programs in Isabelle / rank
 
Normal rank
Property / cites work
 
Property / cites work: A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3075246 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing noninterference, quickly / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3075239 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Producing Certified Functional Code from Inductive Specifications / rank
 
Normal rank

Latest revision as of 19:01, 10 July 2024

scientific article
Language Label Description Also known as
English
Foundational Property-Based Testing
scientific article

    Statements