Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,412,599 papers from all fields of science
Search
Sign In
Create Free Account
ICSE
The International Conference on Software Engineering (ICSE), is one of the largest annual software engineering conferences. It has an 'A*' rating in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Bill Griswold
Carlo Ghezzi
DEBS
GXL
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
S. Biffl
,
T. Moser
,
D. Winkler
International journal of software engineering and…
2011
Corpus ID: 207130840
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly…
Expand
2009
2009
An Optimized technique for Test Case Generation and Prioritization Using 'Tabu' Search and 'Data Clustering'
Praveen Ranjan Srivastava
,
Aditya Vijay
,
Bhupesh Barukha
,
P. S. Sengar
,
Rajat Sharma
Indian International Conference on Artificial…
2009
Corpus ID: 9802470
In practice, an available testing budget limits the number of test cases that can be executed over particular software. This…
Expand
2008
2008
On correct and complete strong merging of partial behaviour models
Dario Fischbein
,
Sebastián Uchitel
SIGSOFT '08/FSE-16
2008
Corpus ID: 9096760
Modal Transition Systems (MTS) have been shown to be useful to reason about system behaviour in the context of partial…
Expand
Highly Cited
2007
Highly Cited
2007
Behaviour Model Synthesis from Properties and Scenarios
Sebastián Uchitel
,
Greg Brunet
,
M. Chechik
International Conference on Software Engineering
2007
Corpus ID: 15231204
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements…
Expand
2007
2007
Detecting Interaction Coupling from Task Interaction Histories
Lijie Zou
,
Michael W. Godfrey
,
A. Hassan
IEEE International Conference on Program…
2007
Corpus ID: 2759338
A repository of task structures can reveal important latent knowledge about the development of a software system. Although…
Expand
2004
2004
Software Architecture Evolution through Dynamic AOP
P. Falcarin
,
G. Alonso
European Workshop on Software Architecture
2004
Corpus ID: 6968037
Modern computing and network environments demand ahigh degree of adaptability from applications. At run time, an application may…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
2002
2002
Scenarios and state machines: models, algorithms, and tools
Sebastián Uchitel
,
Tarja Systä
,
Albert Zündorf
International Conference on Software Engineering
2002
Corpus ID: 10662117
In a wide range of application areas, system behavior is modeled using variations of scenarios and state machines. In…
Expand
2001
2001
Issues in the Specification and Measurement of Software Portability
J. Mooney
2001
Corpus ID: 11746325
Portability is becoming universally recognized as a desirable attribute for most software products, and porting is a recognized…
Expand
Highly Cited
1998
Highly Cited
1998
A Lightweight Approach to Formal Methods
Sten Agerholm
,
P. Larsen
FM-Trends
1998
Corpus ID: 15656901
The main current trend in applied formal methods can be characterized by the term "lightweight". Historically, formal methods…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE