Using symbolic evaluation to understand behavior in configurable software systems

Many modern software systems are designed to be highly configurable, which increases flexibility but can make programs hard to test, analyze, and understand. We present an initial empirical study of how configuration options affect program behavior. We conjecture that, at certain levels of abstracti...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	2010 ACM/IEEE 32nd International Conference on Software Engineering Ročník 1; s. 445 - 454
Hlavní autoři:	Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 01.05.2010 IEEE
Edice:	ACM Conferences
Témata:	Computing methodologies > Symbolic and algebraic manipulation Concrete empirical software engineering Libraries Measurement Servers Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging software configurations Software systems software testing and analysis Testing Theory of computation > Models of computation > Abstract machines Theory of computation > Semantics and reasoning > Program reasoning > Abstraction software configurations empirical software engineering software testing and analysis
ISBN:	9781605587196, 1605587192
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!