We gratefully acknowledge support from
the Simons Foundation and member institutions.

Software Engineering

Authors and titles for cs.SE in Nov 2018

[ total of 87 entries: 1-25 | 26-50 | 51-75 | 76-87 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1811.00694 [pdf, other]
Title: Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)
Comments: full version, 14 pages
Journal-ref: IEEE Internet of Things Journal, 2018
Subjects: Software Engineering (cs.SE); Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[2]  arXiv:1811.00804 [pdf, other]
Title: The Evolution of Stack Overflow Posts: Reconstruction and Analysis
Comments: 43 pages, 17 figures (currently under review)
Subjects: Software Engineering (cs.SE)
[3]  arXiv:1811.00820 [pdf, other]
Title: Too Trivial To Test? An Inverse View on Defect Prediction to Identify Methods with Low Fault Risk
Comments: Submitted to PeerJ CS
Journal-ref: PeerJ Computer Science 5:e187, 2019
Subjects: Software Engineering (cs.SE)
[4]  arXiv:1811.01774 [pdf, ps, other]
Title: SCAV'18: Report of the 2nd International Workshop on Safe Control of Autonomous Vehicles
Comments: 3 pages, 1 table
Subjects: Software Engineering (cs.SE); Robotics (cs.RO); Systems and Control (eess.SY)
[5]  arXiv:1811.01833 [pdf, other]
Title: Accelerating System Log Processing by Semi-supervised Learning: A Technical Report
Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL); Information Retrieval (cs.IR)
[6]  arXiv:1811.01918 [pdf, other]
Title: On Relating Technical, Social Factors, and the Introduction of Bugs
Comments: 10 pages, 3 tables, 2 research questions, conference
Subjects: Software Engineering (cs.SE)
[7]  arXiv:1811.02005 [pdf, ps, other]
Title: A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract)
Authors: Rob Sumners (Centaur Technology)
Comments: In Proceedings ACL2 2018, arXiv:1810.03762
Journal-ref: EPTCS 280, 2018, pp. 95-97
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)
[8]  arXiv:1811.02034 [pdf]
Title: Out-Of-Place debugging: a debugging architecture to reduce debugging interference
Authors: Matteo Marra (Vrije Universiteit Brussel, Belgium), Guillermo Polito (INRIA, France), Elisa Gonzalez Boix (Vrije Universiteit Brussel, Belgium)
Journal-ref: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 2, Article 3
Subjects: Software Engineering (cs.SE)
[9]  arXiv:1811.02035 [pdf]
Title: Entombed: An archaeological examination of an Atari 2600 game
Authors: John Aycock (University of Calgary, Canada), Tara Copplestone (University of York, United Kingdom)
Journal-ref: The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 2, Article 4
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
[10]  arXiv:1811.02213 [pdf, ps, other]
Title: Hybrid Approach to Automation, RPA and Machine Learning: a Method for the Human-centered Design of Software Robots
Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Machine Learning (cs.LG); Robotics (cs.RO)
[11]  arXiv:1811.02429 [pdf, other]
Title: Automatic Repair of Real Bugs in Java: A Large-Scale Experiment on the Defects4J Dataset
Comments: Empirical Software Engineering, Springer, 2016. arXiv admin note: substantial text overlap with arXiv:1505.07002
Journal-ref: Empirical Software Engineering, Springer, 2016
Subjects: Software Engineering (cs.SE)
[12]  arXiv:1811.03045 [pdf, other]
Title: Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration
Journal-ref: ACM/IEEE International Conference on Automated Software Engineering, Tool demonstration track, 2018
Subjects: Software Engineering (cs.SE)
[13]  arXiv:1811.03122 [pdf]
Title: Classification of cyber-physical production systems applications: Proposition of an analysis framework
Authors: Olivier Cardin (PSI, LS2N, IUT NANTES)
Journal-ref: Computers in Industry, Elsevier, 2019, 104, pp.11 - 21
Subjects: Software Engineering (cs.SE)
[14]  arXiv:1811.03482 [pdf, ps, other]
Title: A holistic look at requirements engineering practices in the gaming industry
Subjects: Software Engineering (cs.SE)
[15]  arXiv:1811.03509 [pdf, other]
Title: Tools and Benchmarks for Automated Log Parsing
Comments: This paper is accepted in International Conference on Software Engineering (ICSE'19)
Subjects: Software Engineering (cs.SE)
[16]  arXiv:1811.03538 [pdf, other]
Title: Integrating Security in Resource-Constrained Cyber-Physical Systems
Subjects: Software Engineering (cs.SE); Cryptography and Security (cs.CR)
[17]  arXiv:1811.03752 [pdf, other]
Title: DeepSaucer: Unified Environment for Verifying Deep Neural Networks
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG)
[18]  arXiv:1811.03758 [src]
Title: Influence of Technical and Social Factors for Introducing Bugs
Comments: The work published in this paper is outdated, having undergone several changes. These changes were significant enough to justify a new paper, entitled "On Relating Technical, Social Factors, and the Introduction of Bugs". This new paper is also available on arXiv (arXiv:1811.01918)
Subjects: Software Engineering (cs.SE)
[19]  arXiv:1811.03814 [pdf, other]
Title: EASYFLOW: Keep Ethereum Away From Overflow
Comments: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, 2019
Subjects: Software Engineering (cs.SE)
[20]  arXiv:1811.04122 [pdf, other]
Title: Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Comments: Spieker, H., Gotlieb, A., Marijan, D., & Mossige, M. (2017). Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. In Proceedings of 26th International Symposium on Software Testing and Analysis (ISSTA'17) (pp. 12--22). ACM
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)
[21]  arXiv:1811.04159 [pdf, other]
Title: State of the Software Development Life-Cycle for the Internet-of-Things
Comments: 38 pages
Subjects: Software Engineering (cs.SE)
[22]  arXiv:1811.04169 [pdf, other]
Title: Understanding the Motivations, Challenges and Needs of Blockchain Software Developers: A Survey
Journal-ref: Empirical Software Engineering, 2019
Subjects: Software Engineering (cs.SE)
[23]  arXiv:1811.04211 [pdf, other]
Title: Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Comments: IEEE Transactions on Software Engineering, 2016
Journal-ref: IEEE Transactions on Software Engineering, 2016
Subjects: Software Engineering (cs.SE)
[24]  arXiv:1811.04315 [pdf]
Title: Software Conceptual Integrity: Deconstruction, Then Reconstruction
Authors: Iaakov Exman
Comments: 30 pages, 5 figures
Subjects: Software Engineering (cs.SE)
[25]  arXiv:1811.04478 [pdf]
Title: Lessons Learned in Migrating from Swing to JavaFX
Journal-ref: Lessons Learned in Migrating from Swing to JavaFX. IEEE Software, 37(3):78-85, 2020
Subjects: Software Engineering (cs.SE)
[ total of 87 entries: 1-25 | 26-50 | 51-75 | 76-87 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2208, contact, help  (Access key information)