Skip to search formSkip to main contentSkip to account menu

ICSE

The International Conference on Software Engineering (ICSE), is one of the largest annual software engineering conferences. It has an 'A*' rating in… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly… 
2009
2009
In practice, an available testing budget limits the number of test cases that can be executed over particular software. This… 
2008
2008
Modal Transition Systems (MTS) have been shown to be useful to reason about system behaviour in the context of partial… 
Highly Cited
2007
Highly Cited
2007
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements… 
2007
2007
A repository of task structures can reveal important latent knowledge about the development of a software system. Although… 
2004
2004
Modern computing and network environments demand ahigh degree of adaptability from applications. At run time, an application may… 
2002
2002
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
2002
2002
In a wide range of application areas, system behavior is modeled using variations of scenarios and state machines. In… 
2001
2001
Portability is becoming universally recognized as a desirable attribute for most software products, and porting is a recognized… 
Highly Cited
1998
Highly Cited
1998
The main current trend in applied formal methods can be characterized by the term "lightweight". Historically, formal methods…