Inferring better contracts

Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contracts. The results of current contract inference tools are still often unsatisfactory in practice, especially for programm...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2011 33rd International Conference on Software Engineering (ICSE) s. 191 - 200
Hlavní autoři:	Wei, Yi, Furia, Carlo A., Kazmin, Nikolay, Meyer, Bertrand
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 21.05.2011 IEEE
Edice:	ACM Conferences
Témata:	contract inference Contracts Data mining Data structures Decision trees General and reference > Cross-computing tools and techniques > Reliability General and reference > Cross-computing tools and techniques > Validation Hardware > Hardware validation > Functional verification > Assertion checking Indexes invariants random testing Software Software and its engineering > Software creation and management > Software verification and validation Software reliability Theory of computation > Logic Theory of computation > Semantics and reasoning Theory of computation > Semantics and reasoning > Program reasoning Theory of computation > Semantics and reasoning > Program reasoning > Assertions data mining contract inference invariants random testing
ISBN:	9781450304450, 1450304451
ISSN:	0270-5257
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!