The SCEAS System
Navigation Menu

Conferences in DBLP

Automated Software Engineering (ASE) (kbse)
2004 (conf/kbse/2004)

  1. Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold
    A Differencing Algorithm for Object-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:2-13 [Conf]
  2. Christos Kloukinas
    Data-Mining Synthesised Schedulers for Hard Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:14-23 [Conf]
  3. Julian Richardson, Jeff Green
    Automating Traceability for Generated Software Artifacts . [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:24-33 [Conf]
  4. Yuhong Cai, John C. Grundy, John G. Hosking
    Experiences Integrating and Scaling a Performance Test Bed Generator with an Open Source CASE Tool. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:36-45 [Conf]
  5. Marcos Kalinowski, Guilherme Horta Travassos
    Computational Framework for Supporting Software Inspections. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:46-55 [Conf]
  6. Robert J. Hall, Andrea Zisman
    Validating Personal Requirements by Assisted Symbolic Behavior Browsing . [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:56-66 [Conf]
  7. Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki
    Automated Support for Framework Selection and Customization. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:68-77 [Conf]
  8. Imed Hammouda, Johannes Koskinen, Mika Pussinen, Mika Katara, Tommi Mikkonen
    Adaptable Concern-Based Framework Specialization in UML. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:78-87 [Conf]
  9. Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker
    ScriptEase: Generative Design Patterns for Computer Role-Playing Games. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:88-99 [Conf]
  10. Matthias Book, Volker Gruhn
    Modeling Web-Based Dialog Flows for Automatic Dialog Control . [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:100-109 [Conf]
  11. Christer Persson, Nur Yilmaztürk
    Establishment of Automated Regression Testing at ABB: Industrial Experience Report on 'Avoiding the Pitfalls'. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:112-121 [Conf]
  12. Shuhao Li, Ji Wang, Zhi-Chang Qi
    Property-Oriented Test Generation from UML Statecharts. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:122-131 [Conf]
  13. Sreedevi Sampath, Valentin Mihaylov, Amie L. Souter, Lori L. Pollock
    Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:132-141 [Conf]
  14. Mana Taghdiri
    Inferring Specifications to Detect Errors in Code. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:144-153 [Conf]
  15. Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
    Analyzing Interaction Orderings with Model Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:154-163 [Conf]
  16. Daniel R. Licata, Shriram Krishnamurthi
    Verifying Interactive Web Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:164-173 [Conf]
  17. Mats Per Erik Heimdahl, George Devaraj
    Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:176-185 [Conf]
  18. Atif M. Memon, Qing Xie
    Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:186-195 [Conf]
  19. Tao Xie, Darko Marinov, David Notkin
    Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:196-205 [Conf]
  20. Sebastian Bossung, Hermann Stoeckle, John C. Grundy, Robert Amor, John G. Hosking
    Automated Data Mapping Specification via Schema Heuristics and User Interaction. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:208-217 [Conf]
  21. Guillaume Marceau, Gregory H. Cooper, Shriram Krishnamurthi, Steven P. Reiss
    Dataflow Language for Scriptable Debugging. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:218-227 [Conf]
  22. Rosco Hill, Joe Rideout
    Automatic Method Completion. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:228-235 [Conf]
  23. Axel Rauschmayer, Alexander Knapp, Martin Wirsing
    Consistency Checking in an Infrastructure for Large-Scale Generative. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:238-247 [Conf]
  24. Aysu Betin-Can, Tevfik Bultan
    Verifiable Concurrent Programming Using Concurrency Controllers. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:248-257 [Conf]
  25. Colin Blundell, Kathi Fisler, Shriram Krishnamurthi, Pascal Van Hentenryck
    Parameterized Interfaces for Open System Verification of Product Lines. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:258-267 [Conf]
  26. Shuping Cao, John C. Grundy, John G. Hosking, Hermann Stoeckle, Ewan D. Tempero
    An Architecture for Generating Web-Based, Thin-Client Diagramming Tools. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:270-273 [Conf]
  27. Ji Wu, Xiao-xia Jia, Chang Liu, Hai-yan Yang, Chao Liu, Mao-zhong Jin
    A Statistical Model to Locate Faults at Input Level. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:274-277 [Conf]
  28. Ricardo Pereira e Silva, Evandro César Freiberger
    Helping Object-Oriented Framework Use and Evaluation by means of Historical Use Information. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:278-281 [Conf]
  29. Wee Kheng Leow, Siau-Cheng Khoo, Tiong Hoe Loh, Vivy Suhendra
    Heuristic Search with Reachability Tests for Automated Generation of Test Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:282-285 [Conf]
  30. Dirk Heuzeroth
    COMPASS: Tool-Supported Adaptation of Interactions. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:286-289 [Conf]
  31. Nicky Williams, Bruno Marre, Patricia Mouy
    On-the-Fly Generation of K-Path Tests for C Functions. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:290-293 [Conf]
  32. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet
    Case Study in JML-Based Software Validation. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:294-297 [Conf]
  33. Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi
    Automated Performance Validation of Software Design: An Industrial Experience. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:298-301 [Conf]
  34. Steven P. Reiss
    CHET: A System for Checking Dynamic Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:302-305 [Conf]
  35. Franck Fleurey, Yves Le Traon, Benoit Baudry
    From Testing to Diagnosis: An Automated Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:306-309 [Conf]
  36. Silvia Breu, Jens Krinke
    Aspect Mining Using Event Traces. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:310-315 [Conf]
  37. James H. Andrews
    Case Study of Coverage-Checked Random Data Structure Testing. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:316-319 [Conf]
  38. Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
    Mapping Template Semantics to SMV. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:320-325 [Conf]
  39. Wei Yu, Jun Li, Greg Butler
    Refactoring Use Case Models on Episodes. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:328-331 [Conf]
  40. Jia Xu, Hridesh Rajan, Kevin J. Sullivan
    Understanding Aspects via Implicit Invocation. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:332-335 [Conf]
  41. Filip Van Rysselberghe, Serge Demeyer
    Evaluating Clone Detection Techniques from a Refactoring Perspective. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:336-339 [Conf]
  42. Philippa J. Hopcroft, Guy H. Broadfoot
    Combining the Box Structure Development Method and CSP. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:340-345 [Conf]
  43. Susan Khor, Peter Grogono
    Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:346-349 [Conf]
  44. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
    Automated Analysis of Timing Information in UML Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:350-353 [Conf]
  45. Yunja Choi, Mats Per Erik Heimdahl
    Combination Model Checking: Approach and a Case Study. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:354-357 [Conf]
  46. Jutta Eusterbrock
    Context-Aware Code Certification. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:358-361 [Conf]
  47. Sven Johann, Alexander Egyed
    Instant and Incremental Transformation of Models. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:362-365 [Conf]
  48. Zakarya Alzamil
    RCAT: A Performance Analysis Tool. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:366-370 [Conf]
  49. Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab
    Modeling Behavior in Compositions of Software Architectural Primitives. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:371-374 [Conf]
  50. Anton Jansen, Jan Bosch
    Evaluation of Tool Support for Architectural Evolution. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:375-378 [Conf]
  51. George Spanoudakis, Khaled Mahbub
    Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:379-384 [Conf]
  52. Matthew McNaughton, Maria Cutumisu, Duane Szafron, Jonathan Schaeffer, James Redford, Dominique Parker
    ScriptEase: Generating Scripting Code for Computer Role-Playing Games. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:386-387 [Conf]
  53. Lothar Hotz, Thorsten Krebs, Katharina Wolter
    Using a Structure-based Configuration Tool for Product Derivation. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:388-391 [Conf]
  54. Marcos Kalinowski, Guilherme Horta Travassos
    ISPIS: A Framework Supporting Software Inspection Processes. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:392-393 [Conf]
  55. Michele Lanza
    CodeCrawler - Polymetric Views in Action. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:394-395 [Conf]
  56. Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen
    T-UPPAAL: Online Model-based Testing of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:396-397 [Conf]
  57. Cameron Smith, Kirsten Winter, Ian J. Hayes, R. Geoff Dromey, Peter A. Lindsay, David A. Carrington
    An Environment for Building a System out of its Requirements. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:398-399 [Conf]
  58. Naveed Arshad
    Automated Dynamic Reconfiguration using AI Planning. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:402-405 [Conf]
  59. Rudolf Ramler
    Decision Support for Test Management in Iterative and Evolutionary Development. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:406-409 [Conf]
  60. May Haydar
    Formal Framework for Automated Analysis and Verification of Web-Based Applications. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:410-413 [Conf]
  61. Gaoyan Xie
    Decompositional Verification of Component-based Systems-A Hybrid Approach. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:414-417 [Conf]
  62. Roberto Capuano
    Interactive Visualization of Concurrents Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:418-421 [Conf]
  63. Naoufel Boulila
    Group Support for Distributed Collaborative Concurrent Software Modeling. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:422-425 [Conf]
  64. Norbert Seyff
    Collaborative Tools for Mobile Requirements Acquisition. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:426-429 [Conf]
  65. Ping Guo, Reiko Heckel
    Modeling and Simulation of Context-Aware Mobile Systems. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:430-433 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002