Search Sciweavers | Sciweavers

7213 search results - page 83 / 1443

» Automated model grouping

Voted

ICFEM
2005
Springer

119views Software Engineering» more ICFEM 2005»

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing

15 years 9 months ago

Download paginas.fe.up.pt

Ana Paiva, João C. P. Faria, Nikolai Tillma...

claim paper

Read More »

115

Voted

UML
2004
Springer

101views Natural Language Processing» more UML 2004»

Automated Verification of UMLsec Models for Security Requirements

15 years 8 months ago

Download www4.in.tum.de

Jan Jürjens, Pasha Shabalin

claim paper

Read More »

Voted

ICRA
2002
IEEE

101views Robotics» more ICRA 2002»

Modeling of Complex Automation Systems using Colored State Charts

15 years 8 months ago

Download www.theoinf.tu-ilmenau.de

Olga Fengler, Wolfgang Fengler, Vesselka Duridanov...

claim paper

Read More »

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

15 years 8 months ago

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

103

click to vote

ICSE
2009
IEEE-ACM

108views Software Engineering» more ICSE 2009»

The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers