cicyt UNIZAR

Software Engineering

Authors and titles for recent submissions

[ total of 34 entries: 1-25 | 26-34 ]
[ showing 25 entries per page: fewer | more | all ]

Tue, 20 Mar 2018

[1]  arXiv:1803.06845 [pdf]
Title: Cloud Provider Capacity Augmentation Through Automated Resource Bartering
Comments: 26 pages, 15 figures, 6 tables
Journal-ref: Future Generation Computer Systems Vol 81 pp 203-218 April 2018
Subjects: Software Engineering (cs.SE); Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
[2]  arXiv:1803.06839 [pdf]
Title: Using a Model-driven Approach in Building a Provenance Framework for Tracking Policy-making Processes in Smart Cities
Comments: 15 pages, 5 figures, 2 tables, Proc of the 21st International Database Engineering & Applications Symposium (IDEAS 2017)
Subjects: Software Engineering (cs.SE)
[3]  arXiv:1803.06766 [pdf, other]
Title: Automated Localization for Unreproducible Builds
Subjects: Software Engineering (cs.SE)
[4]  arXiv:1803.06686 [pdf, ps, other]
Title: Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Subjects: Software Engineering (cs.SE)
[5]  arXiv:1803.06545 [pdf, other]
Title: Cost-aware Vulnerability Prediction: the HARMLESS Approach
Comments: 10+1 pages, 2 figures, 5 tables. Submitted to ESEC/FSE 2018
Subjects: Software Engineering (cs.SE)
[6]  arXiv:1803.06525 [pdf]
Title: A Benchmark Study on Sentiment Analysis for Software Engineering Research
Comments: Proceedings of 15th International Conference on Mining Software Repositories (MSR 2018)
Subjects: Software Engineering (cs.SE)
[7]  arXiv:1803.06516 [pdf, other]
Title: Towards Efficient Data-flow Test Data Generation Using KLEE
Subjects: Software Engineering (cs.SE)
[8]  arXiv:1803.06502 [pdf, other]
Title: Analysing Developers Affectiveness through Markov chain Models
Subjects: Software Engineering (cs.SE)

Mon, 19 Mar 2018

[9]  arXiv:1803.06235 [pdf, other]
Title: Identifying Components from Object-Oriented APIs Based on Dynamic Analysis
Comments: 11 pages, 5 figures
Journal-ref: Anas Shatnawi, Hudhaifa Shatnawi, Mohamed Aymen Saied, Zakarea Al Shara, Houari Sahraoui, and Abdelhak Seriai. 2018. Identifying Software Components from Object-Oriented APIs Based on Dynamic Analysis. In ICPC18, 2018, Gothenburg, Sweden
Subjects: Software Engineering (cs.SE)
[10]  arXiv:1803.06103 [pdf, other]
Title: Model-based Verification and Validation of an Autonomous Vehicle System
Comments: 54 pages, 58 figures, technical report reference of QRS2017 conference
Subjects: Software Engineering (cs.SE)
[11]  arXiv:1803.06075 [pdf, other]
Title: Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Comments: 77 pages, 112 figures, technical report, reference of SAC2018 Conference
Subjects: Software Engineering (cs.SE)
[12]  arXiv:1803.05969 [pdf]
Title: A Novel Approach in Calculating Stakeholder priority in Requirements Elicitation
Comments: IEEE Proceedings ICETAS 2017
Subjects: Software Engineering (cs.SE)

Fri, 16 Mar 2018

[13]  arXiv:1803.05889 [pdf, other]
Title: Using Automatic Refactoring to Improve Energy Efficiency of Android Apps
Authors: Luis Cruz, Rui Abreu
Comments: 14 pages, accepted to the Proceedings of CIbSE XXI Ibero-American Conference on Software Engineering (CIbSE'18)
Subjects: Software Engineering (cs.SE)
[14]  arXiv:1803.05741 [pdf, other]
Title: Why We Engage in FLOSS: Answers from Core Developers
Comments: Accepted at CHASE 2018: 11th International Workshop on Cooperative and Human Aspects of Software Engineering (8 pages)
Subjects: Software Engineering (cs.SE)
[15]  arXiv:1803.05689 [pdf, ps, other]
Title: Using StackOverflow content to assist in code review
Comments: Keywords: Code Review, StackOverflow, Software Development, Crowd Knowledge, Automated Software Engineering
Subjects: Software Engineering (cs.SE)
[16]  arXiv:1803.05647 [pdf, other]
Title: Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
Subjects: Software Engineering (cs.SE)
[17]  arXiv:1803.05518 [pdf, other]
Title: Bad Smells in Software Analytics Papers
Comments: Submitted to FSE'18. Authors listed alphabetically. 12 pages, 4 tables, 3 figures, 83 references
Subjects: Software Engineering (cs.SE)

Thu, 15 Mar 2018 (showing first 8 of 10 entries)

[18]  arXiv:1803.05376 [pdf, other]
Title: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
Comments: Accepted at Petri Nets 2018
Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE)
[19]  arXiv:1803.05367 [pdf, other]
Title: Integrating UML with Service Refinement for Requirements Modeling and Analysis
Subjects: Software Engineering (cs.SE)
[20]  arXiv:1803.05362 [pdf, other]
Title: Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Subjects: Software Engineering (cs.SE)
[21]  arXiv:1803.05353 [pdf, other]
Title: MedShare: Medical Resource Sharing among Autonomous Healthcare Providers
Comments: underview of J-BHI
Subjects: Software Engineering (cs.SE)
[22]  arXiv:1803.05282 [pdf, other]
Title: What Should You Know Before Developing a Service Identification Approach
Comments: 16 pages, 5 figures, LATECE Technical Report 2017-2
Subjects: Software Engineering (cs.SE)
[23]  arXiv:1803.05270 [pdf, other]
Title: Identifying KDM Model of JSP Pages
Comments: 13 pages, 13 figures, 2 tables, LATECE Technical Report 2017-3
Subjects: Software Engineering (cs.SE)
[24]  arXiv:1803.05260 [pdf, other]
Title: A Static Program Slicing Approach for Output Stream Objects in JEE Applications
Comments: 11 pages, 7 figures, LATECE Technical Report 2017-5
Subjects: Software Engineering (cs.SE)
[25]  arXiv:1803.05253 [pdf, other]
Title: How to Implement Dependencies in Server Pages of JEE Web Applications
Comments: 16 pages, 23 figures, LATECE Technical Report 2017-1
Subjects: Software Engineering (cs.SE)
[ total of 34 entries: 1-25 | 26-34 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)