Sciweavers

9412 search results - page 117 / 1883
» An aspect-oriented generative approach
Sort
View
ICSE
2009
IEEE-ACM
15 years 4 months ago
Security Test Generation Using Threat Trees
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamar...
ICIDS
2009
Springer
16 years 29 days ago
Iterative Authoring Using Story Generation Feedback: Debugging or Co-creation?
We explore the role that story generation feedback may play within the creative process of interactive story authoring. While such feedback is often used as ‘debugging’ informa...
Ivo Swartjes, Mariët Theune
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
16 years 26 days ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita
PRDC
2007
IEEE
16 years 20 days ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
DATE
2004
IEEE
174views Hardware» more  DATE 2004»
15 years 10 months ago
Graph-Based Functional Test Program Generation for Pipelined Processors
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
Prabhat Mishra, Nikil Dutt