Wyniki wyszukiwania:

Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very important means for improving the testing process. Formal methods allow for the analysis andinterpretationofmodelsinarigorousandprecisemathematicalmanner.The use of formal methods is not restricted to system models only. Test models may...

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

A Poetics of Unnatural Narrative offers a collection of foundational essays introducing the reader to the full scope of unnatural narrative theory: its meaning, its goals, its extent, its paradoxes. This volume brings together a distinguished group of international critics, scholars, and historians of literature that includes several of the world's leading narrative theorists. Together, they survey many basic areas of narrative studies from an unnatural perspective: story, time, space, voice, minds, narrative levels, realism, nonfiction, hyperfiction, and narrative poetry. Rarely have these...