default search action
Information & Software Technology, Volume 55
Volume 55, Number 1, January 2013
- Ali Shahrokni, Robert Feldt
:
A systematic review of software robustness. 1-17
- Javier Andrade Garda, Juan Ares Casal
An architectural model for software testing lesson learned systems. 18-34 - Raian Ali
Reasoning with contextual requirements: Detecting inconsistency and conflicts. 35-57 - Susanne Patig, Manuela Stolz:
A pattern-based approach for the verification of business process descriptions. 58-87 - Javier Troya
Model-driven performance analysis of rule-based domain specific visual models. 88-110
- Lionel C. Briand, John A. Clark:
Guest Editorial: Special section of the best papers from the 2nd International Symposium on Search Based Software Engineering 2010. 111 - Kiran Lakhotia, Mark Harman
AUSTIN: An open source tool for search based software testing of C programs. 112-125 - Yuanyuan Zhang, Mark Harman
Empirical evaluation of search based requirements interaction management. 126-152 - Phil McMinn:
An identification of program factors that impact crossover performance in evolutionary test input generation for the branch coverage of C programs. 153-172 - Paolo Tonella
Interactive requirements prioritization using a genetic algorithm. 173-187
Volume 55, Number 2, February 2013
- Yulkeidi Martínez
MDD vs. traditional software development: A practitioner's subjective perspective. 189-200 - Ali Ebnenasir:
Action-based discovery of satisfying subsets: A distributed method for model correction. 201-214 - Natalia Juristo Juzgado, Sira Vegas, Martín Solari
A process for managing interaction between experimenters to get useful similar replications. 215-225 - José Miguel Cañete Valdeón
How influential has academic and industrial research been in current software life cycles? A retrospective analysis of four mainstream activities. 226-240 - Moataz A. Ahmed
Probabilistic size proxy for software effort prediction: A framework. 241-251 - Freddy Muñoz, Benoit Baudry, Romain Delamare, Yves Le Traon
Usage and testability of AOP: An empirical study of AspectJ. 252-266 - K. Rinkevics, Richard Torkar:
Equality in cumulative voting: A systematic review with an improvement proposal. 267-287 - Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai, W. Eric Wong, Aditya P. Mathur:
Enhancing software reliability estimates using modified adaptive testing. 288-300 - Beatriz Pérez Lamancha, Macario Polo
Automated generation of test oracles using a model-driven approach. 301-319 - Sara Mahdavi-Hezavehi, Matthias Galster, Paris Avgeriou
Variability in quality attributes of service-based software systems: A systematic literature review. 320-343 - Wan-Hui Tseng, Chin-Feng Fan:
Systematic scenario test case generation for nuclear safety systems. 344-356 - Arjan J. Mooij:
System integration by developing adapters using a database abstraction. 357-364 - Pieter Van Gorp
A visual token-based formalization of BPMN 2.0 based on in-place transformations. 365-394 - Abid Mehmood
Aspect-oriented model-driven code generation: A systematic mapping study. 395-411 - Claudia de O. Melo
Interpretative case studies on agile team productivity and management. 412-427 - Matthias Galster, Paris Avgeriou
Constraints for the design of variability-intensive service-oriented reference architectures - An industrial case study. 428-441
- Antonia Bertolino
Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011. 443-444 - Il-Chul Yoon, Alan Sussman
Testing component compatibility in evolving configurations. 445-458 - Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
A modular package manager architecture. 459-474 - William Otte, Aniruddha S. Gokhale
Efficient and deterministic application deployment in component-based enterprise distributed real-time and embedded systems. 475-488
Volume 55, Number 3, March 2013
- Klaus Schmid
Guest Editors' Introduction: Special Issue on Software Reuse and Product Lines. 489-490
- Norbert Siegmund, Marko Rosenmüller, Christian Kästner
Scalable prediction of non-functional properties in software product lines: Footprint and memory consumption. 491-507 - Carlo Ghezzi, Amir Molzam Sharifloo:
Model-based verification of quantitative non-functional properties for software product lines. 508-524 - Stuart Hutchesson, John A. McDermid
Trusted Product Lines. 525-540 - Victor Guana, Darío Correal:
Improving software product line configuration: A quality attribute-driven approach. 541-562 - Nadia Gámez, Lidia Fuentes
Architectural evolution of FamiWare using cardinality-based feature models. 563-580 - Emelie Engström
Test overlay in an emerging software product line - An industrial case study. 581-594 - Henric Andersson, Erik Herzog, Johan Ölvander:
Experience from model and software reuse in aircraft simulator product line engineering. 595-606 - Razieh Behjati
SimPL: A product-line modeling methodology for families of integrated control systems. 607-629 - Thomas Buchmann
MOD2-SCM: A model-driven product line for software configuration management systems. 630-650
Volume 55, Number 4, April 2013
- Maksym Petrenko, Václav Rajlich:
Concept location using program dependencies and information retrieval (DepIR). 651-659 - Stephen Wood, George Michaelides
Successful extreme programming: Fidelity to the methodology or good teamworking? 660-672 - Ghassan Beydoun
Suitability assessment framework of agent-based software architectures. 673-689 - Oleksiy Mazhelis, Pasi Tyrväinen
Vertical software industry evolution: The impact of software costs and limited customer base. 690-698 - Verónica Andrea Bollati, Juan Manuel Vara
Applying MDE to the (semi-)automatic development of model transformations. 699-718
- Filippo Ricca, Thomas R. Dean, Susan Elliott Sim:
Guest Editorial: Special Section on International Conference on Program Comprehension, 2011. 719-721 - Stefan Hanenberg, Stefan Endrikat:
Aspect-orientation is a rewarding investment into future code changes - As long as the aspects hardly change. 722-740 - Andrea De Lucia
Applying a smoothing filter to improve IR-based traceability recovery processes: An empirical investigation. 741-754 - Lile Hattori, Marco D'Ambros, Michele Lanza, Mircea Lungu:
Answering software evolution questions: An empirical evaluation. 755-775
Volume 55, Number 5, May 2013
- Zengyang Li, Peng Liang
Application of knowledge-based approaches in software architecture: A systematic mapping study. 777-794
- Eric Céret, Sophie Dupuy-Chessa, Gaëlle Calvary, Agnès Front, Dominique Rieu:
A taxonomy of design methods process models. 795-821 - Cheng Zhang, David Budgen
A survey of experienced user perceptions about software design patterns. 822-835 - Rajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh
Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation. 836-864
- Robert M. Hierons
Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). 865 - Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen
Metamorphic slice: An application in spectrum-based fault localization. 866-879 - Jian Xu, Zhenyu Zhang, W. K. Chan
A general noise-reduction framework for fault localization of Java programs. 880-896 - Bo Jiang, Ke Zhai, W. K. Chan
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization. 897-917
Volume 55, Number 6, June 2013
- Claes Wohlin
Systematic literature reviews in software engineering. 919-920
- Krzysztof Wnuk, Tony Gorschek, Showayb Zahda:
Obsolete software requirements. 921-940 - Begoña Moros
Transforming and tracing reused requirements models to home automation models. 941-965 - Ah-Rim Han, Doo-Hwan Bae:
Dynamic profiling-based approach to identifying cost-effective refactorings. 966-985 - Mika Mäntylä
More testers - The effect of crowd size and time restriction in software testing. 986-1003 - Milena Vujosevic-Janicic
Software verification and graph similarity for automated evaluation of students' assignments. 1004-1016 - Saeed Khalafinejad, Seyed-Hassan Mirian-Hosseinabadi:
Translation of Z specifications to executable code: Application to the database domain. 1017-1044 - André Takeshi Endo
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods. 1045-1062
- Stefan Biffl:
Guest Editorial for the Special Section on the Euromicro 2011 Conference on Software Engineering and Advanced Applications (SEAA). 1063 - Thomas Goldschmidt, Axel Uhl:
Retainment policies - A formal framework for change retainment for trace-based model transformations. 1064-1084 - Federico Ciccozzi, Antonio Cicchetti
Round-trip support for extra-functional property management in model-driven engineering of embedded systems. 1085-1100 - Burak Turhan
Empirical evaluation of the effects of mixed project data on learning defect predictors. 1101-1118
Volume 55, Number 7, July 2013
- Ana M. Fernández-Sáez
Empirical studies concerning the maintenance of UML diagrams and their use in the maintenance of code: A systematic mapping study. 1119-1142 - Rosalba Giuffrida, Yvonne Dittrich
Empirical studies on the use of social software in global software development - A systematic mapping study. 1143-1164 - Dhavleesh Rattan
Software clone detection: A systematic review. 1165-1199
- Aurora Vizcaíno
Applying Q-methodology to analyse the success factors in GSD. 1200-1211 - ChangSup Keum, Sungwon Kang, Myungchul Kim:
Architecture-based testing of service-oriented applications in distributed systems. 1212-1223 - Richard Berntsson-Svensson, Thomas Olsson
An investigation of how quality requirements are specified in industrial practice. 1224-1236 - Abhinaya Kasoju, Kai Petersen
Analyzing an automotive testing process with evidence-based software engineering. 1237-1259 - Lerina Aversano
Quality evaluation of floss projects: Application to ERP systems. 1260-1276
- Martin J. Shepperd
Guest Editorial for Special Section from Empirical Software Engineering & Measurement (ESEM) 2011. 1277-1278 - Andrew Austin, Casper Holmgreen, Laurie A. Williams:
A comparison of the efficiency and effectiveness of vulnerability discovery techniques. 1279-1288 - Kathryn T. Stolee
Discovering how end-user programmers and their communities use public repositories: A study on Yahoo! Pipes. 1289-1303 - Sebastian Nanz, Faraz Torshizi, Michela Pedroni, Bertrand Meyer:
Design of an empirical study for comparing the usability of concurrent programming languages. 1304-1315 - Fabio Q. B. da Silva
Team building criteria in software projects: A mix-method replicated study. 1316-1340 - He Zhang, Muhammad Ali Babar:
Systematic reviews in software engineering: An empirical investigation. 1341-1354
Volume 55, Number 8, August 2013
- Roberto dos Santos Rocha, Marcelo Fantinato
The use of software product lines for business process management: A systematic literature review. 1355-1373 - Vahid Garousi
A systematic mapping study of web application testing. 1374-1396 - Danijel Radjenovic, Marjan Hericko, Richard Torkar, Ales Zivkovic:
Software fault prediction metrics: A systematic literature review. 1397-1418
- Yin Kia Chiam
Applying a selection method to choose Quality Attribute Techniques. 1419-1436 - Bixin Li, Xiaobing Sun
FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs. 1437-1449 - Ho-Won Jung:
Investigating measurement scales and aggregation methods in SPICE assessment method. 1450-1461 - Gabriel Díaz, Juan Ramón Bermejo:
Static analysis of source code security: Assessment of tools against SAMATE tests. 1462-1476
- Tim Menzies
Guest editorial for the Special Section on BEST PAPERS from the 2011 conference on Predictive Models in Software Engineering (PROMISE). 1477-1478 - Sandeep Krishnan, Chris Strasburg, Robyn R. Lutz
Predicting failure-proneness in an evolving software product line. 1479-1495 - Ye Yang, Zhimin He, Ke Mao, Qi Li, Vu Nguyen
Analyzing and handling local bias for calibrating parametric cost estimation models. 1496-1511 - Leandro L. Minku
Ensembles and locality: Insight on improving software effort estimation. 1512-1528
Volume 55, Number 9, September 2013
- Carles Farré
Automated reasoning on UML conceptual schemas with derived information and queries. 1529-1550 - Patrick J. Graydon, Tim P. Kelly:
Using argumentation to evaluate software assurance standards. 1551-1562 - Kevin P. Brown, Miriam A. M. Capretz:
ODEP-DPS: Ontology-driven engineering process for the collaborative development of semantic data providing services. 1563-1579 - Sara Tena, David Díez Cebollero, Paloma Díaz
Standardizing the narrative of use cases: A controlled vocabulary of web user tasks. 1580-1589 - Babatunde Kazeem Olorisade, Sira Vegas, Natalia Juristo Juzgado:
Determining the effectiveness of three software evaluation techniques through informal aggregation. 1590-1601 - Young-Woo Kwon
The impact of distributed programming abstractions on application energy consumption. 1602-1613 - Sharon Ryan, Rory V. O'Connor
Acquiring and sharing tacit knowledge in software development teams: An empirical study. 1614-1624 - Adam Vanya, Steven Klusener, Nico van Rooijen, Hans van Vliet:
Multidimensional characterization of evolutionary clusters: An experience report. 1625-1639 - Magne Jørgensen:
The influence of selection bias on effort overruns in software development projects. 1640-1650 - Belén Vela
Development of Secure XML Data Warehouses with QVT. 1651-1677
Volume 55, Number 10, October 2013
- Ishan Banerjee, Bao N. Nguyen, Vahid Garousi
Graphical user interface (GUI) testing: Systematic mapping and repository. 1679-1694 - Hendrik Meth, Manuel Brhel, Alexander Maedche
The state of the art in automated requirements elicitation. 1695-1709
- Yeong-Seok Seo
AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning. 1710-1725 - Volker Spinke:
An object-oriented implementation of concurrent and hierarchical state machines. 1726-1740 - Farhad Daneshgar, Graham C. Low, Lugkana Worasinchai:
An investigation of 'build vs. buy' decision for software acquisition by small to medium enterprises. 1741-1750 - Jurij Laznik, Matjaz B. Juric:
Context aware exception handling in business process execution language. 1751-1766 - Lwin Khin Shar
Predicting SQL injection and cross site scripting vulnerabilities through mining input sanitization patterns. 1767-1780 - Erik Rogstad, Lionel C. Briand, Richard Torkar:
Test case selection for black-box regression testing of database applications. 1781-1795 - Luigi Lavazza
Towards a simplified definition of Function Points. 1796-1809 - Daniel Rodríguez
A study of subgroup discovery approaches for defect prediction. 1810-1822 - Irit Hadar, Iris Reinhartz-Berger, Tsvi Kuflik
Comparing the comprehensibility of requirements models expressed in Use Case and Tropos: Results from a family of experiments. 1823-1843
Volume 55, Number 11, November 2013
- Bardia Mohabbati, Mohsen Asadi, Dragan Gasevic
Combining service-orientation and software product line engineering: A systematic mapping study. 1845-1859 - Renato Lima Novais, André Torres, Thiago Souto Mendes, Manoel G. Mendonça
Software evolution visualization: A systematic mapping study. 1860-1883
- Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, Uwe Zdun, Schahram Dustdar
Enforcement of entailment constraints in distributed service-based business processes. 1884-1903 - Oumout Chouseinoglou
AiOLoS: A model for assessing organizational learning in software development organizations. 1904-1924 - César Andrés, Carlos Camacho
A formal framework for software product lines. 1925-1947 - Angel Jesus Varela-Vaca
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach. 1948-1973 - Bhoopendra Pachauri
Modeling optimal release policy under fuzzy paradigm in imperfect debugging environment. 1974-1980 - Emad Shihab, Yasutaka Kamei, Bram Adams
Is lines of code a good measure of effort in effort-aware models? 1981-1993 - Chun Yong Chong
Efficient software clustering technique using an adaptive and preventive dendrogram cutting approach. 1994-2012 - Yi-Chen Wu, Chin-Feng Fan:
Defining a test coverage criterion for model-level testing of FBD programs. 2013-2027 - Jehad Al-Dallal
Object-oriented class maintainability prediction using internal quality attributes. 2028-2048
Volume 55, Number 12, December 2013
- Barbara A. Kitchenham
A systematic review of systematic review process research in software engineering. 2049-2075
- Zhongxing Yu, Chenggang Bai, Kai-Yuan Cai:
Mutation-oriented test data augmentation for GUI software fault localization. 2076-2098 - Owen Eriksson, Brian Henderson-Sellers, Pär J. Ågerfalk:
Ontological and linguistic metamodelling revisited: A language use approach. 2099-2124 - Javier Ferrer
Estimating software testing complexity. 2125-2139 - Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang:
BPELDebugger: An effective BPEL-specific fault localization framework. 2140-2153 - Guus van Waardenburg, Hans van Vliet:
When agile meets the enterprise. 2154-2171 - Jung Ho Bae, Heung Seok Chae
A metric towards evaluating understandability of state machines: An empirical study. 2172-2190 - May Haydar, Alexandre Petrenko
A formal approach for run-time verification of web applications using scope-extended LTL. 2191-2208 - Andrea Avancini, Mariano Ceccato
Comparison and integration of genetic algorithms and dynamic symbolic execution for security testing of cross-site scripting vulnerabilities. 2209-2222 - Aiko Fallas Yamashita, Leon Moonen
To what extent can maintenance problems be predicted by code smell detection? - An empirical study. 2223-2242
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 2024-11-15 19:21 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: