Publisher： Springer Publishing Company
Founded in： 1994
Total resources： 48
E-ISSN： 1573-7535
ISSN： 0928-8910
Subject： TP3 Computers
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Automated Software Engineering
Menu
Counterexample-guided abstraction refinement for linear programs with arrays
By Armando Alessandro,Benerecetti Massimo,Mantovani Jacopo in (2014)
Automated Software Engineering , Vol. 21, Iss. 2, 2014-04 , pp.
Access to resources
Recommend
Adaptable, model-driven security engineering for SaaS cloud-based applications
By Almorsy Mohamed,Grundy John,Ibrahim Amani in (2014)
Automated Software Engineering , Vol. 21, Iss. 2, 2014-04 , pp.DConfusion: a technique to allow cross study performance evaluation of fault prediction studies
By Bowes David,Hall Tracy,Gray David in (2014)
Automated Software Engineering , Vol. 21, Iss. 2, 2014-04 , pp.Model-driven reverse engineering of legacy graphical user interfaces
By Sánchez Ramón Óscar,Sánchez Cuadrado Jesús,García Molina Jesús in (2014)
Automated Software Engineering , Vol. 21, Iss. 2, 2014-04 , pp.Experiences using Tedeso: an extensible and interoperable model-based testing platform
By Silva Filho Roberto in (2013)
Automated Software Engineering , Vol. 20, Iss. 3, 2013-09 , pp.Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Automated Software Engineering , Vol. 20, Iss. 3, 2013-09 , pp.A framework for semi-automated software evolution analysis composition
Automated Software Engineering , Vol. 20, Iss. 3, 2013-09 , pp.Supporting model-driven development using a process-centered software engineering environment
Automated Software Engineering , Vol. 20, Iss. 3, 2013-09 , pp.Guest editors introduction: special issue on innovative automated software engineering tools-part #2
Automated Software Engineering , Vol. 20, Iss. 3, 2013-09 , pp.
Previous
Next