| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mehdi Jazayeri, David S. Rosenblum |
Foreword to state-of-the-art presentations.  |
ESEC/SIGSOFT FSE (Companion)  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Hartman, Mika Katara, Amit M. Paradkar |
Domain specific approaches to software test automation. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
domain specific test automation, exploratory testing, feature testing, multi-threaded debugging, wireless sensor software, model based testing, data exchangeability, constraint logic programming, safety critical software, test prioritization, event driven systems |
| 1 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky |
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management |
| 1 | Youssef Hanna |
SLEDE: lightweight verification of sensor network security protocol implementations. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
Slede, sensor networks, model checking, security protocols |
| 1 | Fernando Silva Parreiras, Steffen Staab, Andreas Winter |
On marrying ontological and metamodeling technical spaces. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
ontology, model driven engineering, meta modeling |
| 1 | Asim El-Sheikh, Haroon Tarawneh |
A survey of web engineering practice in small Jordanian web development firms. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
small firms, software engineering, software tools, web engineering, web-based applications |
| 1 | Giovanni Denaro, Mauro Pezzè, Onn Shehory |
SOQUA 2007 4th international workshop on software quality assurance. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
processes and standards for software quality assurance, self-adaptive and self-healing approaches, formal methods, software testing, metrics, tools, automation |
| 1 | Marta Z. Kwiatkowska |
Quantitative verification: models, techniques and tools. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
probabilistic temporal logics, quantitative model checking, Markov models, probabilistic model checking |
| 1 | Helen Sharp, Tracy Hall, Nathan Baddoo, Sarah Beecham |
Exploring motivational differences between software developers and project managers. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
motivation, repertory grid technique |
| 1 | Alexander L. Wolf |
Engineering software services for pervasive environments: ESSPE '07 workshop summary. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
ESSPE, pervasive computing, software services |
| 1 | Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye |
On impact-oriented automatic resolution of pervasive context inconsistency. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
inconsistency resolution, pervasive computing |
| 1 | Stig Larsson, Petri Myllyperkiö, Fredrik Ekdahl |
Product integration improvement based on analysis of build statistics. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
build statistics, process improvement, CMMI, product integration |
| 1 | Roberto Pietrantuono |
Component airbag: a novel approach to develop dependable component-based applications. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
dependability, COTS |
| 1 | Farhad Arbab, Christel Baier |
SYANCO 2007: international workshop on synthesis and analysis of component connectors. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
component connectors, coordination, synthesis, analysis, Reo |
| 1 | Hamid Abdul Basit, Simon J. Puglisi, William F. Smyth, Andrew Turpin, Stan Jarzabek |
Efficient token based clone detection with flexible tokenization. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
token-based clone detection, reverse engineering, software maintenance, clone detection |
| 1 | Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani |
Quantifying the effectiveness of testing via efficient residual path profiling. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
inter-procedural, testing, residual, path profiling |
| 1 | Sevan Kavaldjian |
A model-driven approach to generating user interfaces. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
model transformation, user interface generation, discourse model |
| 1 | Madeline Diep |
Analysis of a deployed software. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
deployed software, profiling, software analysis |
| 1 | Marcin Stefaniak |
Visualising exemplary program values. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
visualization, variables, tracing, branches |
| 1 | Stefan Baerisch |
Model-driven test-case construction. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
model-driven testing, test automation, acceptance testing |
| 1 | Pallavi Joshi, Koushik Sen, Mark Shlimovich |
Predictive testing: amplifying the effectiveness of software testing. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Fouché, Myra B. Cohen, Adam A. Porter |
Towards incremental adaptive covering arrays. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
fault localization, covering arrays |
| 1 | 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. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
field failures, static analysis, singular value decomposition |
| 1 | Antonia Bertolino, Henry Muccini |
Welcome to the WISE track. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Stefania Gnesi |
A behavioural model for product families. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
software families, product lines, modal transition systems |
| 1 | Irina Diana Coman |
An analysis of developers' tasks using low-level, automatically collected data. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
developer behavior, empirical software engineering, PSP |
| 1 | Robert B. Evans, Alberto Savoia |
Differential testing: a new approach to change detection. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
differential testing, test repair, software maintenance, regression testing, change impact analysis, automated test generation |
| 1 | Pasqualina Potena |
Composition and tradeoff of non-functional attributes in software systems: research directions. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
reliability, software quality, component-based software engineering |
| 1 | Ivica Crnkovic, Antonia Bertolino (eds.) |
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, Companion Papers |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manzil e Maqsood, Talha Javed |
Practicum in software project management: an endeavor to effective and pragmatic software project management education. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
software engineering, education, training, assessment, software project management, maturity model |
| 1 | Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory |
A specification-based approach to testing software product lines. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca |
| 1 | Massimiliano Di Penta, Michele Lanza |
IWPSE 2007: 9th international workshop on principles of software evolution. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
software maintenance, software evolution |
| 1 | Walt Scacchi |
Free/open source software development: recent research results and emerging opportunities. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
socio-technical relationships, empirical studies, open source software, free software, software development practices |
| 1 | Mikael Patel, Andreas Borg, Kristian Sandahl |
A case study in assessing and improving capacity using an anatomy of good practice. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
capacity, process improvement, non-functional requirements |
| 1 | Carlo Ghezzi |
Foreword to the doctoral symposium. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Lu, Weihang Jiang, Yuanyuan Zhou |
A study of interleaving coverage criteria. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
concurrent program, interleaving, coverage criteria |
| 1 | Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou |
Specification and verification of component-based systems 2007. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
verification, object-oriented, specification, component-based systems |
| 1 | Rupak Majumdar, Ru-Gang Xu |
Directed test generation using symbolic grammars. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
grammar based testing, symbolic grammars, random testing, testing C programs, concolic execution |
| 1 | Elisabetta Di Nitto, Andrea Polini, Andrea Zisman |
2nd international workshop on service oriented software engineering: (IW-SOSWE 2007). |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
traces comparison, software testing, code coverage, execution traces, dynamic information flow analysis |
| 1 | Ken Koster, David Kao |
State coverage: a structural test adequacy criterion for behavior checking. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
fault-based, coverage, unit testing, mutation testing, structural testing, test adequacy criteria, state coverage |
| 1 | Xin Zhou, Ying Liu, Jun Zhu |
A segment-based approach for reconcilable model transformation. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
model segment, reconcilable model transformation, transformation linkage, model transformation, model driven development |
| 1 | Tushar Kumar, Jaswanth Sreeram, Romain Cledat, Santosh Pande |
A profile-driven statistical analysis framework for the design optimization of soft real-time applications. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
profiling, statistical analysis, signatures, soft real-time, pattern detection, behavior prediction |
| 1 | Roumen Nikolov, Sylvia Ilieva |
Building a research university ecosystem: the case of software engineering education at Sofia University. |
ESEC/SIGSOFT FSE (Companion) |
2007 |
DBLP DOI BibTeX RDF |
advanced education technologies, research university ecosystem, universities in knowledge society, software engineering education, knowledge society |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")