R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering
ASE, 2007.

@proceedings{ASE-2007,
	address       = "Atlanta, Georgia, USA",
	editor        = "R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer",
	isbn          = "978-1-59593-882-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering}",
	year          = 2007,
}

Event page: http://www.ase-conferences.org/ase/past/ase2007/

Contents (102 items)

21 ×#testing
18 ×#automation
18 ×#modelling
13 ×#named
8 ×#generative
8 ×#source code
7 ×#using
6 ×#framework
6 ×#towards
5 ×#approach

ASE-2007-Smith #automation #development #towards

Toward automated software development (DRS), p. 1.

ASE-2007-Leino #specification #verification

Specifying and verifying software (KRML), p. 2.

ASE-2007-Selic #automation #what

The embarrassing truth about software automation and what should be done about it (BS), p. 3.

ASE-2007-SmaragdakisCS #automation #diagrams #generative #modelling #scalability #testing

Scalable automatic test data generation from modeling diagrams (YS, CC, RS), pp. 4–13.

ASE-2007-HillPV #maintenance

Exploring the neighborhood with dora to expedite software maintenance (EH, LLP, KVS), pp. 14–23.

ASE-2007-BarlasB #distributed #framework #java #named #verification

Netstub: a framework for verification of distributed java applications (EB, TB), pp. 24–33.

ASE-2007-HooimeijerW #debugging #modelling #quality

Modeling bug report quality (PH, WW), pp. 34–43.

ASE-2007-Ebnenasir #fault tolerance

Diconic addition of failsafe fault-tolerance (AE), pp. 44–53.

ASE-2007-FischerM #consistency #transaction

Ensuring consistency in long running transactions (JF, RM), pp. 54–63.

ASE-2007-ElkarabliehGSK #data type

Assertion-based repair of complex data structures (BE, IG, YLS, SK), pp. 64–73.

ASE-2007-Reiss #automation

Automatic code stylizing (SPR), pp. 74–83.

ASE-2007-LittleM #java #keyword #programming

Keyword programming in java (GL, RCM), pp. 84–93.

ASE-2007-SarmaBH #configuration management #towards

Towards supporting awareness of indirect conflicts across software configuration management workspaces (AS, GB, AvdH), pp. 94–103.

ASE-2007-ArtziKGE #analysis

Combined static and dynamic mutability analysis (SA, AK, DG, MDE), pp. 104–113.

ASE-2007-ZaraketAK #program analysis

Sequential circuits for program analysis (FAZ, AA, SK), pp. 114–123.

ASE-2007-DwyerP #cost analysis #dynamic analysis #static analysis #type system

Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.

ASE-2007-MajumdarX #generative #testing #using

Directed test generation using symbolic grammars (RM, RGX), pp. 134–143.

ASE-2007-AndrewsLM #generative #named #testing

Nighthawk: a two-level genetic-random unit test data generator (JHA, FCHL, TM), pp. 144–153.

ASE-2007-UbayashiST #architecture #aspect-oriented #component #weaving

An aspect-oriented weaving mechanism based on component and connector architecture (NU, AS, TT), pp. 154–163.

ASE-2007-XiongLHZTM #automation #model transformation #towards

Towards automatic model synchronization from model transformations (YX, DL, ZH, HZ, MT, HM), pp. 164–173.

ASE-2007-YilmazW #approach #automation #debugging #modelling

An automated model-based debugging approach (CY, CW), pp. 174–183.

ASE-2007-JiangS #control flow #debugging #predict #statistics

Context-aware statistical debugging: from bug predictors to faulty control flow paths (LJ, ZS), pp. 184–193.

ASE-2007-RaysideM #memory management #profiling

Object ownership profiling: a technique for finding and fixing memory leaks (DR, LM), pp. 194–203.

ASE-2007-ThummalapentaX #named #open source #reuse #source code #web

Parseweb: a programmer assistant for reusing open source code on the web (ST, TX), pp. 204–213.

ASE-2007-AntkiewiczBC #automation #modelling

Automatic extraction of framework-specific models from framework-based application code (MA, TTB, KC), pp. 214–223.

ASE-2007-ZhengWR #automation #named #testing

Pallino: automation to support regression test selection for cots-based applications (JZ, LW, BR), pp. 224–233.

ASE-2007-LiuMPR #execution #feature model #information retrieval

Feature location via information retrieval based filtering of a single scenario execution trace (DL, AM, DP, VR), pp. 234–243.

ASE-2007-DuanC #automation #clustering

Clustering support for automated tracing (CD, JCH), pp. 244–253.

ASE-2007-DagenaisBWR #evolution #traceability

Inferring structural patterns for concern traceability in evolving software (BD, SB, FWW, MPR), pp. 254–263.

ASE-2007-Grechanik #component #fault #xml

Finding errors in components that exchange xml data (MG), pp. 264–273.

ASE-2007-SchulerDL #java

A dynamic birthmark for java (DS, VD, CL), pp. 274–283.

ASE-2007-ClauseDOP #effectiveness #memory management #using

Effective memory protection using dynamic tainting (JAC, ID, AO, MP), pp. 284–292.

ASE-2007-WangMYM #approach #automation #monitoring #requirements

An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.

ASE-2007-MenziesEHFMB #automation #re-engineering

The business case for automated software engineering (TM, OER, JH, MSF, RJM, BWB), pp. 303–312.

ASE-2007-ChenM #concurrent #source code #testing #using

Testing concurrent programs using value schedules (JC, SM), pp. 313–322.

ASE-2007-Sen #concurrent #effectiveness #random testing #source code #testing

Effective random testing of concurrent programs (KS), pp. 323–332.

ASE-2007-BrooksM #automation #testing #user interface

Automated gui testing guided by usage profiles (PAB, AMM), pp. 333–342.

ASE-2007-SantelicesH #data flow #monitoring #test coverage

Efficiently monitoring data-flow test coverage (RAS, MJH), pp. 343–352.

ASE-2007-CaiGH #crawling #modelling #performance #web

Synthesizing client load models for performance engineering via web crawling (YC, JCG, JGH), pp. 353–362.

ASE-2007-VainRKE #nondeterminism #synthesis

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.

ASE-2007-LauenrothP #automation #consistency #product line #requirements #specification #towards

Towards automated consistency checks of product line requirements specifications (KL, KP), pp. 373–376.

ASE-2007-TanejaDX #api #automation #detection #library #refactoring

Automated detection of api refactorings in libraries (KT, DD, TX), pp. 377–380.

ASE-2007-WapplerS #testing

Improving evolutionary class testing in the presence of non-public methods (SW, IS), pp. 381–384.

ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process

Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.

ASE-2007-KuHCL #benchmark #metric #model checking

A buffer overflow benchmark for software model checkers (KK, TEH, MC, DL), pp. 389–392.

ASE-2007-Abi-AntounWT #consistency #data flow #diagrams #implementation #modelling #security

Checking threat modeling data flow diagrams for implementation conformance and security (MAA, DW, PT), pp. 393–396.

ASE-2007-ArcuriY #source code #specification #testing

Coevolving programs and unit tests from their specification (AA, XY), pp. 397–400.

ASE-2007-TkachukR #composition #generative #model checking #slicing

Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.

ASE-2007-YuanCM #array #automation #sequence #testing #user interface

Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.

ASE-2007-YoonSMP #testing

Direct-dependency-based software compatibility testing (ICY, AS, AMM, AAP), pp. 409–412.

ASE-2007-CortellessaCMP #component #off the shelf #requirements

Driving the selection of cots components on the basis of system requirements (VC, IC, FM, PP), pp. 413–416.

ASE-2007-LeitnerOZCM #performance #testing

Efficient unit test case minimization (AL, MO, AZ, IC, BM), pp. 417–420.

ASE-2007-SeoMM #distributed #energy #framework

An energy consumption framework for distributed java-based systems (CS, SM, NM), pp. 421–424.

ASE-2007-InkumsahX #framework #named #object-oriented #source code #testing

Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs (KI, TX), pp. 425–428.

ASE-2007-KiyavitskayaZBACMM #process #towards

Extracting rights and obligations from regulations: toward a tool-supported process (NK, NZ, TDB, AIA, JRC, LM, JM), pp. 429–432.

ASE-2007-DallmeierZ #benchmark #debugging #locality #metric

Extraction of bug localization benchmarks from history (VD, TZ), pp. 433–436.

ASE-2007-ShiriHR #analysis #feature model #interactive #maintenance #perspective

Feature interaction analysis: a maintenance perspective (MS, JH, JR), pp. 437–440.

ASE-2007-CaiHX #composition #design #framework #testing #tool support

A framework and tool supports for testing modularity of software design (YC, SH, TX), pp. 441–444.

ASE-2007-LagardeETG #concept #design #domain model #modelling #uml

Improving uml profile design practices by leveraging conceptual domain models (FL, HE, FT, SG), pp. 445–448.

ASE-2007-DevescoviNM #approach #development #framework

An infrastructure for autonomic system development: the selflet approach (DD, EDN, RM), pp. 449–452.

ASE-2007-LambersEMP #adaptation #development #modelling

Iterative model-driven development of adaptable service-based applications (LL, HE, LM, MP), pp. 453–456.

ASE-2007-KagdiCM #approach #mining

An approach to mining call-usage patternswith syntactic context (HHK, MLC, JIM), pp. 457–460.

ASE-2007-LinsteadRBLB #concept #mining #modelling #probability #topic

Mining concepts from code with probabilistic topic models (EL, PR, SKB, CVL, PB), pp. 461–464.

ASE-2007-LoMK #execution #mining #specification

Mining modal scenario-based specifications from execution traces of reactive systems (DL, SM, SCK), pp. 465–468.

ASE-2007-BotterweckOT #architecture #modelling

Model-driven derivation of product architectures (GB, LO, ST), pp. 469–472.

ASE-2007-WeaverKFA #composition #programming

Modular and generic programming with interpreterlib (PW, GK, NF, PA), pp. 473–476.

ASE-2007-DiepED

Reducing irrelevant trace variations (MD, SGE, MBD), pp. 477–480.

ASE-2007-Hall #infinity #modelling #named #realtime #validation

Rteq: modeling and validating infinite-state hard-real-time systems (RJH), pp. 481–484.

ASE-2007-CharlesFS #eclipse #framework #ide #named #platform

IMP: a meta-tooling platform for creating language-specific ides in eclipse (PC, RMF, SMSJ), pp. 485–488.

ASE-2007-LiuLMS #quality #refactoring #scheduling

Scheduling of conflicting refactorings to promote quality improvement (HL, GL, ZM, WS), pp. 489–492.

ASE-2007-ChenH #adaptation #evaluation

An evaluation scheme of adaptive configuration techniques (HC, SH), pp. 493–496.

ASE-2007-McIntyreW #automation #heuristic

Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.

ASE-2007-WitkowskiBKW #concurrent #linux #model checking

Model checking concurrent linux device drivers (TW, NB, DK, GW), pp. 501–504.

ASE-2007-CaiWHW #array #automation #kernel #testing

Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.

ASE-2007-NaslavskyZR #model transformation #modelling #testing #towards

Towards leveraging model transformation to support model-based testing (LN, HZ, DJR), pp. 509–512.

ASE-2007-PughA #concurrent #testing

Unit testing concurrent software (WP, NA), pp. 513–516.

ASE-2007-ChangR #execution #validation

Validating system properties exhibited in execution traces (FC, JR), pp. 517–520.

ASE-2007-BlancGK #abstraction #c++ #verification

Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.

ASE-2007-LemosBOMMBL #named #reuse #source code #using

CodeGenie: using test-cases to search and reuse source code (OALL, SKB, JO, RSM, PCM, PB, CVL), pp. 525–526.

ASE-2007-MohaG #design #detection #fault #named

Decor: a tool for the detection of design defects (NM, YGG), pp. 527–528.

ASE-2007-InverardiM #distributed #generative #monitoring #named

DESERT: a decentralized monitoring tool generator (PI, LM), pp. 529–530.

ASE-2007-NakagawaTH #approach #generative #model transformation #modelling #requirements #specification

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.

ASE-2007-DhunganaRGN #product line #tool support

Integrated tool support for software product line engineering (DD, RR, PG, TN), pp. 533–534.

ASE-2007-LedruDBVR #combinator #explosion #generative

Mastering combinatorial explosion with the tobias-2 test generator (YL, FD, LdB, SV, ER), pp. 535–536.

ASE-2007-XieGH #named #testing

Smart: a tool for application reference testing (QX, MG, MH), pp. 537–538.

ASE-2007-SmithGKS #reduction #testing

Test suite reduction and prioritization with call trees (AMS, JG, GMK, MLS), pp. 539–540.

ASE-2007-ArmandoBCMS #model checking

The eureka tool for software model checking (AA, MB, DC, JM, PS), pp. 541–542.

ASE-2007-Abi-AntounA #execution #object-oriented #source code #tool support

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.

ASE-2007-JurjensY #modelling #security #tool support

Tools for model-based security engineering: models vs. code (JJ, YY), pp. 545–546.

ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.

ASE-2007-TairasGB #clone detection #detection #visualisation

Visualizing clone detection results (RT, JG, IDB), pp. 549–550.

ASE-2007-Song #adaptation #composition

Adaptation hiding modularity (YS), pp. 551–554.

ASE-2007-Gawley #automation #feature model #identification #modelling #variability

Automating the identification of variability realisation techniques from feature models (RG), pp. 555–558.

ASE-2007-Kagdi #fine-grained #mining #predict #source code

Improving change prediction with fine-grained source code mining (HHK), pp. 559–562.

ASE-2007-PoshyvanykM #design #incremental #information retrieval #using

Using information retrieval to support design of incremental change of software (DP, AM), pp. 563–566.

ASE-2007-NaslavskyR #modelling #testing #traceability #using

Using traceability to support model-based regression testing (LN, DJR), pp. 567–570.

ASE-2007-Sen07a #testing

Concolic testing (KS), pp. 571–572.

ASE-2007-Leavens #java #ml #modelling #tutorial

Tutorial on JML, the java modeling language (GTL), p. 573.

ASE-2007-Easterbrook #empirical #re-engineering #research

Empirical research methods for software engineering (SME), p. 574.

ASE-2007-Czarnecki #evolution #generative #reuse

Software reuse and evolution with generative techniques (KC), p. 575.

ASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation

Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.

ASE-2007-Alexander #design #named

Rosetta: language support for system-level design (PA), p. 577.