Skip to main content
Top

Automated Software Engineering

Issue 4/2018

Special Issue: Advanced Topics in Automated Software Engineering

Content (8 Articles)

FastTagRec: fast tag recommendation for software information sites

Jin Liu, Pingyi Zhou, Zijiang Yang, Xiao Liu, John Grundy

Inferring visual contracts from Java programs

Abdullah Alshanqiti, Reiko Heckel, Timo Kehrer

Open Access

Synthesis of probabilistic models for quality-of-service software engineering

Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli

Static window transition graphs for Android

Shengqian Yang, Haowei Wu, Hailong Zhang, Yan Wang, Chandrasekar Swaminathan, Dacong Yan, Atanas Rountev

Developing and evolving a DSL-based approach for runtime monitoring of systems of systems

Rick Rabiser, Jürgen Thanhofer-Pilisch, Michael Vierhauser, Paul Grünbacher, Alexander Egyed

How verified (or tested) is my code? Falsification-driven verification and testing

Alex Groce, Iftekhar Ahmed, Carlos Jensen, Paul E. McKenney, Josie Holmes

Premium Partner