Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarACM SIGSOFT Software Engineering Notes, Volume 40
Volume 40, Number 1, January 2015
Sebastian Götz, Nelly Bencomo, Robert B. France:
Devising the Future of the Models@run.time Workshop. 26-29- Neil B. Harrison, Uwe van Heesch, Stefan Sobernig, Peter Sommerlad, Martin Filipczyk, Alexander Fülleborn, Angelika Musil, Juergen Musil:
Software Architecture Patterns: Reflection and Advances: [Summary of the MiniPLoP Writers' Workshop at ECSA'14]. 30-34 - Ashish Sureka, Y. Raghu Reddy, Pornsiri Muenchaisri, Masateru Tsunoda:
A Report on Software Engineering Education Workshop (SEEW) 2014 Co-Located with Asia-Pacific Software Engineering Conference 2014. 40-43 - Ming Li, Hongyu Zhang, David Lo, Lucia:
Improving Software Quality and Productivity Leveraging Mining Techniques: [Summary of the Second Workshop on Software Mining, at ASE 2013]. 1-2 - Giles Reger, Howard Barringer, David E. Rydeheard:
Automata-based Pattern Mining from Imperfect Traces. 1-8 - Miao Du, Steven Versteeg, Jean-Guy Schneider, Jun Han, John C. Grundy:
Interaction Traces Mining for Efficient System Responses Generation. 1-8 - Shivani Rao, Henry Medeiros, Avinash C. Kak:
Comparing Incremental Latent Semantic Analysis Algorithms for Efficient Retrieval from Software Libraries for Bug Localization. 1-8 - Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu, Jianliang Zhou, Jian Li:
Calling Network: A New Method for Modeling Software Runtime Behaviors. 1-8 - Philip Makedonski, Fabian Sudau, Jens Grabowski:
Towards a Model-based Software Mining Infrastructure. 1-8 - Sabih Agbaria, Joseph Gil:
On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. 1-8 - Prasad Bokil, Padmanabhan Krishnan, R. Venkatesh:
Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques. 1-8 - Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu:
From Test Purposes to Formal JPF Properties. 1-5 - Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl:
Symbolic Execution for Checking the Accuracy of Floating-Point Programs. 1-5 - Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk:
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. 1-5 - Justin Lloyd, Elena Sherman:
Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract Domain. 1-5 - Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar:
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. 1-5 - Stuart Siroky, Rodion M. Podorozhny, Guowei Yang:
Verification of Architectural Constraints on Sequences of Method Invocations. 1-4 - Heila van der Merwe, Oksana Tkachuk, Brink van der Merwe, Willem Visser:
Generation of Library Models for Verification of Android Applications. 1-5 - Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Zvonimir Rakamaric, Vishwanath Raman:
The Dart, the Psyco, and the Doop: Concolic Execution in Java PathFinder and its Applications. 1-5 - P. V. Srinivas Acharyulu, P. Seetharamaiah:
A Measures and Metrics Framework for Software Safety. 1-8 - Enrico Giacinto Caldarola, Antonio Picariello, Daniela Castelluccia:
Modern Enterprises in the Bubble: Why Big Data Matters. 1-4 - Ashish Kumar Dwivedi, Santanu Kumar Rath:
Incorporating Security Features in Service-Oriented Architecture using Security Patterns. 1-6 - Rakesh Kumar, Hardeep Singh:
A Proactive Procedure to Mitigate the BYOD Risks on the Security of an Information System. 1-4 - Gurpreet Singh Matharu, Anju Mishra, Harmeet Singh, Priyanka Upadhyay:
Empirical Study of Agile Software Development Methodologies: A Comparative Analysis. 1-6 - Muhammed Maruf Öztürk, Ibrahim Cil, Ahmet Zengin:
Development of a Multi-Agent Framework for Software Quality. 1-10 - Souvik Sengupta, Ranjan Dasgupta:
Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS. 1-13 - Jawwad Wasat Shareef, R. K. Pandey:
Design of a Component Interface Complexity Measurement Tool for Component-Based Systems. 1-12 - Neha Singh, Kirti Tyagi:
A Literature Review of the Reliability of Composite Web Service in Service-Oriented Architecture. 1-8 - Murat Yilmaz, Rory V. O'Connor, Paul Clarke:
Software Development Roles: A Multi-Project Empirical Investigation. 1-5
- Jared Herzog:
Software Architecture in Practice Third Edition Written by Len Bass, Paul Clements, Rick Kazman. 51-52
Volume 40, Number 2, March 2015
- Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey:
ACM SIGSOFT FSE 2014 Conference Summary. 22-27 - Sridhar Chimalakonda, Y. Raghu Reddy, Rakesh Shukla:
Moving Beyond: Insights from 1st International Workshop on Software Engineering Research and Industrial Practices (SER&IPs 2014). 28-31 - Carolyn B. Seaman, Robert L. Nord, Philippe Kruchten, Ipek Ozkaya:
Technical Debt: Beyond Definition to Understanding Report on the Sixth International Workshop on Managing Technical Debt. 32-34 - Mridul Bhardwaj, Ajay Rana:
Impact of Size and Productivity on Testing and Rework Efforts for Web-based Development Projects. 1-4 - Jitender Choudhari, Ugrasen Suman:
An Empirical Evaluation of Iterative Maintenance Life Cycle Using XP. 1-14 - Preeti Gulia, Jyoti Chugh:
Comparative Analysis of Traditional and Object-Oriented Software Testing. 1-4 - Ritu Jain, Ugrasen Suman:
A Systematic Literature Review on Global Software Development Life Cycle. 1-14 - Arvinder Kaur, Shraddha Verma:
Performance Measurement and Analysis of High-Availability Clusters. 1-7 - Gaurav Kumar, Pradeep Kumar Bhatia:
Neuro-Fuzzy Model to Estimate & Optimize Quality and Performance of Component Based Software Engineering. 1-6 - Vignesh P, Selvakumar S:
Design of an Abstraction Layer for Communication with BOSH XMPP Server. 1-4 - Sanjukta Pal, Amit Kr Mandal, Anirban Sarkar:
Application Multi-Tenancy for Software as a Service. 1-8 - Abhinandan H. Patil, Neena Goveas, Krishnan Rangarajan:
Re-architecture of Contiki and Cooja Regression Test Suites using Combinatorial Testing Approach. 1-3 - Rashmi Phalnikar, Devesh Jinwala:
Analysis of Conflicting User Requirements in Web Applications Using Graph Transformation. 1-7 - R. Selvarani, P. Mangayarkarasi:
A Dynamic Optimization Technique for Redesigning OO Software for Reusability. 1-6 - Jan Waller, Nils Christian Ehmke, Wilhelm Hasselbring:
Including Performance Benchmarks into Continuous Integration to Enable DevOps. 1-4
Volume 40, Number 3, May 2015
- Betty H. C. Cheng:
A Review of Dr. Robert France's Contributions and Impact on Model-Driven Engineering and Software Engineering: Robert B. France (1960-2015). 23-31
- Anya Helene Bagge, Vadim Zaytsev:
Open and Original Problems in Software Language Engineering 2015 Workshop Report. 32-37 - Alessandro Garcia, Rohit Gheyi, Márcio Ribeiro, Sebastián Uchitel:
Report on the First PhD and Young Researchers Warm Up Symposium for ICSE 2017. 38
Volume 40, Number 4, July 2015
- ICSE 2015 SIGSOFT CAPS Report. 30
- María Consuelo Franky, Jaime A. Pavlich-Mariscal, Leonardo Giral, Andrea Barraza-Urbina, Luisa Fernanda Barrera, Angee Zambrano:
Achieving Software Reuse and Integration in a Large-scale Software Development Company: Practical Experience of the Lion Project. 1-9 - Pragya Kandari, Ajay Jain:
An Empirical Study to Evaluate the Best Anchoring Positions in Nested Menus for Optimized Access Time. 1-8 - B. Umamaheswrarao, SeethaRamaiah Panchumarthy, PhaniKumar Singamsetty:
An Optimal Weighted-Average Voting Algorithm for Software Safety Estimation on Safety-Critical Systems. 1-7
Volume 40, Number 5, September 2015
- Carlos Henrique C. Duarte, Xavier Franch, Nazim H. Madhavji:
3rd International Workshop on Conducting Empirical Studies in Industry (CESI 2015): Post-workshop Report. 26-29 - Davide Falessi, Zadia Codabux, Guoping Rong, Ioannis Stamelos, Waldemar Ferreira, Igor Scaliante Wiese, Emanoel Barreiros, Christian Quesada-López, Periklis Tsirakidis:
Trends in empirical research: the report on the 2014 Doctoral Symposium on Empirical Software Engineering. 30-35 - Alok Mishra, Jürgen Münch, Deepti Mishra:
Information Systems in Distributed Environments: ISDE 2014. 36-38 - Elizabeth Bjarnason, Markus Borg, Mirko Morandini, Michael Unterkalmsteiner, Michael Felderer, Matthew Staats:
Summary of 2nd International Workshop on Requirements Engineering and Testing (RET 2015): Co-located with ICSE 2015. 39-42 - Ipek Ozkaya, Robert L. Nord, Heiko Koziolek, Paris Avgeriou:
Toward Simpler, not Simplistic, Quantification of Software Architecture and Metrics: Report on the Second International Workshop on Software Architecture and Metrics. 43-46 - Manmath Kumar Bhuyan, Durga Prasad Mohapatra, Srinivas Sethi:
Measures for Predicting Software Reliability using Time Recurrent Neural Networks with Back-propagation. 1-8 - Shahid Nazir Bhatti, Maria Usman, Amr A. Jadi:
Validation to the Requirement Elicitation Framework via Metrics. 1-7 - Unnati S. Shah, Devesh C. Jinwala:
Resolving Ambiguities in Natural Language Software Requirements: A Comprehensive Survey. 1-7
Volume 40, Number 6, November 2015
- Philipp Diebold, Darja Smite, Daniel Méndez Fernández:
Results of the 1st International Workshop on Impact of Agile Practices (ImpAct 2015). 20-23 - Jennifer Horkoff, James Lockerbie, Xavier Franch, Eric S. K. Yu, John Mylopoulos:
Report on the First International i* Teaching Workshop (iStarT): June 9th, Co-located with the Conference on Advanced Information Systems Engineering (CAiSE'15), Stockholm, Sweden. 24-27 - Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios:
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS. 28-32 - Bedir Tekinerdogan, Huub Scholten:
Software Ecosystems for the Life Sciences Application Domains. 1-6 - Alcemir Rodrigues Santos, Eduardo Santana de Almeida:
Do #ifdef-based Variation Points Realize Feature Model Constraints? 1-5 - Heila van der Merwe, Oksana Tkachuk, Sean Nel, Brink van der Merwe, Willem Visser:
Environment Modeling Using Runtime Values for JPF-Android. 1-5 - Guowei Yang, Quan Chau Dong Do, Junye Wen:
Distributed Assertion Checking Using Symbolic Execution. 1-5 - Karl Palmskog, Farah Hariri, Darko Marinov:
A Case Study on Executing Instrumented Code in Java PathFinder. 1-5 - Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa:
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. 1-5
- Will Tracz:
Refactoring for Software Design Smells: Managing Technical Debt by Girish Suryanarayana, Ganesh Samarthyam, and Tushar Sharma. 36
maintained by 
at 
at 
last updated on 2018-06-18 21:08 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint