We gratefully acknowledge support from
the Simons Foundation
and member institutions

Software Engineering

Authors and titles for recent submissions

[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 19 Sep 2017

[1]  arXiv:1709.06017 [pdf, other]
Title: Searching for test data with feature diversity
Comments: This version was submitted on April 14th 2017
Subjects: Software Engineering (cs.SE)
[2]  arXiv:1709.05768 [pdf, other]
Title: Using High-Rising Cities to Visualize Performance in Real-Time
Comments: 10 pages, VISSOFT 2017, Artifact: this https URL
Subjects: Software Engineering (cs.SE)
[3]  arXiv:1709.05763 [pdf, other]
Title: Bug or Not? Bug Report Classification Using N-Gram IDF
Comments: 5 pages, ICSME 2017
Subjects: Software Engineering (cs.SE)
[4]  arXiv:1709.05635 [pdf, other]
Title: Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer
Comments: 9 pages, 3 figures
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC)
[5]  arXiv:1709.05366 [pdf, other]
Title: Tortoise: Interactive System Configuration Repair
Comments: Published version in proceedings of IEEE/ACM International Conference on Automated Software Engineering (ASE) 2017
Subjects: Software Engineering (cs.SE)
[6]  arXiv:1709.05341 [pdf, other]
Title: LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Comments: 11 pages, 3 figures
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
[7]  arXiv:1709.05690 (cross-list from cs.CR) [pdf, other]
Title: BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews
Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)

Mon, 18 Sep 2017

[8]  arXiv:1709.05281 [pdf, other]
Title: AndroZoo++: Collecting Millions of Android Apps and Their Metadata for the Research Community
Subjects: Software Engineering (cs.SE)
[9]  arXiv:1709.04986 [pdf, other]
Title: Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
Comments: 11 pages, 6 figures, 2 tables
Subjects: Software Engineering (cs.SE)
[10]  arXiv:1709.05291 (cross-list from cs.PL) [pdf, other]
Title: Erlang Code Evolution Control
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

Fri, 15 Sep 2017

[11]  arXiv:1709.04883 [pdf, ps, other]
Title: ClouNS - A Cloud-native Application Reference Model for Enterprise Architects
Subjects: Software Engineering (cs.SE)
[12]  arXiv:1709.04749 [pdf]
Title: Why Early-Stage Software Startups Fail: A Behavioral Framework
Comments: Authors' version of a published article
Journal-ref: In: Lassenius C., Smolander K. (eds) Software Business. Towards Continuous Value Delivery. ICSOB 2014. Springer, Cham
Subjects: Software Engineering (cs.SE)
[13]  arXiv:1709.04638 [pdf, other]
Title: On the Impact of Micro-Packages: An Empirical Study of the npm JavaScript Ecosystem
Comments: Submitted 2017
Subjects: Software Engineering (cs.SE)
[14]  arXiv:1709.04631 [pdf, other]
Title: Empirical Evaluation of Mutation-based Test Prioritization Techniques
Subjects: Software Engineering (cs.SE)
[15]  arXiv:1709.04626 [pdf, other]
Title: Modeling Library Dependencies and Updates in Large Software Repository Universes
Comments: First Version October 15th 2015
Subjects: Software Engineering (cs.SE)
[16]  arXiv:1709.04621 [pdf, other]
Title: Do Developers Update Their Library Dependencies? An Empirical Study on the Impact of Security Advisories on Library Migration
Comments: 37 Pages
Journal-ref: Empirical Software Engineering 2017
Subjects: Software Engineering (cs.SE)
[17]  arXiv:1709.04809 (cross-list from cs.LO) [pdf, other]
Title: Enhancing Predicate Pairing with Abstraction for Relational Verification
Authors: Emanuele De Angelis (1), Fabio Fioravanti (1), Alberto Pettorossi (2), Maurizio Proietti (3) ((1) DEC, University G. D'Annunzio, Chieti-Pescara, Italy, (2) DICII, University of Rome Tor Vergata, Roma, Italy, (3) IASI-CNR, Roma, Italy)
Comments: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854)
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

Tue, 12 Sep 2017

[18]  arXiv:1709.03221 [pdf, other]
Title: Fairness Testing: Testing Software for Discrimination
Comments: Sainyam Galhotra, Yuriy Brun, and Alexandra Meliou. 2017. Fairness Testing: Testing Software for Discrimination. In Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Paderborn, Germany, September 4-8, 2017 (ESEC/FSE'17). this https URL, ESEC/FSE, 2017
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Databases (cs.DB); Learning (cs.LG)
[19]  arXiv:1709.02984 [pdf]
Title: Sentiment Polarity Detection for Software Development
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)
[20]  arXiv:1709.02823 [pdf, other]
Title: Java Extensions for OMNeT++
Comments: Published in: A. Foerster, A. Udugama, A. Koensgen, A. Virdis, M. Kirsche (Eds.), Proc. of the 4th OMNeT++ Community Summit, University of Bremen - Germany - September 7-8, 2017
Subjects: Software Engineering (cs.SE)
[21]  arXiv:1709.02822 [pdf, other]
Title: A Remote Interface for Live Interaction with OMNeT++ Simulations
Comments: Published in: A. Foerster, A. Udugama, A. Koensgen, A. Virdis, M. Kirsche (Eds.), Proc. of the 4th OMNeT++ Community Summit, University of Bremen - Germany - September 7-8, 2017
Subjects: Software Engineering (cs.SE)

Mon, 11 Sep 2017

[22]  arXiv:1709.02396 [pdf, other]
Title: Resolving API Mentions in Informal Documents
Comments: submitted version to McGill as a Technical Report
Subjects: Software Engineering (cs.SE)
[23]  arXiv:1709.02560 (cross-list from cs.SY) [pdf, other]
Title: Run-Time Risk Mitigation in Automated Vehicles: A Model for Studying Preparatory Steps
Authors: Mario Gleirscher (Technical University of Munich)
Comments: In Proceedings FVAV 2017, arXiv:1709.02126
Journal-ref: EPTCS 257, 2017, pp. 75-90
Subjects: Systems and Control (cs.SY); Robotics (cs.RO); Software Engineering (cs.SE)
[24]  arXiv:1709.02435 (cross-list from cs.AI) [pdf, other]
Title: An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software
Comments: 6 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI); Learning (cs.LG); Software Engineering (cs.SE); Systems and Control (cs.SY)
[ total of 24 entries: 1-24 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)