An empirical framework for comparing effectiveness of testing and property-based formal analysis release_ljrwj35vtncxvleahtwcybv2ca

by Jeremy S. Bradbury, James R. Cordy, Juergen Dingel

Published in Software engineering notes by Association for Computing Machinery (ACM).

2006   Volume 31

Archived Files and Locations

application/pdf  123.2 kB
file_k4f5leogozc6fmopav46eqkffm
faculty.uoit.ca (web)
web.archive.org (webarchive)
application/pdf  117.6 kB
file_codbovxfwrbqvbnn3es7udw3p4
research.cs.queensu.ca (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
www.cs.queensu.ca (web)
research.cs.queensu.ca (web)
+ 1 more URLs
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2006-01-01
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0163-5948
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: b27a7afd-8bd3-4382-8abd-f709cf8f6201
API URL: JSON