Automated Software Engineering - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 684

2008

23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, ItalyIEEE, 2008.

Using Cluster Analysis to Improve the Design of Component InterfacesRahmat Adnan, Bas Graaf, Arie van Deursen, Joost Zonneveld. ASE 2008: 383-386 [doi]

Generic Patch InferenceJesper Andersen, Julia L. Lawall. ASE 2008: 337-346 [doi]

Software Cost Estimation using Fuzzy Decision TreesAndreas S. Andreou, Efi Papatheocharous. ASE 2008: 371-374 [doi]

Random Test Run Length and EffectivenessJames H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu. ASE 2008: 19-28 [doi]

Model-Driven Development of Mobile ApplicationsFlorence T. Balagtas-Fernandez, Heinrich Hussmann. ASE 2008: 509-512 [doi]

VCR: Virtual Capture and Replay for Performance TestingAntonia Bertolino, Guglielmo De Angelis, Antonino Sabetta. ASE 2008: 399-402 [doi]

Program Analysis with Dynamic Precision AdjustmentDirk Beyer, Thomas A. Henzinger, Grégory Théoduloz. ASE 2008: 29-38 [doi]

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time SystemsMatteo Bordin, Marco Panunzio, Stefano Puri. ASE 2008: 491-492 [doi]

Automated Verification of Multi-Agent ProgramsRafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher. ASE 2008: 69-78 [doi]

Enforcing Structural Regularities in Source Code using IntensiVEJohan Brichau, Andy Kellens, Kim Mens. ASE 2008: 471-472 [doi]

QuARS Express - A Tool DemonstrationAntonio Bucchiarone, Stefania Gnesi, Giuseppe Lami, Gianluca Trentanni, Alessandro Fantechi. ASE 2008: 473-474 [doi]

Heuristics for Scalable Dynamic Test GenerationJacob Burnim, Koushik Sen. ASE 2008: 443-446 [doi]

A Case for Automatic Exception HandlingBruno Cabral, Paulo Marques. ASE 2008: 403-406 [doi]

APPAREIL: A Tool for Building Automated Program Translators Using Annotated GrammarsDiego Ordonez Camacho, Kim Mens. ASE 2008: 489-490 [doi]

Effort Estimation in Capturing Architectural KnowledgeRafael Capilla, Francisco Nava, Carlos Carrillo. ASE 2008: 208-217 [doi]

ADDSS: Architecture Design Decision Support System ToolRafael Capilla, Francisco Nava, Jesús Montes, Carlos Carrillo. ASE 2008: 487-488 [doi]

ARAMIS 2008: The First Int. Workshop on Automated engineeRing of Autonomic and run-tiMe evolvIng SystemsMauro Caporuscio, Antinisca Di Marco, Leonardo Mariani, Henry Muccini, Andrea Polini, Onn Shehory. ASE 2008: 529-530 [doi]

Composition of Qualitative Adaptation PoliciesFranck Chauvel, Olivier Barais, Isabelle Borne, Jean-Marc Jézéquel. ASE 2008: 455-458 [doi]

Predicting Effectiveness of Automatic Testing ToolsBrett Daniel, Marat Boshernitsan. ASE 2008: 363-366 [doi]

Testing Peers VolatilityEduardo Cunha de Almeida, Gerson Sunyé, Yves Le Traon, Patrick Valduriez. ASE 2008: 419-422 [doi]

Feature Interaction Detection in the Automotive DomainAlma L. Juarez Dominguez. ASE 2008: 521-524 [doi]

Reducing the Cost of Path Property Monitoring Through SamplingMatthew B. Dwyer, Madeline Diep, Sebastian G. Elbaum. ASE 2008: 228-237 [doi]

A Methodology and Framework for Creating Domain-Specific Development InfrastructuresGeorge Edwards, Nenad Medvidovic. ASE 2008: 168-177 [doi]

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design ModelsAlexander Egyed, Emmanuel Letier, Anthony Finkelstein. ASE 2008: 99-108 [doi]

Towards Good Enough Testing: A Cognitive-Oriented Approach Applied to Infotainment SystemsAsem Eltaher. ASE 2008: 525-528 [doi]

A Generic Approach for Class Model NormalizationJean-Rémy Falleri, Marianne Huchard, Clémentine Nebut. ASE 2008: 431-434 [doi]

The Consistency of Web ConversationsJeffrey Fischer, Rupak Majumdar, Francesco Sorrentino. ASE 2008: 415-418 [doi]

Discovering Patterns of Change TypesBeat Fluri, Emanuel Giger, Harald Gall. ASE 2008: 463-466 [doi]

Unifying Analysis Tools with RosettaNicolas Frisby. ASE 2008: 505-508 [doi]

A System for Supporting Development of Large Scaled Rich Internet ApplicationsHiroaki Fukuda, Yoshikazu Yamamoto. ASE 2008: 459-462 [doi]

The Clem ToolkitDaniel Gaffé, Annie Ressouche. ASE 2008: 495-496 [doi]

Rhizome: A Feature Modeling and Generation PlatformGuozheng Ge, Jim Whitehead. ASE 2008: 375-378 [doi]

Living with the Law: Can Automation give us Moore with Less?Celina Gibbs, Jennifer Baldwin, Nieraj Singh, Maja D'Hondt, Yvonne Coady. ASE 2008: 395-398 [doi]

Product Line Tools are Product Lines Too: Lessons Learned from Developing a Tool SuitePaul Grünbacher, Rick Rabiser, Deepak Dhungana. ASE 2008: 351-354 [doi]

Validating Real Time Specifications using Real Time Event Queue ModelingRobert J. Hall. ASE 2008: 79-88 [doi]

First International Workshop on Social Software Engineering and Applications (SoSEA 2008)Imed Hammouda, Jan Bosch, Mehdi Jazayeri, Tommi Mikkonen. ASE 2008: 531-532 [doi]

Augmenting Counterexample-Guided Abstraction Refinement with Proof TemplatesThomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie. ASE 2008: 387-390 [doi]

PtYasm: Software Model Checking with Proof TemplatesThomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie. ASE 2008: 479-480 [doi]

Connecting Programming Environments to Support Ad-Hoc CollaborationRajesh Hegde, Prasun Dewan. ASE 2008: 178-187 [doi]

Semi-Automating Pragmatic Reuse TasksReid Holmes, Robert J. Walker. ASE 2008: 481-482 [doi]

Swarm VerificationGerard J. Holzmann, Rajeev Joshi, Alex Groce. ASE 2008: 1-6 [doi]

Rapid: Identifying Bug Signatures to Support Debugging ActivitiesHwa-You Hsu, James A. Jones, Alessandro Orso. ASE 2008: 439-442 [doi]

Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic ExecutionKobi Inkumsah, Tao Xie. ASE 2008: 297-306 [doi]

MTSA: The Modal Transition System AnalyserNicolás D Ippolito, Dario Fischbein, Marsha Chechik, Sebastián Uchitel. ASE 2008: 475-476 [doi]

An Assume Guarantee Verification Methodology for Aspect-Oriented ProgrammingMustafa Ispir, Aysu Betin-Can. ASE 2008: 391-394 [doi]

Error Reporting LogicCiera Jaspan, Trisha Quan, Jonathan Aldrich. ASE 2008: 138-147 [doi]

Incremental Latent Semantic Indexing for Automatic Traceability Link Evolution ManagementHsinyi Jiang, Tien N. Nguyen, Ing-Xiang Chen, Hojun Jaygarl, Carl K. Chang. ASE 2008: 59-68 [doi]

Reflections on, and Predictions for, Support Systems for the Development of ProgramsCliff B. Jones. ASE 2008: 7-8 [doi]

Increasing Test Granularity by Aggregating Unit TestsMatthew Jorde, Sebastian G. Elbaum, Matthew B. Dwyer. ASE 2008: 9-18 [doi]

Predictive Typestate Checking of Multithreaded Java ProgramsPallavi Joshi, Koushik Sen. ASE 2008: 288-296 [doi]

Query-Aware Test Generation Using a Relational Constraint SolverShadi Abdul Khalek, Bassem Elkarablieh, Yai O. Laleye, Sarfraz Khurshid. ASE 2008: 238-247 [doi]

Model-Driven Development of Mobile Personal Health Care ApplicationsAbizer Khambati, John C. Grundy, James Warren, John G. Hosking. ASE 2008: 467-470 [doi]

Automated Continuous Integration of Component-Based Software: An Industrial ExperienceSeojin Kim, Sungjin Park, Jeonghyun Yun, Younghoo Lee. ASE 2008: 423-426 [doi]

Unit Testing of Flash Memory Device Driver through a SAT-Based Model CheckerMoonzoo Kim, Yunho Kim, Hotae Kim. ASE 2008: 198-207 [doi]

Type-Checking Software Product Lines - A Formal ApproachChristian Kästner, Sven Apel. ASE 2008: 258-267 [doi]

A Specification Language for Static Analysis of Student ExercisesCarsten Köllmann, Michael Goedicke. ASE 2008: 355-358 [doi]

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code GenerationLei Li, John G. Hosking, John C. Grundy. ASE 2008: 477-478 [doi]

Mining Scenario-Based Triggers and EffectsDavid Lo, Shahar Maoz. ASE 2008: 109-118 [doi]

IR-Based Traceability Recovery Processes: An Empirical Comparison of One-Shot and Incremental ProcessesAndrea De Lucia, Rocco Oliveto, Genoveffa Tortora. ASE 2008: 39-48 [doi]

DUALLY: A framework for Architectural Languages and Tools InteroperabilityIvano Malavolta, Henry Muccini, Patrizio Pelliccione. ASE 2008: 483-484 [doi]

A Two-Step Approach for Modelling Flexibility in Software ProcessesRicardo Martinho, João Varajão, Dulce Domingos. ASE 2008: 427-430 [doi]

Evaluating Models for Model-Based DebuggingWolfgang Mayer, Markus Stumptner. ASE 2008: 128-137 [doi]

Efficient Monitoring of Parametric Context-Free PatternsPatrick O Neil Meredith, Dongyun Jin, Feng Chen, Grigore Rosu. ASE 2008: 148-157 [doi]

Combining the Analysis of Spatial Layout and Text to Support Design ExplorationJ. Michael Moore, Frank M. Shipman III. ASE 2008: 379-382 [doi]

Automated Mapping from Goal Models to Self-Adaptive SystemsMirko Morandini, Loris Penserini, Anna Perini. ASE 2008: 485-486 [doi]

Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to ModelsPatrick Mäder, Orlena Gotel, Ilka Philippow. ASE 2008: 49-58 [doi]

Cleman: Comprehensive Clone Group Evolution ManagementTung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen. ASE 2008: 451-454 [doi]

Automatic Test Generation for LUSTRE/SCADE ProgramsVirginia Papailiopoulou. ASE 2008: 517-520 [doi]

Automated Web Performance AnalysisMartin Pinzger. ASE 2008: 513-516 [doi]

Using Simulation to Investigate Requirements Prioritization StrategiesDaniel Port, Alexy Olkov, Tim Menzies. ASE 2008: 268-277 [doi]

Configuration Lifting: Verification meets Software ConfigurationHendrik Post, Carsten Sinz. ASE 2008: 347-350 [doi]

Reducing False Positives by Combining Abstract Interpretation and Bounded Model CheckingHendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges. ASE 2008: 188-197 [doi]

Refining Real-Time System Specifications through Bounded Model- and Satisfiability-CheckingMatteo Pradella, Angelo Morzenti, Pierluigi San Pietro. ASE 2008: 119-127 [doi]

Automatic Inference of Frame Axioms Using Static AnalysisZvonimir Rakamaric, Alan J. Hu. ASE 2008: 89-98 [doi]

How Program History Can Improve Code CompletionRomain Robbes, Michele Lanza. ASE 2008: 317-326 [doi]

XE (eXtreme Editor) - Bridging the Aspect-Oriented Programming Usability GapWiwat Ruengmee, Roberto Silveira Silva Filho, Sushil Krishna Bajracharya, David F. Redmiles, Cristina Videira Lopes. ASE 2008: 435-438 [doi]

Managing Models through MacromodelingRick Salay, John Mylopoulos, Steve M. Easterbrook. ASE 2008: 447-450 [doi]

Test-Suite Augmentation for Evolving SoftwareRaúl A. Santelices, Pavan Kumar Chittimalli, Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold. ASE 2008: 218-227 [doi]

Tool Support for Parametric Analysis of Large Software Simulation SystemsJohann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett. ASE 2008: 497-498 [doi]

Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded SystemsSéverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson. ASE 2008: 493-494 [doi]

Distributed Constraints Maintenance in Collaborative UML Modeling EnvironmentsHaifeng Shen, Siyuan Liu, Steven Xia, Chengzheng Sun. ASE 2008: 367-370 [doi]

A Case Study on the Automatic Composition of Network Application MashupsMaxim Shevertalov, Spiros Mancoridis. ASE 2008: 359-362 [doi]

ReqsCov: A Tool for Measuring Test-Adequacy over RequirementsMatt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham. ASE 2008: 499-500 [doi]

DiffGen: Automated Regression Unit-Test GenerationKunal Taneja, Tao Xie. ASE 2008: 407-410 [doi]

SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the WebSuresh Thummalapenta, Tao Xie. ASE 2008: 327-336 [doi]

An Automated Test Code Generation Method for Web Applications using Activity Oriented ApproachDavid A. Turner, Moonju Park, Jaehwan Kim, Jinseok Chae. ASE 2008: 411-414 [doi]

AspectM: UML-Based Extensible AOM LanguageNaoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai. ASE 2008: 501-502 [doi]

Inferring Finite-State Models with Temporal ConstraintsNeil Walkinshaw, Kirill Bogdanov. ASE 2008: 248-257 [doi]

4th International ERCIM Workshop on Software Evolution and Evolvability (Evol 08)Michel Wermelinger, Paul Wernick, Ciarán Bryce. ASE 2008: 533-534 [doi]

Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random ProjectionsElad Yom-Tov, Rachel Tzoref, Shmuel Ur, Shlomo Hoory. ASE 2008: 307-316 [doi]

Tools for Traceability in Secure Software DevelopmentYijun Yu, Jan Jürjens, Jörg Schreck. ASE 2008: 503-504 [doi]

Automated Aspect Recommendation through Clustering-Based Fan-in AnalysisDanfeng Zhang, Yao Guo, Xiangqun Chen. ASE 2008: 278-287 [doi]

A Framework for Dynamic Service DiscoveryAndrea Zisman, George Spanoudakis, James Dooley. ASE 2008: 158-167 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Automated Software Engineering (ASE)

Viewing Publication 1 - 100 from 684

2008

2007

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Automated Software Engineering (ASE)

Viewing Publication 1 - 100 from 684

2008

2007

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1