science.io

Sort: New & recommended · Newly published · Newly added · Top Recommended

1

System error of project ETONN and EIAS. (arXiv:1305.5337v1 [cs.SE])
By Valery Tabakov
0 · from ArXiv:cs.SE · published 05/2013
1

A Fluid Model for Layered Queueing Networks
By Tribastone, Mirco;
0 · from TSE · published 06/2013
1

A Large-Scale Empirical Study of Just-in-Time Quality Assurance
By Kamei, Yasutaka;Shihab, Emad;Adams, Bram;Hassan, Ahmed E.;Mockus, Audris;Sinha, Anand;Ubayashi, Naoyasu;
0 · from TSE · published 06/2013
1

Abstracting Runtime Heaps for Program Understanding
By Marron, Mark;Sanchez, Cesar;Su, Zhendong;Fahndrich, Manuel;
0 · from TSE · published 06/2013
1

An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
By Baker, Richard;Habli, Ibrahim;
0 · from TSE · published 06/2013
1

Event Logs for the Analysis of Software Failures: A Rule-Based Approach
By Cinque, Marcello;Cotroneo, Domenico;Pecchia, Antonio;
0 · from TSE · published 06/2013
1

Local versus Global Lessons for Defect Prediction and Effort Estimation
By Menzies, Tim;Butcher, Andrew;Cok, David;Marcus, Andrian;Layman, Lucas;Shull, Forrest;Turhan, Burak;Zimmermann, Thomas;
0 · from TSE · published 06/2013
1

The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis
By Rafique, Yahya;Mišić, Vojislav B.;
0 · from TSE · published 06/2013
1

Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
By Rodriguez-Navas, Guillermo;Proenza, Julián;
0 · from TSE · published 06/2013
1

What Industry Needs from Architectural Languages: A Survey
By Malavolta, Ivano;Lago, Patricia;Muccini, Henry;Pelliccione, Patrizio;Tang, Antony;
0 · from TSE · published 06/2013
1

High-level Counterexamples for Probabilistic Automata. (arXiv:1305.5055v1 [cs.SE])
By Ralf Wimmer,Nils Jansen,Andreas Vorpahl,Erika Ábrahám,Joost-Pieter Katoen,Bernd Becker
0 · from ArXiv:cs.SE · published 05/2013
1

Classification of automatic software build methods. (arXiv:1305.4776v1 [cs.SE])
By Marcin Kawalerowicz
0 · from ArXiv:cs.SE · published 05/2013
1

Software Requirements Specification - Softbody Simulation System. (arXiv:1305.4378v1 [cs.SE])
By Klajdi Karanxha,Kapies Vallipuram,Herman Sonfack,Gustavo Barbieri Pereira
0 · from ArXiv:cs.SE · published 05/2013
1

The Evolution of Contracts. (arXiv:1211.4775v3 [cs.SE] UPDATED)
By H.-Christian Estler,Marco Piccioni,Carlo A. Furia,Martin Nordio,Bertrand Meyer
0 · from ArXiv:cs.SE · published 05/2013
1

Semantic Guidance and Feedback for the Construction of Specifications and Implementations. (arXiv:1305.4119v1 [cs.SE])
By Paul C Attie,Fadi A Zaraket,Mohammad Fawaz,Mohammad Noureddine
0 · from ArXiv:cs.SE · published 05/2013
1

Analysing the Assumed Benefits of Software Requirements. (arXiv:1305.3853v1 [cs.SE])
By Richard Ellis-Braithwaite
0 · from ArXiv:cs.SE · published 05/2013
1

A Comparison of Maps Application Programming Interfaces. (arXiv:1305.3485v1 [cs.SE])
By Ana Isabel Fernandes,Miguel Goulão,Armanda Rodrigues
0 · from ArXiv:cs.SE · published 05/2013
1

A multi-level model for self-adaptive systems. (arXiv:1209.1628v2 [cs.LO] UPDATED)
By Emanuela Merelli,Nicola Paoletti,Luca Tesei
0 · from ArXiv:cs.SE · published 05/2013
1

Editorial [new associate editors]
By Nuseibeh, B.;
0 · from TSE · published 05/2013
1

A Decentralized Self-Adaptation Mechanism for Service-Based Applications in the Cloud
By Nallur, Vivek;Bahsoon, Rami;
0 · from TSE · published 05/2013
1

Automated API Property Inference Techniques
By Robillard, Martin P.;Bodden, Eric;Kawrykow, David;Mezini, Mira;Ratchford, Tristan;
0 · from TSE · published 05/2013
1

Compositional Verification for Hierarchical Scheduling of Real-Time Systems
By Carnevali, Laura;Pinzuti, Alessandro;Vicario, Enrico;
0 · from TSE · published 05/2013
1

Software Architecture Optimization Methods: A Systematic Literature Review
By Aleti, Aldeida;Buhnova, Barbora;Grunske, Lars;Koziolek, Anne;Meedeniya, Indika;
0 · from TSE · published 05/2013
1

Test Case-Aware Combinatorial Interaction Testing
By Yilmaz, Cemal;
0 · from TSE · published 05/2013
1

The Role of the Tester's Knowledge in Exploratory Software Testing
By Itkonen, Juha;Mäntylä, Mika V.;Lassenius, Casper;
0 · from TSE · published 05/2013
1

Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links
By Ali, Nasir;Guéhéneuc, Yann-Gaël;Antoniol, Giuliano;
0 · from TSE · published 05/2013
1

Requirements Engineering of a Web Portal using Organizational Semiotics Artifacts and Participatory Practices. (arXiv:1305.3255v1 [cs.SE])
By Flávia Linhalis Arantes
0 · from ArXiv:cs.SE · published 05/2013
1

Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking. (arXiv:1305.2892v1 [cs.SE])
By Renato B. Abreu,Lucas C. Cordeiro,Eddie B. L. Filho
0 · from ArXiv:cs.SE · published 05/2013
1

The Case for Explicit Coupling Constraints. (arXiv:1305.2398v1 [cs.SE])
By Mikal Ziane,Mel Ó Cinnéide
0 · from ArXiv:cs.SE · published 05/2013
1

Architecture and Production Readiness Reviews in Practice. (arXiv:1305.2402v1 [cs.SE])
By James Cusick
0 · from ArXiv:cs.SE · published 05/2013

more ->