


default search action
Synthesis Lectures on Software Engineering
2020
- Corina S. Pasareanu:

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2020, ISBN 978-3-031-01423-9 - Néstor Cataño Collazos:

Java Software Development with Event B: A Practical Guide. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2020, ISBN 978-3-031-01422-2
2017
- Marco Brambilla, Jordi Cabot, Manuel Wimmer:

Model-Driven Software Engineering in Practice, Second Edition. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2017, ISBN 978-3-031-01421-5
2014
- Scott R. Tilley, Krissada Dechokul:

Testing iOS Apps with HadoopUnit: Rapid Distributed GUI Testing. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2014, ISBN 978-3-031-01420-8 - Scott R. Tilley, Brianna Floss:

Hard Problems in Software Testing: Solutions Using Testing as a Service (TaaS). Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2014, ISBN 978-3-031-01419-2
2012
- Marco Brambilla, Jordi Cabot

, Manuel Wimmer:
Model-Driven Software Engineering in Practice. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2012, ISBN 978-3-031-02546-4

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














