Sciweavers

2026 search results - page 34 / 406
» Tools for Test Case Generation
Sort
View
75
Voted
ICST
2010
IEEE
14 years 10 months ago
Verified Firewall Policy Transformations for Test Case Generation
Achim D. Brucker, Lukas Brügger, Paul Kearney...
116
Voted
EMSOFT
2008
Springer
15 years 2 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
88
Voted
CAISE
1997
Springer
15 years 4 months ago
Meta-CASE in Practice: a Case for KOGGE
Meta-CASE tools are used to generate CASE tools; KOGGE is such a meta-CASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing ne...
Jürgen Ebert, Roger Süttenbach, Ingar Uh...
WWW
2010
ACM
15 years 7 months ago
Automated performance assessment for service-oriented middleware: a case study on BPEL engines
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
Domenico Bianculli, Walter Binder, Mauro Luigi Dra...