Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Feature-oriented contract composition
Thüm, Thomas, Knüppel, Alexander, Krüger, Stefan, Bolle, Stefanie, Schaefer, Ina
Published in The Journal of systems and software (01.06.2019)
Published in The Journal of systems and software (01.06.2019)
Get full text
Journal Article
Loading…
Loading…
An Empirical Evaluation of Assertions as Oracles
Shrestha, Kavir, Rutherford, Matthew J
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Published in 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (01.03.2011)
Get full text
Conference Proceeding