Alin Stefanescu
13
Followers
Personal Information
Unternehmen/Arbeitsplatz
Bucharest Romania
Beruf
Professor
Webseite
alin.stefanescu.eu
Info
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
Mehr anzeigen
- Präsentationen
- Dokumente
- Infografiken
Past and Future of Software Testing and Analysis
Lionel Briand
•
Vor 2 Jahren
Whither Software Engineering Research? (keynote talk at APSEC 2012)
David Rosenblum
•
Vor 11 Jahren
Rv11
Wolfgang Grieskamp
•
Vor 12 Jahren
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Wolfgang Grieskamp
•
Vor 11 Jahren
Quality in an_agile_world
Jason Arbon
•
Vor 11 Jahren
Cloud computing
Sreehari820
•
Vor 13 Jahren
InnoTour USA review by Mandy van Tilborg
EYIF
•
Vor 12 Jahren