Alin Stefanescu
5 SlideShares 13 Followers 7 Followings
Personal Information
Organization / Workplace
Bucharest Romania
Occupation
Professor
Website
alin.stefanescu.eu
About
Doing research in formal methods for software engineering
Contact Details
Tags
search-based testing test generation deploy model-based testing event-b formal methods alin stefanescu uml slides phd slides
See more

Presentations

(5)
See all

Alin Stefanescu: Slides for PhD defense

15 years ago • 600 Views

Slides for ACSD'05 conference

15 years ago • 239 Views

Slides for a talk on UML Semantics in Genoa in 2006

15 years ago • 578 Views

Slides for a talk on UML Semantics in Nuremberg in 2005

15 years ago • 401 Views

Slides for a talk on search-based testing for Event-B models

14 years ago • 736 Views

Likes

(7)
See all

Past and Future of Software Testing and Analysis

Lionel Briand • 4 years ago

Whither Software Engineering Research? (keynote talk at APSEC 2012)

David Rosenblum • 12 years ago

Rv11

Wolfgang Grieskamp • 13 years ago

Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.

Wolfgang Grieskamp • 12 years ago

Quality in an_agile_world

Jason Arbon • 13 years ago

Cloud computing

Sreehari820 • 14 years ago

InnoTour USA review by Mandy van Tilborg

EYIF • 13 years ago
Personal Information
Organization / Workplace
Bucharest Romania
Occupation
Professor
Website
alin.stefanescu.eu
About
Doing research in formal methods for software engineering
Tags
search-based testing test generation deploy model-based testing event-b formal methods alin stefanescu uml slides phd slides
See more