Conferences in DBLP
Roberto Siagri Pervasive computers and the GRID: the birth of a computational exoskeleton for augmented reality. [Citation Graph (0, 0)][DBLP ] Conf ] Mihai Christodorescu , Somesh Jha , Christopher Kruegel Mining specifications of malicious behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Zachary M. Saul , Vladimir Filkov , Premkumar T. Devanbu , Christian Bird Recommending random walks. [Citation Graph (0, 0)][DBLP ] Conf ] Mithun Acharya , Tao Xie , Jian Pei , Jun Xu Mining API patterns as partial orders from source code: from usage scenarios to specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Wasylkowski , Andreas Zeller , Christian Lindig Detecting object usage anomalies. [Citation Graph (0, 0)][DBLP ] Conf ] Sunghun Kim , Michael D. Ernst Which warnings should I fix first? [Citation Graph (0, 0)][DBLP ] Conf ] Lingxiao Jiang , Zhendong Su , Edwin Chiu Context-based detection of clone-related bugs. [Citation Graph (0, 0)][DBLP ] Conf ] Prakash Chandrasekaran , Christopher L. Conway , Joseph M. Joy , Sriram K. Rajamani Programming asynchronous layers with CLARITY. [Citation Graph (0, 0)][DBLP ] Conf ] Yoav Zibin , Alex Potanin , Mahmood Ali , Shay Artzi , Adam Kiezun , Michael D. Ernst Object and reference immutability using java generics. [Citation Graph (0, 0)][DBLP ] Conf ] Guoqing Xu , Atanas Rountev , Yan Tang , Feng Qin Efficient checkpointing of java software using context-sensitive capture and replay. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Grechanik , Kathryn S. McKinley , Dewayne E. Perry Recovering and using use-case-diagram-to-source-code traceability links. [Citation Graph (0, 0)][DBLP ] Conf ] Moshood Omolade Saliu , Günther Ruhe Bi-objective release planning for evolving software systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hazeline U. Asuncion , Frédéric François , Richard N. Taylor An end-to-end industrial software traceability tool. [Citation Graph (0, 0)][DBLP ] Conf ] Narayan Ramasubbu , Rajesh Krishna Balan Globally distributed software development project performance: an empirical analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Sasa Misailovic , Aleksandar Milicevic , Nemanja Petrovic , Sarfraz Khurshid , Darko Marinov Parallel test generation and execution with Korat. [Citation Graph (0, 0)][DBLP ] Conf ] William G. J. Halfond , Alessandro Orso Improving test case generation for web applications using automated interface discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Harman , Youssef Hassoun , Kiran Lakhotia , Phil McMinn , Joachim Wegener The impact of input domain reduction on search-based test data generation. [Citation Graph (0, 0)][DBLP ] Conf ] Rylan Cottrell , Joseph J. C. Chang , Robert J. Walker , Jörg Denzinger Determining detailed structural correspondence for generalization tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Macneil Shonle , William G. Griswold , Sorin Lerner Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. [Citation Graph (0, 0)][DBLP ] Conf ] Brett Daniel , Danny Dig , Kely Garcia , Darko Marinov Automated testing of refactoring engines. [Citation Graph (0, 0)][DBLP ] Conf ] Julian Dolby , Mandana Vaziri , Frank Tip Finding bugs efficiently with a SAT solver. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Wen Voung , Ranjit Jhala , Sorin Lerner RELAY: static race detection on millions of lines of code. [Citation Graph (0, 0)][DBLP ] Conf ] Minh Ngoc Ngo , Hee Beng Kuan Tan Detecting large number of infeasible paths through recognizing their patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Foster , Wolfgang Emmerich , Jeff Kramer , Jeff Magee , David Rosenblum , Sebastián Uchitel Model checking service compositions under resource constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Chunyang Ye , S. C. Cheung , W. K. Chan , Chang Xu Detection and resolution of atomicity violation in service composition. [Citation Graph (0, 0)][DBLP ] Conf ] Jamie Payton , Christine Julien , Gruia-Catalin Roman Automatic consistency assessment for query results in dynamic environments. [Citation Graph (0, 0)][DBLP ] Conf ] Justin R. Erenkrantz , Michael Gorlick , Girish Suryanarayana , Richard N. Taylor From representations to computations: the evolution of web architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Jacky Estublier , Germán Vega Reconciling software configuration management and product data management. [Citation Graph (0, 0)][DBLP ] Conf ] Abhik Roychoudhury , Ankit Goel , Bikram Sengupta Symbolic message sequence charts. [Citation Graph (0, 0)][DBLP ] Conf ] Felix Klar , Alexander Königs , Andy Schürr Model transformation in the large. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Treude , Stefan Berlik , Sven Wenzel , Udo Kelter Difference computation of large models. [Citation Graph (0, 0)][DBLP ] Conf ] Elaine J. Weyuker Software engineering research: from cradle to grave. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Sankaranarayanan , Richard M. Chang , Guofei Jiang , Franjo Ivancic State space exploration using feedback constraint generation and Monte-Carlo sampling. [Citation Graph (0, 0)][DBLP ] Conf ] Fang Yu , Tevfik Bultan , Erik Peterson Automated size analysis for OCL. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Fritz , Gail C. Murphy , Emily Hill Does a programmer's activity indicate knowledge of code? [Citation Graph (0, 0)][DBLP ] Conf ] Yunwen Ye , Yasuhiro Yamamoto , Kumiyo Nakakoji A socio-technical framework for supporting programmers. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas D. LaToza , David Garlan , James D. Herbsleb , Brad A. Myers Program comprehension as fact finding. [Citation Graph (0, 0)][DBLP ] Conf ] Andre Scedrov The work of Dean Rosenzweig: a tribute to a scientist and an innovator. [Citation Graph (0, 0)][DBLP ] Conf ] Leticia Duboc , David Rosenblum , Tony Wicks A framework for characterization and analysis of software system scalability. [Citation Graph (0, 0)][DBLP ] Conf ] Lerina Aversano , Gerardo Canfora , Luigi Cerulo , Concettina Del Grosso , Massimiliano Di Penta An empirical study on the evolution of design patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Goldsmith , Alex Aiken , Daniel Shawcross Wilkerson Measuring empirical computational complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Osamu Mizuno , Tohru Kikuno Training on errors experiment to detect fault-prone software modules by spam filter. [Citation Graph (0, 0)][DBLP ] Conf ] Roberta Calegari , Mirco Musolesi , Franco Raimondi , Cecilia Mascolo CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Leitner , Ilinca Ciupa , Manuel Oriol , Bertrand Meyer , Arno Fiva Contract driven development = test driven development - writing test cases. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Silva Parreiras , Steffen Staab , Andreas Winter On marrying ontological and metamodeling technical spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska Quantitative verification: models techniques and tools. [Citation Graph (0, 0)][DBLP ] Conf ] Walt Scacchi Free/open source software development. [Citation Graph (0, 0)][DBLP ] Conf ] Manzil e Maqsood , Talha Javed Practicum in software project management: an endeavor to effective and pragmatic software project management education. [Citation Graph (0, 0)][DBLP ] Conf ] Asim El-Sheikh , Haroon Tarawneh A survey of web engineering practice in small Jordanian web development firms. [Citation Graph (0, 0)][DBLP ] Conf ] Roumen Nikolov , Sylvia Ilieva Building a research university ecosystem: the case of software engineering education at Sofia University. [Citation Graph (0, 0)][DBLP ] Conf ] Helen Sharp , Tracy Hall , Nathan Baddoo , Sarah Beecham Exploring motivational differences between software developers and project managers. [Citation Graph (0, 0)][DBLP ] Conf ] Stig Larsson , Petri Myllyperkiö , Fredrik Ekdahl Product integration improvement based on analysis of build statistics. [Citation Graph (0, 0)][DBLP ] Conf ] Mikael Patel , Andreas Borg , Kristian Sandahl A case study in assessing and improving capacity using an anatomy of good practice. [Citation Graph (0, 0)][DBLP ] Conf ] Hamid Abdul Basit , Stan Jarzabek Efficient token based clone detection with flexible tokenization. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Zhou , Ying Liu , Jun Zhu A segment-based approach for reconcilable model transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Fantechi , Stefania Gnesi A behavioural model for product families. [Citation Graph (0, 0)][DBLP ] Conf ] Engin Uzuncaova , Daniel Garcia , Sarfraz Khurshid , Don S. Batory A specification-based approach to testing software product lines. [Citation Graph (0, 0)][DBLP ] Conf ] Tushar Kumar , Jaswanth Sreeram , Romain Cledat , Santosh Pande A profile-driven statistical analysis framework for the design optimization of soft real-time applications. [Citation Graph (0, 0)][DBLP ] Conf ] Shan Lu , Weihang Jiang , Yuanyuan Zhou A study of interleaving coverage criteria. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Koster , David C. Kao State coverage: a structural test adequacy criterion for behavior checking. [Citation Graph (0, 0)][DBLP ] Conf ] Trishul M. Chilimbi , Aditya V. Nori , Kapil Vaswani Quantifying the effectiveness of testing via efficient residual path profiling. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Evans , Alberto Savoia Differential testing: a new approach to change detection. [Citation Graph (0, 0)][DBLP ] Conf ] Rupak Majumdar , Ru-Gang Xu Directed test generation using symbolic grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Fouche , Myra B. Cohen , Adam A. Porter Towards incremental adaptive covering arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Pallavi Joshi , Koushik Sen , Mark Shlimovich Predictive testing: amplifying the effectiveness of software testing. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Chang Xu , S. C. Cheung , W. K. Chan , Chunyang Ye On impact-oriented automatic resolution of pervasive context inconsistency. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Stefaniak Visualising exemplary program values. [Citation Graph (0, 0)][DBLP ] Conf ] Irina D. Coman An analysis of developers' tasks using low-level, automatically collected data. [Citation Graph (0, 0)][DBLP ] Conf ] Pasqualina Potena Composition and tradeoff of non-functional attributes in software systems: research directions. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Baerisch Model-driven test-case construction. [Citation Graph (0, 0)][DBLP ] Conf ] Youssef Hanna SLEDE: lightweight verification of sensor network security protocol implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Madeline Diep Analysis of a deployed software. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Pietrantuono Component airbag: a novel approach to develop dependable component-based applications. [Citation Graph (0, 0)][DBLP ] Conf ] Sevan Kavaldjian A model-driven approach to generating user interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] Farhad Arbab , Christel Baier Syanco 2007: international workshop on synthesis and analysis of component connectors. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Aldrich , Mike Barnett , Dimitra Giannakopoulou , Gary T. Leavens , Natasha Sharygina Specification and verification of component-based systems 2007. [Citation Graph (0, 0)][DBLP ] Conf ] Massimiliano Di Penta , Michele Lanza IWPSE 2007: 9th international workshop on principles of software evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabetta Di Nitto , Andrea Polini , Andrea Zisman 2nd international workshop on service oriented software engineering (IW-SOSWE 2007). [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Denaro , Mauro Pezzè , Onn Shehory SOQUA 2007: 4th international workshop on software quality assurance. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Guelfi , Henry Muccini , Patrizio Pelliccione , Alexander Romanovsky EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander L. Wolf Engineering software services for pervasive environments. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Hartman , Mika Katara , Amit Paradkar Domain specific approaches to software test automation. [Citation Graph (0, 0)][DBLP ] Conf ] 