Sciweavers

455 search results - page 20 / 91
» Directed test generation using symbolic grammars
Sort
View
TAICPART
2010
IEEE
166views Education» more  TAICPART 2010»
14 years 8 months ago
Linguistic Security Testing for Text Communication Protocols
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
Ben W. Y. Kam, Thomas R. Dean
TOG
2008
134views more  TOG 2008»
14 years 9 months ago
Interactive visual editing of grammars for procedural architecture
We introduce a real-time interactive visual editing paradigm for shape grammars, allowing the creation of rulebases from scratch without text file editing. In previous work, shape...
Markus Lipp, Peter Wonka, Michael Wimmer
ICSE
2009
IEEE-ACM
15 years 4 months ago
Guided path exploration for regression test generation
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan ...
VLSID
1993
IEEE
136views VLSI» more  VLSID 1993»
15 years 1 months ago
A Simulation-Based Test Generation Scheme Using Genetic Algorithms
This paper discusses a Genetic Algorithm-based method of generating test vectorsfor detecting faults in combinational circuits. The GA-based approach combines the merits of two te...
M. Srinivas, Lalit M. Patnaik
NIPS
2001
14 years 11 months ago
Natural Language Grammar Induction Using a Constituent-Context Model
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according...
Dan Klein, Christopher D. Manning