Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

ASE

The International Conference on Automated Software Engineering (ASE) is a large annual software engineering conference. The first conference in the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
With the continued proliferation of mobile devices, the collection of information associated with such devices and their users… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2012
2012
The aim of this study is to explore whether leverage always means risk. For this purpose, unbalanced pooled cross-sectional data… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
2010
2010
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2007
2007
A repository of task structures can reveal important latent knowledge about the development of a software system. Although… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 2
Is this relevant?
2007
2007
Model checking of isolated software components is inherently not possible because a component does not form a complete program… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Model checking techniques can be successfully employed as a test case generation technique to generate tests from formal models… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2004
2004
Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and… Expand
  • figure 1
  • table 1
Is this relevant?
2002
2002
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product… Expand
  • figure 1
  • figure 2
  • table 1
Is this relevant?
2002
2002
Component frameworks such as the CORBA Component Model (CCM) and middleware services such as the CORBA Event Service are… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?