default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ESEC / 15th SIGSOFT FSE 2007: Dubrovnik, Croatia
- Ivica Crnkovic, Antonia Bertolino:
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. ACM 2007, ISBN 978-1-59593-811-4
Keynote talk
- Roberto Siagri:
Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented reality. 1-4
Mining specifications and structure
- Mihai Christodorescu, Somesh Jha, Christopher Kruegel:
Mining specifications of malicious behavior. 5-14 - Zachary M. Saul, Vladimir Filkov, Premkumar T. Devanbu
, Christian Bird:
Recommending random walks. 15-24 - Mithun Acharya, Tao Xie, Jian Pei, Jun Xu:
Mining API patterns as partial orders from source code: from usage scenarios to specifications. 25-34
Fault detection
- Andrzej Wasylkowski, Andreas Zeller, Christian Lindig:
Detecting object usage anomalies. 35-44 - Sunghun Kim, Michael D. Ernst:
Which warnings should I fix first? 45-54 - Lingxiao Jiang, Zhendong Su, Edwin Chiu:
Context-based detection of clone-related bugs. 55-64
Code analysis
- Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani:
Programming asynchronous layers with CLARITY. 65-74 - Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst:
Object and reference immutability using java generics. 75-84 - Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin:
Efficient checkpointing of java software using context-sensitive capture and replay. 85-94
Development processes and tools
- Mark Grechanik, Kathryn S. McKinley, Dewayne E. Perry:
Recovering and using use-case-diagram-to-source-code traceability links. 95-104 - Moshood Omolade Saliu, Günther Ruhe:
Bi-objective release planning for evolving software systems. 105-114 - Hazeline U. Asuncion, Frédéric François, Richard N. Taylor:
An end-to-end industrial software traceability tool. 115-124 - Narayan Ramasubbu, Rajesh Krishna Balan:
Globally distributed software development project performance: an empirical analysis. 125-134
Test generation
- Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov:
Parallel test generation and execution with Korat. 135-144 - William G. J. Halfond, Alessandro Orso:
Improving test case generation for web applications using automated interface discovery. 145-154 - Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Joachim Wegener:
The impact of input domain reduction on search-based test data generation. 155-164
Refactoring automation
- Rylan Cottrell, Joseph J. C. Chang, Robert J. Walker, Jörg Denzinger:
Determining detailed structural correspondence for generalization tasks. 165-174 - Macneil Shonle, William G. Griswold, Sorin Lerner:
Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. 175-184 - Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov:
Automated testing of refactoring engines. 185-194
Scaling-up static analysis
- Julian Dolby, Mandana Vaziri, Frank Tip:
Finding bugs efficiently with a SAT solver. 195-204 - Jan Wen Voung, Ranjit Jhala, Sorin Lerner:
RELAY: static race detection on millions of lines of code. 205-214 - Minh Ngoc Ngo, Hee Beng Kuan Tan:
Detecting large number of infeasible paths through recognizing their patterns. 215-224
Service-oriented and mobile computing
- Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David S. Rosenblum, Sebastián Uchitel:
Model checking service compositions under resource constraints. 225-234 - Chunyang Ye, Shing-Chi Cheung, W. K. Chan, Chang Xu:
Detection and resolution of atomicity violation in service composition. 235-244 - Jamie Payton, Christine Julien, Gruia-Catalin Roman:
Automatic consistency assessment for query results in dynamic environments. 245-254 - Justin R. Erenkrantz, Michael Martin Gorlick, Girish Suryanarayana, Richard N. Taylor:
From representations to computations: the evolution of web architectures. 255-264
Modelling approaches
- Jacky Estublier, Germán Vega:
Reconciling software configuration management and product data management. 265-274 - Abhik Roychoudhury, Ankit Goel, Bikram Sengupta:
Symbolic message sequence charts. 275-284 - Felix Klar, Alexander Königs, Andy Schürr:
Model transformation in the large. 285-294 - Christoph Treude, Stefan Berlik, Sven Wenzel, Udo Kelter:
Difference computation of large models. 295-304
ACM SIGSOFT outstanding research award
- Elaine J. Weyuker:
Software engineering research: from cradle to grave. 305-311
Verification techniques
- Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. 312-320 - Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic:
State space exploration using feedback constraint generation and Monte-Carlo sampling. 321-330 - Fang Yu, Tevfik Bultan, Erik Peterson:
Automated size analysis for OCL. 331-340
Developer-centric studies
- Thomas Fritz, Gail C. Murphy, Emily Hill:
Does a programmer's activity indicate knowledge of code? 341-350 - Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji:
A socio-technical framework for supporting programmers. 351-360 - Thomas D. LaToza, David Garlan, James D. Herbsleb, Brad A. Myers:
Program comprehension as fact finding. 361-370
In-memory talk
- Andre Scedrov:
The work of Dean Rosenzweig: a tribute to a scientist and an innovator. 371-374
Empirical system characterization
- Leticia Duboc, David S. Rosenblum, Tony Wicks:
A framework for characterization and analysis of software system scalability. 375-384 - Lerina Aversano, Gerardo Canfora, Luigi Cerulo, Concettina Del Grosso, Massimiliano Di Penta:
An empirical study on the evolution of design patterns. 385-394 - Simon Goldsmith, Alex Aiken, Daniel Shawcross Wilkerson:
Measuring empirical computational complexity. 395-404
Unit and system testing
- Osamu Mizuno, Tohru Kikuno:
Training on errors experiment to detect fault-prone software modules by spam filter. 405-414 - Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo:
CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. 415-424 - Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva:
Contract driven development = test driven development - writing test cases. 425-434
State-of-the-art presentations
- Mehdi Jazayeri, David S. Rosenblum:
Foreword to state-of-the-art presentations. 437 - Fernando Silva Parreiras, Steffen Staab, Andreas Winter:
On marrying ontological and metamodeling technical spaces. 439-448 - Marta Z. Kwiatkowska:
Quantitative verification: models techniques and tools. 449-458 - Walt Scacchi:
Free/open source software development. 459-468
Widened software engineering
- Antonia Bertolino, Henry Muccini:
Welcome to the WISE track. 469 - Manzil e Maqsood, Talha Javed:
Practicum in software project management: an endeavor to effective and pragmatic software project management education. 471-480 - Asim El-Sheikh, Haroon Tarawneh:
A survey of web engineering practice in small Jordanian web development firms. 481-490 - Roumen Nikolov, Sylvia Ilieva:
Building a research university ecosystem: the case of software engineering education at Sofia University. 491-500
ESEC/FSE'07 posters
- Helen Sharp, Tracy Hall, Nathan Baddoo, Sarah Beecham:
Exploring motivational differences between software developers and project managers. 501-504 - Stig Larsson, Petri Myllyperkiö, Fredrik Ekdahl:
Product integration improvement based on analysis of build statistics. 505-508 - Mikael Patel, Andreas Borg, Kristian Sandahl:
A case study in assessing and improving capacity using an anatomy of good practice. 509-512 - Hamid Abdul Basit, Simon J. Puglisi, William F. Smyth, Andrew Turpin, Stan Jarzabek:
Efficient token based clone detection with flexible tokenization. 513-516 - Xin Zhou, Ying Liu, Jun Zhu:
A segment-based approach for reconcilable model transformation. 517-520 - Alessandro Fantechi, Stefania Gnesi:
A behavioural model for product families. 521-524 - Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory:
A specification-based approach to testing software product lines. 525-528 - Tushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande:
A profile-driven statistical analysis framework for the design optimization of soft real-time applications. 529-532 - Shan Lu, Weihang Jiang, Yuanyuan Zhou:
A study of interleaving coverage criteria. 533-536 - Andriy V. Miranskyy, Nazim H. Madhavji, Mechelle Gittens, Matthew Davison, Mark Wilding, David Godwin:
An iterative, multi-level, and scalable approach to comparing execution traces. 537-540 - Kenneth Koster, David C. Kao:
State coverage: a structural test adequacy criterion for behavior checking. 541-544 - Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani:
Quantifying the effectiveness of testing via efficient residual path profiling. 545-548 - Robert B. Evans, Alberto Savoia:
Differential testing: a new approach to change detection. 549-552 - Rupak Majumdar, Ru-Gang Xu:
Directed test generation using symbolic grammars. 553-556 - Sandro Fouché, Myra B. Cohen, Adam A. Porter:
Towards incremental adaptive covering arrays. 557-560 - Pallavi Joshi, Koushik Sen, Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing. 561-564 - Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams:
Using groupings of static analysis alerts to identify files likely to contain field failures. 565-568 - Chang Xu, Shing-Chi Cheung, W. K. Chan, Chunyang Ye:
On impact-oriented automatic resolution of pervasive context inconsistency. 569-572
Doctoral symposium
- Carlo Ghezzi:
Foreword to the doctoral symposium. 573 - Marcin Stefaniak:
Visualising exemplary program values. 575-578 - Irina Diana Coman:
An analysis of developers' tasks using low-level, automatically collected data. 579-582 - Pasqualina Potena:
Composition and tradeoff of non-functional attributes in software systems: research directions. 583-586 - Stefan Baerisch:
Model-driven test-case construction. 587-590 - Youssef Hanna:
SLEDE: lightweight verification of sensor network security protocol implementations. 591-594 - Madeline Diep:
Analysis of a deployed software. 595-598 - Roberto Pietrantuono:
Component airbag: a novel approach to develop dependable component-based applications. 599-602 - Sevan Kavaldjian:
A model-driven approach to generating user interfaces. 603-606
Workshops summaries
- Farhad Arbab, Christel Baier:
Syanco 2007: international workshop on synthesis and analysis of component connectors. 607-608 - Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina:
Specification and verification of component-based systems 2007. 609-610 - Massimiliano Di Penta, Michele Lanza:
IWPSE 2007: 9th international workshop on principles of software evolution. 611-612 - Elisabetta Di Nitto, Andrea Polini, Andrea Zisman:
2nd international workshop on service oriented software engineering (IW-SOSWE 2007). 613-614 - Giovanni Denaro, Mauro Pezzè, Onn Shehory:
SOQUA 2007: 4th international workshop on software quality assurance. 615-616 - Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. 617-618 - Alexander L. Wolf:
Engineering software services for pervasive environments. 619-620 - Alan Hartman, Mika Katara, Amit M. Paradkar:
Domain specific approaches to software test automation. 621-622
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-08 09:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
