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
DCTracVis: a system retrieving and visualizing traceability links between source code and documentation
Xiaofan Chen, John Hosking, John Grundy, Robert Amor
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