Sciweavers

2026 search results - page 34 / 406
» Tools for Test Case Generation
Sort
View
97
Voted
ICST
2010
IEEE
15 years 1 months ago
Verified Firewall Policy Transformations for Test Case Generation
Achim D. Brucker, Lukas Brügger, Paul Kearney...
238
Voted
NFM
2011
366views Formal Methods» more  NFM 2011»
14 years 10 months ago
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
Jan Peleska, Elena Vorobev, Florian Lapschies
EMSOFT
2008
Springer
15 years 5 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
CAISE
1997
Springer
15 years 7 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...
152
Voted
WWW
2010
ACM
15 years 10 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...