HOL-TestGen: An Interactive Test-case Generation Framework
Achim D. Brucker und Burkhart Wolff
Schlüsselwörter:
Kategorien:
Dokumente:
Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Burkhart Wolff.
HOL-TestGen: An Interactive Test-case Generation Framework. Fundamental Approaches to Software Engineering (FASE09), York, UK, 27. mar. 2009.
(Folien) (Handout) (BibTeX) (
)
BibTeX
@Talk{ talk:brucker.ea:hol-testgen:2008,
}
| address | = | {York, UK}, | |
| author | = | {Achim D. Brucker and Burkhart Wolff}, | |
| day | = | {27}, | |
| event | = | {Fundamental Approaches to Software Engineering {(FASE09)}}, | |
| handout | = | {https://www.brucker.ch/bibliography/download/2009/talk-brucker.ea-hol-testgen-2009-2x2.pdf}, | |
| isodate | = | {2009-03-27}, | |
| language | = | {USenglish}, | |
| lecturer | = | {Achim D. Brucker}, | |
| month | = | {mar}, | |
| slides | = | {https://www.brucker.ch/bibliography/download/2009/talk-brucker.ea-hol-testgen-2009.pdf}, | |
| title | = | {HOL-TestGen: An Interactive Test-case Generation Framework}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-hol-testgen-2008}, | |
| year | = | {2009}, |