Fundamental Approaches to Software Engineering

FASE

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

740

1998–2026

Best Software Engineering conferences

Papers per year

199834 peak2026

Most published authors

FASE papers

740 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
2012	Extracting Widget Descriptions from GUIs.	Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro
2012	Moving from Specifications to Contracts in Component-Based Design.	Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski
2012	Cohesive and Isolated Development with Branches.	Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germn, Premkumar T. Devanbu
2012	The SynchAADL2Maude Tool.	Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer, Abdullah Al-Nayeem
2012	Learning from Vacuously Satisfiable Scenario-Based Specifications.	Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastin Uchitel
2012	Verified Resource Guarantees for Heap Manipulating Programs.	Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hhnle, Guillermo Romn-Dez
2012	Fine Slicing - Theory and Applications for Computation Extraction.	Aharon Abadi, Ran Ettinger, Yishai A. Feldman
2012	Distributed Process Discovery and Conformance Checking.	Wil M. P. van der Aalst
2011	Flow-Augmented Call Graph: A New Foundation for Taming API Complexity.	Qirun Zhang, Wujie Zheng, Michael R. Lyu
2011	Evolving a Test Oracle in Black-Box Testing.	Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang
2011	Theoretical Aspects of Compositional Symbolic Execution.	Dries Vanoverberghe, Frank Piessens
2011	Automated Driver Generation for Analysis of Web Applications.	Oksana Tkachuk, Sreeranga P. Rajan
2011	Retrofitting Unit Tests for Parameterized Unit Testing.	Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	An Empirical Study on Evolution of API Documentation.	Lin Shi, Hao Zhong, Tao Xie, Mingshu Li
2011	Testing Container Classes: Random or Systematic?	Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
2011	Where the Truth Lies: AOP and Its Impact on Software Modularity.	Adam Przybylek
2011	rt-Inconsistency: A New Property for Real-Time Requirements.	Amalinda Post, Jochen Hoenicke, Andreas Podelski
2011	Uniform Monte-Carlo Model Checking.	Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
2011	Modelling Non-linear Crowd Dynamics in Bio-PEPA.	Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston
2011	Model Checking Bchi Pushdown Systems.	Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin
2011	Incremental Clone Detection and Elimination for Erlang Programs.	Huiqing Li, Simon J. Thompson
2011	On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts.	Tamim Ahmed Khan, Reiko Heckel
2011	Search-Based Design Defects Detection by Example.	Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Manuel Wimmer
2011	Models within Models: Taming Model Complexity Using the Sub-model Lattice.	Pierre Kelsen, Qin Ma, Christian Glodt
2011	Seamless Testing for Models and Code.	Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith

351–375 of 740← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.