Sciweavers

128 search results - page 3 / 26
» The Role of Testing in Grammar Engineering
Sort
View
KBSE
2007
IEEE
14 years 1 months ago
Directed test generation using symbolic grammars
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
Rupak Majumdar, Ru-Gang Xu
LDTA
2010
13 years 7 months ago
Faster ambiguity detection by grammar filtering
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
H. J. S. Basten, Jurgen J. Vinju
ACSAC
2009
IEEE
13 years 5 months ago
RoleVAT: Visual Assessment of Practical Need for Role Based Access Control
Abstract--Role based access control (RBAC) is a powerful security administration concept that can simplify permission assignment management. Migration to and maintenance of RBAC re...
Dana Zhang, Kotagiri Ramamohanarao, Steven Verstee...
SEE
2010
Springer
13 years 5 months ago
Development of Role-Play Scenarios for Teaching Responsible Conduct of Research
We describe the development, testing, and formative evaluation of nine role-play scenarios for teaching central topics in the responsible conduct of research to graduate students ...
Bradley J. Brummel, C. K. Gunsalus, Kerri L. Ander...
CAISE
2003
Springer
14 years 20 days ago
A Scenario Description Language Based on Action Frame
Scenarios that describe concrete behaviors of system play an important role in system development and in particular requirements engineering. Scenarios are informal, and are diffic...
Hong Hui Zhang, Atsushi Ohnishi