BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
engin (1455)
develop (990)
model (896)
base (860)
system (824)

Stem softwar$ (all stems)

7717 papers:

CBSECBSE-2015-KesselA #component
Measuring the Superfluous Functionality in Software Components (MK, CA), pp. 11–20.
ECSAECSA-2015-AbbasA #adaptation #architecture #case study #product line #reasoning #self
Architectural Reasoning Support for Product-Lines of Self-adaptive Software Systems — A Case Study (NA, JA), pp. 20–36.
ECSAECSA-2015-AmorimMAC #ecosystem
Tailoring the ATAM for Software Ecosystems (SdSA, JDM, ESdA, CvFGC), pp. 372–380.
ECSAECSA-2015-AngelovB #agile #approach #architecture #development #education
An Approach to Software Architecting in Agile Software Development Projects in Education (SA, PdB), pp. 157–168.
ECSAECSA-2015-GalsterA #agile #architecture #comprehension #development
Understanding the Use of Reference Architectures in Agile Software Development Projects (MG, SA), pp. 268–276.
ECSAECSA-2015-HansenM #automation #community #composition #detection #using
(Automated) Software Modularization Using Community Detection (KMH, KM), pp. 95–102.
ECSAECSA-2015-JagroepWSBVB #architecture #case study #energy
An Energy Consumption Perspective on Software Architecture — A Case Study on Architectural Change (EJ, JMEMvdW, RS, LB, RvV, SB), pp. 239–247.
ECSAECSA-2015-KiwelekarW #architecture #learning
Learning Objectives for a Course on Software Architecture (AWK, HSW), pp. 169–180.
ECSAECSA-2015-PahlJ #architecture #formal method #modelling #roadmap #towards
Software Architecture for the Cloud — A Roadmap Towards Control-Theoretic, Model-Based Cloud Architecture (CP, PJ), pp. 212–220.
ECSAECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance
Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSAECSA-2015-TangV #design
Software Designers Satisfice (AT, HvV), pp. 105–120.
ECSAECSA-2015-TrubianiGE #analysis #architecture #modelling #nondeterminism #performance #traceability
Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results (CT, AG, AE), pp. 305–321.
ECSAECSA-2015-WangC #architecture #network #performance #social
A Specialised Social Network Software Architecture for Efficient Household Water Use Management (ZW, AC), pp. 146–153.
QoSAQoSA-2015-ArcelliCFL #adaptation #modelling
Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
QoSAQoSA-2015-IzurietaRG #modelling #quality #technical debt
Preemptive Management of Model Driven Technical Debt for Improving Software Quality (CI, GR, IG), pp. 31–36.
QoSAQoSA-2015-MyllarniemiRM #configuration management #product line #representation #security #variability
Representing and Configuring Security Variability in Software Product Lines (VM, MR, TM), pp. 1–10.
WICSAWICSA-2015-AbukwaikNR #analysis #concept
A Proactive Support for Conceptual Interoperability Analysis in Software Systems (HA, MN, HDR), pp. 119–122.
WICSAWICSA-2015-BangM #design #detection #higher-order
Proactive Detection of Higher-Order Software Design Conflicts (JYB, NM), pp. 155–164.
WICSAWICSA-2015-CavalcanteBO #architecture #implementation
Supporting Dynamic Software Architectures: From Architectural Description to Implementation (EC, TVB, FO), pp. 31–40.
WICSAWICSA-2015-Harper0 #architecture
Exploring Software Architecture Context (KEH, JZ), pp. 123–126.
WICSAWICSA-2015-TamburriN #architecture #social
When Software Architecture Leads to Social Debt (DAT, EDN), pp. 61–64.
CASECASE-2015-ChuFRSKT #approach #automation #hardware #integration
A LC-MS integration approach in life science automation: Hardware integration and software integration (XC, HF, TR, NS, MK, KT), pp. 979–984.
CASECASE-2015-FleischerAT #automation #composition #evaluation
A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
CASECASE-2015-PellicciariABBB #hardware #industrial #named
AREUS — Innovative hardware and software for sustainable industrial robotics (MP, AA, KB, GB, NB, BL, DM), pp. 1325–1332.
CASECASE-2015-RacchettiTF #automation #documentation #generative #lifecycle #usability
Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
DACDAC-2015-PetrenkoTR #challenge #modelling #testing
Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DACDAC-2015-YuJTSS #challenge #integration #modelling
The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
DACDAC-2015-ZiegenbeinH #design
Timing-aware control software design for automotive systems (DZ, AH), p. 6.
DATEDATE-2015-ClercqRVV #encryption #implementation #performance
Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.
DATEDATE-2015-GuardatiCFB #framework
Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.
DATEDATE-2015-HollerKRRK #compilation #detection #evaluation
Evaluation of diverse compiling for software-fault detection (AH, NK, TR, KR, CK), pp. 531–536.
DATEDATE-2015-KroeningLMST #bytecode #effectiveness #low level #verification
Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.
DATEDATE-2015-LinH #memory management #named
HLC: software-based half-level-cell flash memory (HYL, JWH), pp. 936–941.
DATEDATE-2015-SkalickySLF #framework #hardware #runtime
A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATEDATE-2015-ThomasFCG #hardware
Transparent linking of compiled software and synthesized hardware (DBT, STF, GAC, DRG), pp. 1084–1089.
DATEDATE-2015-VieiraFCC #estimation #metric
NFRs early estimation through software metrics (AV, PF, LC, ÉFC), pp. 329–332.
DATEDATE-2015-WangLZ #big data #named
SODA: software defined FPGA based accelerators for big data (CW, XL, XZ), pp. 884–887.
DATEDATE-2015-WartelKGBSTQLMB #analysis #case study #hardware
Timing analysis of an avionics case study on complex hardware/software platforms (FW, LK, AG, AB, ZRS, BT, EQ, CL, EM, IB, JA, LCG, TV, FJC), pp. 397–402.
DATEDATE-2015-ZhangJSPHP #hardware #manycore #named #pipes and filters
E-pipeline: elastic hardware/software pipelines on a many-core fabric (XZ, HJ, MS, JP, JH, SP), pp. 363–368.
DATEDATE-2015-ZhangPJLF #fault #self
Temperature-aware software-based self-testing for delay faults (YZ, ZP, JJ, HL, MF), pp. 423–428.
DATEDATE-2015-ZhaoLXLHX #cyber-physical #energy #reduction
Software assisted non-volatile register reduction for energy harvesting based cyber-physical system (MZ, QL, MX, YL, JH, CJX), pp. 567–572.
DRRDRR-2015-ChandnaTJSKVBP #automation #image #workflow
Software workflow for the automatic tagging of medieval manuscript images (SWATI) (SC, DT, TJ, RS, CK, PV, HB, AP), p. 940206.
VLDBVLDB-2015-Loaiza #database #hardware
Engineering Database Hardware and Software Together (JL), pp. 2052–2063.
CSEETCSEET-2015-BoehmM
System Thinking: Educating T-Shaped Software Engineers (BWB, SKM), pp. 13–16.
CSEETCSEET-2015-BollinHS #education #project management #simulation
Teaching Software Project Management by Simulation: Training Team Leaders for Real World Projects (AB, EH, CS), pp. 7–9.
CSEETCSEET-2015-MeadGH #re-engineering
Cyber Sciences and Software Engineering (NRM, DSG, EKH), pp. 21–23.
CSEETCSEET-2015-SripadaRS #bibliography #code review #re-engineering
In Support of Peer Code Review and Inspection in an Undergraduate Software Engineering Course (SS, YRR, AS), pp. 3–6.
ITiCSEITiCSE-2015-Kurkovsky #education #game studies #re-engineering
Teaching Software Engineering with LEGO Serious Play (SK), pp. 213–218.
FASEFASE-2015-ArcelliCT #fuzzy #refactoring
Performance-Based Software Model Refactoring in Fuzzy Contexts (DA, VC, CT), pp. 149–164.
FASEFASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
FASEFASE-2015-CalinescuGB #adaptation #distributed #self
Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.
FASEFASE-2015-CanalS #adaptation #communication #modelling
Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
TACASTACAS-2015-Beyer #verification
Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
ICPCICPC-2015-BenomarASPS #detection #development #evolution #process
Detection of software evolution phases based on development activities (OB, HA, HAS, PP, MAS), pp. 15–24.
ICPCICPC-2015-Escobar-AvilaVH #bytecode #categorisation #using
Unsupervised software categorization using bytecode (JEA, MLV, SH), pp. 229–239.
ICPCICPC-2015-JordanRHBB #feature model #industrial #source code
Manually locating features in industrial source code: the search actions of software nomads (HRJ, JR, SH, GB, JB), pp. 174–177.
ICPCICPC-2015-MacLeodSB #developer #documentation #how #using
Code, camera, action: how software developers document and share program knowledge using YouTube (LM, MAS, AB), pp. 104–114.
ICSMEICSME-2015-AggarwalHS #energy #evolution #named
GreenAdvisor: A tool for analyzing the impact of software evolution on energy consumption (KA, AH, ES), pp. 311–320.
ICSMEICSME-2015-Aniche #detection #development #smell #web
Detection strategies of smells in web software development (MFA), pp. 598–601.
ICSMEICSME-2015-BavotaR #code review #quality
Four eyes are better than two: On the impact of code reviews on software quality (GB, BR), pp. 81–90.
ICSMEICSME-2015-CodobanRDB #case study #developer #how #lens #why
Software history under the lens: A study on why and how developers examine it (MC, SSR, DD, BB), pp. 1–10.
ICSMEICSME-2015-Fenske #configuration management #smell
Code smells in highly configurable software (WF), pp. 602–605.
ICSMEICSME-2015-Hegedus #evolution #metric #quality #roadmap
Advances in software product quality measurement and its applications in software evolution (PH), pp. 590–593.
ICSMEICSME-2015-IloGABG #repository
Combining software interrelationship data across heterogeneous software repositories (NI, JG, TA, MB, TG), pp. 571–575.
ICSMEICSME-2015-JongelingDS #analysis #re-engineering #research #sentiment #tool support
Choosing your weapons: On sentiment analysis tools for software engineering research (RJ, SD, AS), pp. 531–535.
ICSMEICSME-2015-KhadkaSKSHJDB #analysis #case study #legacy #what
Does software modernization deliver what it aimed for? A post modernization analysis of five software modernization case studies (RK, PS, BK, AS, JH, SJ, EvD, MB), pp. 477–486.
ICSMEICSME-2015-MaigaHNSL #case study #empirical #experience #scalability
An empirical study on the handling of crash reports in a large software company: An experience report (AM, AHL, MN, KKS, AL), pp. 342–351.
ICSMEICSME-2015-NishikawaWFOM #traceability #transitive
Recovering transitive traceability links among software artifacts (KN, HW, YF, KO, RM), pp. 576–580.
ICSMEICSME-2015-Panichella #development
Supporting newcomers in software development projects (SP), pp. 586–589.
ICSMEICSME-2015-PanichellaSGVCG #evolution #how #maintenance
How can i improve my app? Classifying user reviews for software maintenance and evolution (SP, ADS, EG, CAV, GC, HCG), pp. 281–290.
ICSMEICSME-2015-PlatePS #assessment #library #open source
Impact assessment for vulnerabilities in open-source software libraries (HP, SEP, AS), pp. 411–420.
ICSMEICSME-2015-SharmaTL #question #re-engineering #twitter #what
What’s hot in software engineering Twitter space? (AS, YT, DL), pp. 541–545.
ICSMEICSME-2015-Tymchuk #quality
Treating software quality as a first-class entity (YT), pp. 594–597.
ICSMEICSME-2015-VendomeVBPGP #developer #why
When and why developers adopt and change software licenses (CV, MLV, GB, MDP, DMG, DP), pp. 31–40.
ICSMEICSME-2015-Verebi #approach #modelling #refactoring
A model-based approach to software refactoring (IV), pp. 606–609.
ICSMEICSME-2015-Vogel-HeuserFRF #automation #case study #challenge #hardware #industrial #maintenance
Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies (BVH, JF, SR, SF, SU), pp. 362–371.
ICSMEICSME-2015-WahlerEFP #hardware #legacy #manycore #migration
Migrating legacy control software to multi-core hardware (MW, RE, CF, YAP), pp. 458–466.
ICSMEICSME-2015-Yamashita #analysis #assessment #benchmark #case study #experience #metric #quality #visualisation
Experiences from performing software quality evaluations via combining benchmark-based metrics analysis, software visualization, and expert assessment (AY), pp. 421–428.
MSRMSR-2015-AltingerSDW #dataset #embedded #fault #industrial #modelling #novel #predict
A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software (HA, SS, YD, FW), pp. 494–497.
MSRMSR-2015-ChoetkiertikulD #predict #risk management
Characterization and Prediction of Issue-Related Risks in Software Projects (MC, HKD, TT, AG), pp. 280–291.
MSRMSR-2015-GreilerHC #quality #replication
Code Ownership and Software Quality: A Replication Study (MG, KH, JC), pp. 2–12.
MSRMSR-2015-GuptaSPA #bibliography #challenge #identification #process #scalability
Identifying Software Process Management Challenges: Survey of Practitioners in a Large Global IT Company (MG, AS, SP, AMA), pp. 346–356.
MSRMSR-2015-KouroshfarMBXMC #architecture #case study #evolution #quality
A Study on the Role of Software Architecture in the Evolution and Quality of Software (EK, MM, HB, LX, SM, YC), pp. 246–257.
MSRMSR-2015-LeBGLSM #architecture #empirical #open source
An Empirical Study of Architectural Change in Open-Source Software Systems (DML, PB, JG, DL, AS, NM), pp. 235–245.
MSRMSR-2015-Marinescu #mining
Confessions of a Worldly Software Miner (RM), p. 1.
MSRMSR-2015-SchumacherA #framework #graph
An Enhanced Graph-Based Infrastructure for Software Search Engines (MS, CA), pp. 386–390.
MSRMSR-2015-WhiteVVP #learning #repository #towards
Toward Deep Learning Software Repositories (MW, CV, MLV, DP), pp. 334–345.
SANERSANER-2015-AggarwalRTHGS #debugging #detection #re-engineering
Detecting duplicate bug reports with software engineering domain knowledge (KA, TR, FT, AH, RG, ES), pp. 211–220.
SANERSANER-2015-AlawnehHH #analysis #metamodelling #performance #towards
Towards a common metamodel for traces of high performance computing systems to enable software analysis tasks (LA, AHL, JH), pp. 111–120.
SANERSANER-2015-BezemerPG #comprehension #difference #graph #performance #using
Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
SANERSANER-2015-CabotICR #open source
Exploring the use of labels to categorize issues in Open-Source Software projects (JC, JLCI, VC, BR), pp. 550–554.
SANERSANER-2015-CadariuBVD #security
Tracking known security vulnerabilities in proprietary software systems (MC, EB, JV, AvD), pp. 516–519.
SANERSANER-2015-Erfani #metamodelling #ontology #towards
Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANERSANER-2015-Jiang #integration #process #scalability
Improving the integration process of large software systems (YJ), p. 598.
SANERSANER-2015-KnodelNBV #risk management
Software risk management in practice: Shed light on your software product (JK, MN, EB, JV), pp. 592–594.
SANERSANER-2015-LadanyiTFK #quality
A software quality model for RPG (GL, ZT, RF, TK), pp. 91–100.
SANERSANER-2015-LemmaLM #modelling #named
CEL: Touching software modeling in essence (RL, ML, AM), pp. 439–448.
SANERSANER-2015-LianZ #feature model #non-functional #product line #requirements #towards
Optimized feature selection towards functional and non-functional requirements in Software Product Lines (XL, LZ), pp. 191–200.
SANERSANER-2015-LityBS #incremental #product line #slicing #towards
Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
SANERSANER-2015-Mirakhorli #architecture #how #question #re-engineering #what #why
Software architecture reconstruction: Why? What? How? (MM), p. 595.
SANERSANER-2015-MoserPFW #documentation #generative #named
RbG: A documentation generator for scientific and engineering software (MM, JP, GF, MW), pp. 464–468.
SANERSANER-2015-NairJNH #analysis
A static code analysis tool for control system software (SN, RJ, ARN, SHS), pp. 459–463.
SANERSANER-2015-PeteB #consistency #difference #evolution #framework
Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
SANERSANER-2015-RahmanR #identification
TextRank based search term identification for software change tasks (MMR, CKR), pp. 540–544.
SANERSANER-2015-SaeidiHKJ #approach #clustering #multi #search-based
A search-based approach to multi-view clustering of software systems (AS, JH, RK, SJ), pp. 429–438.
SANERSANER-2015-SanchezRG #empirical #evolution
An empirical study of work fragmentation in software evolution tasks (HS, RR, VMG), pp. 251–260.
SANERSANER-2015-SharmaTL #automation #identification #named #twitter
NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
SANERSANER-2015-SilvaRVBA #javascript #question
Does JavaScript software embrace classes? (LS, MR, MTV, AB, NA), pp. 73–82.
SCAMSCAM-2015-RenatusBE #modelling #security #using
Improving prioritization of software weaknesses using security models with AVUS (SR, CB, JE), pp. 259–264.
SCAMSCAM-2015-SayaghA #empirical #multi
Multi-layer software configuration: Empirical study on wordpress (MS, BA), pp. 31–40.
FMFM-2015-Evans #authentication #development
Software Development and Authentication for Arms Control Information Barriers (NE), pp. 581–584.
FMFM-2015-NelsonFK #difference #network #program analysis
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
SEFMSEFM-2015-ShenB #formal method
A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.
CHICHI-2015-AsenieroWLRTC #named #release planning #using #visualisation
STRATOS: Using Visualization to Support Decisions in Strategic Software Release Planning (BAA, TW, DL, GR, AT, SC), pp. 1479–1488.
CHICHI-2015-NguyenL #tutorial #video
Making Software Tutorial Video Responsive (CN, FL), pp. 1565–1568.
CHICHI-2015-ZugerF #developer #predict #using
Interruptibility of Software Developers and its Prediction Using Psycho-Physiological Sensors (MZ, TF), pp. 2981–2990.
CSCWCSCW-2015-FilippovaC #open source
Mudslinging and Manners: Unpacking Conflict in Free and Open Source Software (AF, HC), pp. 1393–1403.
CSCWCSCW-2015-MatthiesenB #development #framework #legacy #perspective #why
Why Replacing Legacy Systems Is So Hard in Global Software Development: An Information Infrastructure Perspective (SM, PB), pp. 876–890.
CSCWCSCW-2015-SteinmacherCGR #open source #social
Social Barriers Faced by Newcomers Placing Their First Contribution in Open Source Software Projects (IS, TC, MAG, DFR), pp. 1379–1392.
CSCWCSCW-2015-Tufekci #algorithm
Algorithms in our Midst: Information, Power and Choice when Software is Everywhere (ZT), p. 1918.
HCIDUXU-DD-2015-BystrickyB
The Cold Desert of Software Reality (JB, JB), pp. 3–11.
HCIDUXU-DD-2015-XimenesAA #agile #design #project management
Software Project Management Combining Agile, Lean Startup and Design Thinking (BHX, INA, CCA), pp. 356–367.
HCIDUXU-UI-2015-GuimaraesS #simulation
Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.
HCIHCI-DE-2015-SchutzSO #using
Using Diary Studies to Evaluate Railway Dispatching Software (IS, AS, AO), pp. 248–258.
HCIHCI-UC-2015-HessBFHKMNRLT #approach #ecosystem #mobile
Building Mobile Software Ecosystems — A Practical Approach (SH, SB, JF, MH, FK, DM, MN, DR, TL, MT), pp. 165–177.
HCIHIMI-IKC-2015-Iwata #difference #learning
Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
HCILCT-2015-LaugassonM #usability #user interface
Free Software User Interfaces: Usability and Aesthetics (EL, MM), pp. 676–686.
AdaEuropeAdaEurope-2015-BaldovinZNP #development #modelling
The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
AdaEuropeAdaEurope-2015-UruenaPCFJ #requirements
Guaranteeing Timing Requirements in the IXV On-Board Software (SU, NP, BNC, CF, AJ), pp. 100–115.
CAiSECAiSE-2015-PalmieriCA #product line
Handling Regulatory Goal Model Families as Software Product Lines (AP, PC, DA), pp. 181–196.
ICEISICEIS-v1-2015-ArevaloRC #approach #information management #legacy #modelling #process
Discovering Business Models for Software Process Management — An Approach for Integrating Time and Resource Perspectives from Legacy Information Systems (CA, IMR, MJEC), pp. 353–359.
ICEISICEIS-v1-2015-Staniszkis #information management #re-engineering
Empowering the Knowledge Worker — End-User Software Engineering in Knowledge Management (WS), p. VII.
ICEISICEIS-v2-2015-BrancoOGPC #empirical
An Empirical Study about the Influence of Project Manager Personality in Software Project Effort (DTMCB, ECCdO, LG, RP, TC), pp. 102–113.
ICEISICEIS-v2-2015-CruzMS15a #modelling #process #set
Bridging the Gap between a Set of Interrelated Business Process Models and Software Models (EFC, RJM, MYS), pp. 338–345.
ICEISICEIS-v2-2015-CuencaBBT #case study #concept #development #framework #multi
Conceptual Interoperability Barriers Framework (CIBF) — A Case Study of Multi-organizational Software Development (LC, AB, ÁOB, JJMT), pp. 521–531.
ICEISICEIS-v2-2015-DutraPC #development #performance #question #what
What Are the Main Characteristics of High Performance Teams for Software Development? (ACSD, RP, TC), pp. 145–152.
ICEISICEIS-v2-2015-FariasNOCM #case study #commit #email #mining #repository
Analyzing Distributions of Emails and Commits from OSS Contributors through Mining Software Repositories — An Exploratory Study (MAdFF, RLN, PO, MCJ, MGM), pp. 303–310.
ICEISICEIS-v2-2015-FrantzSRYE #ecosystem #integration #markov #on the #process #using
On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems (RZF, SS, FRF, IY, MTME), pp. 260–267.
ICEISICEIS-v2-2015-IanzenFPMR #automation #product line
Scoping Automation in Software Product Lines (AI, RMF, MAP, AM, SSR), pp. 82–91.
ICEISICEIS-v2-2015-JuniorP #approach #identification #named #ontology #requirements
OnTheme/Doc — An Ontology-based Approach for Crosscutting Concern Identification from Software Requirements (PAPJ, RADP), pp. 188–200.
ICEISICEIS-v2-2015-KhlifKKD #approach #architecture #multi #uml
A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.
ICEISICEIS-v2-2015-KustersMT #agile #development #fault #injection
The Impact of Lean Techniques on Factors Influencing Defect Injection in Software Development (RJK, FMM, JJMT), pp. 412–419.
ICEISICEIS-v2-2015-MagnavitaNM #evolution #using
Using EVOWAVE to Analyze Software Evolution (RCM, RLN, MGM), pp. 126–136.
ICEISICEIS-v2-2015-McharfiADBK #product line #traceability
Return on Investment of Software Product Line Traceability in the Short, Mid and Long Term (ZM, BEA, ID, AB, AK), pp. 463–468.
ICEISICEIS-v2-2015-MendesAASNM #evolution #monitoring #named #open source #technical debt #using #visualisation
VisMinerTD — An Open Source Tool to Support the Monitoring of the Technical Debt Evolution using Software Visualization (TSM, DAA, NSRA, ROS, RLN, MGM), pp. 457–462.
ICEISICEIS-v2-2015-PerezNGD #analysis #development #process
A Tool for the Analysis of Change Management Processes in Software Development Cycles (MP, ÁN, HAPG, JCD), pp. 482–485.
ICEISICEIS-v2-2015-SariK #analysis #debugging #monitoring #predict
Bug Prediction for an ATM Monitoring Software — Use of Logistic Regression Analysis for Bug Prediction (ÖS, OK), pp. 382–387.
ICEISICEIS-v2-2015-TangL #framework #mining #product line #top-down
Top-down Feature Mining Framework for Software Product Line (YT, HL), pp. 71–81.
ICEISICEIS-v2-2015-TrujilloOP #authoring #framework #re-engineering #using #validation
Using Technical-Action-Research to Validate a Framework for Authoring Software Engineering Methods (MMT, HO, MP), pp. 15–27.
ICEISICEIS-v2-2015-ValenteAN #design #towards
Improving Software Design Decisions towards Enhanced Return of Investment (PV, DA, NJN), pp. 388–394.
ICEISICEIS-v3-2015-SilvaVC #development #process #usability
Integrating the Usability into the Software Development Process — A Systematic Mapping Study (WS, NMCV, TC), pp. 105–113.
KDDKDD-2015-Ojjeh #open source #realtime #using
Powering Real-time Decision Engines in Finance and Healthcare using Open Source Software (BO), p. 1633.
SEKESEKE-2015-AffonsoLON #adaptation #framework #learning #self
A Framework Based on Learning Techniques for Decision-making in Self-adaptive Software (FJA, GL, RAPO, EYN), pp. 24–29.
SEKESEKE-2015-AlshaikhMWH #empirical #locality #open source
A Empirical Study on the Status of Software Localization in Open Source Projects (ZA, SM, XW, SH), pp. 692–695.
SEKESEKE-2015-BrondaniBF #evaluation #process #quality
Quality Evaluation of Artifacts in Tailored Software Process Lines (CB, GB, LMF), pp. 223–226.
SEKESEKE-2015-CabrejosVMC #usability #web
Evaluating Software Engineers’ Acceptance of a Technique and Tool for Web Usability Inspection (LJERC, AMRV, JCM, TC), pp. 140–145.
SEKESEKE-2015-CaoHH #design #evaluation #quality #using
Experimental Frame Design Using E-DEVSML for Software Quality Evaluation (BC, LH, JH), pp. 310–313.
SEKESEKE-2015-CheP #architecture #design #development #evaluation #paradigm
An Evaluation Study of Architectural Design Decision Paradigms in Global Software Development (MC, DEP), pp. 158–163.
SEKESEKE-2015-FonsecaBF #integration #metric #tool support
Integration of Software Measurement Supporting Tools: A Mapping Study (VSF, MPB, RdAF), pp. 516–521.
SEKESEKE-2015-GaoKN #set
Combining Feature Subset Selection and Data Sampling for Coping with Highly Imbalanced Software Data (KG, TMK, AN), pp. 439–444.
SEKESEKE-2015-GomedeSB #approach #lifecycle
A Practical Approach to Software Continuous Delivery Focused on Application Lifecycle Management (EG, RTDS, RMdB), pp. 320–325.
SEKESEKE-2015-GoswamiWS #learning #performance #using
Using Learning Styles of Software Professionals to Improve their Inspection Team Performance (AG, GSW, AS), pp. 680–685.
SEKESEKE-2015-LacherWFPNM #behaviour #empirical #metric
A Behavior Marker tool for measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LLL, GSW, FF, MP, KEN, JM), pp. 409–414.
SEKESEKE-2015-LaserRDOZ #architecture #case study #evolution #experience #product line
Architectural Evolution of a Software Product Line: an experience report (ML, EMR, ARPD, FMdO, AFZ), pp. 217–222.
SEKESEKE-2015-LeeL #adaptation #framework #re-engineering #self #towards
Towards Knowledge-intensive Software Engineering Framework for Self-Adaptive Software (HCL, SWL), pp. 30–35.
SEKESEKE-2015-LessaCMA #comprehension #matlab #visualisation
Scaffolding MATLAB and Octave Software Comprehension Through Visualization (IML, GdFC, MPM, FBeA), pp. 290–293.
SEKESEKE-2015-MokniHUVZ #architecture #component #evolution #multi
An evolution management model for multi-level component-based software architectures (AM, MH, CU, SV, HYZ), pp. 674–679.
SEKESEKE-2015-Murillo-MoreraJ #algorithm #approach #framework #learning #predict #search-based #using
A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes (JMM, MJ), pp. 445–450.
SEKESEKE-2015-OliveiraBFM #development #product line #user interface
Adoption of Software Product Line Development to an Environment of Voice User Interface (DRFO, BLDB, ELSXF, AMAM), pp. 705–708.
SEKESEKE-2015-RahmeX #scheduling
Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems (JR, HX), pp. 298–303.
SEKESEKE-2015-SampaioMLM #adaptation #approach #learning #research
Reflecting, adapting and learning in small software organizations: an action research approach (SS, MM, AL, HPM), pp. 46–50.
SEKESEKE-2015-TaheriS #agile #classification #development
A Feature-Based Tool-Selection Classification for Agile Software Development (MT, SMS), pp. 700–704.
SEKESEKE-2015-Tasse #analysis #identification #metric #using
Using peak analysis for identifying lagged effects between software metrics (JT), pp. 512–515.
SEKESEKE-2015-TunnellA #fault #modelling #predict #release planning #using
Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
SEKESEKE-2015-ValentimCEP #how #usability
How do software engineers apply an early usability inspection technique? A qualitative study (NMCV, TC, BJdSE, RP), pp. 686–691.
SEKESEKE-2015-VilarLAP #development #empirical #evaluation #evolution #quality
Impact of Unanticipated software evolution on development cost and quality: an empirical evaluation (RAV, AL, HOA, AP), pp. 128–133.
SEKESEKE-2015-WangKN #feature model #re-engineering
Stability of Three Forms of Feature Selection Methods on Software Engineering Data (HW, TMK, AN), pp. 385–390.
SEKESEKE-2015-XuLZ #bibliography #visualisation
To Enlighten Hidden Facts in The Code: A Review of Software Visualization Metaphors (YX, YL, JZ), pp. 294–297.
SEKESEKE-2015-ZhaoSCZ #crowdsourcing #developer #effectiveness #recommendation #towards
Towards Effective Developer Recommendation in Software Crowdsourcing (SZ, BS, YC, HZ), pp. 326–329.
SEKESEKE-2015-ZhuSCW #programming #scalability #stack overflow #taxonomy
Building a Large-scale Software Programming Taxonomy from Stackoverflow (JZ, BS, XC, HW), pp. 391–396.
MoDELSMoDELS-2015-AliY #formal method #standard #testing
Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELSMoDELS-2015-EichlerMSGD #graph grammar #term rewriting
Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (CE, TM, PS, LAG, KD), p. 447.
MoDELSMoDELS-2015-Fernandez-SaezC #bibliography #documentation #industrial #maintenance #on the #uml
On the use of UML documentation in software maintenance: Results from a survey in industry (AMFS, DC, MG, MRVC), pp. 292–301.
MoDELSMoDELS-2015-KetataMFLC #migration #modelling #performance #predict
Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELSMoDELS-2015-LeemansA #distributed #mining #modelling #process #transaction
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (ML, WMPvdA), pp. 44–53.
MoDELSMoDELS-2015-LettnerEGP #case study #experience #feature model #industrial #lessons learnt #modelling #scalability
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (DL, KE, PG, HP), pp. 386–395.
MoDELSMoDELS-2015-Murphy
Software supply chains (keynote) (GCM), p. 2.
MoDELSMoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process
A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
ECOOPECOOP-2015-Summers #stack #verification
Software Verification “Across the Stack” (Invited Talk) (AJS), p. 3.
OnwardOnward-2015-ArztNABEM #encryption #integration #towards
Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.
OnwardOnward-2015-Jackson #concept #design #formal method #towards
Towards a theory of conceptual design for software (DJ), pp. 282–296.
OnwardOnward-2015-West
The Cuban software revolution: 2016¿2025 (DMW), pp. 267–281.
OOPSLAOOPSLA-2015-BiswasZBL #exception #named #performance
Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
OOPSLAOOPSLA-2015-VoelterDKE #c #case study #embedded #using
Using C language extensions for developing embedded software: a case study (MV, AvD, BK, SE), pp. 655–674.
GPCEGPCE-2015-FontAHC #metamodelling #modelling #product line
Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
GPCEGPCE-2015-SeidlSS #design pattern #development #generative #product line #using #variability
Generative software product line development using variability-aware design patterns (CS, SS, IS), pp. 151–160.
REFSQREFSQ-2015-BreinerGKM #perspective #requirements #research
Requirements Engineering in the Bidding Stage of Software Projects — A Research Preview (KB, MG, AK, CM), pp. 270–276.
REFSQREFSQ-2015-RempelM #agile #development #implementation #metric #requirements #traceability
Estimating the Implementation Risk of Requirements in Agile Software Development Projects with Traceability Metrics (PR, PM), pp. 81–97.
SACSAC-2015-Ahn #architecture #object-oriented #re-engineering #runtime
Reconstruction of runtime software architecture for object-oriented systems (HA), pp. 1668–1669.
SACSAC-2015-AlmeidaBBCD #variability
Dynamic decision-making based on NFR for managing software variability and configuration selection (AA, NB, TVB, EC, FD), pp. 1376–1382.
SACSAC-2015-ArbizaBSGT #internet #middleware #network #refactoring
Refactoring internet of things middleware through software-defined network (LMRA, LMB, CRPdS, LZG, LMRT), pp. 640–645.
SACSAC-2015-BurityE #approach #recommendation
A quantitative, evidence-based approach for recommending software modules (TB, GEdS), pp. 1449–1456.
SACSAC-2015-CalvagnaFT #case study #combinator #consistency #effectiveness #random #testing
Random versus combinatorial effectiveness in software conformance testing: a case study (AC, AF, ET), pp. 1797–1802.
SACSAC-2015-ConstantinouS #architecture #evolution #metric #reuse
Architectural stability and evolution measurement for software reuse (EC, IS), pp. 1580–1585.
SACSAC-2015-DuanZHX #analysis #framework #network #performance
Performance analysis for a service delivery platform in software defined network (QD, MZ, JH, CCX), pp. 2257–2262.
SACSAC-2015-FerreiraFN #impact analysis #object-oriented
Mapping the potential change impact in object-oriented software (MMF, KAMF, HTMN), pp. 1654–1656.
SACSAC-2015-GarciaPMR #process
A software process line for service-oriented applications (CG, MP, AM, SSR), pp. 1680–1687.
SACSAC-2015-GassaraRJ #approach #architecture #deployment #modelling #multi
A multi-scale modeling approach for software architecture deployment (AG, IBR, MJ), pp. 1405–1410.
SACSAC-2015-GoncalvesON #architecture
A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.
SACSAC-2015-GuessiNBFON #architecture #bibliography
A systematic literature review on the description of software architectures for systems of systems (MG, VVGN, TB, KRF, FO, EYN), pp. 1433–1440.
SACSAC-2015-KhelladiBBLG #consistency #framework #process #verification
A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
SACSAC-2015-KhlifKKD #approach #architecture #modelling #multi #towards
Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.
SACSAC-2015-MalechaGS #automation
Automated software winnowing (GM, AG, NS), pp. 1504–1511.
SACSAC-2015-PerkusichMSGAP #approach #metric #network
A Bayesian network approach to assist on the interpretation of software metrics (MP, AM, LCeS, KCG, HOdA, AP), pp. 1498–1503.
SACSAC-2015-RuyFBG #ontology #pattern matching #process #standard #towards
Towards an ontology pattern language for harmonizing software process related ISO standards (FBR, RdAF, MPB, GG), pp. 388–395.
SACSAC-2015-SantosOA #development #mining #process
Mining software development process variations (RMSS, TCO, FBeA), pp. 1657–1660.
SACSAC-2015-SenaCK #exception #product line
An investigation on the evolutionary nature of exception handling violations in software product lines (DS, RC, UK), pp. 1616–1623.
SACSAC-2015-SunyaevB #empirical #independence #testing
Truth and myth of independent software testing: a controlled human experiment (AS, DB), pp. 1722–1728.
SACSAC-2015-TizzeiABC #architecture #case study #product line #tool support #using
Architecting cloud tools using software product line techniques: an exploratory study (LPT, LGA, MdB, RFGC), pp. 1441–1448.
SACSAC-2015-TroisMBF #network
From software defined network to network defined for software (CT, MM, LCEDB, MDDF), pp. 665–668.
ESEC-FSEESEC-FSE-2015-0001DDHS #validation #verification
Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
ESEC-FSEESEC-FSE-2015-CitoLFG #development #empirical
The making of cloud applications: an empirical study on software development for the cloud (JC, PL, TF, HCG), pp. 393–403.
ESEC-FSEESEC-FSE-2015-EichbergHMG
Hidden truths in dead software paths (ME, BH, MM, LG), pp. 474–484.
ESEC-FSEESEC-FSE-2015-ErnstBONG #technical debt
Measure it? Manage it? Ignore it? software practitioners and technical debt (NAE, SB, IO, RLN, IG), pp. 50–60.
ESEC-FSEESEC-FSE-2015-FilieriHM #adaptation #automation #design #multi #self
Automated multi-objective control for self-adaptive software design (AF, HH, MM), pp. 13–24.
ESEC-FSEESEC-FSE-2015-FoucaultPBMF #developer #open source #quality
Impact of developer turnover on quality in open-source software (MF, MP, XB, GCM, JRF), pp. 829–841.
ESEC-FSEESEC-FSE-2015-GreenyerHMB #analysis #re-engineering #requirements
Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering (JG, MH, JM, RB), pp. 1002–1005.
ESEC-FSEESEC-FSE-2015-Janjua
OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.
ESEC-FSEESEC-FSE-2015-KevicWSSSF #developer #interactive
Tracing software developers’ eyes and interactions for change tasks (KK, BMW, TRS, BS, DCS, TF), pp. 202–213.
ESEC-FSEESEC-FSE-2015-LoNZ #how #re-engineering #research
How practitioners perceive the relevance of software engineering research (DL, NN, TZ), pp. 415–425.
ESEC-FSEESEC-FSE-2015-MahallySB #case study #development
Barriers and enablers for shortening software development lead-time in mechatronics organizations: a case study (MMM, MS, JB), pp. 1006–1009.
ESEC-FSEESEC-FSE-2015-MorenoBHPORM #re-engineering #retrieval
Query-based configuration of text retrieval solutions for software engineering tasks (LM, GB, SH, MDP, RO, BR, AM), pp. 567–578.
ESEC-FSEESEC-FSE-2015-RosenGS #commit #predict #risk management
Commit guru: analytics and risk prediction of software commits (CR, BG, ES), pp. 966–969.
ESEC-FSEESEC-FSE-2015-RuscioKKMV #automation #framework #metric #named #open source
OSSMETER: a software measurement platform for automatically analysing open source software projects (DDR, DSK, IK, NDM, JJV), pp. 970–973.
ESEC-FSEESEC-FSE-2015-ShafferWWMFS #eye tracking #ide #named #re-engineering
iTrace: enabling eye tracking on software artifacts within the IDE to support software engineering tasks (TRS, JLW, BMW, SCM, MF, BS), pp. 954–957.
ESEC-FSEESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing
Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSEESEC-FSE-2015-XuJFZPT #comprehension #exclamation
Hey, you have given me too many knobs!: understanding and dealing with over-designed configuration in system software (TX, LJ, XF, YZ, SP, RT), pp. 307–319.
ESEC-FSEESEC-FSE-2015-XuKB #ubiquitous #using
Using software theater for the demonstration of innovative ubiquitous applications (HX, SK, BB), pp. 894–897.
ESEC-FSEESEC-FSE-2015-ZhengMZ #capacity #constraints #identification #problem #process
A method to identify and correct problematic software activity data: exploiting capacity constraints and data redundancies (QZ, AM, MZ), pp. 637–648.
ICSEICSE-v1-2015-CarzanigaMP
Measuring Software Redundancy (AC, AM, MP), pp. 156–166.
ICSEICSE-v1-2015-GopanDNNLM
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
ICSEICSE-v1-2015-GuiMNH #developer #mobile
Truth in Advertising: The Hidden Cost of Mobile Ads for Software Developers (JG, SM, MN, WGJH), pp. 100–110.
ICSEICSE-v1-2015-HenardPHT #configuration management #constraints #multi #product line #scalability #theorem proving
Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines (CH, MP, MH, YLT), pp. 517–528.
ICSEICSE-v1-2015-LaTozaCJZH #case study #contest #design
Borrowing from the Crowd: A Study of Recombination in Software Design Competitions (TDL, MC, LJ, MZ, AvdH), pp. 551–562.
ICSEICSE-v1-2015-LavalleeR #case study #developer #quality #why
Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational Factors on Software Quality (ML, PNR), pp. 677–687.
ICSEICSE-v1-2015-LiKZ #question #what
What Makes a Great Software Engineer? (PLL, AJK, JZ), pp. 700–710.
ICSEICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
ICSEICSE-v1-2015-Ralph #process #re-engineering
Developing and Evaluating Software Engineering Process Theories (PR), pp. 20–31.
ICSEICSE-v1-2015-SalmanMJ #question #re-engineering #student
Are Students Representatives of Professionals in Software Engineering Experiments? (IS, ATM, NJJ), pp. 666–676.
ICSEICSE-v1-2015-SiegmundSA #empirical #re-engineering
Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.
ICSEICSE-v1-2015-Silenzi #re-engineering
Software Engineering in Ferrari F1 (CS), p. 3.
ICSEICSE-v1-2015-SmithBZ #exclamation #scalability #tool support
Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
ICSEICSE-v1-2015-TanR #automation #named
relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.
ICSEICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing
DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSEICSE-v1-2015-ZhuLL #programming
A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ICSEICSE-v2-2015-AbreuEP #fine-grained #monitoring #named
CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts (RA, HE, AP), pp. 551–554.
ICSEICSE-v2-2015-AnthonysamyR #in the large #privacy #re-engineering
Software Engineering for Privacy in-the-Large (PA, AR), pp. 947–948.
ICSEICSE-v2-2015-ArnaoudovaHMA #natural language #re-engineering #retrieval
The Use of Text Retrieval and Natural Language Processing in Software Engineering (VA, SH, AM, GA), pp. 949–950.
ICSEICSE-v2-2015-Assuncao #architecture #migration #product line #search-based
Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.
ICSEICSE-v2-2015-Baia #approach #multi #project management #simulation
An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management (DdMB), pp. 911–914.
ICSEICSE-v2-2015-BarnBR #on the #re-engineering
On the Role of Value Sensitive Concerns in Software Engineering Practice (BSB, RB, FR), pp. 497–500.
ICSEICSE-v2-2015-BeckerCDEPSV #design
Sustainability Design and Software: The Karlskrona Manifesto (CB, RC, LD, SME, BP, NS, CCV), pp. 467–476.
ICSEICSE-v2-2015-BenomarSP #comprehension #framework
A Unified Framework for the Comprehension of Software’s Time (OB, HAS, PP), pp. 603–606.
ICSEICSE-v2-2015-BoehmM
System Thinking: Educating T-Shaped Software Engineers (BWB, SKM), pp. 333–342.
ICSEICSE-v2-2015-Booch #future of #re-engineering
The Future of Software Engineering (SEIP Keynote) (GB), p. 3.
ICSEICSE-v2-2015-CamilloniVA #evaluation #re-engineering #using
Using GSwE2009 for the Evaluation of a Master Degree in Software Engineering in the Universidad de la República (LC, DV, MAA), pp. 323–332.
ICSEICSE-v2-2015-Cavalcante #architecture #development #on the
On the Architecture-Driven Development of Software-Intensive Systems-of-Systems (EC), pp. 899–902.
ICSEICSE-v2-2015-ClarkFPY #re-engineering
Information Transformation: An Underpinning Theory for Software Engineering (DC, RF, SMP, SY), pp. 599–602.
ICSEICSE-v2-2015-CoxBEV #dependence
Measuring Dependency Freshness in Software Systems (JC, EB, MCJDvE, JV), pp. 109–118.
ICSEICSE-v2-2015-DamSAG #mining #repository #social
Mining Software Repositories for Social Norms (HKD, BTRS, DA, AKG), pp. 627–630.
ICSEICSE-v2-2015-Devanbu
New Initiative: The Naturalness of Software (PTD), pp. 543–546.
ICSEICSE-v2-2015-Dintzner #evolution #product line
Safe Evolution Patterns for Software Product Lines (ND), pp. 875–878.
ICSEICSE-v2-2015-ElliottPP #artificial reality #challenge #re-engineering
Virtual Reality in Software Engineering: Affordances, Applications, and Challenges (AE, BP, CP), pp. 547–550.
ICSEICSE-v2-2015-Escobar-Avila #automation #bytecode #categorisation #library #using
Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.
ICSEICSE-v2-2015-FalknerSVF #development #evolution
Evolution of Software Development Strategies (KEF, CS, RV, NJGF), pp. 243–252.
ICSEICSE-v2-2015-Franch #requirements #state of the art
Software Requirements Patterns — A State of the Art and the Practice (XF), pp. 943–944.
ICSEICSE-v2-2015-GoldsteinS #architecture #automation #validation
Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
ICSEICSE-v2-2015-HallR #education #re-engineering #student
Masters-Level Software Engineering Education and the Enriched Student Context (JGH, LR), pp. 311–314.
ICSEICSE-v2-2015-Hanakawa #contest #learning #motivation #re-engineering #student
Contest Based Learning with Blending Software Engineering and Business Management: For Students’ High Motivation and High Practice Ability (NH), pp. 360–369.
ICSEICSE-v2-2015-Honsel #evolution #learning #mining #simulation #statistics
Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution (VH), pp. 863–866.
ICSEICSE-v2-2015-Inozemtseva #comprehension #fault #process
Understanding the Software Fault Introduction Process (LI), pp. 843–846.
ICSEICSE-v2-2015-Jiang #scalability #testing
Load Testing Large-Scale Software Systems (ZMJJ), pp. 955–956.
ICSEICSE-v2-2015-LeeKW0 #design
Software Design Studio: A Practical Example (JL, GK, JW, CB), pp. 389–397.
ICSEICSE-v2-2015-LutellierCGTRMK #architecture #dependence #using
Comparing Software Architecture Recovery Techniques Using Accurate Dependencies (TL, DC, JG, LT, DR, NM, RK), pp. 69–78.
ICSEICSE-v2-2015-Mead #collaboration #education #industrial #re-engineering
Industry/University Collaboration in Software Engineering Education: Refreshing and Retuning Our Strategies (NRM), pp. 273–275.
ICSEICSE-v2-2015-MenziesMP #data analysis
The Art and Science of Analyzing Software Data; Quantitative Methods (TM, LLM, FP), pp. 959–960.
ICSEICSE-v2-2015-Muller #developer
Measuring Software Developers’ Perceived Difficulty with Biometric Sensors (SCM), pp. 887–890.
ICSEICSE-v2-2015-NagappanM #big data #re-engineering
Big(ger) Data in Software Engineering (MN, MM), pp. 957–958.
ICSEICSE-v2-2015-NetoTM #empirical #evaluation #testing
An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques (FGdON, RT, PDLM), pp. 575–578.
ICSEICSE-v2-2015-NewmanFSFFW #design #physics #prototype #re-engineering #social
The Role of Design Thinking and Physical Prototyping in Social Software Engineering (PN, MAF, WS, SF, AF, JW), pp. 487–496.
ICSEICSE-v2-2015-PaasivaaraBLDSH #agile #learning #re-engineering #using
Learning Global Agile Software Engineering Using Same-Site and Cross-Site Teams (MP, KB, CL, DED, JS, FH, PC, AY, VI), pp. 285–294.
ICSEICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing
Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.
ICSEICSE-v2-2015-PathakIH #framework #named
AppCivist — A Service-Oriented Software Platform for Socially Sustainable Activism (AP, VI, JH), pp. 515–518.
ICSEICSE-v2-2015-PecchiaCCC #assessment #development #industrial #process
Industry Practices and Event Logging: Assessment of a Critical Software Development Process (AP, MC, GC, DC), pp. 169–178.
ICSEICSE-v2-2015-PetersM #re-engineering #what
Educating Software Engineering Managers — Revisited What Software Project Managers Need to Know Today (LP, AMM), pp. 353–359.
ICSEICSE-v2-2015-ProcacciantiLVF #energy #performance
The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
ICSEICSE-v2-2015-RashidMMC #re-engineering
Managing Emergent Ethical Concerns for Software Engineering in Society (AR, KM, CMC, RC), pp. 523–526.
ICSEICSE-v2-2015-RupakhetiC #architecture #case study #education #experience #student
Teaching Software Architecture to Undergraduate Students: An Experience Report (CRR, SVC), pp. 445–454.
ICSEICSE-v2-2015-SawyerSRB #challenge #re-engineering #social
Dementia and Social Sustainability: Challenges for Software Engineering (PS, AS, PR, CB), pp. 527–530.
ICSEICSE-v2-2015-SedelmaierL #education #induction #learning #re-engineering
Active and Inductive Learning in Software Engineering Education (YS, DL), pp. 418–427.
ICSEICSE-v2-2015-ShepherdDP #how #re-engineering #research
How and When to Transfer Software Engineering Research via Extensions (DCS, KD, LLP), pp. 239–240.
ICSEICSE-v2-2015-ShinRM #concurrent #education #re-engineering
Concurrent Software Engineering and Robotics Education (JS, AR, BM), pp. 370–379.
ICSEICSE-v2-2015-SimpsonMCFMR #case study #education #experience #security
Experiences in Developing and Delivering a Programme of Part-Time Education in Software and Systems Security (ACS, AM, CJFC, IF, IM, KBR), pp. 435–444.
ICSEICSE-v2-2015-SoundarajanJR #collaboration #re-engineering
Collaborative and Cooperative-Learning in Software Engineering Courses (NS, SJ, RR), pp. 319–322.
ICSEICSE-v2-2015-Szabo #comprehension #maintenance
Novice Code Understanding Strategies during a Software Maintenance Assignment (CS), pp. 276–284.
ICSEICSE-v2-2015-Thompson #development #generative #towards
Towards Generation of Software Development Tasks (CAT), pp. 915–918.
ICSEICSE-v2-2015-TreudeSKR #documentation #named #navigation
TaskNav: Task-Based Navigation of Software Documentation (CT, MS, MK, MPR), pp. 649–652.
ICSEICSE-v2-2015-VetroOF0 #empirical #feedback #performance #re-engineering #research
Fast Feedback Cycles in Empirical Software Engineering Research (AV, SO, DMF, SW), pp. 583–586.
ICSEICSE-v2-2015-WermelingerHRBR #education
Teaching Software Systems Thinking at The Open University (MW, JGH, LR, LB, MR, AKB), pp. 307–310.
ICSEICSE-v2-2015-White #re-engineering
Deep Representations for Software Engineering (MW), pp. 781–783.
PLEASEPLEASE-2015-ChitchyanNG #product line #re-engineering #what
What Can Software Engineering Do for Sustainability: Case of Software Product Lines (RC, JN, IG), pp. 11–14.
PLEASEPLEASE-2015-Lago #challenge
Challenges and Opportunities for Sustainable Software (PL), pp. 1–2.
PLEASEPLEASE-2015-TzeremesG #approach #development #product line
A Software Product Line Approach for End User Development of Smart Spaces (VT, HG), pp. 23–26.
SPLCSPLC-2015-AbbasA #adaptation #product line #self #variability
Harnessing variability in product-lines of self-adaptive software systems (NA, JA), pp. 191–200.
SPLCSPLC-2015-BeekFGM #analysis #product line #using
Using FMC for family-based analysis of software product lines (MHtB, AF, SG, FM), pp. 432–439.
SPLCSPLC-2015-BeekLLV #analysis #constraints #modelling #probability #product line #statistics
Statistical analysis of probabilistic models of software product lines with quantitative constraints (MHtB, AL, ALL, AV), pp. 11–15.
SPLCSPLC-2015-BergerLRGS0CC #industrial #product line #what
What is a feature?: a qualitative study of features in industrial software product lines (TB, DL, JR, PG, AS, MB, MC, KC), pp. 16–25.
SPLCSPLC-2015-ColaLTQ #product line
An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
SPLCSPLC-2015-DudderRH #composition #design #staged #type safety #using
Synthesizing type-safe compositions in feature oriented software designs using staged composition (BD, JR, GTH), pp. 398–401.
SPLCSPLC-2015-EichelbergerS #domain-specific language #ecosystem #named #variability
IVML: a DSL for configuration in variability-rich software ecosystems (HE, KS), pp. 365–369.
SPLCSPLC-2015-FontAHC #concept #product line
Building software product lines from conceptualized model patterns (JF, LA, ØH, CC), pp. 46–55.
SPLCSPLC-2015-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
SPLCSPLC-2015-LachmannLLBSS #integration #product line #testing
Delta-oriented test case prioritization for integration testing of software product lines (RL, SL, SL, SB, SS, IS), pp. 81–90.
SPLCSPLC-2015-MartinezZBKT #approach #bottom-up #product line
Bottom-up adoption of software product lines: a generic and extensible approach (JM, TZ, TFB, JK, YLT), pp. 101–110.
SPLCSPLC-2015-PatelS #as a service #automation #testing #using #variability
Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
SPLCSPLC-2015-QuintonRVGB #challenge #evolution #product line
Evolution in dynamic software product lines: challenges and perspectives (CQ, RR, MV, PG, LB), pp. 126–130.
SPLCSPLC-2015-SchmidE #ecosystem #named #product line #variability
EASy-Producer: from product lines to variability-rich software ecosystems (KS, HE), pp. 390–391.
SPLCSPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line
Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
SPLCSPLC-2015-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
SPLCSPLC-2015-ValeAFG #case study #comparative #metric #product line
Defining metric thresholds for software product lines: a comparative study (GV, DA, EF, AFG), pp. 176–185.
ASPLOSASPLOS-2015-DhawanHRVCSKPD #architecture #metadata
Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
ASPLOSASPLOS-2015-HicksSKS #debugging #lightweight #named #runtime #specification
SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
ASPLOSASPLOS-2015-LiuHMHTS #memory management #named
GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
PPoPPPPoPP-2015-XiangS #clustering #hardware #transaction
Software partitioning of hardware transactions (LX, MLS), pp. 76–86.
PPoPPPPoPP-2015-ZhangHCB #memory management #semantics #transaction
Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
SOSPSOSP-2015-BadamCDFHHMMPS
Software defined batteries (AB, RC, JD, AF, SH, PH, JM, TM, BP, EDS), pp. 215–229.
CAVCAV-2015-DemyanovaPVZ #benchmark #empirical #metric #tool support #verification
Empirical Software Metrics for Benchmarking of Verification Tools (YD, TP, HV, FZ), pp. 561–579.
CAVCAV-2015-DietschHLP #approach #ltl #model checking #modulo theories
Fairness Modulo Theory: A New Approach to LTL Software Model Checking (DD, MH, VL, AP), pp. 49–66.
CAVCAV-2015-Leslie-HurdCF #verification
Verifying Linearizability of Intel® Software Guard Extensions (RLH, DC, MF), pp. 144–160.
ICLPICLP-J-2015-BlackmoreRE #approach #compilation #effectiveness #embedded #logic programming #predict
A logic programming approach to predict effective compiler settings for embedded software (CB, OR, KE), pp. 481–494.
ICSTICST-2015-BaiSP #fault #named #using
NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.
ICSTICST-2015-HarmanJZ #challenge #problem #testing
Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.
ICSTICST-2015-Holleis #development #embedded #industrial #testing #workflow
Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICSTICST-2015-Oriol #embedded #legacy #re-engineering #testing
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICSTICST-2015-Rapos #co-evolution #industrial #modelling #testing
Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICSTICST-2015-SantosC #agile #challenge #industrial #mobile #testing #using
Mobile Testing in Software Industry Using Agile: Challenges and Opportunities (AS, IC), pp. 1–2.
ISSTAISSTA-2015-BarrHJMP #automation
Automated software transplantation (ETB, MH, YJ, AM, JP), pp. 257–269.
ISSTAISSTA-2015-RojasFA #automation #development #empirical #generative #testing
Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ISSTAISSTA-2015-ZhangE #detection #fault
Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
TAPTAP-2015-DutleMNB #animation #validation
Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
CBSECBSE-2014-HorcasPF #architecture #injection #quality #variability
Injecting quality attributes into software architectures with the common variability language (JMH, MP, LF), pp. 35–44.
CBSECBSE-2014-Lau #component #modelling #past present future
Software component models: past, present and future (KKL), pp. 185–186.
CBSECBSE-2014-LongYMPS #collaboration #component #testing
Enabling collaborative testing across shared software components (TL, ICY, AMM, AAP, AS), pp. 55–64.
CBSECBSE-2014-NoorshamsRRKR #architecture #modelling #performance #predict #statistics
Enriching software architecture models with statistical models for performance prediction in modern storage environments (QN, RR, AR, SK, RHR), pp. 45–54.
CBSECBSE-2014-PresslerVBR #component #deployment #embedded #estimation #execution
Execution cost estimation for software deployment in component-based embedded systems (MP, AV, OB, WR), pp. 123–128.
CBSECBSE-2014-Slotos #specification
A specification schema for software connectors (TS), pp. 139–148.
ECSAECSA-2014-AngelovH #architecture #towards
Towards an Improved Stakeholder Management for Software Reference Architectures (SA, RH), pp. 90–97.
ECSAECSA-2014-BerardinelliMP #analysis #design #network #performance
fUML-Driven Design and Performance Analysis of Software Agents for Wireless Sensor Network (LB, ADM, SP), pp. 324–339.
ECSAECSA-2014-CaraccioloLN #architecture #how #quality #question #requirements #validation
How Do Software Architects Specify and Validate Quality Requirements? (AC, MFL, ON), pp. 374–389.
ECSAECSA-2014-FrommgenLB #composition #framework
A Property Description Framework for Composable Software (AF, ML, APB), pp. 267–282.
ECSAECSA-2014-JamrozPW #adaptation #architecture #development #enterprise
Adapting Enterprise Architecture at a Software Development Company and the Resultant Benefits (KJ, DP, JW), pp. 170–185.
ECSAECSA-2014-NoiaMS #design
Ontology-Driven Pattern Selection and Matching in Software Design (TDN, MM, EDS), pp. 82–89.
ECSAECSA-2014-RekhaM #architecture
Suitability of Software Architecture Decision Making Methods for Group Decisions (VSR, HM), pp. 17–32.
ECSAECSA-2014-SolimanR #architecture #interactive #modelling
Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
QoSAQoSA-2014-CamaraCLV #adaptation #architecture #empirical #evaluation #self
Empirical resilience evaluation of an architecture-based self-adaptive software system (JC, PC, RdL, MV), pp. 63–72.
QoSAQoSA-2014-EtxeberriaTCS #hardware #nondeterminism #parametricity
Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
QoSAQoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification
Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
QoSAQoSA-2014-MirandolaP #adaptation #formal method #modelling #self
Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.
QoSAQoSA-2014-MzidMBA #concurrent #design pattern #modelling #named #realtime
SRMP: a software pattern for deadlocks prevention inreal-time concurrency models (RM, CM, JPB, MA), pp. 139–144.
QoSAQoSA-2014-Perez-PalacinM #modelling #nondeterminism #performance
Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSAWICSA-2014-BabazadehP #design #distributed #framework
The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
WICSAWICSA-2014-BiancoMKR #bound #case study #ecosystem #framework
The Role of Platform Boundary Resources in Software Ecosystems: A Case Study (VdB, VM, MK, MR), pp. 11–20.
WICSAWICSA-2014-Braude #architecture #cumulative #development
Cumulative Software Architecture Development (EJB), pp. 163–166.
WICSAWICSA-2014-ChauhanB #architecture #as a service #development #tool support #towards
Towards a Reference Architecture to Provision Tools as a Service for Global Software Development (MAC, MAB), pp. 167–170.
WICSAWICSA-2014-ChenB #agile #architecture #comprehension #development #refactoring #towards
Towards an Evidence-Based Understanding of Emergence of Architecture through Continuous Refactoring in Agile Software Development (LC, MAB), pp. 195–204.
WICSAWICSA-2014-FaniyiLBY #architecture #self
Architecting Self-Aware Software Systems (FF, PRL, RB, XY), pp. 91–94.
WICSAWICSA-2014-HarperD #agile #architecture #data analysis
Agile Software Architecture in Advanced Data Analytics (KEH, AD), pp. 243–246.
WICSAWICSA-2014-JavedZ #architecture #comprehension #traceability
The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments (MAJ, UZ), pp. 215–224.
WICSAWICSA-2014-KnodelN #architecture #evaluation #industrial
Software Architecture Evaluation in Practice: Retrospective on More Than 50 Architecture Evaluations in Industry (JK, MN), pp. 115–124.
WICSAWICSA-2014-PerovichB #architecture #formal method #modelling
Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
WICSAWICSA-2014-RekhaM #architecture #case study
A Study on Group Decision-Making in Software Architecture (VSR, HM), pp. 185–194.
WICSAWICSA-2014-SmileyMW #adaptation #architecture #performance #product line #reuse
A Dynamic Software Product Line Architecture for Prepackaged Expert Analytics: Enabling Efficient Capture, Reuse and Adaptation of Operational Knowledge (KS, SM, PW), pp. 205–214.
WICSAWICSA-2014-UusitaloRKMM #architecture #automation #lessons learnt #safety
Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants (EJU, MR, MK, VM, TM), pp. 45–48.
WICSAWICSA-2014-WeinreichB #architecture #automation #consistency
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
ASEASE-2014-AzimNM #automation #self #smarttech #towards
Towards self-healing smartphone software via automated patching (TA, IN, LMM), pp. 623–628.
ASEASE-2014-Borg #debugging #re-engineering #using
Embrace your issues: compassing the software engineering landscape using bug reports (MB), pp. 891–894.
ASEASE-2014-BurgDMDGH #consistency #nondeterminism #process
Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASEASE-2014-CavalcantiMNAM #information retrieval #rule-based
Combining rule-based and information retrieval techniques to assign software change requests (YCC, IdCM, PAdMSN, ESdA, SRdLM), pp. 325–330.
ASEASE-2014-JinCQR #configuration management #named
PrefFinder: getting the right preference in configurable software systems (DJ, MBC, XQ, BR), pp. 151–162.
ASEASE-2014-Larsson #case study #experience #industrial #lifecycle
Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.
ASEASE-2014-MkaouerKBDC #interactive #optimisation #recommendation #refactoring #using
Recommendation system for software refactoring using innovization and interactive dynamic optimization (MWM, MK, SB, KD, MÓC), pp. 331–336.
ASEASE-2014-Mohr #automation #composition
Issues of automated software composition in AI planning (FM), pp. 895–898.
ASEASE-2014-RenCL #android #named
Droidmarking: resilient software watermarking for impeding android application repackaging (CR, KC, PL), pp. 635–646.
ASEASE-2014-TurenneKGR #generative
A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
ASEASE-2014-YeXZC #ranking #retrieval
Interrogative-guided re-ranking for question-oriented software text retrieval (TY, BX, YZ, XC), pp. 115–120.
DACDAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi
A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DACDAC-2014-DaviKS #control flow #embedded #fine-grained #performance #towards
Hardware-Assisted Fine-Grained Control-Flow Integrity: Towards Efficient Protection of Embedded Systems Against Software Exploitation (LD, PK, ARS), p. 6.
DACDAC-2014-EldibWTS #named #source code
QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code (HE, CW, MMIT, PS), p. 6.
DACDAC-2014-HerrewegeV
Software Only, Extremely Compact, Keccak-based Secure PRNG on ARM Cortex-M (AVH, IV), p. 6.
DACDAC-2014-HollerDKSF #co-evolution #design #encryption #hardware
Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications (AH, ND, CK, CS, TF), p. 6.
DATEDATE-2014-BraojosDBAA #approach #hardware #manycore #power management
Hardware/software approach for code synchronization in low-power multi-core sensor nodes (RB, AYD, IB, GA, DA), pp. 1–6.
DATEDATE-2014-KhanSH #architecture #manycore #performance #power management #video
Software architecture of High Efficiency Video Coding for many-core systems with power-efficient workload balancing (MUKK, MS, JH), pp. 1–6.
DATEDATE-2014-PalerDNP #fault tolerance #quantum
Software-based Pauli tracking in fault-tolerant quantum circuits (AP, SJD, KN, IP), pp. 1–4.
DocEngDocEng-2014-GraafLTV #documentation #information management
The impact of prior knowledge on searching in software documentation (KAdG, PL, AT, HvV), pp. 189–198.
SIGMODSIGMOD-2014-XiongHN #approach #distributed #network #performance #query
A software-defined networking based approach for performance management of analytical queries on distributed data stores (PX, HH, JFN), pp. 955–966.
VLDBVLDB-2014-XiongH #distributed #named #network #performance #query
Pronto: A Software-Defined Networking based System for Performance Management of Analytical Queries on Distributed Data Stores (PX, HH), pp. 1661–1664.
CSEETCSEET-2014-Ackerman #learning #re-engineering
An active learning module for an introduction to software engineering course (AFA), pp. 190–191.
CSEETCSEET-2014-AkpolatS #gamification #programming #re-engineering #student #using
Enhancing software engineering student team engagement in a high-intensity extreme programming course using gamification (BSA, WS), pp. 149–153.
CSEETCSEET-2014-BenabidA #aspect-oriented #education #re-engineering #research
The synergy of engineering and research aspects in Software Engineering Education (AB, GAH), pp. 44–48.
CSEETCSEET-2014-BoehmK #education #empirical #re-engineering #research
Combining software engineering education and empirical research via instrumented real-client team project courses (BWB, SK), pp. 209–211.
CSEETCSEET-2014-BullW #framework #re-engineering
Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.
CSEETCSEET-2014-Dagnino #education #effectiveness #industrial #re-engineering
Increasing the effectiveness of teaching software engineering: A University and industry partnership (AD), pp. 49–54.
CSEETCSEET-2014-Ding #learning #re-engineering #self
Self-guided learning environment for undergraduate software engineering (JD), pp. 188–189.
CSEETCSEET-2014-FairleyBK #education #re-engineering
The impact of SWEBOK Version 3 on software engineering education and training (REF, PB, JK), pp. 192–200.
CSEETCSEET-2014-FranklBK #development #learning
Learning and working together as prerequisites for the development of high-quality software (GF, SB, BK), pp. 154–157.
CSEETCSEET-2014-FranklBK14a #collaboration #education #re-engineering #social
Win-for-all in software engineering education: Balancing social dilemmas to foster collaboration (GF, SB, BK), pp. 163–167.
CSEETCSEET-2014-GrantS #development #education #re-engineering
Technology-driven software engineering curriculum development (ESG, VS), pp. 168–170.
CSEETCSEET-2014-HannaJJSA #case study #re-engineering
Enhancing the software engineering curriculums: A case study of the Jordanian Universities (SH, HJ, FAJ, TAS, AA), pp. 84–93.
CSEETCSEET-2014-Koolmanojwong #re-engineering #risk management
Top-10 risks in real-client software engineering class projects (SK), pp. 201–202.
CSEETCSEET-2014-LiemAAMW #education #re-engineering #towards
Reshaping software engineering education towards 2020 engineers (IL, YA, SA, AM, YW), pp. 171–174.
CSEETCSEET-2014-MarquesO #student
Improving teamwork in students software projects (MM, SFO), pp. 99–108.
CSEETCSEET-2014-NordioEMAPNS #coordination #distributed #education #empirical #re-engineering
An experiment on teaching coordination in a globally distributed software engineering class (MN, HCE, BM, NA, RP, EDN, AS), pp. 109–118.
CSEETCSEET-2014-Opdahl #development #education #semantics
Teaching semantic technologies as part of a software development program (ALO), pp. 203–204.
CSEETCSEET-2014-PotterSDW #game studies #learning #named
InspectorX: A game for software inspection training and learning (HP, MS, LD, VW), pp. 55–64.
CSEETCSEET-2014-ReddyN #education
Teaching software product engineering in undergraduate computing curriculum (YRR, KVN), pp. 175–178.
CSEETCSEET-2014-RongZS #case study #education #experience #matter #process
Where does experience matter in software process education? An experience report (GR, HZ, DS), pp. 129–138.
CSEETCSEET-2014-ShankararamanD #challenge #design #education #re-engineering #using
Opportunities and challenges in using competencies during design and delivery of software engineering curriculum (VS, JD), pp. 179–182.
CSEETCSEET-2014-Steppe #analysis #dependence #design #education #graph #using
Teaching analysis of software designs using dependency graphs (KS), pp. 65–73.
CSEETCSEET-2014-Wong #challenge #education #experience #lessons learnt #re-engineering
Experience of teaching Executive Master’s program in Software Engineering: Challenges, lessons learned, and path forward (WEW), pp. 186–187.
CSEETCSEET-2014-YamadaIWKFYOKT #development #education #effectiveness #learning
The impacts of personal characteristic on educational effectiveness in controlled-project based learning on software intensive systems development (YY, SI, HW, KK, YF, SY, MO, TK, MT), pp. 119–128.
ITiCSEITiCSE-2014-BuffardiE #adaptation #feedback #testing
Responses to adaptive feedback for software testing (KB, SHE), pp. 165–170.
ITiCSEITiCSE-2014-EdwardsS #question #student #testing
Do student programmers all tend to write the same software tests? (SHE, ZS), pp. 171–176.
ITiCSEITiCSE-2014-EllisH #learning #open source #re-engineering
Structuring software engineering learning within open source software participation (HJCE, GWH), p. 326.
ITiCSEITiCSE-2014-MonasorVPNB #assessment #development #process
Assessment process for a simulation-based training environment in global software development (MJM, AV, MP, JN, SB), pp. 231–236.
ITiCSEITiCSE-2014-PriorCL #case study #experience #learning
Things coming together: learning experiences in a software studio (JP, AC, JL), pp. 129–134.
ITiCSEITiCSE-2014-SmithGM #comprehension #re-engineering #student
Understanding students’ preferences of software engineering projects (TS, SSG, RM), pp. 135–140.
ITiCSEITiCSE-2014-Sohoni
Making the hardware-software connection with PLP (SS), p. 324.
FASEFASE-2014-KowalST #analysis #performance
Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
FASEFASE-2014-SadeghiEM #analysis #mining #repository #security
Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities (AS, NE, SM), pp. 155–169.
TACASTACAS-2014-Beyer #contest #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
TACASTACAS-2014-EldibWS #smt #verification
SMT-Based Verification of Software Countermeasures against Side-Channel Attacks (HE, CW, PS), pp. 62–77.
SANERCSMR-WCRE-2014-AntinyanSMOWWHH #agile #case study #development #experience #identification #industrial #risk management
Identifying risky areas of software code in Agile/Lean software development: An industrial experience report (VA, MS, WM, , EW, JW, AH, JH), pp. 154–163.
SANERCSMR-WCRE-2014-BaggeZ #problem
International workshop on open and original problems in software language engineering (AHB, VZ), p. 478.
SANERCSMR-WCRE-2014-BakotaHSLF #quality
Qualitygate SourceAudit: A tool for assessing the technical quality of software (TB, PH, IS, GL, RF), pp. 440–445.
SANERCSMR-WCRE-2014-BaudryMMCFC #evolution #named
DIVERSIFY: Ecology-inspired software evolution for diversity emergence (BB, MM, CM, FC, FF, SC), pp. 395–398.
SANERCSMR-WCRE-2014-BrandtnerGG #integration #quality
Supporting continuous integration by mashing-up software quality information (MB, EG, HCG), pp. 184–193.
SANERCSMR-WCRE-2014-GoeminneDM #co-evolution #data-driven
Co-evolving code-related and database-related changes in a data-intensive software system (MG, AD, TM), pp. 353–357.
SANERCSMR-WCRE-2014-GrantC #maintenance #similarity #topic
Examining the relationship between topic model similarity and software maintenance (SG, JRC), pp. 303–307.
SANERCSMR-WCRE-2014-Grosjean #biology #maintenance #using
Using biology and ecology as inspiration for software maintenance? (Keynote abstract) (PG), p. 1.
SANERCSMR-WCRE-2014-Heing-BeckerKS #developer #injection
Bit-error injection for software developers (MHB, TK, SS), pp. 434–439.
SANERCSMR-WCRE-2014-Jelschen #evolution #integration #named
SENSEI: Software evolution service integration (JJ), pp. 469–472.
SANERCSMR-WCRE-2014-KnodelN #architecture #industrial
Mitigating the Risk of software change in practice: Retrospective on more than 50 architecture evaluations in industry (Keynote paper) (JK, MN), pp. 2–17.
SANERCSMR-WCRE-2014-McIntoshLH #evolution #representation
Orchestrating change: An artistic representation of software evolution (SM, KL, AEH), pp. 348–352.
SANERCSMR-WCRE-2014-MensCG #ecosystem #named #open source
ECOS: Ecological studies of open source software ecosystems (TM, MC, PG), pp. 403–406.
SANERCSMR-WCRE-2014-OyetoyanCC #component #dependence #evolution #fault
Transition and defect patterns of components in dependency cycles during software evolution (TDO, DSC, RC), pp. 283–292.
SANERCSMR-WCRE-2014-QuanteTS #c #case study #towards
Towards recovering and exploiting domain knowledge from C code: A case study on automotive software (JQ, MT, JS), pp. 383–386.
SANERCSMR-WCRE-2014-RoyZK #past present future
The vision of software clone management: Past, present, and future (Keynote paper) (CKR, MFZ, RK), pp. 18–33.
SANERCSMR-WCRE-2014-TianLL #automation #database #similarity #word
Automated construction of a software-specific word similarity database (YT, DL, JLL), pp. 44–53.
SANERCSMR-WCRE-2014-XiaFLCW #behaviour #learning #multi #towards
Towards more accurate multi-label software behavior learning (XX, YF, DL, ZC, XW), pp. 134–143.
SANERCSMR-WCRE-2014-ZhangPNMELWCT #architecture #embedded #experience
Experience on applying software architecture recovery to automotive embedded systems (XZ, MP, MN, BM, AE, HL, JW, DJC, MT), pp. 379–382.
ICPCICPC-2014-GrechanikMDPG #information management
Redacting sensitive information in software artifacts (MG, CM, TD, DP, MG), pp. 314–325.
ICPCICPC-2014-GuptaSVU #assessment #industrial #named #quality #scalability
SCQAM: a scalable structured code quality assessment method for industrial software (SG, HKS, RDV, UU), pp. 244–252.
ICPCICPC-2014-PerezA #approach #comprehension
A diagnosis-based approach to software comprehension (AP, RA), pp. 37–47.
ICPCICPC-2014-ShahinLL #architecture #comprehension #design
Do architectural design decisions improve the understanding of software architecture? two controlled experiments (MS, PL, ZL), pp. 3–13.
ICPCICPC-2014-SouzaCM #development #ranking
Ranking crowd knowledge to assist software development (LBLdS, ECC, MdAM), pp. 72–82.
ICPCICPC-2014-TianZLFZY #detection #parallel #thread
Plagiarism detection for multithreaded software based on thread-aware software birthmarks (ZT, QZ, TL, MF, XZ, ZY), pp. 304–313.
ICPCICPC-2014-VasconcelosSW #feature model #visualisation
An information visualization feature model for supporting the selection of software visualizations (RV, MS, CW), pp. 122–125.
ICPCICPC-2014-WaltersSSK #developer #traceability
Capturing software traceability links from developers’ eye gazes (BW, TS, BS, HHK), pp. 201–204.
ICSMEICSME-2014-Anslow #collaboration #visualisation
Reflections on Collaborative Software Visualization in Co-located Environments (CA), pp. 645–650.
ICSMEICSME-2014-Bettenburg #communication #developer #evolution #quality
Studying the Impact of Developer Communication on the Quality and Evolution of a Software System: A Doctoral Dissertation Retrospective (NB), pp. 651–656.
ICSMEICSME-2014-BouwersDV #architecture #encapsulation
Quantifying the Encapsulation of Implemented Software Architectures (EB, AvD, JV), pp. 211–220.
ICSMEICSME-2014-ChaikalisLMC #analysis #evolution #named
SEAgle: Effortless Software Evolution Analysis (TC, EL, GM, AC), pp. 581–584.
ICSMEICSME-2014-FischerLLE #reuse
Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants (SF, LL, RELH, AE), pp. 391–400.
ICSMEICSME-2014-Haiduc #query #re-engineering #retrieval
Supporting Query Formulation for Text Retrieval Applications in Software Engineering (SH), pp. 657–662.
ICSMEICSME-2014-LinsbauerAGLPLE #variability
Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems (LL, FA, PG, DL, HP, RELH, AE), pp. 426–430.
ICSMEICSME-2014-LinXPL0ZD #maintenance #named
Clonepedia: Summarizing Code Clones by Common Syntactic Context for Software Maintenance (YL, ZX, XP, YL, JS, WZ, JSD), pp. 341–350.
ICSMEICSME-2014-MulcahyH #legacy #self
Autonomic Software Systems: Developing for Self-Managing Legacy Systems (JJM, SH), pp. 549–552.
ICSMEICSME-2014-ParizyTK #design #fault #predict
Software Defect Prediction for LSI Designs (MP, KT, YK), pp. 565–568.
ICSMEICSME-2014-Rapos #co-evolution #industrial #modelling #testing
Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSMEICSME-2014-Reiss14a #repository
Tool Demo: Browsing Software Repositories (SPR), pp. 589–592.
ICSMEICSME-2014-Sasso #fault
Managing Software Defects (TDS), p. 669.
ICSMEICSME-2014-Shihab #predict #quality
Practical Software Quality Prediction (ES), pp. 639–644.
ICSMEICSME-2014-SteidlDPHU #quality
Continuous Software Quality Control in Practice (DS, FD, MP, RH, BUM), pp. 561–564.
ICSMEICSME-2014-StevensR #query #using
Querying the History of Software Projects Using QWALKEKO (RS, CDR), pp. 585–588.
ICSMEICSME-2014-VieiraFC #embedded #maintenance #metric #performance #using
Using Software Metrics to Estimate the Impact of Maintenance in the Performance of Embedded Software (AV, PF, ÉFC), pp. 521–525.
ICSMEICSME-2014-WangLVS #named #recommendation
EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites (SW, DL, BV, AS), pp. 291–300.
ICSMEICSME-2014-YanMG #contract #evolution #mining
Mining Software Contracts for Software Evolution (YY, MM, WGG), pp. 471–475.
MSRMSR-2014-BaldassariP #comprehension #evolution #set
Understanding software evolution: the maisqual ant data set (BB, PP), pp. 424–427.
MSRMSR-2014-BloemenAKO #analysis #database #dependence #open source
Innovation diffusion in open source software: preliminary analysis of dependency changes in the gentoo portage package database (RB, CA, SK, GOM), pp. 316–319.
MSRMSR-2014-FarahTC #analysis #architecture #named #quality #scalability
OpenHub: a scalable architecture for the analysis of software quality attributes (GF, JST, DC), pp. 420–423.
MSRMSR-2014-GuptaSP #fault #mining #multi #perspective #process #repository
Process mining multiple repositories for software defect resolution from control and organizational perspective (MG, AS, SP), pp. 122–131.
MSRMSR-2014-HindleWRBCR #energy #framework #hardware #mining #named #repository
GreenMiner: a hardware based mining software repositories software energy consumption framework (AH, AW, KR, EJB, JCC, SR), pp. 12–21.
MSRMSR-2014-McIntoshKAH #bibliography #case study #code review #quality
The impact of code review coverage and code review participation on software quality: a case study of the qt, VTK, and ITK projects (SM, YK, BA, AEH), pp. 192–201.
MSRMSR-2014-Mockus #mining #repository
Is mining software repositories data science? (keynote) (AM), p. 1.
MSRMSR-2014-MurgiaTAO #analysis #developer
Do developers feel emotions? an exploratory analysis of emotions in software artifacts (AM, PT, BA, MO), pp. 262–271.
MSRMSR-2014-PintoCL #energy #mining
Mining questions about software energy consumption (GP, FC, YDL), pp. 22–31.
MSRMSR-2014-RoblesGCCI #case study #development #mining #open source #repository
Estimating development effort in Free/Open source software projects by mining software repositories: a case study of OpenStack (GR, JMGB, CC, AC, DIC), pp. 222–231.
MSRMSR-2014-RoblesRSVG #bibliography #challenge #dataset
FLOSS 2013: a survey dataset about free software contributors: challenges for curating, sharing, and combining (GR, LAR, AS, BV, JMGB), pp. 396–399.
MSRMSR-2014-TulsianKKLN #algorithm #model checking #named
MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
MSRMSR-2014-ZhangH #dataset #energy #mining
A green miner’s dataset: mining the impact of software change on energy consumption (CZ, AH), pp. 400–403.
SCAMSCAM-2014-CaraccioloCSL #corpus #multi #named
Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora (AC, AC, BS, ML), pp. 71–76.
SCAMSCAM-2014-JiangSGC #maintenance #on the #slicing
On the Accuracy of Forward Dynamic Slicing and Its Effects on Software Maintenance (SJ, RAS, MG, HC), pp. 145–154.
SCAMSCAM-2014-MurtazaHKC #automation #detection
Total ADS: Automated Software Anomaly Detection System (SSM, AHL, WK, MC), pp. 83–88.
SCAMSCAM-2014-SzokeANFG #quality #question #refactoring
Bulk Fixing Coding Issues and Its Effects on Software Quality: Is It Worth Refactoring? (GS, GA, CN, RF, TG), pp. 95–104.
SCAMSCAM-2014-TliliFBDH #scalability #security #verification
Scalable Security Verification of Software at Compile Time (ST, JMF, AB, BD, SH), pp. 115–124.
PLDIPLDI-2014-BallBGIKSSV #named #network #source code #towards #verification
VeriCon: towards verifying controller programs in software-defined networks (TB, NB, AG, SI, AK, MS, MS, AV), p. 31.
PLDIPLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
ICALPICALP-v1-2014-Kuncak #recursion #verification
Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.
FMFM-2014-ShanWFZZWQC #using #verification
Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
IFMIFM-2014-JakobsPWW #hardware #verification
Integrating Software and Hardware Verification (MCJ, MP, HW, TW), pp. 307–322.
SEFMSEFM-2014-AlrajehC #automation #composition #detection #specification
Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
SEFMSEFM-2014-KoreckoSDS #development #education #formal method #tool support
A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
SFMSFM-2014-BubelMH #analysis #execution #modelling
Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
ICFPICFP-2014-Findler #behaviour #contract
Behavioral software contracts (RBF), pp. 137–138.
CHICHI-2014-0002GF #multi #named #tutorial
CADament: a gamified multiplayer software tutorial system (WL, TG, GWF), pp. 3369–3378.
CHICHI-2014-ChiLD #named
DemoWiz: re-performing software demonstrations for a live presentation (PYC, BL, SMD), pp. 1581–1590.
CHICHI-2014-MengZHZES #development #named #user interface
WADE: simplified GUI add-on development for third-party software (XM, SZ, YH, ZZ, JE, RS), pp. 2221–2230.
CSCWCSCW-2014-LingelR #quote #tool support
“It’s in your spinal cord, it’s in your fingertips”: practices of tools and craft in building software (JL, TR), pp. 295–304.
CSCWCSCW-2014-MatthiesenBP #development #how #quote
“Figure out how to code with the hands of others”: recognizing cultural blind spots in global software development (SM, PB, LMP), pp. 1107–1119.
CSCWCSCW-2014-VasilescuSDF #community #how #open source #social
How social Q&A sites are changing knowledge sharing in open source software communities (BV, AS, PTD, VF), pp. 342–354.
HCIDUXU-DI-2014-Hellweg #development #education #future of #game studies #what
Wanting the Unwanted — What Games Can Teach Us about the Future of Software Development (DH), pp. 711–719.
HCIDUXU-DP-2014-Kumar #enterprise #experience #user interface
Humanizing the Enterprise — Delivering Best in Class User Experience to Business Software Users (JK), pp. 61–70.
HCIDUXU-ELAS-2014-MarcusDW #design
User-Experience for Personal Sustainability Software: Applying Design Philosophy and Principles (AM, JD, LW), pp. 583–593.
HCIHCI-AS-2014-ArakelyanL #design
Situating a Design Space for Sustainable Software Appropriation (AA, DRL), pp. 665–673.
HCIHCI-AS-2014-TeracineM #assessment #usability #web
Proposals for an Assessment Method of Accessibility and Usability in Web Software (ECT, FCM), pp. 80–89.
HCIHCI-TMT-2014-HankiewiczB #performance #quality #source code #using #word
Efficiency in Performing Basic Tasks Using Word Processing Programs by the Elderly as a Measure of the Ergonomic Quality of Software (KH, MB), pp. 481–488.
HCIHCI-TMT-2014-LatoschikF #multimodal #reuse #scalability
Engineering Variance: Software Techniques for Scalable, Customizable, and Reusable Multimodal Processing (MEL, MF), pp. 308–319.
HCIHCI-TMT-2014-LizanoS #comprehension #developer #towards #usability
Improvement of Novice Software Developers’ Understanding about Usability: The Role of Empathy Toward Users as a Case of Emotional Contagion (FL, JS), pp. 207–218.
HCIHCI-TMT-2014-TiefenbacherBR #architecture #composition #evaluation #industrial #interface #using
Evaluation of Industrial Touch Interfaces Using a Modular Software Architecture (PT, FB, GR), pp. 589–600.
HCIHIMI-DE-2014-TanikawaSKF #design #problem #process #usability #verification
Problems in Usability Improvement Activity by Software Engineers — Consideration through Verification Experiments for Human- Centered Design Process Support Environment (YT, HS, HK, SF), pp. 641–651.
HCILCT-NLE-2014-BrayshawGNWB #analysis #case study #evaluation #heuristic
Investigating Heuristic Evaluation as a Methodology for Evaluating Pedagogical Software: An Analysis Employing Three Case Studies (MB, NG, JTN, LW, AB), pp. 25–35.
HCISCSM-2014-MeloHSBGB #developer #gamification #version control
Version Control System Gamification: A Proposal to Encourage the Engagement of Developers to Collaborate in Software Projects (AAdM, MH, GS, CDMB, IG, FB), pp. 550–558.
VISSOFTVISSOFT-2014-BergelMDG #dependence #domain-specific language #graph #visualisation
A Domain-Specific Language for Visualizing Software Dependencies as a Graph (AB, SM, SD, TG), pp. 45–49.
VISSOFTVISSOFT-2014-GuzmanBB #evolution #feedback #named #visualisation
FAVe: Visualizing User Feedback for Software Evolution (EG, PB, BB), pp. 167–171.
VISSOFTVISSOFT-2014-MartinezZMBKT #constraints #graph #paradigm #product line #visualisation
Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines (JM, TZ, RM, TFB, JK, YLT), pp. 50–59.
VISSOFTVISSOFT-2014-ParedesAM #agile #development #visualisation
Information Visualization for Agile Software Development (JP, CA, FM), pp. 157–166.
VISSOFTVISSOFT-2014-RufiangeM #evolution #named #visualisation
AniMatrix: A Matrix-Based Visualization of Software Evolution (SR, GM), pp. 137–146.
VISSOFTVISSOFT-2014-SeriaiBCS #tool support #validation #visualisation
Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
HILTHILT-2014-BocchinoGGS #named #programming language
Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
HILTHILT-2014-SzaboVKRS #development #embedded #named
mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
CAiSECAiSE-2014-BastarricaMRSV #how #process #quality #question
How does Quality of Formalized Software Processes Affect Adoption? (MCB, GM, RR, LS, RV), pp. 226–240.
CAiSECAiSE-2014-KayesHC #data access #framework #named
PO-SAAC: A Purpose-Oriented Situation-Aware Access Control Framework for Software Services (ASMK, JH, AC), pp. 58–74.
CAiSECAiSE-2014-Reinhartz-BergerIW #ontology #product line #semantics #using #variability
Analyzing Variability of Software Product Lines Using Semantic and Ontological Considerations (IRB, NI, YW), pp. 150–164.
CAiSECAiSE-2014-SkoulisVZ #database #evolution #open source #question
Open-Source Databases: Within, Outside, or Beyond Lehman’s Laws of Software Evolution? (IS, PV, AZ), pp. 379–393.
ICEISICEIS-v1-2014-TimoteoVF #analysis #case study #dataset #network #project management
Evaluating Artificial Neural Networks and Traditional Approaches for Risk Analysis in Software Project Management — A Case Study with PERIL Dataset (CT, MV, SF), pp. 472–479.
ICEISICEIS-v2-2014-AbakumovA #assessment #enterprise #quality
Quality Assessment Technique for Enterprise Information-management System Software (EMA, DMA), pp. 348–354.
ICEISICEIS-v2-2014-JulianoTS #detection #metric #object-oriented #using
Detection of Software Anomalies Using Object-oriented Metrics (RCJ, BANT, MSS), pp. 241–248.
ICEISICEIS-v2-2014-MeloS #design #modelling #uml #using
Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
ICEISICEIS-v2-2014-MurianaMG #approach #development #information management #open source
Development of Open Source Software, a Qualitative View in a Knowledge Management Approach (LMM, CM, ACBG), pp. 391–399.
ICEISICEIS-v2-2014-SantosBLHC #development #distributed #metric #performance
Managing Distributed Software Development with Performance Measures (GSdS, RB, GCLL, EHMH, EC), pp. 307–314.
ICEISICEIS-v2-2014-SilvaFG #configuration management #product line #runtime #towards
Toward a QoS Based Run-time Reconfiguration in Service-oriented Dynamic Software Product Lines (JRFdS, ASdMF, VCG), pp. 460–465.
ICEISICEIS-v2-2014-TrienekensK #feedback #metric
Structuring Software Measurement — Metrication in the Context of Feedback Loops (JJMT, RJK), pp. 129–136.
KMISKMIS-2014-FrancoisMA #communication #design #email #problem #traceability #using
Discovering Problem-Solving Knowledge in Business Emails — Traceability in Software Design Using Computer Mediated Communication (RF, NM, HA), pp. 186–193.
KMISKMIS-2014-MikhaylovZFS #development
Development of the Protection System Against Malicious Software (DM, AZ, MF, ASS), pp. 161–170.
KMISKMIS-2014-WoitB #collaboration #consistency #development #process #programming
Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
SEKESEKE-2014-Al-MsiedeenSHUV #implementation #object-oriented #source code
Documenting the Mined Feature Implementations from the Object-oriented Source Code of a Collection of Software Product Variants (RAM, AS, MH, CU, SV), pp. 138–143.
SEKESEKE-2014-AnvikBBC
Assisting Software Projects with Assignment Recomender Creation (JA, MB, HB, JC), pp. 470–473.
SEKESEKE-2014-AverbakhKKS #distributed #experience
Dedicated Support for Experience Sharing in Distributed Software Projects (AA, EK, SK, KS), pp. 355–360.
SEKESEKE-2014-AverbakhNS #distributed #documentation #re-engineering
Knowledge from Document Annotations as By-Product in Distributed Software Engineering (AA, KN, KS), pp. 350–354.
SEKESEKE-2014-BakerS #architecture #aspect-oriented #implementation
Aspect-Oriented Secure Connectors for Implementation of Secure Software Architecture (CB, MS), pp. 187–192.
SEKESEKE-2014-BarreirosM #flexibility #modelling #product line
Flexible Modeling and Product Derivation in Software Product Lines (JB, AMDM), pp. 67–70.
SEKESEKE-2014-BenderWFPN #empirical #metric
Measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LB, GSW, FF, MP, KEN), pp. 478–483.
SEKESEKE-2014-BifflKESW #empirical #information management #re-engineering
Building Empirical Software Engineering Bodies of Knowledge with Systematic Knowledge Engineering (SB, MK, FJE, ES, DW), pp. 552–559.
SEKESEKE-2014-ChenS #education #online #re-engineering
Supporting Online Synchronous Education for Software Engineering via Web-based Operation Record and Replay (DC, YS), pp. 528–533.
SEKESEKE-2014-CostaFM #collaboration #development #distributed #question
Collaborative Merge in Distributed Software Development: Who Should Participate? (CC, JJCF, LM), pp. 268–273.
SEKESEKE-2014-FinlayPC #predict
Synthetic Minority Over-sampling TEchnique (SMOTE) for Predicting Software Build Outcomes (JF, RP, AMC), pp. 546–551.
SEKESEKE-2014-FreireKAJNAG #domain-specific language #empirical #formal method #re-engineering
An Empirical Study to Evaluate a Domain Specific Language for Formalizing Software Engineering Experiments (MAF, UK, EA, AJ, ECN, STA, MG), pp. 250–255.
SEKESEKE-2014-FuadD #design #development #interactive #mobile #problem
Design and Development of a Mobile Classroom Response Software for Interactive Problem Solving (MMF, DD), pp. 49–52.
SEKESEKE-2014-GaoKN #estimation #learning #quality #ranking
Comparing Two Approaches for Adding Feature Ranking to Sampled Ensemble Learning for Software Quality Estimation (KG, TMK, AN), pp. 280–285.
SEKESEKE-2014-GoswamiW #effectiveness #empirical
Improving the Cost Effectiveness of Software Inspection Teams: An Empirical Investigation (AG, GSW), pp. 735–739.
SEKESEKE-2014-HegdeW #bibliography #developer #how #perspective
How to Enhance the Creativity of Software Developers: A Systematic Literature Review (RH, GSW), pp. 229–234.
SEKESEKE-2014-JingLC #approach #collaboration #design
An Argument-based Collaborative Negotiation Approach to Support Software Design Collaboration (NJ, SCYL, HFC), pp. 274–279.
SEKESEKE-2014-JuniorCMS #data analysis #gpu #repository
Exploratory Data Analysis of Software Repositories via GPU Processing (JRDSJ, EC, LM, AS), pp. 495–500.
SEKESEKE-2014-JuniorFJB #learning #mobile #product line #towards
Towards the Establishment of a Software Product Line for Mobile Learning Applications (VFJ, NFDF, EAdOJ, EFB), pp. 678–683.
SEKESEKE-2014-KrollRA #development #process
Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKESEKE-2014-LianZ #feature model #product line
An Evolutionary Methodology for Optimized Feature Selection in Software Product Lines (XL, LZ), pp. 63–66.
SEKESEKE-2014-LiuCB #architecture
Software Architecture Rationale Capture through Intelligent Argumentation (XFL, NC, ECB), pp. 156–161.
SEKESEKE-2014-NoorianBD #comprehension #product line
From Intentions to Decisions: Understanding Stakeholders’ Objectives in Software Product Line Configuration (MN, EB, WD), pp. 671–677.
SEKESEKE-2014-OliveiraS #agile #bibliography #quality
The Agile Quality Culture — A survey on agile culture and software quality (BCdSO, SRSS), pp. 298–303.
SEKESEKE-2014-ParkHL #power management #refactoring
Investigation for Software Power Consumption of Code Refactoring Techniques (JJP, JEH, SHL), pp. 717–722.
SEKESEKE-2014-ParkSHSHB #algorithm #resource management #search-based #using
Practical Human Resource Allocation in Software Projects Using Genetic Algorithm (JP, DS, GH, DS, JH, DHB), pp. 688–694.
SEKESEKE-2014-Parvizi-MosaedMHH #adaptation #architecture #evaluation #self #towards
Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability (APM, SM, JH, AH), pp. 168–173.
SEKESEKE-2014-Peters #project management
A Knowledge & Competencies Checklist for Software Project Management Success (LP), pp. 241–243.
SEKESEKE-2014-SatapathyPR #agile #approach #estimation #kernel #using
Story Point Approach based Agile Software Effort Estimation using Various SVR Kernel Methods (SMS, AP, SKR), pp. 304–307.
SEKESEKE-2014-SchotsRS #analysis #performance #process
A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SEKESEKE-2014-SilvaBCR #architecture #development #trade-off
A Tool for Trade-off Resolution on Architecture-Centered Software Development (ICLS, PHSB, EC, HR), pp. 35–38.
SEKESEKE-2014-SinghS #machine learning #requirements #using
Software Requirement Prioritization using Machine Learning (DS, AS), pp. 701–704.
SEKESEKE-2014-SouzaA #estimation #mobile
Mobile Applications: The Paradox of Software Estimation (LSdS, GSdAJ), pp. 59–62.
SEKESEKE-2014-TangLYX #configuration management #development #towards
Towards Sustainability-Oriented Development of Dynamic Reconfigurable Software Systems (ST, LL, WY, JX), pp. 598–602.
SEKESEKE-2014-ThiryFZ #development #named
GreenRM: Reference Model for Sustainable Software Development (MT, LF, AZ), pp. 39–42.
SEKESEKE-2014-VianaCS #analysis #information management
Knowledge Transfer between Senior and Novice Software Engineers: A Qualitative Analysis (DV, TC, CRBdS), pp. 235–240.
SEKESEKE-2014-WangKN #classification #fault #metric #performance #predict
Choosing the Best Classification Performance Metric for Wrapper-based Software Metric Selection for Defect Prediction (HW, TMK, AN), pp. 540–545.
SEKESEKE-2014-XuL #approach #architecture #automation #synthesis #using
Automated Software Architectural Synthesis using Patterns: A Cooperative Coevolution Approach (YX, PL), pp. 174–180.
SEKESEKE-2014-YangL #agile #architecture #development #identification
Identifying and Recording Software Architectural Assumptions in Agile Development (CY, PL), pp. 308–313.
SKYSKY-2014-Fernandez-Utrilla #behaviour #predict #web
An Unified Behaviour Model to Predict Web 2.0 Adoption as a Tool for Software-Knowledge Sharing (MFU, PFU, GM), pp. 3–18.
SKYSKY-2014-GoldinG #named
SPRing: Iterative Overcoming of Software Misuse (LG, RG), pp. 43–51.
ECMFAECMFA-2014-LaurentBBG #alloy #framework #process #verification
Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
MODELSMoDELS-2014-DerakhshanmaneshEIE #component
Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MODELSMoDELS-2014-VasilevskiyH #product line
Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.
MODELSMoDELS-2014-DerakhshanmaneshEIE #component
Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MODELSMoDELS-2014-VasilevskiyH #product line
Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.
OnwardOnward-2014-Murphy #development
Getting to Flow in Software Development (GCM), pp. 269–281.
PLATEAUPLATEAU-2014-KurilovaPA #design #named #programming language #security
Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
GPCEGPCE-2014-MaAZS #performance #product line #testing
Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.
GPCEGPCE-2014-RuprechtHL #automation #feature model #product line #scalability
Automatic feature selection in large-scale system-software product lines (AR, BH, DL), pp. 39–48.
GPCEGPCE-2014-WalkingshawO #editing #projectional
Projectional editing of variational software (EW, KO), pp. 29–38.
PPDPPPDP-2014-LammelVLSF #declarative #development #tutorial
Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
RERE-2014-Bhowmik #interactive #open source #requirements #social
Stakeholders’ social interaction in requirements engineering of open source software (TB), pp. 467–472.
RERE-2014-DanielrappANPEM #lightweight #requirements
Lightweight requirements engineering assessments in software projects (DD, AA, NN, PP, EE, MM), pp. 354–363.
RERE-2014-GartnerRBSJ #maintenance #requirements #security
Maintaining requirements for long-living software systems by incorporating security knowledge (SG, TR, JB, KS, JJ), pp. 103–112.
RERE-2014-Hinai #quantifier #social
Quantification of social sustainability in software (MAH), pp. 456–460.
RERE-2014-KnaussDKB #ecosystem #requirements #trade-off
Openness and requirements: Opportunities and tradeoffs in software ecosystems (EK, DED, AK, AB), pp. 213–222.
RERE-2014-MaalejG #lessons learnt
Capturing and sharing domain knowledge with business rules lessons learned from a global software vendor (WM, SG), pp. 364–373.
RERE-2014-RubythonM #implementation #modelling #off the shelf #requirements #variability
The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.
RERE-2014-StalhaneW
The DODT tool applied to sub-sea software (TS, TW), pp. 420–427.
RERE-2014-ValencaAHJB #case study #collaboration #contest #ecosystem #requirements
Competition and collaboration in requirements engineering: A case study of an emerging software ecosystem (GV, CFA, VH, SJ, SB), pp. 384–393.
REFSQREFSQ-2014-SethiaP #analysis #elicitation #empirical #performance #requirements
The Effects of Requirements Elicitation Issues on Software Project Performance: An Empirical Analysis (NKS, ASP), pp. 285–300.
REFSQREFSQ-2014-VierhauserRG #framework #monitoring #requirements
A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
SACSAC-2014-AlmenteroLL #composition #requirements #towards
Towards software modularization from requirements (EA, JCSdPL, CJPdL), pp. 1007–1012.
SACSAC-2014-BrinkeMBBAK #approach #composition #design #energy
A tool-supported approach for modular design of energy-aware software (StB, SM, CB, LB, MA, SK), pp. 1206–1212.
SACSAC-2014-ChenML #case study #education #research #testing
Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.
SACSAC-2014-FieldAE #development #energy #framework #named
EACOF: a framework for providing energy transparency to enable energy-aware software development (HF, GA, KE), pp. 1194–1199.
SACSAC-2014-HamerW #scalability
Large scale processing of landsat data on various software platforms (GH, JW), pp. 1547–1549.
SACSAC-2014-KimL
The effect of IMPORT change in software change history (JK, EL), pp. 1753–1754.
SACSAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self
ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SACSAC-2014-MaWX #behaviour #commit #developer #empirical #open source
Dynamics of open-source software developer’s commit behavior: an empirical investigation of subversion (YM, YW, YX), pp. 1171–1173.
SACSAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml
Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SACSAC-2014-NoureddineRS #energy #library #testing
Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
SACSAC-2014-ParraJGI #approach #automation #product line
An SOA approach for automating software product line adoption (CP, DJ, LG, AI), pp. 1231–1238.
SACSAC-2014-XavierMMA #bibliography #reliability #research
A survey on research in software reliability engineering in the last decade (JX, AM, RM, LBdA), pp. 1190–1191.
SACSAC-2014-ZiadiHPZT #approach #independence #product line #towards
Towards a language-independent approach for reverse-engineering of software product lines (TZ, CH, MP, MZ, YLT), pp. 1064–1071.
FSEFSE-2014-DziwokGBTHP #cyber-physical #modelling #re-engineering
A tool suite for the model-driven software engineering of cyber-physical systems (SD, CG, SB, ST, CH, UP), pp. 715–718.
FSEFSE-2014-GreeneF #concept #named
ConceptCloud: a tagcloud browser for software archives (GJG, BF), pp. 759–762.
FSEFSE-2014-Jorgensen #question #re-engineering #what
Ten years with evidence-based software engineering. What is it? Has it had any impact? What’s next? (MJ), p. 3.
FSEFSE-2014-Joseph #framework #interactive #machine learning
Software programmer management: a machine learning and human computer interaction framework for optimal task assignment (HRJ), pp. 826–828.
FSEFSE-2014-JustJIEHF #fault #question #testing
Are mutants a valid substitute for real faults in software testing? (RJ, DJ, LI, MDE, RH, GF), pp. 654–665.
FSEFSE-2014-Kasi #detection #scheduling
Minimizing software conflicts through proactive detection of conflicts and task scheduling (BKK), pp. 807–810.
FSEFSE-2014-LuoMW0Z #comparison #detection #obfuscation #semantics #similarity
Semantics-based obfuscation-resilient binary code similarity comparison with applications to software plagiarism detection (LL, JM, DW, PL, SZ), pp. 389–400.
FSEFSE-2014-ManiSSD #maintenance
Panning requirement nuggets in stream of software maintenance tickets (SM, KS, VSS, PTD), pp. 678–688.
FSEFSE-2014-MeyerFMZ #developer
Software developers’ perceptions of productivity (ANM, TF, GCM, TZ), pp. 19–29.
FSEFSE-2014-PetreD #question #re-engineering
Methodology and culture: drivers of mediocrity in software engineering? (MP, DD), pp. 829–832.
FSEFSE-2014-Pham #social #testing
Improving the software testing skills of novices during onboarding through social transparency (RP), pp. 803–806.
FSEFSE-2014-PhamKLSS #testing
Enablers, inhibitors, and perceptions of testing in novice software teams (RP, SK, OL, LS, KS), pp. 30–40.
FSEFSE-2014-SchultisEL #architecture #case study #challenge #ecosystem #industrial #scalability
Architecture challenges for internal software ecosystems: a large-scale industry case study (KBS, CE, DL), pp. 542–552.
FSEFSE-2014-SunZLZWZK #query #re-engineering
Querying sequential software engineering data (CS, HZ, JGL, HZ, QW, DZ, SCK), pp. 700–710.
FSEFSE-2014-TuSD #locality #on the
On the localness of software (ZT, ZS, PTD), pp. 269–280.
FSEFSE-2014-Villavicencio #maintenance
Software maintenance like maintenance in other engineering disciplines (GV), pp. 853–856.
FSEFSE-2014-Wolf #re-engineering
From software engineering to software systems (invited talk) (ALW), p. 2.
FSEFSE-2014-Wu #fault
Diagnose crashing faults on production software (RW), pp. 771–774.
FSEFSE-2014-XiaoCK #analysis #architecture #named #quality #tool support
Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.
FSEFSE-2014-Yang #analysis #bibliography #network #open source #perspective #social
Social network analysis in open source software peer review (XY), pp. 820–822.
ICSEICSE-2014-AndroutsopoulosCDHH #analysis #fault #testing
An analysis of the relationship between conditional entropy and failed error propagation in software testing (KA, DC, HD, RMH, MH), pp. 573–583.
ICSEICSE-2014-BegelZ #exclamation #re-engineering
Analyze this! 145 questions for data scientists in software engineering (AB, TZ), pp. 12–13.
ICSEICSE-2014-BrindescuCSD #distributed #how #question #version control
How do centralized and distributed version control systems impact software changes? (CB, MC, SS, DD), pp. 322–333.
ICSEICSE-2014-CarzanigaGGMP
Cross-checking oracles from intrinsic software redundancy (AC, AG, AG, AM, MP), pp. 931–942.
ICSEICSE-2014-FilieriHM #adaptation #automation #design #self
Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
ICSEICSE-2014-FritzBMYZ #development #metric #using
Using psycho-physiological measures to assess task difficulty in software development (TF, AB, SCM, SYE, MZ), pp. 402–413.
ICSEICSE-2014-GousiosPD #case study #development
An exploratory study of the pull-based software development model (GG, MP, AvD), pp. 345–355.
ICSEICSE-2014-JingYZWL #fault #learning #predict #taxonomy
Dictionary learning based software defect prediction (XYJ, SY, ZWZ, SSW, JL), pp. 414–423.
ICSEICSE-2014-KhadkaBSJH #how #legacy #question
How do professionals perceive legacy systems and software modernization? (RK, BVB, AS, SJ, JH), pp. 36–47.
ICSEICSE-2014-LetierSB #architecture #nondeterminism #requirements
Uncertainty, risk, and information value in software requirements and architecture (EL, DS, ETB), pp. 883–894.
ICSEICSE-2014-ManotasPC #energy #framework #named
SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
ICSEICSE-2014-MinkuY #estimation #how #question
How to make best use of cross-company data in software effort estimation? (LLM, XY), pp. 446–456.
ICSEICSE-2014-Monperrus #automation #bibliography #evaluation #generative #problem
A critical review of “automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair (MM), pp. 234–242.
ICSEICSE-2014-Murphy-HillZN #development #game studies #how #quality #question #video
Cowboys, ankle sprains, and keepers of quality: how is video game development different from software development? (ERMH, TZ, NN), pp. 1–11.
ICSEICSE-2014-PhillipsZB #comprehension
Understanding and improving software build teams (SP, TZ, CB), pp. 735–744.
ICSEICSE-2014-RalphK #re-engineering
The dimensions of software engineering success (PR, PK), pp. 24–35.
ICSEICSE-2014-RempelMKC #consistency #guidelines #traceability
Mind the gap: assessing the conformance of software traceability to relevant guidelines (PR, PM, TK, JCH), pp. 943–954.
ICSEICSE-2014-SingerFS #developer #how #re-engineering #twitter #using
Software engineering at the speed of light: how developers stay current using twitter (LS, FMFF, MADS), pp. 211–221.
ICSEICSE-2014-StolF #case study #crowdsourcing #development
Two’s company, three’s a crowd: a case study of crowdsourcing software development (KJS, BF), pp. 187–198.
ICSEICSE-2014-VouillonDC #component #evolution #repository
Easing software component repository evolution (JV, MD, RDC), pp. 756–766.
ICSEICSE-2014-WagstromD #development #scalability
Does latitude hurt while longitude kills? geographical and temporal separation in a large scale software development project (PW, SD), pp. 199–210.
SLESLE-J-2012-StevensonC #bibliography #grammar inference #re-engineering
A survey of grammatical inference in software engineering (AS, JRC), pp. 444–459.
SPLCSPLC-2014-AcherBBJ #3d #product line
Customization and 3D printing: a challenging playground for software product lines (MA, BB, OB, JMJ), pp. 142–146.
SPLCSPLC-2014-Al-HajjajiTMLS #product line #similarity #testing
Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
SPLCSPLC-2014-ChitchyanNG #product line
Sustainability in software product lines (RC, JN, IG), p. 367.
SPLCSPLC-2014-ColanziVGO #approach #design #product line #search-based
A search-based approach for software product line design (TEC, SRV, IMSG, WNO), pp. 237–241.
SPLCSPLC-2014-DamianiSW #multi #product line
Delta-oriented multi software product lines (FD, IS, TW), pp. 232–236.
SPLCSPLC-2014-DieumegardTP #approach #data flow #library #product line #semantics #specification
A software product line approach for semantic specification of block libraries in dataflow languages (AD, AT, MP), pp. 217–226.
SPLCSPLC-2014-DomisSGAK #analysis #case study #experience #industrial #reuse
Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report (DD, SS, TG, MA, HK), pp. 310–319.
SPLCSPLC-2014-HarmanJKLPZ #bibliography #product line #re-engineering
Search based software engineering for software product line engineering: a survey and directions for future work (MH, YJ, JK, WBL, JP, YZ), pp. 5–18.
SPLCSPLC-2014-HartmannLB #product line #testing
Risk based testing for software product line engineering (HH, FvdL, JB), pp. 227–231.
SPLCSPLC-2014-Hubaux #product line #research #what
What research in software product line engineering is not solving in configuration (AH), p. 19.
SPLCSPLC-2014-KnappRS #development #modelling #on the #product line #testing
On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
SPLCSPLC-2014-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), p. 358.
SPLCSPLC-2014-NobauerSG #standard #variability
Inferring variability from customized standard software products (MN, NS, IG), pp. 284–293.
SPLCSPLC-2014-OlaecheaRGC #approximate #comparison #multi #optimisation #product line
Comparison of exact and approximate multi-objective optimization for software product lines (RO, DR, JG, KC), pp. 92–101.
SPLCSPLC-2014-SchroterSTS #interface #product line #programming
Feature-context interfaces: tailored programming interfaces for software product lines (RS, NS, TT, GS), pp. 102–111.
SPLCSPLC-2014-SeidlSA #product line #variability
Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
SPLCSPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving
Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
SPLCSPLC-2014-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), pp. 360–361.
SPLCSPLC-2014-UrliBC #approach #product line
Handling complex configurations in software product lines: a tooled approach (SU, MBF, PC), pp. 112–121.
SPLCSPLC-2014-VillelaSVA #bibliography #variability
A survey on software variability management approaches (KV, AS, TV, ESdA), pp. 147–156.
SPLCSPLC-2014-WangBAGPL #case study #industrial #multi #product line #testing
Multi-objective test prioritization in software product line testing: an industrial case study (SW, DB, SA, AG, DP, ML), pp. 32–41.
ASPLOSASPLOS-2014-ArulrajJL #hardware #memory management
Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
ASPLOSASPLOS-2014-LuponGMSMSD #float #hardware #multi
Speculative hardware/software co-designed floating-point multiply-add fusion (ML, EG, GM, SS, RM, KS, DRD), pp. 623–638.
ASPLOSASPLOS-2014-OuyangLSHWW #internet #named
SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.
ASPLOSASPLOS-2014-SchulteDHFW #energy #optimisation
Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.
ASPLOSASPLOS-2014-Wood #architecture #named
Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
CGOCGO-2014-RongPWW #pipes and filters
Just-In-Time Software Pipelining (HR, HP, YW, CW), p. 11.
CGOCGO-2014-RountevY #analysis #android #user interface
Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.
CGOCGO-2014-XuWGLGQ #architecture #gpu #memory management #transaction
Software Transactional Memory for GPU Architectures (YX, RW, NG, TL, LG, DQ), p. 1.
CAVCAV-2014-BeyerDW #verification
Software Verification in the Google App-Engine Cloud (DB, GD, PW), pp. 327–333.
CAVCAV-2014-GligoricMSEM #distributed #testing
Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
ICSTICST-2014-DemuthLE #automation #incremental #optimisation #product line
Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
ICSTICST-2014-HaysHB #testing #validation
Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ICSTICST-2014-LiGP #database #outsourcing
Sanitizing and Minimizing Databases for Software Application Test Outsourcing (BL, MG, DP), pp. 233–242.
ICSTICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing
Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.
ICSTICST-2014-SanchezSC #comparison #product line #testing
A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.
ICSTICST-2014-TokumotoSSUW #automation #industrial #locality
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.
ICSTICST-2014-YuSCR #embedded #framework #named #testing #worst-case
SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software (TY, WSa, MBC, GR), pp. 313–322.
ICTSSICTSS-2014-ChabotP #embedded #framework #hardware #monitoring
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSSICTSS-2014-Deak #bibliography #testing #what
What Characterizes a Good Software Tester? — A Survey in Four Norwegian Companies (AD), pp. 161–172.
ICTSSICTSS-2014-DoganayEAB #embedded #search-based #testing
Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ISSTAISSTA-2014-MarinescuHC #analysis #evolution #framework #named
Covrig: a framework for the analysis of code, test, and coverage evolution in real software (PDM, PH, CC), pp. 93–104.
TAPTAP-2014-PetiotKGJ #deduction #generative #how #specification #testing #verification
How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.
VMCAIVMCAI-2014-GustavssonGL #analysis #execution #parallel #using
Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
CBSECBSE-2013-AbateS
Bootstrapping software distributions (PA, JS), pp. 131–142.
CBSECBSE-2013-GortonLLED #case study #component #experience #using
Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms (IG, YL, CL, TE, KKvD), pp. 159–168.
CBSECBSE-2013-JohnsonCK #component #framework #incremental #verification
An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
CBSECBSE-2013-SchwittekE #case study #component #enterprise #java #open source #reuse
A study on third party component reuse in Java enterprise open source software (WS, SE), pp. 75–80.
ECSAECSA-2013-AngelovTK #architecture #design
Software Reference Architectures — Exploring Their Usage and Design in Practice (SA, JJMT, RJK), pp. 17–24.
ECSAECSA-2013-DimechB #approach #architecture #consistency #development #maintenance
Maintaining Architectural Conformance during Software Development: A Practical Approach (CD, DB), pp. 208–223.
ECSAECSA-2013-EklundOL #architecture #perspective
Characterising Software Platforms from an Architectural Perspective (UE, CMO, ML), pp. 344–347.
ECSAECSA-2013-LeiteOB #architecture #named
SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.
ECSAECSA-2013-LiZ #architecture #evaluation #industrial #towards
Toward Industry Friendly Software Architecture Evaluation (ZL, JZ), pp. 328–331.
ECSAECSA-2013-MairH #architecture #towards
Towards Extensive Software Architecture Erosion Repairs (MM, SH), pp. 299–306.
ECSAECSA-2013-NowakP #architecture
Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse (MN, CP), pp. 146–161.
ECSAECSA-2013-PramsohlerSB #adaptation #architecture #component #middleware #towards
Towards an Optimized Software Architecture for Component Adaptation at Middleware Level (TP, SS, UB), pp. 266–281.
ECSAECSA-2013-RostNLC #architecture #bibliography #developer #documentation
Software Architecture Documentation for Developers: A Survey (DR, MN, CL, CvFGC), pp. 72–88.
ECSAECSA-2013-SilvaMCB #architecture #lightweight #product line
A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
QoSAQoSA-2013-CaiWWW #architecture #design
Leveraging design rules to improve software architecture recovery (YC, HW, SW, LW), pp. 133–142.
QoSAQoSA-2013-DajsurenBSR #assessment #composition #modelling
Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
QoSAQoSA-2013-TekinerdoganD #architecture #evaluation #framework
Evaluation framework for software architecture viewpoint languages (BT, ED), pp. 89–98.
QoSAQoSA-2013-TrubianiMCAG #analysis #architecture #modelling #nondeterminism #performance
Model-based performance analysis of software architectures under uncertainty (CT, IM, VC, AA, LG), pp. 69–78.
QoSAQoSA-2013-YuanMSGG #architecture #self
Architecture-based self-protecting software systems (EY, SM, BRS, DG, JG), pp. 33–42.
ASEASE-2013-ArthoHPTWY #communication #distributed #model checking
Software model checking for distributed systems with selector-based, non-blocking communication (CA, MH, RP, YT, FW, MY), pp. 169–179.
ASEASE-2013-BarnesPG #architecture #automation #evolution
Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.
ASEASE-2013-Fard #behaviour #detection #distributed #independence #using
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
ASEASE-2013-GarciaIM #analysis #architecture #comparative
A comparative analysis of software architecture recovery techniques (JG, II, NM), pp. 486–496.
ASEASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using
Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASEASE-2013-LouLDFZX #case study #experience #online
Software analytics for incident management of online services: An experience report (JGL, QL, RD, QF, DZ, TX), pp. 475–485.
ASEASE-2013-NejatiABHBC #cpu #embedded #risk management
Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
ASEASE-2013-NguyenNNNR #case study #evolution
A study of repetitiveness of code changes in software evolution (HAN, ATN, TTN, TNN, HR), pp. 180–190.
ASEASE-2013-ScannielloGMM #clustering #fault #predict #using
Class level fault prediction using software clustering (GS, CG, AM, TM), pp. 640–645.
ASEASE-2013-Wu0LD #analysis #automation #component #dependence #using
Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
CASECASE-2013-RoyerBTT #assessment #behaviour #energy #modelling #multi #simulation #using
Modelling of a multi-zone building and assessment of its thermal behaviour using an energy simulation software (SR, MB, ST, TT), pp. 735–740.
CASECASE-2013-VenatorLN #architecture #hardware #industrial #mobile
Hardware and software architecture of ABBY: An industrial mobile manipulator (EV, GSL, WSN), pp. 324–329.
DACDAC-2013-GeorgakosSSC #architecture #challenge #reliability
Reliability challenges for electric vehicles: from devices to architecture and systems software (GG, US, RS, SC), p. 9.
DACDAC-2013-GoswamiLKSMCR #development #modelling #verification
Model-based development and verification of control software for electric vehicles (DG, ML, MK, SS, AM, SC, SR), p. 9.
DACDAC-2013-JahnPKCH #configuration management #optimisation #pipes and filters
Optimizations for configuring and mapping software pipelines in many core systems (JJ, SP, SK, JJC, JH), p. 8.
DACDAC-2013-LuBS #data transformation #multi #named #stack
SSDM: smart stack data management for software managed multicores (SMMs) (JL, KB, AS), p. 8.
DACDAC-2013-LukasiewyczSASWCKMSFC #architecture #design
System architecture and software design for electric vehicles (ML, SS, SA, FS, PW, WC, MK, PM, SS, SAF, SC), p. 6.
DATEDATE-2013-HuZXTS #embedded #hybrid #in memory #memory management
Software enabled wear-leveling for hybrid PCM main memory on embedded systems (JH, QZ, CJX, WCT, EHMS), pp. 599–602.
DATEDATE-2013-JahnH #architecture #manycore #named #pipes and filters #self
Pipelets: self-organizing software pipelines for many-core architectures (JJ, JH), pp. 1516–1521.
DATEDATE-2013-KhanSGH #collaboration #complexity #reduction
Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder (MUKK, MS, MG, JH), pp. 125–128.
DATEDATE-2013-LuMS #embedded #performance #simulation
Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATEDATE-2013-MaYGGTBH #analysis #architecture #towards #validation
Toward polychronous analysis and validation for timed software architectures in AADL (YM, HY, TG, PLG, JPT, LB, MH), pp. 1173–1178.
DATEDATE-2013-MushtaqAB #approach #fault tolerance #manycore #performance
Efficient software-based fault tolerance approach on multicore platforms (HM, ZAA, KB), pp. 921–926.
DATEDATE-2013-RehmanSAKCH #hardware #reliability
Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
DATEDATE-2013-RienerFF #fault tolerance
Improving fault tolerance utilizing hardware-software-co-synthesis (HR, SF, GF), pp. 939–942.
DATEDATE-2013-SagstetterLSWBHJPPC #architecture #challenge #design #hardware #security
Security challenges in automotive hardware/software architecture design (FS, ML, SS, MW, AB, WRH, SJ, TP, AP, SC), pp. 458–463.
DATEDATE-2013-SchonwaldVBR #deployment #memory management
Shared memory aware MPSoC software deployment (TS, AV, OB, WR), pp. 1771–1776.
DATEDATE-2013-TheissingMSSS #analysis #fault
Comprehensive analysis of software countermeasures against fault attacks (NT, DM, MS, FS, GS), pp. 404–409.
DATEDATE-2013-WangH #embedded #modelling #performance #simulation
Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
CSEETCSEET-2013-Andrews #quality
Killer App: A Eurogame about software quality (JHA), pp. 319–323.
CSEETCSEET-2013-ArdisBCVI #education #re-engineering #source code #using
Using GSwE2009 in the creation and modification of graduate software engineering programs and related curricula (MAA, SB, LC, DV, SI), pp. 109–118.
CSEETCSEET-2013-ArdisBFFHHS #re-engineering #roadmap
Recent Trends in Graduate Software Engineering (MAA, SB, DF, DJF, TBH, GWH, TS), pp. 351–355.
CSEETCSEET-2013-BollinHS #assurance #development #education #process #simulation
Teaching software development processes by simulation: Wuality assurance as a factor of success (AB, EH, LS), pp. 362–364.
CSEETCSEET-2013-CaiKJA #architecture #bibliography #design #education
Introducing tool-supported architecture review into software design education (YC, RK, CJ, JA), pp. 70–79.
CSEETCSEET-2013-ChimalakondaN #adaptation #education #learning #personalisation #re-engineering #what
What makes it hard to teach software engineering to end users? some directions from adaptive and personalized learning (SC, KVN), pp. 324–328.
CSEETCSEET-2013-Cowling #development #education #future of #modelling #re-engineering
Model-driven development and the future of software engineering education (TC), pp. 329–331.
CSEETCSEET-2013-DebGG #case study #experience #re-engineering #social
Software engineering projects with social significance: An experience report at a minority university (DD, LG, MG), pp. 314–318.
CSEETCSEET-2013-Edwards #programming #testing
Adding software testing to programming assignments (SHE), pp. 371–373.
CSEETCSEET-2013-EterovicGB #approach #education #process
Teaching software processes to professionals: The approach taken by an evening master’s degree program (YE, GG, JB), pp. 309–313.
CSEETCSEET-2013-FortalezaVJPC #collaboration #communication #development #distributed #using
Using Distributed Software Development in the improvement of communication and collaboration skills in SE courses: An observational study (LLF, SRCV, OOMJ, RP, TC), pp. 139–148.
CSEETCSEET-2013-GaryBG #enterprise
Software enterprise pedagogy for project-based courses (KAG, SKB, AG), pp. 368–370.
CSEETCSEET-2013-GaryLBG #design #re-engineering
A project spine for software engineering curricular design (KG, TEL, SKB, AG), pp. 299–303.
CSEETCSEET-2013-InagaWYKFYOKTK #development #education #effectiveness
Team characteristics for maximizing the educational effectiveness of practical lectures on software intensive systems development (SI, HW, YY, KK, YF, SY, MO, TK, MT, TK), pp. 264–268.
CSEETCSEET-2013-Jarzabek #design #education
Teaching advanced software design in team-based project course (SJ), pp. 31–40.
CSEETCSEET-2013-KanijMG #empirical #testing
An empirical study of the effects of personality on software testing (TK, RM, JG), pp. 239–248.
CSEETCSEET-2013-KoolmanojwongB #re-engineering #risk management
A look at software engineering risks in a team project course (SK, BWB), pp. 21–30.
CSEETCSEET-2013-KroppM #agile #development #education
Teaching agile software development at university level: Values, management, and craftsmanship (MK, AM), pp. 179–188.
CSEETCSEET-2013-LeBlanc #re-engineering
Software engineering in CS 2013 (RL), pp. 338–340.
CSEETCSEET-2013-LongstreetC #development #education #re-engineering
Positive transitions from the classroom to the cubicle: Creating strategies for augmenting professional development in the software engineering curriculum (CSL, KMLC), pp. 365–367.
CSEETCSEET-2013-LuukkainenV #education #re-engineering #web
Bringing undergraduates to the web: Baby steps in webifying a software engineering curriculum (ML, AV), pp. 294–298.
CSEETCSEET-2013-MacKellar #coordination #re-engineering #student
Analyzing coordination among students in a software engineering project course (BM), pp. 279–283.
CSEETCSEET-2013-MeadS #assurance #roadmap
The software assurance competency model: A roadmap to enhance individual professional capability (NRM, DS), pp. 119–128.
CSEETCSEET-2013-NgH #education #framework #industrial #named #re-engineering
Essence: A framework to help bridge the gap between software engineering education and industry needs (PWN, SH), pp. 304–308.
CSEETCSEET-2013-NobleHBB #design #education #programming language #question #re-engineering
Designing Grace: Can an introductory programming language support the teaching of software engineering? (JN, MH, KBB, APB), pp. 219–228.
CSEETCSEET-2013-PortRL #re-engineering #student
Motivating and orienting novice students to value introductory software engineering (DP, CR, JL), pp. 99–108.
CSEETCSEET-2013-Rajlich #development #education
Education impact of evolutionary software development (VR), pp. 332–334.
CSEETCSEET-2013-RochaS #collaboration #comprehension #student
Understanding individual contribution and collaboration in student software teams (FR, ES), pp. 51–60.
CSEETCSEET-2013-RongZS #education #game studies #process
Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.
CSEETCSEET-2013-ScharfK #agile #re-engineering
Scrum in a software engineering course: An in-depth praxis report (AS, AK), pp. 159–168.
CSEETCSEET-2013-ShethBK #approach #re-engineering
A competitive-collaborative approach for introducing software engineering in a CS2 class (SS, JB, GEK), pp. 41–50.
CSEETCSEET-2013-StettinaZBK #education #re-engineering #towards
Academic education of software engineering practices: towards planning and improving capstone courses based upon intensive coaching and team routines (CJS, ZZ, TB, BRK), pp. 169–178.
CSEETCSEET-2013-TamburriRL #design #education #social
Teaching software design with social engagement (DAT, MR, PL), pp. 61–69.
CSEETCSEET-2013-UrregoC #architecture #named
Archinotes: A tool for assisting software architecture courses (JSU, DC), pp. 80–88.
CSEETCSEET-2013-Vallino #question #re-engineering #student #what
What should students learn in their first (and often only) software engineering course? (JV), pp. 335–337.
CSEETCSEET-2013-WernerKSVW #challenge #collaboration #education #re-engineering
Software engineering education via the use of corporate-sponsored projects: A panel discussion of the approaches, benefits, and challenges for industry-academic collaboration (LLW, GK, MJS, JV, WEW), pp. 346–350.
ITiCSEITiCSE-2013-BillingsleyS #comparison #integration
A comparison of two iterations of a software studio course based on continuous integration (WB, JS), pp. 213–218.
ITiCSEITiCSE-2013-ChenH #re-engineering
Applying software engineering in CS1 (WKC, BRH), pp. 297–302.
ITiCSEITiCSE-2013-HowardS #bibliography #communication #re-engineering #source code
A survey of communication skills in computerscience/software engineering (CS/SE) abet-accredited programs (AH, BS), p. 364.
ITiCSEITiCSE-2013-Liew #student
Benefits of having students develop software for other departments (CWL), p. 348.
ITiCSEITiCSE-2013-Scharlau #development #education #game studies
Games for teaching software development (BAS), pp. 303–308.
ESOPESOP-2013-AlglaveKNT #memory management #program transformation #verification
Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
FASEFASE-2013-BeyerL #model checking
Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.
FASEFASE-2013-Czarnecki #state of the art #variability
Variability in Software: State of the Art and Future Directions — (Extended Abstract) (KC), pp. 1–5.
TACASTACAS-2013-Beyer #contest #summary #verification
Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
CSMRCSMR-2013-ArnaoudovaPAG #anti #product line
A New Family of Software Anti-patterns: Linguistic Anti-patterns (VA, MDP, GA, YGG), pp. 187–196.
CSMRCSMR-2013-BergmayrBIGKKLMAPW #legacy #migration
Migrating Legacy Software to the Cloud with ARTIST (AB, HB, JLCI, JG, GK, DK, PL, AM, LOEA, CP, MW), pp. 465–468.
CSMRCSMR-2013-ChocklerDLFHMMORSST #named #validation
PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
CSMRCSMR-2013-CsabaSBJHG #clustering #metric #quality
Relating Clusterization Measures and Software Quality (BC, LS, ÁB, JJ, PH, TG), pp. 345–348.
CSMRCSMR-2013-DubinskyRBDBC #case study #industrial #product line
An Exploratory Study of Cloning in Industrial Software Product Lines (YD, JR, TB, SD, MB, KC), pp. 25–34.
CSMRCSMR-2013-GermanAH #ecosystem #evolution
The Evolution of the R Software Ecosystem (DMG, BA, AEH), pp. 243–252.
CSMRCSMR-2013-GhaithWPM #analysis #detection #independence #performance #testing
Profile-Based, Load-Independent Anomaly Detection and Analysis in Performance Regression Testing of Software Systems (SG, MW, PP, JM), pp. 379–383.
CSMRCSMR-2013-JamshidiGAP #architecture #evolution #framework #research
A Framework for Classifying and Comparing Architecture-centric Software Evolution Research (PJ, MG, AA, CP), pp. 305–314.
CSMRCSMR-2013-KochharBLJ #case study #open source #testing
Adoption of Software Testing in Open Source Projects — A Preliminary Study on 50,000 Projects (PSK, TFB, DL, LJ), pp. 353–356.
CSMRCSMR-2013-LehnertFR #impact analysis #rule-based
Rule-Based Impact Analysis for Heterogeneous Software Artifacts (SL, QuaF, MR), pp. 209–218.
CSMRCSMR-2013-Lopez-HerrejonE #named #re-engineering #variability #virtual machine
SBSE4VM: Search Based Software Engineering for Variability Management (RELH, AE), pp. 441–444.
CSMRCSMR-2013-MinelliL #lessons learnt #mobile
Software Analytics for Mobile Applications-Insights & Lessons Learned (RM, ML), pp. 144–153.
CSMRCSMR-2013-PerezMK #case study #industrial #quality
A Pilot Study on Software Quality Practices in Belgian Industry (JP, TM, FK), pp. 395–398.
CSMRCSMR-2013-PonzanelliBL #comprehension #development
Leveraging Crowd Knowledge for Software Comprehension and Development (LP, AB, ML), pp. 57–66.
CSMRCSMR-2013-Przybylek #aspect-oriented
Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility (AP), pp. 253–262.
ICPCICPC-2013-BasileC #towards
Towards a unified software attack model to assess software protections (CB, MC), pp. 219–222.
ICPCICPC-2013-GuptaMPV #identifier #re-engineering #tool support
Part-of-speech tagging of program identifiers for improved text-based software engineering tools (SG, SM, LLP, KVS), pp. 3–12.
ICPCICPC-2013-KobayashiKYKM #architecture #visualisation
SArF map: Visualizing software architecture from feature and layer viewpoints (KK, MK, KY, KK, AM), pp. 43–52.
ICPCICPC-2013-MahmoudN #algorithm #clustering #comprehension
Evaluating software clustering algorithms in the context of program comprehension (AM, NN), pp. 162–171.
ICPCICPC-2013-UddinRS #clone detection #detection #named #performance #scalability
SimCad: An extensible and faster clone detection tool for large scale software systems (MSU, CKR, KAS), pp. 236–238.
ICSMEICSM-2013-AsaduzzamanRSP13a #maintenance #named #process #source code
LHDiff: Tracking Source Code Lines to Support Software Maintenance Activities (MA, CKR, KAS, MDP), pp. 484–487.
ICSMEICSM-2013-BavotaCPOP13a #ecosystem #evolution
The Evolution of Project Inter-dependencies in a Software Ecosystem: The Case of Apache (GB, GC, MDP, RO, SP), pp. 280–289.
ICSMEICSM-2013-BinkleyLHBHHKRS #summary
Task-Driven Software Summarization (DB, DL, EH, JB, IH, RH, OK, KR, JS), pp. 432–435.
ICSMEICSM-2013-DasguptaGMDP #automation #corpus #documentation #traceability
Enhancing Software Traceability by Automatically Expanding Corpora with Relevant Documentation (TD, MG, EM, BD, DP), pp. 320–329.
ICSMEICSM-2013-DitMVP #component #library #maintenance #research #using
Supporting and Accelerating Reproducible Research in Software Maintenance Using TraceLab Component Library (BD, EM, MLV, DP), pp. 330–339.
ICSMEICSM-2013-Hegedus #maintenance
Revealing the Effect of Coding Practices on Software Maintainability (PH), pp. 578–581.
ICSMEICSM-2013-Karus #automation #development #identification
Automatic Means of Identifying Evolutionary Events in Software Development (SK), pp. 412–415.
ICSMEICSM-2013-KhanBEL #evolution #named #using
eCITY: A Tool to Track Software Structural Changes Using an Evolving City (TK, HB, AE, PL), pp. 492–495.
ICSMEICSM-2013-Lopez-HerrejonCFEA #multi #product line #testing
Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing (RELH, JFC, JF, AE, EA), pp. 404–407.
ICSMEICSM-2013-MantylaKAEP #agile #on the #testing
On Rapid Releases and Software Testing (MM, FK, BA, EE, KP), pp. 20–29.
ICSMEICSM-2013-MengMWB #mining #repository
Mining Software Repositories for Accurate Authorship (XM, BPM, WRW, ARB), pp. 250–259.
ICSMEICSM-2013-MillerCW #developer #embedded #legacy #maintenance #scalability
Assuming Software Maintenance of a Large, Embedded Legacy System from the Original Developer (WLM, LBC, BLW), pp. 552–555.
ICSMEICSM-2013-MinelliL #framework #mobile #named #visual notation
SAMOA — A Visual Software Analytics Platform for Mobile Applications (RM, ML), pp. 476–479.
ICSMEICSM-2013-QianPXJZ #logic #mining #programming
Mining Logical Clones in Software: Revealing High-Level Business and Programming Rules (WQ, XP, ZX, SJ, WZ), pp. 40–49.
ICSMEICSM-2013-RajlichH #question
Which Practices Are Suitable for an Academic Software Project? (VR, JH), pp. 440–443.
ICSMEICSM-2013-RoehmBHP #behaviour #identification #specification #towards
Towards Identification of Software Improvements and Specification Updates by Comparing Monitored and Specified End-User Behavior (TR, BB, TMH, BP), pp. 464–467.
ICSMEICSM-2013-SiebraMSS #framework
The Adventure of Developing a Software Application on a Pre-release Platform: Features and Learned Lessons (CdS, AM, FQBdS, ALMS), pp. 556–559.
ICSMEICSM-2013-StrouliaMRB #collaboration #interactive
Interactive Exploration of Collaborative Software-Development Data (ES, IM, FR, KB), pp. 504–507.
ICSMEICSM-2013-WangWYLLZ #categorisation #mining #multi #repository
Mining Software Profile across Multiple Repositories for Hierarchical Categorization (TW, HW, GY, CXL, XL, PZ), pp. 240–249.
ICSMEICSM-2013-Yamashita #case study #comparative #how #maintenance #smell
How Good Are Code Smells for Evaluating Software Maintainability? Results from a Comparative Case Study (AY), pp. 566–571.
ICSMEICSM-2013-ZhangMZKH #how #maintenance #metric #question
How Does Context Affect the Distribution of Software Maintainability Metrics? (FZ, AM, YZ, FK, AEH), pp. 350–359.
MSRMSR-2013-DitHPK #dataset #evaluation #maintenance
A dataset from change history to support evaluation of software maintenance tasks (BD, AH, DP, HHK), pp. 131–134.
MSRMSR-2013-DullemondGSD #distributed #microblog #problem
Fixing the “out of sight out of mind” problem: one year of mood-based microblogging in a distributed software team (KD, BvG, MADS, AvD), pp. 267–276.
MSRMSR-2013-Gala-PerezRGH #case study #evolution #metric #open source
Intensive metrics for the study of the evolution of open source projects: case studies from apache software foundation projects (SGP, GR, JMGB, IH), pp. 159–168.
MSRMSR-2013-GreilerZDS #evolution #smell
Strategies for avoiding text fixture smells during software evolution (MG, AZ, AvD, MADS), pp. 387–396.
MSRMSR-2013-GuzziBLPD #communication #development #open source
Communication in open source software development mailing lists (AG, AB, ML, MP, AvD), pp. 277–286.
MSRMSR-2013-HowardGPV #automation #mining #semantics #word
Automatically mining software-based, semantically-similar words from comment-code mappings (MJH, SG, LLP, KVS), pp. 377–386.
MSRMSR-2013-HuW #fault #predict #using
Using citation influence to predict software defects (WH, KW), pp. 419–428.
MSRMSR-2013-JanjicHSA #dataset #research #reuse #source code
An unabridged source code dataset for research in software reuse (WJ, OH, MS, CA), pp. 339–342.
MSRMSR-2013-MukadamBR #android #bibliography #code review
Gerrit software code review data from Android (MM, CB, PCR), pp. 45–48.
MSRMSR-2013-Murphy #development #what
What is software development productivity, anyway? (keynote) (GCM), p. 1.
MSRMSR-2013-SouzaM #category theory #metric #question
Do software categories impact coupling metrics? (LBLdS, MdAM), pp. 217–220.
MSRMSR-2013-Squire #dataset
Project roles in the apache software foundation: a dataset (MS), pp. 301–304.
MSRMSR-2013-TsunodaTFKNU #development #estimation #process
Revisiting software development effort estimation based on early phase development activities (MT, KT, KF, YK, MN, NU), pp. 429–438.
MSRMSR-2013-VasilescuSM #dataset #re-engineering
A historical dataset of software engineering conferences (BV, AS, TM), pp. 373–376.
MSRMSR-2013-XiaLWZ #recommendation
Tag recommendation in software information sites (XX, DL, XW, BZ), pp. 287–296.
SCAMSCAM-2013-MattsenCS #bound
Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.
SCAMSCAM-2013-MendezBM #api #empirical #object-oriented #scalability
Empirical evidence of large-scale diversity in API usage of object-oriented software (DM, BB, MM), pp. 43–52.
SCAMSCAM-2013-SokolAG #mining #named #repository #research
MetricMiner: Supporting researchers in mining software repositories (FZS, MFA, MAG), pp. 142–146.
SCAMSCAM-2013-SvajlenkoRD #analysis #generative #named #similarity #tool support
ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.
WCREWCRE-2013-AversanoMT #architecture
Evaluating architecture stability of software projects (LA, MM, MT), pp. 417–424.
WCREWCRE-2013-BaggeZ #problem
Workshop on open and original problems in software language engineering (AHB, VZ), pp. 493–494.
WCREWCRE-2013-ChatterjiCKH #case study #developer #maintenance
Effects of cloned code on software maintainability: A replicated developer study (DC, JCC, NAK, JH), pp. 112–121.
WCREWCRE-2013-RaoMK #debugging #framework #incremental #library #locality #performance #retrieval
An incremental update framework for efficient retrieval from software libraries for bug localization (SR, HM, ACK), pp. 62–71.
WCREWCRE-2013-SaeidiHKJ #analysis #legacy #modelling #named #tool support
Gelato: GEneric language tools for model-driven analysis of legacy software systems (AS, JH, RK, SJ), pp. 481–482.
WCREWCRE-2013-SchoenmakersBNVS #complexity
Assessing the complexity of upgrading software modules (BS, NvdB, IN, BV, AS), pp. 433–440.
WCREWCRE-2013-WalkinshawTD #finite #modelling #state machine
Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
PEPMPEPM-2013-SatoUK #higher-order #model checking #scalability #source code #towards
Towards a scalable software model checker for higher-order programs (RS, HU, NK), pp. 53–62.
PLDIPLDI-2013-BoddenTRBBM #named #product line
SPLLIFT: statically analyzing software product lines in minutes instead of years (EB, TT, MR, CB, PB, MM), pp. 355–364.
IFMIFM-2013-MilloRKN #composition #product line #verification
Compositional Verification of Software Product Lines (JVM, SR, SNK, GKN), pp. 109–123.
IFMIFM-2013-SongT #api #library #model checking
Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.
CHICHI-2013-ChilanaKWG #case study #crowdsourcing #multi
A multi-site field study of crowdsourced contextual help: usage and perspectives of end users and software teams (PKC, AJK, JOW, TG), pp. 217–226.
CSCWCSCW-2013-HowisonH #integration
Incentives and integration in scientific software production (JH, JDH), pp. 459–470.
CSCWCSCW-2013-HuangDLLG #bound
Meanings and boundaries of scientific software sharing (XH, XD, CPL, TL, NG), pp. 423–434.
CSCWCSCW-2013-MarlowD #developer #process
Activity traces and signals in software developer recruitment and hiring (JM, LD), pp. 145–156.
HCIDHM-HB-2013-ZhangZLDW #optimisation
Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.
HCIDUXU-CXC-2013-Kumar #design #gamification
Gamification at Work: Designing Engaging Business Software (JK), pp. 528–537.
HCIDUXU-CXC-2013-TailebAAAA #named #recognition #speech
YUSR: Speech Recognition Software for Dyslexics (MT, RAS, AAG, MAZ, SAS), pp. 296–303.
HCIDUXU-WM-2013-Igler #approach #design #evaluation #mobile #prototype
Feature Evaluation for Mobile Applications: A Design Science Approach Based on Evolutionary Software Prototypes (BI), pp. 673–681.
HCIDUXU-WM-2013-LeeMR #re-engineering
A Dependency-Sharing Tool for Global Software Engineering (DL, AEM, DR), pp. 37–46.
HCIDUXU-WM-2013-SchutzOV #approach #automation #development #evaluation #usability
SysML-Based Approach for Automation Software Development — Explorative Usability Evaluation of the Provided Notation (DS, MO, BVH), pp. 568–574.
HCIHCI-AMTE-2013-SiewYZ #case study #development #information management #research
Participatory Action Research in Software Development: Indigenous Knowledge Management Systems Case Study (STS, AWY, TZ), pp. 470–479.
HCIHCI-AS-2013-CarvalhoLCAMCAL #mobile #process #re-engineering
Software Engineering in Telehealth, an Extension of Sana Mobile Applied to the Process of a Routine Hospital (AVdC, CJPdL, EJRC, PHCA, PAdSeSM, GRdC, FRLdA, GVCL), pp. 3–12.
HCIHCI-III-2013-KunoST
Long-Term Study of a Software Keyboard That Places Keys at Positions of Fingers and Their Surroundings (YK, BS, JT), pp. 72–81.
HCIHCI-UC-2013-BrohlBJS #design #project management
Icon Design for Older Users of Project Management Software (CB, JB, NJ, CMS), pp. 127–135.
HCIHCI-UC-2013-RauffH #enterprise
Reverse Business Innovations — The Impact of ERP Software Upgrades on Organizations (SR, AH), pp. 438–445.
HCIHIMI-D-2013-Terawaki #framework #quality #requirements
Framework for Quantitatively Evaluating the Quality Requirements of Software System (YT), pp. 383–392.
VISSOFTVISSOFT-2013-AlcocerBDD #comprehension #evolution #performance
Performance evolution blueprint: Understanding the impact of software evolution on performance (JPSA, AB, SD, MD), pp. 1–9.
VISSOFTVISSOFT-2013-AnslowMNB #collaboration #named #visualisation
SourceVis: Collaborative software visualization for co-located environments (CA, SM, JN, RB), pp. 1–10.
VISSOFTVISSOFT-2013-BenomarSP #heatmap #visualisation
Visualizing software dynamicities with heat maps (OB, HAS, PP), pp. 1–10.
VISSOFTVISSOFT-2013-BradleyH #composition #development #named #navigation
Visuocode: A software development environment that supports spatial navigation and composition (DRB, IJH), pp. 1–4.
VISSOFTVISSOFT-2013-FittkauWWH #approach #scalability #visualisation
Live trace visualization for comprehending large software landscapes: The ExplorViz approach (FF, JW, CW, WH), pp. 1–4.
VISSOFTVISSOFT-2013-GouveiaCA #fault #html #locality #using #visualisation
Using HTML5 visualizations in software fault localization (CG, JC, RA), pp. 1–10.
VISSOFTVISSOFT-2013-Guzman #development #visualisation
Visualizing emotions in software development projects (EG), pp. 1–4.
VISSOFTVISSOFT-2013-Hanjalic #evolution #named #visualisation
ClonEvol: Visualizing software evolution with code clones (AH), pp. 1–4.
VISSOFTVISSOFT-2013-Lopez-HerrejonE #interactive #product line #testing #towards #visualisation
Towards interactive visualization support for pairwise testing software product lines (RELH, AE), pp. 1–4.
VISSOFTVISSOFT-2013-ScannielloE
Software entities as bird flocks and fish schools (GS, UE), pp. 1–4.
VISSOFTVISSOFT-2013-ShresthaZM #open source #visualisation
Visualizing time and geography of open source software with storygraph (AS, YZ, BM), pp. 1–4.
VISSOFTVISSOFT-2013-Wehrwein #lightweight #matrix #reverse engineering #using #visualisation
Lightweight software reverse engineering using augmented matrix visualizations (BW), pp. 1–4.
VISSOFTVISSOFT-2013-ZhiR #documentation #evolution #named #visualisation
DEVis: A tool for visualizing software document evolution (JZ, GR), pp. 1–4.
AdaEuropeAdaEurope-2013-AsensioLCN #analysis #approach #execution #safety #worst-case
Worst-Case Execution Time Analysis Approach for Safety-Critical Airborne Software (EA, IL, AC, JN), pp. 161–176.
AdaEuropeAdaEurope-2013-FaginC #case study #reliability
Provably Secure DNS: A Case Study in Reliable Software (BSF, MCC), pp. 81–93.
HILTHILT-2013-CarterFHHT #analysis #named
SAW: the software analysis workbench (KC, AF, JH, BH, AT), pp. 15–18.
HILTHILT-2013-Chaki #bound #model checking
Bounded model checking of high-integrity software (SC), pp. 9–10.
HILTHILT-2013-DoranA #development #embedded #modelling #named #tool support
Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
CAiSECAiSE-2013-ChatzikonstantinouKA #data analysis #framework
A Goal Driven Framework for Software Project Data Analytics (GC, KK, IMA), pp. 546–561.
CAiSECAiSE-2013-PapottiPSCP #analysis #code generation #modelling
A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation (PEP, AFdP, WLdS, CEC, LFP), pp. 321–337.
ICEISICEIS-J-2013-BouneffaA13a #approach #graph grammar #impact analysis #ontology
The Change Impact Analysis in BPM Based Software Applications: A Graph Rewriting and Ontology Based Approach (MB, AA), pp. 280–295.
ICEISICEIS-J-2013-CarneiroN13a #multi #named #towards #visualisation
SourceMiner: Towards an Extensible Multi-perspective Software Visualization Environment (GdFC, MGdMN), pp. 242–263.
ICEISICEIS-J-2013-HernandesBF13a #bibliography #process
An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
ICEISICEIS-J-2013-JuniorPVDCC #aspect-oriented #modelling #object-oriented #re-engineering
Reengineering of Object-Oriented Software into Aspect-Oriented Ones Supported by Class Models (PAPJ, RDP, MCV, RSD, VVdC, HAXC), pp. 296–313.
ICEISICEIS-v1-2013-HernandesBF #process
Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEISICEIS-v1-2013-LimaSKCF #approach #enterprise #evolution
A Delta Oriented Approach to the Evolution and Reconciliation of Enterprise Software Products Lines (GL, JS, UK, DAdC, SVF), pp. 255–263.
ICEISICEIS-v2-2013-BouneffaA
Change Management of BPM-based Software Applications (MB, AA), pp. 37–45.
ICEISICEIS-v2-2013-CarneiroN #multi #named #visualisation
SourceMiner — A Multi-perspective Software Visualization Environment (GdFC, MGdMN), pp. 25–36.
ICEISICEIS-v2-2013-CrawfordBSMM #information management #re-engineering
Knowledge Management and Creativity in Software Engineering — The Foundations of Agility (BC, CLdlB, RS, SM, EM), pp. 265–272.
ICEISICEIS-v2-2013-JuniorVDCCP #aspect-oriented #modelling #object-oriented #refactoring
Concern-based Refactorings Supported by Class Models to Reengineer Object-Oriented Software into Aspect-Oriented Ones (PAPJ, MCV, RSD, VVdC, HAXC, RADP), pp. 46–57.
ICEISICEIS-v2-2013-RositoRB #case study #configuration management
An Experimental Study on the Dynamic Reconfiguration of Software Projects (MCR, MBR, RMB), pp. 232–239.
ICEISICEIS-v2-2013-SierraCVCV #education #re-engineering #recommendation
Microworld-type Ethnoeducational Computer Materials to Support the Teaching of Nasa-Yuwe — Recommendations from a Software Engineering Disciplines Viewpoint for Constructing Microworld-type Ethnoeducational Materials Aimed at Supporting Nasa Yuwe Language Teaching (LMS, EASC, JAV, TRC, EMV), pp. 526–531.
ICEISICEIS-v2-2013-SilvaFJGO #approach #embedded #named #product line
SyMPLES — A SysML-based Approach for Developing Embedded Systems Software Product Lines (RFS, VHF, EAdOJ, IMdSG, FO), pp. 257–264.
ICEISICEIS-v2-2013-SoaresB #development #process
Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.
ICEISICEIS-v2-2013-TaitH #development #distributed #project management
Software Project Management in Distributed Software Development Context (TFCT, EHMH), pp. 216–222.
ICMLICML-c2-2013-DasBBG #automation #modelling #topic
Subtle Topic Models and Discovering Subtly Manifested Software Concerns Automatically (MKD, SB, CB, KG), pp. 253–261.
SEKESEKE-2013-AbdouGK #open source #process #testing
Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKESEKE-2013-AdamE #approach #multi
A multi-dimensional approach for analyzing software artifacts (SA, GEB), pp. 650–655.
SEKESEKE-2013-Al-JamimiA #design pattern #detection #prolog #using
Using Prolog Rules to Detect Software Design Patterns: Strengths and Weaknesses (S) (HAAJ, MAA), pp. 727–730.
SEKESEKE-2013-Al-MsiedeenSHUVS #concept analysis #mining #object-oriented #semantics #source code #using
Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing (RAM, ADS, MH, CU, SV, HES), pp. 244–249.
SEKESEKE-2013-AlamRP
Decision Support for Re-planning of Software Product Releases (S) (SMDAA, GR, DP), pp. 89–94.
SEKESEKE-2013-AsuncionSPPDM #information management #using
Using Change Entries to Collect Software Project Information (HUA, MS, RP, KP, ND, WJMJ), pp. 184–189.
SEKESEKE-2013-BajnaidBPS #assurance #development #evaluation #ontology #quality
Software Quality Assurance Ontology from Development to Evaluation (S) (NB, RB, AP, SS), pp. 689–694.
SEKESEKE-2013-Chang #re-engineering
Environment-Aware Software Engineering (SKC).
SEKESEKE-2013-CheP #architecture #design #development #paradigm
Exploring Architectural Design Decision Management Paradigms for Global Software Development (MC, DEP), pp. 8–13.
SEKESEKE-2013-DingXG #approach #petri net #specification
An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
SEKESEKE-2013-FerreiraVQ #approach #product line #testing
A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.
SEKESEKE-2013-FortalezaJCVP #development #distributed #simulation
Improving Software Engineers’ Skills through the Simulation of Distributed Software Development in Academic Environments (LLF, OOMJ, TC, SRCV, RP), pp. 190–195.
SEKESEKE-2013-FreireCNMKAS #automation #bibliography #re-engineering
Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (S) (MAF, DAdC, ECN, TM, UK, EA, SS), pp. 504–509.
SEKESEKE-2013-GaoKN #estimation #preprocessor #quality
Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation (KG, TMK, AN), pp. 612–617.
SEKESEKE-2013-GomedeB #development #process #quality #re-engineering
A Non-Intrusive Process to Software Engineering Decision Support focused on increasing the Quality of Software Development (S) (EG, RMB), pp. 95–100.
SEKESEKE-2013-HansenM #analysis #ecosystem #network #towards
Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems (KMH, KM), pp. 326–331.
SEKESEKE-2013-HoritaHGB #development #maturity #quality
Maturity Model and Lesson Learned for improve the Quality of Organizational Knowledge and Human Resources Management in Software Development (S) (FEAH, MIH, FHG, RMdB), pp. 552–555.
SEKESEKE-2013-IdriHA #estimation #modelling
Assessing RBFN-Based Software Cost Estimation Models (S) (AI, AH, AA), pp. 483–487.
SEKESEKE-2013-IqbalKH #behaviour #communication #developer #social
Analyzing Social Behavior of Software Developers Across Different Communication Channels (S) (AI, MK, MH), pp. 113–118.
SEKESEKE-2013-KrollPACF #development
A Feasibility Study of Follow-the-Sun Software Development for GSD Projects (S) (JK, RP, JLNA, EC, JF), pp. 196–199.
SEKESEKE-2013-LinMC #commit #developer #empirical #open source #process
Empirical Evidence on Developer’s Commit Activity for Open-Source Software Projects (SL, YM, JC), pp. 455–460.
SEKESEKE-2013-MarcalGCJ #identification #mining #repository #using
Mining Software Repository to Identify Crosscutting Concerns Using Combined Techniques (S) (IM, REG, RCMC, COJ), pp. 338–343.
SEKESEKE-2013-NetoMGA #effectiveness #product line #testing
Analyzing the Effectiveness of a System Testing Tool for Software Product Line Engineering (S) (CRLN, IdCM, VCG, ESdA), pp. 584–588.
SEKESEKE-2013-OliveiraBVC #detection
Metrics-based Detection of Similar Software (S) (PO, HB, MTV, HAXC), pp. 447–450.
SEKESEKE-2013-PortugalO #process #specification
Introducing Software Process Specification to Task Context (S) (IdSP, TCO), pp. 22–25.
SEKESEKE-2013-RajasekharanMN #crowdsourcing #effectiveness #online
Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums (KR, APM, SKN), pp. 119–124.
SEKESEKE-2013-RamosRO #process #source code #towards
Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.
SEKESEKE-2013-ShahinLL #architecture #concept #documentation #using
Recovering Software Architectural Knowledge from Documentation using Conceptual Model (MS, PL, ZL), pp. 556–561.
SEKESEKE-2013-ShamsHK #estimation #network #using
Software Effort Estimation using Regularized Radial Basis Function Neural Networks (KMS, HSH, AK), pp. 473–478.
SEKESEKE-2013-SilvaVMA #approach #product line
Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines (IFdS, TV, SRLM, ESdA), pp. 238–243.
SEKESEKE-2013-SouzaFV #information management #testing
Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
SEKESEKE-2013-SouzaV #agile #product line
Selecting Agile Practices for Developing Software Product Lines (S) (DSdS, PV), pp. 220–225.
SEKESEKE-2013-SunSJ #architecture #maintenance #using
Using Architecture to Support the Collaborations in Software Maintenance (YS, HS, WJ), pp. 362–357.
SEKESEKE-2013-TaoLG #approach #architecture #component #configuration management #incremental #testing #using
Testing Configurable Architectures For Component-Based Software Using an Incremental Approach (CT, BL, JG), pp. 356–361.
SEKESEKE-2013-WangKWN #case study #feature model #first-order #metric #statistics
A Study on First Order Statistics-Based Feature Selection Techniques on Software Metric Data (HW, TMK, RW, AN), pp. 467–472.
SEKESEKE-2013-WangWMX #analysis #how #performance
How Does Acquirer’s Participation Influence Performance of Software Projects: A Quantitative Analysis (S) (YW, JW, JM, BX), pp. 537–541.
SEKESEKE-2013-YuWYLY #evaluation #named #repository
HESA: The Construction and Evaluation of Hierarchical Software Feature Repository (YY, HW, GY, XL, CY), pp. 624–631.
SKYSKY-2013-GallantG
Overcoming Software System Misuse by Domain Knowledge (RG, LG), pp. 62–69.
SKYSKY-2013-GarzonSK #elicitation #re-engineering
Knowledge Re-use and Dissemination for Resource Elicitation in Software Engineering (MHG, CS, JK), pp. 14–23.
AMTAMT-2013-AgirreES #architecture #automation #development #impact analysis #migration #modelling
Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development (JAA, LE, GS), pp. 52–61.
ECMFAECMFA-2013-Kulkarni #development #modelling
Model Driven Software Development — A Practitioner Takes Stock and Looks into Future (VK), pp. 220–235.
ECMFAECMFA-2013-MzidMMPBA #design pattern #named #realtime
DPMP: A Software Pattern for Real-Time Tasks Merge (RM, CM, AM, STP, JPB, MA), pp. 101–117.
MODELSMoDELS-2013-AlamKM #design
Concern-Oriented Software Design (OA, JK, GM), pp. 604–621.
MODELSMoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using
Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.
MODELSMoDELS-2013-FariasGWL #case study #design #industrial #modelling #scalability
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.
MODELSMoDELS-2013-IordanovAAHU #modelling #semantics #web
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MODELSMoDELS-2013-KuschkeMR #modelling #process #recommendation
Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.
MODELSMoDELS-2013-PiresPWD #behaviour #embedded #source code #verification
Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
MODELSMoDELS-2013-AlamKM #design
Concern-Oriented Software Design (OA, JK, GM), pp. 604–621.
MODELSMoDELS-2013-CazzolaRAF #evolution #fine-grained #modelling #process #uml #using
Fine-Grained Software Evolution Using UML Activity and Class Models (WC, NAR, MAR, RBF), pp. 271–286.
MODELSMoDELS-2013-FariasGWL #case study #design #industrial #modelling #scalability
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.
MODELSMoDELS-2013-IordanovAAHU #modelling #semantics #web
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management (BI, AA, SA, TH, PU), pp. 589–603.
MODELSMoDELS-2013-KuschkeMR #modelling #process #recommendation
Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.
MODELSMoDELS-2013-PiresPWD #behaviour #embedded #source code #verification
Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
ECOOPECOOP-2013-GligoricBLOHM #refactoring #testing
Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
OnwardOnward-2013-XuCBD #development
User model and system model: the yin and yang in user-centered software development (HX, OC, NB, RD), pp. 91–100.
OOPSLAOOPSLA-2013-Zhang0K #developer #evolution #fault #injection #locality
Injecting mechanical faults to localize developer faults for evolving software (LZ, LZ, SK), pp. 765–784.
GPCEGPCE-2013-KramerOKC #product line #user interface #using
Using document-oriented GUIs in dynamic software product lines (DK, SO, PK, TC), pp. 85–94.
LOPSTRLOPSTR-2013-BeckertBKSSU #data flow #object-oriented
Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
REER-BR-2013-FerreiraL #evolution #requirements
Requirements Engineering with a Perspective of Software Evolution — Anticipating requirements based on organizational change (MGF, JCSdPL).
REER-BR-2013-Finkelstein #re-engineering #what
The Next 10 Years: the shape of software to come and what if means for software engineering (AF).
REER-BR-2013-GuedesSC #approach #product line
Goals and Scenarios to Software Product Lines: the GS2SPL Approach (GG, CTLLS, JC).
REER-BR-2013-SantosW #communication #ecosystem #on the #requirements
On the Impact of Software Ecosystems in Requirements Communication and Management (RPdS, CMLW).
RERE-2013-AlspaughS #development #requirements
Ongoing software development without classical requirements (TAA, WS), pp. 165–174.
RERE-2013-MaxwellAE #empirical
An empirical investigation of software engineers’ ability to classify legal cross-references (JCM, AIA, JBE), pp. 24–31.
RERE-2013-NakagawaOH #evolution
A goal model elaboration for localizing changes in software evolution (HN, AO, SH), pp. 155–164.
RERE-2013-Reddivari #requirements #visual notation
Visual analytics for software requirements engineering (SR), pp. 389–392.
RERE-2013-SaitoTHKA #quality #requirements #specification
Requirements clinic: Third party inspection methodology and practice for improving the quality of software requirements specifications (SS, MT, MH, TK, MA), pp. 290–295.
RERE-2013-Terzakis #quality #requirements
The impact of requirements on software quality across three product generations (JT), pp. 284–289.
RERE-2013-Valenca #approach #ecosystem #evolution #requirements #social
Requirements negotiation model: A social oriented approach for software ecosystems evolution (GV), pp. 393–396.
RERE-2013-WangLWYZL #debugging #dependence #integration #network #question #requirements
Can requirements dependency network be used as early indicator of software integration bugs? (JW, JL, QW, DY, HZ, ML), pp. 185–194.
REFSQREFSQ-2013-Bennett-TherkildsenJNR #development #process #requirements
Redefinition of the Requirements Engineer Role in Mjølner’s Software Development Process (ABT, JBJ, KN, NMR), pp. 285–291.
REFSQREFSQ-2013-Bjarnason #development #process #requirements
Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.
REFSQREFSQ-2013-DanevaBH #architecture #case study #experience #quality #question #requirements #what
Software Architects’ Experiences of Quality Requirements: What We Know and What We Do Not Know? (MD, LB, AH), pp. 1–17.
REFSQREFSQ-2013-DelaterP #development #perspective #requirements #research #source code
Analyzing the Tracing of Requirements and Source Code during Software Development — A Research Preview (AD, BP), pp. 308–314.
REFSQREFSQ-2013-JantunenHG #challenge #problem
Adjusting to Increasing Product Management Problems: Challenges and Improvement Proposals in One Software Company (SJ, KH, DCG), pp. 386–400.
REFSQREFSQ-2013-ProynovaP #feedback #predict
Factors Influencing User Feedback on Predicted Satisfaction with Software Systems (RP, BP), pp. 96–111.
SACSAC-2013-BarcellosF #metric #ontology
A software measurement task ontology (MPB, RdAF), pp. 311–318.
SACSAC-2013-Barros #component #representation
Representing dynamic pluggable software units (FB), pp. 1006–1012.
SACSAC-2013-BasgaluppBSC #approach #predict
Software effort prediction: a hyper-heuristic decision-tree based approach (MPB, RCB, TSdS, ACPLFC), pp. 1109–1116.
SACSAC-2013-BeckersFHHC #development
Common criteria compliant software development (CC-CASD) (KB, SF, DH, MH, IC), pp. 1298–1304.
SACSAC-2013-BhattacharjeeJ #algorithm #named #repository #scalability #similarity
CodeBlast: a two-stage algorithm for improved program similarity matching in large software repositories (AB, HMJ), pp. 846–852.
SACSAC-2013-BrinkeMBBA #composition #design #energy
A design method for modular energy-aware software (StB, SM, CB, LB, MA), pp. 1180–1182.
SACSAC-2013-BruyninckxKHKGB #component #development #modelling #paradigm
The BRICS component model: a model-based development paradigm for complex robotics software systems (HB, MK, NH, GKK, LG, DB), pp. 1758–1764.
SACSAC-2013-CastorSS #assessment #haskell #memory management #transaction
A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.
SACSAC-2013-ChaeKHLW #api #detection
Software plagiarism detection via the static API call frequency birthmark (DKC, SWK, JH, SCL, GW), pp. 1639–1643.
SACSAC-2013-ChaudhariZW #component #framework #ranking #towards
Towards a ranking framework for software components (DC, MZ, KW), pp. 495–498.
SACSAC-2013-DietrichRP #clustering #detection #visual notation
Exploiting visual appearance to cluster and detect rogue software (CJD, CR, NP), pp. 1776–1783.
SACSAC-2013-DiwanCFLBHR #product line #web
Applying software product line engineering in building web portals for supercomputing services (PD, PC, EF, YL, TB, DEH, RR), pp. 1765–1771.
SACSAC-2013-FanYZ #architecture #framework #modelling #scalability
A generic framework for deriving architecture modeling methods for large-scale software-intensive systems (ZF, TY, LZ), pp. 1750–1757.
SACSAC-2013-GoncalvesTM #towards
Towards a software tool for ultrasound guided robotic hip resurfacing surgery (PJSG, PMBT, JMMM), pp. 232–234.
SACSAC-2013-GregioFAGMJ #analysis #behaviour #empirical #internet
An empirical analysis of malicious internet banking software behavior (ARAG, DSFF, VMA, PLdG, VFM, MJ), pp. 1830–1835.
SACSAC-2013-HunnyZW #adaptation #named
OSDC: adapting ODC for developing more secure software (UH, MZ, KW), pp. 1131–1136.
SACSAC-2013-JangJHJKJ #android
Protecting Android applications with steganography-based software watermarking (JJ, HJ, JH, JJ, DK, SKJ), pp. 1657–1658.
SACSAC-2013-Marques-NetoAV #approach #maintenance
A quantitative approach for evaluating software maintenance services (HMN, GJA, MTV), pp. 1068–1073.
SACSAC-2013-NotanderRH #design #development #flexibility #framework #modelling #safety
A model-based framework for flexible safety-critical software development: a design study (JPN, PR, MH), pp. 1137–1144.
SACSAC-2013-OliveiraB #configuration management #on the
On the reconfiguration of software connectors (NO, LSB), pp. 1885–1892.
SACSAC-2013-PalomaresQFRG #content management #functional #requirements
A catalogue of functional software requirement patterns for the domain of content management systems (CP, CQ, XF, SR, CG), pp. 1260–1265.
SACSAC-2013-Penzenstadler #re-engineering #towards
Towards a definition of sustainability in and for software engineering (BP), pp. 1183–1185.
SACSAC-2013-PerkusichAP #detection #development #problem
A model to detect problems on scrum-based software development projects (MP, HOdA, AP), pp. 1037–1042.
SACSAC-2013-SilvaATADG #architecture #bibliography
Smart cities software architectures: a survey (WMdS, , GHRPT, RAA, KLD, VCG), pp. 1722–1727.
SACSAC-2013-VivianHL #approach #development #distributed
Supporting distributed software development through context awareness on software artifacts: the DiSEN-CollaborAR approach (RLV, EHMH, GCLL), pp. 765–770.
ESEC-FSEESEC-FSE-2013-BlincoeVD #coordination #dependence #identification
Do all task dependencies require coordination? the role of task properties in identifying critical coordination needs in software projects (KB, GV, DD), pp. 213–223.
ESEC-FSEESEC-FSE-2013-CalefatoL #named #social
SocialCDE: a social awareness tool for global software teams (FC, FL), pp. 587–590.
ESEC-FSEESEC-FSE-2013-DiGiuseppe #automation #fault
Automatically describing software faults (ND), pp. 711–714.
ESEC-FSEESEC-FSE-2013-DuboisT #comprehension #development #gamification
Understanding gamification mechanisms for software development (DJD, GT), pp. 659–662.
ESEC-FSEESEC-FSE-2013-Gonthier #re-engineering
Software engineering for mathematics (keynote) (GG), p. 13.
ESEC-FSEESEC-FSE-2013-GooijerK #reuse
Agreements for software reuse in corporations (TdG, HK), pp. 679–682.
ESEC-FSEESEC-FSE-2013-GuzmanB #development #towards
Towards emotional awareness in software development teams (EG, BB), pp. 671–674.
ESEC-FSEESEC-FSE-2013-InverardiARPT #challenge #integration #research
Producing software by integration: challenges and research directions (keynote) (PI, MA, DDR, PP, MT), pp. 2–12.
ESEC-FSEESEC-FSE-2013-LiebigRKADL #analysis #scalability
Scalable analysis of variable software (JL, AvR, CK, SA, JD, CL), pp. 81–91.
ESEC-FSEESEC-FSE-2013-Lopez #ecosystem #evolution #modelling #topic #using
Using topic models to understand the evolution of a software ecosystem (NL), pp. 723–726.
ESEC-FSEESEC-FSE-2013-MarinescuC #named #testing
KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
ESEC-FSEESEC-FSE-2013-McPeakGR #debugging #detection #incremental #scalability
Scalable and incremental software bug detection (SM, CHG, MKR), pp. 554–564.
ESEC-FSEESEC-FSE-2013-NagappanZB #re-engineering #research
Diversity in software engineering research (MN, TZ, CB), pp. 466–476.
ESEC-FSEESEC-FSE-2013-RigbyB #bibliography #convergence
Convergent contemporary software peer review practices (PCR, CB), pp. 202–212.
ESEC-FSEESEC-FSE-2013-SahaSP #case study #comprehension #stack overflow #towards
Toward understanding the causes of unanswered questions in software information sites: a case study of stack overflow (RKS, AKS, DEP), pp. 663–666.
ESEC-FSEESEC-FSE-2013-ZhangC #effectiveness #fault #modelling #predict
A cost-effectiveness criterion for applying software defect prediction models (HZ, SCC), pp. 643–646.
ICSEICSE-2013-AlmorsyGI #analysis #architecture #automation #security #using
Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
ICSEICSE-2013-BallandCNS #development
A case for human-driven software development (EB, CC, BN, HS), pp. 1229–1232.
ICSEICSE-2013-BartensteinL #data-driven
Green streams for data-intensive software (TB, YDL), pp. 532–541.
ICSEICSE-2013-BavotaDOPPL #developer #empirical
An empirical study on the developers’ perception of software coupling (GB, BD, RO, MDP, DP, ADL), pp. 692–701.
ICSEICSE-2013-BettenburgB #development #mining
Deciphering the story of software development through frequent pattern mining (NB, AB), pp. 1197–1200.
ICSEICSE-2013-BouwersDV #case study #experience #industrial #metric
Evaluating usefulness of software metrics: an industrial experience report (EB, AvD, JV), pp. 921–930.
ICSEICSE-2013-BouwersDVa #metric
Software metrics: pitfalls and best practices (EB, AvD, JV), pp. 1491–1492.
ICSEICSE-2013-Brandtner #assessment #quality
Fostering software quality assessment (MB), pp. 1393–1396.
ICSEICSE-2013-BullWC #education #re-engineering #towards
Studios in software engineering education: towards an evaluable model (CNB, JW, LC), pp. 1063–1072.
ICSEICSE-2013-CarrenoW #analysis #approach #evolution #requirements
Analysis of user comments: an approach for software requirements evolution (LVGC, KW), pp. 582–591.
ICSEICSE-2013-Dagnino
Estimating software-intensive projects in the absence of historical data (AD), pp. 941–950.
ICSEICSE-2013-DeRose #development
The connection between movie making and software development (keynote) (TD), p. 856.
ICSEICSE-2013-DornT #adaptation #architecture
Coupling software architecture and human architecture for collaboration-aware system adaptation (CD, RNT), pp. 53–62.
ICSEICSE-2013-DyerNRN #framework #named #repository #scalability
Boa: a language and infrastructure for analyzing ultra-large-scale software repositories (RD, HAN, HR, TNN), pp. 422–431.
ICSEICSE-2013-FerrucciHRS #multi #re-engineering
Not going to take this anymore: multi-objective overtime planning for software engineering projects (FF, MH, JR, FS), pp. 462–471.
ICSEICSE-2013-Franch #requirements
Software requirement patterns (XF), pp. 1499–1501.
ICSEICSE-2013-FreyFH #configuration management #deployment #in the cloud #optimisation #search-based
Search-based genetic optimization for deployment and reconfiguration of software in the cloud (SF, FF, WH), pp. 512–521.
ICSEICSE-2013-GarciaKMM #architecture
Obtaining ground-truth software architectures (JG, IK, CM, NM), pp. 901–910.
ICSEICSE-2013-Guerrouj #comprehension #normalisation #quality #source code
Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.
ICSEICSE-2013-HaiducBMOLM #automation #query #re-engineering #retrieval
Automatic query reformulations for text retrieval in software engineering (SH, GB, AM, RO, ADL, TM), pp. 842–851.
ICSEICSE-2013-HosekC #execution #multi
Safe software updates via multi-version execution (PH, CC), pp. 612–621.
ICSEICSE-2013-JohnsonSMB #debugging #developer #question #static analysis #tool support #why
Why don’t software developers use static analysis tools to find bugs? (BJ, YS, ERMH, RWB), pp. 672–681.
ICSEICSE-2013-Kouroshfar #co-evolution #quality
Studying the effect of co-change dispersion on software quality (EK), pp. 1450–1452.
ICSEICSE-2013-KuhrmannFM #education #modelling #process
Teaching software process modeling (MK, DMF, JM), pp. 1138–1147.
ICSEICSE-2013-Kulkarni #reuse
Systematically selecting a software module during opportunistic reuse (NK), pp. 1405–1406.
ICSEICSE-2013-Lin #comprehension #evolution #simulation
Understanding and simulating software evolution (ZL), pp. 1411–1414.
ICSEICSE-2013-MaoYLH #development
Pricing crowdsourcing-based software development tasks (KM, YY, ML, MH), pp. 1205–1208.
ICSEICSE-2013-MeneelyL #re-engineering
Vulnerability of the day: concrete demonstrations for software engineering undergraduates (AM, SL), pp. 1154–1157.
ICSEICSE-2013-MenziesKPTM #re-engineering
Data science for software engineering (TM, EK, FP, BT, LLM), pp. 1484–1486.
ICSEICSE-2013-Muslu #analysis #development #maintenance
Integrating systematic exploration, analysis, and maintenance in software development (KM), pp. 1389–1392.
ICSEICSE-2013-Nadi #case study #open source #variability
A study of variability spaces in open source software (SN), pp. 1353–1356.
ICSEICSE-2013-PaasivaaraLDRS #agile #distributed #education #re-engineering #student #using
Teaching students global software engineering skills using distributed scrum (MP, CL, DD, PR, AS), pp. 1128–1137.
ICSEICSE-2013-PaganoB #case study #evolution
User involvement in software evolution practice: a case study (DP, BB), pp. 953–962.
ICSEICSE-2013-PanichellaDOPPL #algorithm #approach #effectiveness #how #modelling #re-engineering #search-based #topic
How to effectively use topic models for software engineering tasks? an approach based on genetic algorithms (AP, BD, RO, MDP, DP, ADL), pp. 522–531.
ICSEICSE-2013-PastoreMG #c #c++ #debugging #named #problem
RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
ICSEICSE-2013-Perino #framework #self
A framework for self-healing software systems (NP), pp. 1397–1400.
ICSEICSE-2013-PosnettDDF #development #metric
Dual ecological measures of focus in software development (DP, RMD, PTD, VF), pp. 452–461.
ICSEICSE-2013-PrikladnickiC #development #industrial #proximity
Is time-zone proximity an advantage for software development? the case of the brazilian IT industry (RP, EC), pp. 973–981.
ICSEICSE-2013-Rajlich #developer #education #re-engineering
Teaching developer skills in the first software engineering course (VR), pp. 1109–1116.
ICSEICSE-2013-SamarthyamSSG #assessment #design #industrial #named #quality
MIDAS: a design quality assessment method for industrial software (GS, GS, TS, SG), pp. 911–920.
ICSEICSE-2013-Samuelson
Are software patents bad? (keynote) (PS), p. 855.
ICSEICSE-2013-Sanchez #adaptation #product line #self #towards
Toward a software product line for affective-driven self-adaptive systems (JGS), pp. 1381–1384.
ICSEICSE-2013-SantosS #assessment #authentication #case study #education #re-engineering
Authentic assessment in software engineering education based on PBL principles: a case study in the telecom market (SCdS, FSFS), pp. 1055–1062.
ICSEICSE-2013-Saraiva #maintenance #metric #roadmap
A roadmap for software maintainability measurement (JS), pp. 1453–1455.
ICSEICSE-2013-SayyadMA #case study #on the #product line #re-engineering #search-based
On the value of user preferences in search-based software engineering: a case study in software product lines (ASS, TM, HA), pp. 492–501.
ICSEICSE-2013-Simpson #communication #detection #developer
Changeset based developer communication to detect software failures (BS), pp. 1468–1470.
ICSEICSE-2013-SochaT #sketching
Sketching software in the wild (DS, JDT), pp. 1237–1240.
ICSEICSE-2013-TillmannHXGB #education #game studies #interactive #learning #programming #re-engineering
Teaching and learning programming and software engineering via interactive gaming (NT, JdH, TX, SG, JB), pp. 1117–1126.
ICSEICSE-2013-VouillonC #evolution #repository #set
Broken sets in software repository evolution (JV, RDC), pp. 412–421.
ICSEICSE-2013-YamashitaM #empirical #maintenance #smell
Exploring the impact of inter-smell relations on software maintainability: an empirical study (AFY, LM), pp. 682–691.
ICSEICSE-2013-ZanettiSTS #case study #categorisation #community #debugging #network #open source #social
Categorizing bugs with social networks: a case study on four open source software communities (MSZ, IS, CJT, FS), pp. 1032–1041.
ICSEICSE-2013-Zeid #contest #evaluation #framework #integration #re-engineering #source code #student
A framework to evaluate software engineering student contests: evaluation and integration with academic programs (AZ), pp. 1083–1089.
ICSEICSE-2013-Zhang04a #automation #fault #java #named
ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSEICSE-2013-ZhangE #automation #fault
Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
ICSEICSE-2013-ZhangGV #empirical #predict
Predicting bug-fixing time: an empirical study of commercial software projects (HZ, LG, SV), pp. 1042–1051.
ICSEICSE-2013-ZhangXa #challenge
Software analytics: achievements and challenges (DZ, TX), p. 1487.
SLESLE-2013-BatoryGMS #automation #design #graph grammar
Dark Knowledge and Graph Grammars in Automated Software Design (DSB, RG, BM, JS), pp. 1–18.
SLESLE-2013-FehrenbachEO #domain-specific language #evolution
Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
SLESLE-2013-LammelMV #tool support #wiki
Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
SLESLE-2013-PearceG #framework #named #research #verification
Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
PLEASEPLEASE-2013-ChimalakondaN #education #product line #question #what
What makes it hard to apply software product lines to educational technologies? (SC, KVN), pp. 17–20.
PLEASEPLEASE-2013-FangLED #behaviour #challenge #variability
Challenges in managing behavior variability of production control software (MF, GL, CE, JD), pp. 21–24.
PLEASEPLEASE-2013-HuangYKHU #analysis #domain-specific language #mining #repository #towards
Domain analysis for mining software repositories: Towards feature-based DSL construction (CH, KY, YK, KH, NU), pp. 41–44.
PLEASEPLEASE-2013-KramerOKC #product line #user interface #visual notation
Graphical user interfaces in dynamic software product lines (DK, SO, PK, TC), pp. 25–28.
PLEASEPLEASE-2013-Schmid #ecosystem #variability
Variability support for variability-rich software ecosystems (KS), pp. 5–8.
PLEASEPLEASE-2013-SchultisEL #architecture #ecosystem #industrial #question #towards
Moving towards industrial software ecosystems: Are our software architectures fit for the future? (KBS, CE, DL), pp. 9–12.
PLEASEPLEASE-2013-SimmondsBSQ #industrial #modelling #process #requirements #variability
Variability in software process models: Requirements for adoption in industrial settings (JS, MCB, LS, AQ), pp. 33–36.
PLEASEPLEASE-2013-UrliMBC #how #multi #product line #question
How to exploit domain knowledge in Multiple Software Product Lines? (SU, SM, MBF, PC), pp. 13–16.
SPLCSPLC-2013-BashariB #adaptation #product line #self
Engineering self-adaptive systems and dynamic software product line (MB, EB), p. 285.
SPLCSPLC-2013-Beuche #legacy #product line
Transforming legacy systems into software product lines (DB), p. 275.
SPLCSPLC-2013-ChastekM #product line
Production planning in a software product line organization (GJC, JDM), p. 281.
SPLCSPLC-2013-Donohoe #product line
Introduction to software product lines (PD), p. 274.
SPLCSPLC-2013-FilhoABN #case study #generative #modelling #product line
Generating counterexamples of model-based software product lines: an exploratory study (JBFF, OB, MA, BB, JLN), pp. 72–81.
SPLCSPLC-2013-Goto #development
Innovation of automotive software development (MG), pp. 5–6.
SPLCSPLC-2013-HenardPPKT #generative #multi #product line #testing
Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLCSPLC-2013-KoziolekGGDS #analysis #case study #experience #identification #reuse
Experiences from identifying software reuse opportunities by domain analysis (HK, TG, TdG, DD, SS), pp. 208–217.
SPLCSPLC-2013-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), pp. 283–284.
SPLCSPLC-2013-LanmanDRCK #challenge #product line
The challenges of applying service orientation to the U.S. Army’s live training software product line (JTL, RD, JR, PCC, CWK), pp. 244–253.
SPLCSPLC-2013-MarijanGSH #product line #testing
Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
SPLCSPLC-2013-MartiniPB #agile #communication #development #reuse #scalability
Communication factors for speed and reuse in large-scale agile software development (AM, LP, JB), pp. 42–51.
SPLCSPLC-2013-MuthigS #framework #product line
A framework for role-based feature management in software product line organizations (DM, JS), pp. 178–187.
SPLCSPLC-2013-MyllarniemiSM #case study #performance #product line #variability
Performance variability in software product lines: a case study in the telecommunication domain (VM, JS, TM), pp. 32–41.
SPLCSPLC-2013-NorthropJ #product line
Introduction to software product lines adoption (LMN, LGJ), p. 286.
SPLCSPLC-2013-Taylor #architecture #ecosystem
The role of architectural styles in successful software ecosystems (RNT), pp. 2–4.
SPLCSPLC-2013-TraskR #architecture #modelling #product line
Leveraging model driven engineering in software product line architectures (BT, AR), p. 279.
SPLCSPLC-2013-TsuchiyaKWKFY #requirements #source code #traceability
Recovering traceability links between requirements and source code in the same series of software products (RT, TK, HW, MK, YF, KY), pp. 121–130.
SPLCSPLC-2013-WangPXCZ0 #named
SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
SPLCSPLC-2013-XuCMR #product line #testing
Continuous test suite augmentation in software product lines (ZX, MBC, WM, GR), pp. 52–61.
ASPLOSASPLOS-2013-ArulrajCJL #hardware #performance
Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.
ASPLOSASPLOS-2013-RaghavanESPPWM #hardware #testing
Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
ASPLOSASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using
Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
CGOCGO-2013-HomescuNLBF #automation
Profile-guided automated software diversity (AH, SN, PL, SB, MF), p. 11.
CGOCGO-2013-ZhouWDS #flexibility #framework #migration #named
Profmig: A framework for flexible migration of program profiles across software versions (MZ, BW, YD, XS), p. 12.
PPoPPPPoPP-2013-WamhoffFFRM #concurrent #memory management #named #performance #thread #transaction
FastLane: improving performance of software transactional memory for low thread counts (JTW, CF, PF, ER, GM), pp. 113–122.
SOSPSOSP-2013-ClementsKZMK #commutative #design #manycore #scalability
The scalable commutativity rule: designing scalable software for multicore processors (ATC, MFK, NZ, RTM, EK), pp. 1–17.
SOSPSOSP-2013-ThereskaBOKRTBZ #architecture #named
IOFlow: a software-defined storage architecture (ET, HB, GO, TK, AITR, TT, RB, TZ), pp. 182–196.
CADECADE-2013-HahnleSB #reuse #verification
Reuse in Software Verification by Abstract Method Calls (RH, IS, RB), pp. 300–314.
CAVCAV-2013-AlglaveKT #bound #concurrent #model checking #partial order #performance
Partial Orders for Efficient Bounded Model Checking of Concurrent Software (JA, DK, MT), pp. 141–157.
CAVCAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using
Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
CAVCAV-2013-HeizmannHP #automaton #model checking #people
Software Model Checking for People Who Love Automata (MH, JH, AP), pp. 36–52.
CAVCAV-2013-KomuravelliGCC #abstraction #automation #bound #model checking #smt
Automatic Abstraction in SMT-Based Unbounded Software Model Checking (AK, AG, SC, EMC), pp. 846–862.
ICSTICST-2013-CarrozzaCNPR #analysis #industrial #predict
Analysis and Prediction of Mandelbugs in an Industrial Software System (GC, DC, RN, RP, SR), pp. 262–271.
ICSTICST-2013-Deak #comprehension #social
Understanding the Influence of Social and Technical Factors Testers in Software Organizations (AD), pp. 511–512.
ICSTICST-2013-FarooqQA #effectiveness #empirical #performance #testing
A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods (SUF, SMKQ, NA), pp. 493–494.
ICSTICST-2013-FryW #analysis #maintenance
Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.
ICSTICST-2013-HillTB #bound #c++ #named
GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.
ICSTICST-2013-KaushikATLL #challenge #fault #industrial
Defect Prioritization in the Software Industry: Challenges and Opportunities (NK, MA, LT, WL, SL), pp. 70–73.
ISSTAISSTA-2013-FraserSMAP #automation #generative #question #testing
Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTAISSTA-2013-YiQTR #contract
Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
CBSECBSE-2012-AtkinsonH #architecture #component #development #incremental
Iterative and incremental development of component-based software architectures (CA, OH), pp. 77–82.
CBSECBSE-2012-DongFLSZZ #component #composition
Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.
CBSECBSE-2012-StepanL #component
Controller patterns for component-based reactive control software systems (PS, KKL), pp. 71–76.
QoSAQoSA-2012-ArcelliCT #performance #refactoring
Antipattern-based model refactoring for software performance improvement (DA, VC, CT), pp. 33–42.
QoSAQoSA-2012-Barnes #architecture #case study #evolution #multi
NASA’s advanced multimission operations system: a case study in software architecture evolution (JMB), pp. 3–12.
QoSAQoSA-2012-HaitzerZ #abstraction #architecture #automation #component #lifecycle
DSL-based support for semi-automated architectural component model abstraction throughout the software lifecycle (TH, UZ), pp. 61–70.
QoSAQoSA-2012-NaabS #architecture #flexibility #lifecycle
Architectural flexibility in a software-system’s life-cycle: systematic construction and exploitation of flexibility (MN, JS), pp. 13–22.
QoSAQoSA-2012-YuHSHV #deployment #enterprise #testing
A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
WICSA-ECSAWICSA-ECSA-2012-BaelenC #design #evolution #simulation
Simulating Structural Design Evolution of Software (WB, YC), pp. 258–261.
WICSA-ECSAWICSA-ECSA-2012-ChristensenH #ecosystem #named #towards
Net4Care: Towards a Mission-Critical Software Ecosystem (HBC, KMH), pp. 224–228.
WICSA-ECSAWICSA-ECSA-2012-CortellessaSMT #architecture #performance
Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture (VC, MdS, ADM, CT), pp. 310–314.
WICSA-ECSAWICSA-ECSA-2012-ElorantaHVK #architecture #documentation #generative #knowledge base #named #topic #using
TopDocs: Using Software Architecture Knowledge Base for Generating Topical Documents (VPE, OH, TV, KK), pp. 191–195.
WICSA-ECSAWICSA-ECSA-2012-GalsterA #enterprise #variability
A Variability Viewpoint for Enterprise Software Systems (MG, PA), pp. 267–271.
WICSA-ECSAWICSA-ECSA-2012-GraafTLV #architecture #documentation #ontology
Ontology-based Software Architecture Documentation (KAdG, AT, PL, HvV), pp. 121–130.
WICSA-ECSAWICSA-ECSA-2012-GroherW #architecture #variability
Integrating Variability Management and Software Architecture (IG, RW), pp. 262–266.
WICSA-ECSAWICSA-ECSA-2012-HeymanSJ #architecture #formal method #modelling #reuse
Reusable Formal Models for Secure Software Architectures (TH, RS, WJ), pp. 41–50.
WICSA-ECSAWICSA-ECSA-2012-KebirSCC #approach #component #identification #object-oriented
Quality-Centric Approach for Software Component Identification from Object-Oriented Code (SK, ADS, SC, AC), pp. 181–190.
WICSA-ECSAWICSA-ECSA-2012-KeulerKNR #architecture #framework #re-engineering #towards
Architecture Engagement Purposes: Towards a Framework for Planning “Just Enough”-Architecting in Software Engineering (TK, JK, MN, DR), pp. 234–238.
WICSA-ECSAWICSA-ECSA-2012-KoziolekDGVW #architecture #lightweight #named
MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures (HK, DD, TG, PV, RJW), pp. 253–257.
WICSA-ECSAWICSA-ECSA-2012-SuTHG #architecture #case study #documentation #information management
A Study of Architectural Information Foraging in Software Architecture Documents (MTS, EDT, JGH, JCG), pp. 141–150.
WICSA-ECSAWICSA-ECSA-2012-WeinreichMBK #architecture
Extracting and Facilitating Architecture in Service-Oriented Software Systems (RW, CM, GB, TK), pp. 81–90.
ASEASE-2012-AchananuparpLTLL #microblog #roadmap
Observatory of trends in software related microblogs (PA, INL, YT, DL, EPL), pp. 334–337.
ASEASE-2012-AlmorsyGI12a #automation #re-engineering #using
Supporting automated software re-engineering using re-aspects (MA, JG, ASI), pp. 230–233.
ASEASE-2012-BartelKTM #android #automation
Automatically securing permission-based software by reducing the attack surface: an application to Android (AB, JK, YLT, MM), pp. 274–277.
ASEASE-2012-HaiducBOLM #assessment #automation #performance #query #retrieval
Automatic query performance assessment during the retrieval of software artifacts (SH, GB, RO, ADL, AM), pp. 90–99.
ASEASE-2012-HineSHV #enterprise #interactive #named #visualisation
Quokka: visualising interactions of enterprise software environment emulators (CMH, JGS, JH, SV), pp. 370–373.
ASEASE-2012-JacobsonSJK #re-engineering
Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.
ASEASE-2012-LuCC #fault #learning #predict #reduction #using
Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.
ASEASE-2012-Meananeatra #identification #maintenance #refactoring #sequence
Identifying refactoring sequences for improving software maintainability (PM), pp. 406–409.
ASEASE-2012-Nogueira #complexity #predict #testing
Predicting software complexity by means of evolutionary testing (AFN), pp. 402–405.
ASEASE-2012-NoureddineBRS #energy #monitoring #runtime
Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.
CASECASE-2012-MerzFV #automation #distributed #industrial #runtime
Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
DACDAC-2012-El-ShambakeyR #bound #concurrent #embedded #realtime
STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DACDAC-2012-JimenezNI
Software controlled cell bit-density to improve NAND flash lifetime (XJ, DN, PI), pp. 229–234.
DACDAC-2012-Rinard #reasoning
Obtaining and reasoning about good enough software (MCR), pp. 930–935.
DACDAC-2012-SloanSK #design #on the #probability
On software design for stochastic processors (JS, JS, RK), pp. 918–923.
DATEDATE-2012-ChakrabortyLBFCPKLA #challenge #embedded
Embedded systems and software challenges in electric vehicles (SC, ML, CB, SAF, NC, SP, YK, PL, HA), pp. 424–429.
DATEDATE-2012-CupaiuoloI #flexibility #framework #implementation #performance
A flexible and fast software implementation of the FFT on the BPE platform (TC, DLI), pp. 1467–1470.
DATEDATE-2012-GoswamiLSC #implementation
Time-triggered implementations of mixed-criticality automotive software (DG, ML, RS, SC), pp. 1227–1232.
DATEDATE-2012-GuglielmoGFP #design #embedded #modelling #verification
Enabling dynamic assertion-based verification of embedded software through model-driven design (GDG, LDG, FF, GP), pp. 212–217.
DATEDATE-2012-LiRP #embedded #hardware #named
Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATEDATE-2012-WangH #compilation #embedded #optimisation #simulation
Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
CSEETCSEET-2012-AlmeidaLFLRWYYY #case study #development #distributed #education #experience
Teaching Globally Distributed Software Development: An Experience Report (ESdA, DL, SRF, CL, ZR, DMW, JY, MY, LY), pp. 105–109.
CSEETCSEET-2012-BareissSK #education #re-engineering
Changes in Transferable Knowledge Resulting from Study in a Graduate Software Engineering Curriculum (RB, TS, EPK), pp. 3–12.
CSEETCSEET-2012-Barker #education #re-engineering #research
Research Directions for Software Engineering Education and Training (MB), p. 147.
CSEETCSEET-2012-BollinHMS #case study #education #experience #re-engineering #simulation
Experiences with Integrating Simulation into a Software Engineering Curriculum (AB, EH, RM, LS), pp. 62–71.
CSEETCSEET-2012-BollinHS #concept #education #experience #project management #simulation #using
Teaching Software Project Management using Simulations — The AMEISE Environment: from Concepts to Class Room Experience (AB, EH, LS), pp. 85–86.
CSEETCSEET-2012-DingLLS #collaboration #in the cloud #re-engineering #research
Research on Remote Collaborative Engineering Practices for Master of Software Engineering Based on Cloud Computing Environment (QD, XL, YL, ZS), pp. 110–114.
CSEETCSEET-2012-FengL #education #experience #human-computer #re-engineering #student
An Experience of Teaching HCI to Undergraduate Software Engineering Students (GF, BL), pp. 125–129.
CSEETCSEET-2012-Kajko-Mattsson #design #education #re-engineering #source code
A Method for Designing Software Engineering Educational Programs (MKM), pp. 139–143.
CSEETCSEET-2012-LiuML #education #re-engineering
The Exploration and Practice of Gradually Industrialization Model in Software Engineering Education — A Factual Instance of the Excellent Engineer Plan of China (SL, PM, DL), pp. 23–31.
CSEETCSEET-2012-MacKellar #case study #communication #re-engineering #scalability
A Case Study of Group Communication Patterns in a Large Project Software Engineering Course (BM), pp. 134–138.
CSEETCSEET-2012-RongS #challenge #education
Delivering Software Process-Specific Project Courses in Tertiary Education Environment: Challenges and Solution (GR, DS), pp. 52–61.
CSEETCSEET-2012-SajeevC
Will They Report It? Ethical Attitude of Graduate Software Engineers in Reporting Bad News (ASMS, IC), pp. 42–51.
CSEETCSEET-2012-Sedano #education #towards
Towards Teaching Software Craftsmanship (TS), pp. 95–99.
CSEETCSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
CSEETCSEET-2012-WeissL #collaboration #product line
Workshop on Collaborative Software Product Line Engineering (DMW, DL), pp. 77–78.
CSEETCSEET-2012-ZhangDHX #education
Teaching and Training for Software Analytics (DZ, YD, SH, TX), p. 92.
CSEETCSEET-2012-ZuppiroliCG #game studies #product line #re-engineering
A Role-Playing Game for a Software Engineering Lab: Developing a Product Line (SZ, PC, MG), pp. 13–22.
ITiCSEITiCSE-2012-SalzerHY #testing
The scientific method and software testing integrated into the same lesson (HTS, BH, CY), p. 385.
ITiCSEITiCSE-2012-SperlingL #machine learning #re-engineering #student
Integrating AI and machine learning in software engineering course for high school students (AS, DL), pp. 244–249.
FASEFASE-2012-GuimaraesS #integration
Making Software Integration Really Continuous (MLG, ARS), pp. 332–346.
FASEFASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using
Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.
TACASTACAS-2012-Beyer #contest #verification
Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
TACASTACAS-2012-GrebenshchikovGLPR #contest #horn clause #verification
HSF(C): A Software Verifier Based on Horn Clauses — (Competition Contribution) (SG, AG, NPL, CP, AR), pp. 549–551.
CSMRCSMR-2012-BarateiroDNS #challenge #lifecycle
Digital Preservation Challenges on Software Life Cycle (JB, DD, MAN, SS), pp. 487–490.
CSMRCSMR-2012-BauerH #api #comprehension #maintenance
Understanding API Usage to Support Informed Decision Making in Software Maintenance (VB, LH), pp. 435–440.
CSMRCSMR-2012-BeszedesSG #clustering #development #framework #quality
Development of a Unified Software Quality Platform in the Szeged InfoPólus Cluster (ÁB, LS, TG), pp. 495–498.
CSMRCSMR-2012-BudimacRHG #metric #towards
Towards the Better Software Metrics Tool (ZB, GR, MH, CG), pp. 491–494.
CSMRCSMR-2012-BurgerH #maintenance #metric
Applying Maintainability Oriented Software Metrics to Cabin Software of a Commercial Airliner (SB, OH), pp. 457–460.
CSMRCSMR-2012-CastrejonLV #architecture #maintenance #named #verification #web
Web2MexADL: Discovery and Maintainability Verification of Software Systems Architecture (JCC, RL, GVS), pp. 531–534.
CSMRCSMR-2012-CoutoSVBA #debugging #metric
Uncovering Causal Relationships between Software Metrics and Bugs (CC, CS, MTV, RdSB, NA), pp. 223–232.
CSMRCSMR-2012-Gall #debugging #smell
Keynote 1: LGTM — Software Sensing and Bug Smelling (HCG), pp. 3–4.
CSMRCSMR-2012-GoulaoFWA #analysis #case study #comparative #evolution #predict #using
Software Evolution Prediction Using Seasonal Time Analysis: A Comparative Study (MG, NF, MW, FBeA), pp. 213–222.
CSMRCSMR-2012-GrantCS #maintenance #modelling #topic #using
Using Topic Models to Support Software Maintenance (SG, JRC, DBS), pp. 403–408.
CSMRCSMR-2012-HassaineGHA #architecture #evolution #named
ADvISE: Architectural Decay in Software Evolution (SH, YGG, SH, GA), pp. 267–276.
CSMRCSMR-2012-HurdugaciZ #developer #maintenance #testing
Aiding Software Developers to Maintain Developer Tests (VH, AZ), pp. 11–20.
CSMRCSMR-2012-KlattDKKSW #component #evolution #identification
Identify Impacts of Evolving Third Party Components on Long-Living Software Systems (BK, ZD, HK, KK, JS, RW), pp. 461–464.
CSMRCSMR-2012-LytraTZ #architecture #component #consistency #constraints #design #evolution #modelling
Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution (IL, HT, UZ), pp. 287–296.
CSMRCSMR-2012-MurtazaSHC #comparison #identification #kernel #on the
On the Comparison of User Space and Kernel Space Traces in Identification of Software Anomalies (SSM, AS, AHL, MC), pp. 127–136.
CSMRCSMR-2012-NonnenI #identification #monitoring
Identifying Knowledge Divergence by Vocabulary Monitoring in Software Projects (JN, PI), pp. 441–446.
CSMRCSMR-2012-PerezDGM #analysis #ecosystem #named
SECONDA: Software Ecosystem Analysis Dashboard (JP, RD, MG, TM), pp. 527–530.
CSMRCSMR-2012-PetersZ #mining #repository #smell #using
Evaluating the Lifespan of Code Smells using Software Repository Mining (RP, AZ), pp. 411–416.
CSMRCSMR-2012-PlateniusDB #architecture #design #named
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies (MCP, MvD, SB), pp. 255–264.
CSMRCSMR-2012-SchrettnerFBKG #framework #industrial #quality
Software Quality Model and Framework with Applications in Industrial Context (LS, LJF, ÁB, ÁK, TG), pp. 453–456.
CSMRCSMR-2012-TerraVCB #architecture #recommendation #refactoring
Recommending Refactorings to Reverse Software Architecture Erosion (RT, MTV, KC, RdSB), pp. 335–340.
CSMRCSMR-2012-Varro #maintenance #model transformation
Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
CSMRCSMR-2012-Villavicencio #maintenance #refactoring
A New Software Maintenance Scenario Based on Refactoring Techniques (GV), pp. 341–346.
ICPCICPC-2012-HarderT #empirical
A controlled experiment on software clones (JH, RT), pp. 219–228.
ICPCICPC-2012-KleinschmagerHRS #empirical #maintenance #static typing #type system
Do static type systems improve the maintainability of software systems? An empirical study (SK, SH, RR, ÉT, AS), pp. 153–162.
ICPCICPC-2012-NierstraszL #agile #assessment
Agile software assessment (Invited paper) (ON, ML), pp. 3–10.
ICPCICPC-2012-Sajnani #approach #architecture #automation #machine learning
Automatic software architecture recovery: A machine learning approach (HS), pp. 265–268.
ICPCICPC-2012-TenevD #analysis
Applying bioinformatics in the analysis of software variants (VLT, SD), pp. 259–260.
ICSMEICSM-2012-BakotaHLKFG #cost analysis #maintenance #modelling
A cost model based on software maintainability (TB, PH, GL, PK, RF, TG), pp. 316–325.
ICSMEICSM-2012-BauerHHJC #analysis #framework #incremental #quality #scalability
A framework for incremental quality analysis of large software systems (VB, LH, BH, EJ, MC), pp. 537–546.
ICSMEICSM-2012-BavotaQOLB #analysis #empirical #maintenance #smell #testing
An empirical analysis of the distribution of unit test smells and their impact on software maintenance (GB, AQ, RO, ADL, DB), pp. 56–65.
ICSMEICSM-2012-BezemerZHGWW #as a service #industrial #performance
Locating performance improvement opportunities in an industrial software-as-a-service application (CPB, AZ, AvdH, AvdG, MW, RW), pp. 547–556.
ICSMEICSM-2012-ChaikalisMC #analysis #evolution #named #network
SEANets: Software evolution analysis with networks (TC, GM, AC), pp. 634–637.
ICSMEICSM-2012-DhaliwalKZH #commit #dependence #integration #product line
Recovering commit dependencies for selective code integration in software product lines (TD, FK, YZ, AEH), pp. 202–211.
ICSMEICSM-2012-DurdikKKKSW #guidelines
Sustainability guidelines for long-living software systems (ZD, BK, HK, KK, JS, RW), pp. 517–526.
ICSMEICSM-2012-GuzziBMN #communication #developer #enterprise
Facilitating enterprise software developer communication with CARES (AG, AB, JKM, KN), pp. 527–536.
ICSMEICSM-2012-HallWM #composition
Supervised software modularisation (MH, NW, PM), pp. 472–481.
ICSMEICSM-2012-KobayashiKKYM #clustering #composition #dependence #using
Feature-gathering dependency-based software clustering using Dedication and Modularity (KK, MK, KK, KY, AM), pp. 462–471.
ICSMEICSM-2012-KoutersVSB #gnome #repository #using
Who’s who in Gnome: Using LSA to merge software repository identities (EK, BV, AS, MvdB), pp. 592–595.
ICSMEICSM-2012-MaderE #maintenance #requirements #traceability
Assessing the effect of requirements traceability for software maintenance (PM, AE), pp. 171–180.
ICSMEICSM-2012-NeitschWG #multi
Build system issues in multilanguage software (AN, KW, MWG), pp. 140–149.
ICSMEICSM-2012-Pollock #analysis #challenge #natural language
Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.
ICSMEICSM-2012-PrasetyoLATL #automation #classification #microblog
Automatic classification of software related microblogs (PKP, DL, PA, YT, EPL), pp. 596–599.
ICSMEICSM-2012-RaemaekersDV #analysis #library
Measuring software library stability through historical version analysis (SR, AvD, JV), pp. 378–387.
ICSMEICSM-2012-TahirM #metric #quality
A systematic mapping study on dynamic metrics and software quality (AT, SGM), pp. 326–335.
ICSMEICSM-2012-TangWZL #detection #maintenance
Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
ICSMEICSM-2012-ThumsQ #embedded #re-engineering
Reengineering embedded automotive software (AT, JQ), pp. 493–502.
ICSMEICSM-2012-WangLJ #collaboration #semantics #taxonomy
Inferring semantically related software terms and their taxonomy by leveraging collaborative tagging (SW, DL, LJ), pp. 604–607.
ICSMEICSM-2012-Wilkerson #impact analysis #taxonomy
A software change impact analysis taxonomy (JWW), pp. 625–628.
ICSMEICSM-2012-Yu #maintenance #modelling #topic
Retrieving software maintenance history with topic models (SY), pp. 621–624.
MSRMSR-2012-ArthoSCTZ #question #why
Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.
MSRMSR-2012-ChenTNH #fault #modelling #topic #using
Explaining software defects using topic models (THC, SWT, MN, AEH), pp. 189–198.
MSRMSR-2012-GilGM #empirical
An empirical investigation of changes in some software properties over time (JYG, MG, DM), pp. 227–236.
MSRMSR-2012-Hindle #mining #power management
Green mining: A methodology of relating software change to power consumption (AH), pp. 78–87.
MSRMSR-2012-IssabayevaNV #performance
Issue handling performance in proprietary software projects (AI, AN, JV), pp. 209–212.
MSRMSR-2012-KeivanlooFHENPR #framework #linked data #mining #open data #repository
A Linked Data platform for mining software repositories (IK, CF, AH, ME, CN, GP, JR), pp. 32–35.
MSRMSR-2012-KhomhDZA #case study #empirical #performance #quality
Do faster releases improve software quality? An empirical case study of Mozilla Firefox (FK, TD, YZ, BA), pp. 179–188.
MSRMSR-2012-Rodriguez-BustosA #distributed #how #open source #version control
How Distributed Version Control Systems impact open source software projects (CRB, JA), pp. 36–39.
MSRMSR-2012-TianALLL #community #microblog #question #re-engineering #what
What does software engineering community microblog about? (YT, PA, INL, DL, EPL), pp. 247–250.
MSRMSR-2012-YangT #semantics #word
Inferring semantically related words from software context (JY, LT), pp. 161–170.
MSRMSR-2012-Zhang #case study #experience
MSR 2012 keynote: Software analytics in practice — Approaches and experiences (DZ), p. 1.
WCREWCRE-2012-AlnaeliAM #empirical #open source
Empirically Examining the Parallelizability of Open Source Software System (SMA, AA, JIM), pp. 377–386.
WCREWCRE-2012-AngiusW #automation #named #open source #traceability
OpenTrace: An Open Source Workbench for Automatic Software Traceability Link Recovery (EA, RW), pp. 507–508.
WCREWCRE-2012-Detten #architecture #named #re-engineering
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction (MvD), pp. 503–504.
WCREWCRE-2012-FavreLLSV #documentation #source code
Linking Documentation and Source Code in a Software Chrestomathy (JMF, RL, ML, TS, AV), pp. 335–344.
WCREWCRE-2012-MisraAKST #clustering #semantics
Software Clustering: Unifying Syntactic and Semantic Features (JM, KMA, VSK, SS, GT), pp. 113–122.
WCREWCRE-2012-QiSQZZR #execution #modelling
Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
WCREWCRE-2012-SteidlHJ #analysis #network #recommendation #using
Using Network Analysis for Recommendation of Central Software Classes (DS, BH, EJ), pp. 93–102.
WCREWCRE-2012-ZhangKZH12a #editing #empirical #quality
An Empirical Study of the Effect of File Editing Patterns on Software Quality (FZ, FK, YZ, AEH), pp. 456–465.
PLDIPLDI-2012-GrebenshchikovLPR #proving #verification
Synthesizing software verifiers from proof rules (SG, NPL, CP, AR), pp. 405–416.
FMFM-2012-Abadi #formal method #security
Software Security: A Formal Perspective — (Notes for a Talk) (MA), pp. 1–5.
FMFM-2012-GrumbergMY #behaviour #model checking #modelling #uml
Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.
IFMIFM-2012-RochaBCN #bound #comprehension #debugging #model checking #programming #using
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples (HR, RSB, LCC, ADN), pp. 128–142.
SEFMSEFM-2012-BarnatBB #requirements
Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.
SEFMSEFM-2012-CuoqKKPSY #analysis #named #perspective
Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
SFMSFM-2012-CortellessaMT #analysis #modelling #performance
Software Performance Antipatterns: Modeling and Analysis (VC, ADM, CT), pp. 290–335.
SFMSFM-2012-PetriuAT #modelling #performance
Software Performance Modeling (DCP, MA, RT), pp. 219–262.
GT-VMTGT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line #testing
Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
CHICHI-2012-BanovicCGF
Triggering triggers and burying barriers to customizing software (NB, FC, TG, GWF), pp. 2717–2726.
CHICHI-2012-DongDJKNA #game studies #learning
Discovery-based games for learning software (TD, MD, DJ, KK, MWN, MSA), pp. 2083–2086.
CHICHI-2012-JudgeMW #collaboration #design #evaluation
Comparing collaboration and individual personas for the design and evaluation of collaboration software (TKJ, TM, SW), pp. 1997–2000.
CHICHI-2012-MorrisonMRSC #approach #hybrid #mobile
A hybrid mass participation approach to mobile software trials (AM, DM, SR, SS, MC), pp. 1311–1320.
CSCWCSCW-2012-DabbishSTH #collaboration #git #repository #social
Social coding in GitHub: transparency and collaboration in an open software repository (LAD, HCS, JT, JDH), pp. 1277–1286.
CSCWCSCW-2012-EhrlichC #analysis #communication #development #distributed #multi #performance
All-for-one and one-for-all?: a multi-level analysis of communication patterns and individual performance in geographically distributed software development (KE, MC), pp. 945–954.
CSCWCSCW-2012-GrubbB #enterprise #information management #on the
On the perceived interdependence and information sharing inhibitions of enterprise software engineers (AMG, AB), pp. 1337–1346.
CSCWCSCW-2012-PhilipUASGLR #component #reuse
Software reuse through methodical component reuse and amethodical snippet remixing (KP, MU, MA, SES, REGV, CVL, SR), pp. 1361–1370.
HILTHILT-2012-LevesonFT #embedded #safety
Safety of embedded software (NGL, CHF, JT), pp. 7–8.
HILTHILT-2012-LiSRM #analysis #protocol #realtime #scheduling
Applicability of real-time schedulability analysis on a software radio protocol (SL, FS, SR, MB), pp. 81–94.
HILTHILT-2012-OLearyS #automation #communication #development
FAA’s controller pilot automatic data communication (data comm) system software development (JO, AS), pp. 71–72.
HILTHILT-2012-Sanden #approach #bibliography #design #modelling #multi #tutorial
Design of Multitask Software: The Entity-life Modeling Approach (tutorial overview) (BIS), pp. 1–2.
CAiSECAiSE-2012-DalpiazAG
Aligning Software Configuration with Business and IT Context (FD, RA, PG), pp. 206–221.
CAiSECAiSE-2012-EnsanBG #feature model #generative #modelling #product line #search-based #testing
Evolutionary Search-Based Test Generation for Software Product Line Feature Models (FE, EB, DG), pp. 613–628.
ICEISICEIS-J-2012-Loucopoulos12a #requirements
Requirements Engineering for Emergent Application Software (PL), pp. 18–28.
ICEISICEIS-J-2012-YiasemisA12a #execution #fault #mutation testing #slicing #testing
Locating and Correcting Software Faults in Executable Code Slices via Evolutionary Mutation Testing (PSY, ASA), pp. 207–227.
ICEISICEIS-v2-2012-AleixoKFCN #case study #comparative #modelling #process #using
Modularizing Software Process Lines using Model-driven Approaches — A Comparative Study (FAA, UK, MAF, DAdC, ECN), pp. 120–125.
ICEISICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification
A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.
ICEISICEIS-v2-2012-FrancaS #aspect-oriented #bibliography #evaluation #metric #programming #using
A Systematic Review on Evaluation of Aspect Oriented Programming using Software Metrics (JMSF, MdSS), pp. 77–83.
ICEISICEIS-v2-2012-YiasemisA #automation #fault #locality #mutation testing #testing #using
Dynamic Localisation and Automatic Correction of Software Faults using Evolutionary Mutation Testing (PSY, ASA), pp. 15–26.
ICEISICEIS-v3-2012-FrischbierGMRW #enterprise
Emergence as Competitive Advantage — Engineering Tomorrow’s Enterprise Software Systems (SF, MG, DM, AR, CW), pp. 181–186.
ICEISICEIS-v3-2012-SchiefBW #modelling #process
Transforming Software Business Models into Business Processes (MS, AB, TW), pp. 167–172.
ICPRICPR-2012-MiaoLZ #fault #feature model #predict
Cost-sensitive feature selection with application in software defect prediction (LM, ML, DZ), pp. 967–970.
ICPRICPR-2012-RingJKE #analysis #classification #complexity #design #embedded #performance
Software-based performance and complexity analysis for the design of embedded classification systems (MR, UJ, PK, BE), pp. 2266–2269.
KDDKDD-2012-Lin #case study #data mining #experience #machine learning #mining
Experiences and lessons in developing industry-strength machine learning and data mining software (CJL), p. 1176.
KEODKEOD-2012-GirardiAG #framework #independence #ontology #using
An Ontology-based Data Acquisition Infrastructure — Using Ontologies to Create Domain-independent Software Systems (DG, KA, MG), pp. 155–160.
KEODKEOD-2012-NeveuRTAPPS #information management
Software for Data and Knowledge Management in Winemaking Fermentations (PN, VR, AT, EA, MP, CP, JMS), pp. 369–372.
KMISKMIS-2012-CrawfordBSMM #information management #re-engineering
Knowledge Management and Creativity Practices in Software Engineering (BC, CLdlB, RS, SM, EM), pp. 277–280.
KMISKMIS-2012-GoyM #case study #documentation #ontology #towards
Towards an Ontology-based Software Documentation Management — A Case Study (AG, DM), pp. 125–131.
RecSysRecSys-2012-AntunesCG #approach #development #recommendation
An approach to context-based recommendation in software development (BA, JC, PG), pp. 171–178.
SEKESEKE-2012-AffonsoR #architecture #configuration management #development
A Proposal of Reference Architecture for the Reconfigurable Software Development (FJA, ELLR), pp. 668–671.
SEKESEKE-2012-AnguswamyF #case study #component #reuse
An Exploratory Study of One-Use and Reusable Software Components (RA, WBF), pp. 194–219.
SEKESEKE-2012-AsuncionT #approach #traceability
A Holistic Approach to Software Traceability (HUA, RNT), pp. 412–417.
SEKESEKE-2012-BhattiAHD #concept #re-engineering
A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering (MUB, NA, MH, SD), pp. 118–123.
SEKESEKE-2012-ChangCSZQ #approach #component #ontology #reuse
An Approach for Software Component Reusing Based on Ontological Mapping (SKC, FC, MDS, EZ, YQ), pp. 180–187.
SEKESEKE-2012-ChenCZS #analysis #approach #integration
A Model-centric Approach for the Integration of Software Analysis Methods (XC, JC, ZZ, LS), pp. 211–216.
SEKESEKE-2012-CunhaCAM #modelling #product line #set
A Set of Inspection Techniques on Software Product Line Models (RC, TC, ESdA, JCM), pp. 657–662.
SEKESEKE-2012-DeltombeGB #legacy #modelling
Bridging KDM and ASTM for Model-Driven Software Modernization (GD, OLG, FB), pp. 517–524.
SEKESEKE-2012-Devanbu #on the
On the Naturalness of Software (keynote) (PTD).
SEKESEKE-2012-FoukarakisKT #open source
Choosing Licenses In Free Open Source Software (IEF, GMK, NDT), pp. 200–204.
SEKESEKE-2012-FreireCAK #monitoring #process #statistics #using #workflow
Software Process Monitoring Using Statistical Process Control Integrated in Workflow Systems (MAF, DAdC, EA, UK), pp. 557–562.
SEKESEKE-2012-GaoKN #feature model #metric
Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data (KG, TMK, AN), pp. 74–79.
SEKESEKE-2012-GokhaleSM #education #open source #re-engineering #reverse engineering #tool support
Evaluating Open Source Reverse Engineering Tools for Teaching Software Engineering (SSG, TS, RM), pp. 162–167.
SEKESEKE-2012-GuedesSCSDS #named #product line
GS2SPL: Goals and Scenarios to Software Product Lines (GG, CTLLS, JC, MS, DD, CS), pp. 651–656.
SEKESEKE-2012-HoritaBB #development #process #quality
A Process Model for Human Resources Management Focused on Increasing the Quality of Software Development (FEAH, JDB, RMdB), pp. 225–230.
SEKESEKE-2012-JuniorGM #architecture #complexity #empirical #metric #product line #validation #variability
Empirical Validation of Variability-based Complexity Metrics for Software Product Line Architecture (EAdOJ, IMdSG, JCM), pp. 622–627.
SEKESEKE-2012-KrollSPHGSAF #adaptation #development #empirical
Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches (JK, ARS, RP, ERH, RAG, AS, JLNA, PHLF), pp. 551–556.
SEKESEKE-2012-LeeS #approach #re-engineering
A Process-Based Approach to Improving Knowledge Sharing in Software Engineering (SBL, KS), pp. 700–705.
SEKESEKE-2012-LiRPY #fuzzy #modelling #multi #network #optimisation
Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling (KL, MR, WP, JY), pp. 106–111.
SEKESEKE-2012-LiuLLGCYL #automation #execution #parallel #testing
Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKESEKE-2012-LiuZSH #analysis #architecture #modelling #named
SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.
SEKESEKE-2012-MerlinoDPG #as a service #undo
Software as a Service: Undo (HM, OD, PP, RGM), pp. 328–332.
SEKESEKE-2012-NetoNAM #product line #testing #tool support
A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKESEKE-2012-NoorianBD #classification #non-functional #product line #taxonomy
Non-functional Properties in Software Product Lines: A Taxonomy for Classification (MN, EB, WD), pp. 663–667.
SEKESEKE-2012-PittoliSN #monitoring #network
Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.
SEKESEKE-2012-RakaLM #approach #generative #modelling #product line
Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
SEKESEKE-2012-RodriguesZJGMD #automation #named #product line
PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines (EdMR, AFZ, EAdOJ, IMdSG, JCM, ARPD), pp. 647–650.
SEKESEKE-2012-ShinMGK #architecture
Connectors for Secure Software Architectures (MES, BM, HG, TK), pp. 394–399.
SEKESEKE-2012-SubburajUS #safety #specification
Specification of Safety Critical Systems with Intelligent Software Agent Method (VHS, JEU, MRS), pp. 578–581.
SEKESEKE-2012-TanizakiAK #variability
A Variability Management Method for Software Configuration Files (HT, TA, TK), pp. 672–677.
SEKESEKE-2012-WangKWN #empirical #fault #metric #predict
An Empirical Study of Software Metric Selection Techniques for Defect Prediction (HW, TMK, RW, AN), pp. 94–99.
SEKESEKE-2012-WangZWZZ #component #detection #online
Online Anomaly Detection for Components in OSGi-based Software (TW, WZ, JW, JZ, HZ), pp. 188–193.
ECMFAECMFA-2012-BehjatiNYGB #automation #embedded #modelling
Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFAECMFA-2012-MosserBD #adaptation #commutative #composition
A Commutative Model Composition Operator to Support Software Adaptation (SM, MBF, LD), pp. 4–19.
MODELSMoDELS-2012-FavreLV #architecture #modelling
Modeling the Linguistic Architecture of Software Products (JMF, RL, AV), pp. 151–167.
MODELSMoDELS-2012-GrammelKV #development #generative #modelling
Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MODELSMoDELS-2012-PfeifferW #development
Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MODELSMoDELS-2012-SalayWS #development #modelling
Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
MODELSMoDELS-2012-SunGBB #approach #industrial #modelling
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software (YS, JG, KB, NvB), pp. 368–382.
MODELSMoDELS-2012-Wu0SZ #component #fault tolerance #modelling
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
MODELSMoDELS-2012-FavreLV #architecture #modelling
Modeling the Linguistic Architecture of Software Products (JMF, RL, AV), pp. 151–167.
MODELSMoDELS-2012-GrammelKV #development #generative #modelling
Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MODELSMoDELS-2012-PfeifferW #development
Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MODELSMoDELS-2012-SalayWS #development #modelling
Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
MODELSMoDELS-2012-SunGBB #approach #industrial #modelling
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software (YS, JG, KB, NvB), pp. 368–382.
MODELSMoDELS-2012-Wu0SZ #component #fault tolerance #modelling
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System (YW, GH, HS, YZ), pp. 514–530.
TOOLSTOOLS-EUROPE-J-2011-LavalFVD12 #performance #ranking #retrieval #scalability
Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software Systems (JL, JRF, PV, SD), pp. 1–24.
ECOOPECOOP-2012-RobbesRT #evolution #question
Extensions during Software Evolution: Do Objects Meet Their Promise? (RR, DR, ÉT), pp. 28–52.
OnwardOnward-2012-Beynon #development #experience
Realising software development as a lived experience (MB), pp. 229–244.
OnwardOnward-2012-JanesS #agile #development
The dark side of agile software development (AJ, GS), pp. 215–228.
OnwardOnward-2012-KatsVKV #development #research #web
Software development environments on the web: a research agenda (LCLK, RGV, KTK, EV), pp. 99–116.
OOPSLAOOPSLA-2012-Anderson #fine-grained #parallel #policy #resource management #using
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies (ZRA), pp. 717–736.
OOPSLAOOPSLA-2012-HaydenSDHF #c #named #performance
Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
OOPSLAOOPSLA-2012-MagillHSM #automation
Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.
OOPSLAOOPSLA-2012-MayerHRTS #empirical #static typing #type system #usability
An empirical study of the influence of static type systems on the usability of undocumented software (CM, SH, RR, ÉT, AS), pp. 683–702.
OOPSLAOOPSLA-2012-TsengT #thread
Software data-triggered threads (HWT, DMT), pp. 703–716.
TOOLSTOOLS-EUROPE-2012-CorralSSSV #development #mobile #named #process #proximity
DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team Proximity (LC, AS, GS, JS, JV), pp. 17–33.
TOOLSTOOLS-EUROPE-2012-FavreLSV #community #named
101companies: A Community Project on Software Technologies and Software Languages (JMF, RL, TS, AV), pp. 58–74.
GPCEGPCE-2012-DamianiPS #formal method #product line
A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
GPCEGPCE-2012-RicheGMB #architecture #category theory #design
Pushouts in software architecture design (TLR, RG, BM, DSB), pp. 84–92.
GPCEGPCE-2012-SpacekDTF #behaviour #component #inheritance #programming #reuse
An inheritance system for structural & behavioral reuse in component-based software programming (PS, CD, CT, LF), pp. 60–69.
GPCEGPCE-2012-ThumSHA #deduction #product line #verification
Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.
GPCEGPCE-2012-ZhangZUVH #component #development
A three-level component model in component based software development (H(Z, LZ, CU, SV, MH), pp. 70–79.
LOPSTRLOPSTR-2012-AngelisFPP #model checking
Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.
PADLPADL-2012-GoldbergW #approach #declarative #modelling
A Declarative Approach for Software Modeling (MG, GW), pp. 18–32.
RERE-2012-AmellerACF #architecture #case study #how #non-functional #requirements
How do software architects consider non-functional requirements: An exploratory study (DA, CPA, JC, XF), pp. 41–50.
RERE-2012-BekkersBBMWW #matrix #maturity
Evaluating the Software Product Management Maturity Matrix (WB, SB, LvdB, FM, CW, IvdW), pp. 51–60.
RERE-2012-Ghazarian #functional #requirements #taxonomy
Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
RERE-2012-GotelCHZEGA #research #roadmap #traceability
The quest for Ubiquity: A roadmap for software and systems traceability research (OG, JCH, JHH, AZ, AE, PG, GA), pp. 71–80.
RERE-2012-Riegel #development #modelling
Model-based prioritization in business-process-driven software development (NR), pp. 349–352.
REFSQREFSQ-2012-Adam #elicitation #product line #requirements
Providing Software Product Line Knowledge to Requirements Engineers — A Template for Elicitation Instructions (SA), pp. 147–164.
REFSQREFSQ-2012-Hochmuller #quality
10 Myths of Software Quality (EH), pp. 225–231.
REFSQREFSQ-2012-Koziolek #architecture #evaluation #feedback #quality #requirements #research
Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback (AK), pp. 52–58.
REFSQREFSQ-2012-Radlinski #analysis #empirical #quality #requirements
Empirical Analysis of the Impact of Requirements Engineering on Software Quality (LR), pp. 232–238.
SACSAC-2012-BanthiaG #fault #modelling #predict #quality
Investigating fault prediction capabilities of five prediction models for software quality (DB, AG), pp. 1259–1261.
SACSAC-2012-BasgaluppBR #maintenance #predict
Predicting software maintenance effort through evolutionary-based decision trees (MPB, RCB, DDR), pp. 1209–1214.
SACSAC-2012-El-ShambakeyR #bound #concurrent #embedded #manycore #realtime #trade-off
STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs (MES, BR), pp. 1602–1609.
SACSAC-2012-ErraS #3d #towards #visualisation
Towards the visualization of software systems as 3D forests: the CodeTrees environment (UE, GS), pp. 981–988.
SACSAC-2012-FrantzC #development #integration
A software development kit to implement integration solutions (RZF, RC), pp. 1647–1652.
SACSAC-2012-HuangZGWCW #clustering
Reducing last level cache pollution through OS-level software-controlled region-based partitioning (TH, QZ, XG, XW, XC, KW), pp. 1779–1784.
SACSAC-2012-IkemotoDO #pseudo #reliability
Estimating software reliability via pseudo maximum likelihood method (SI, TD, HO), pp. 1171–1176.
SACSAC-2012-QueirozB #product line
Application engineering of service-based software product lines (PGGQ, RTVB), pp. 1996–1997.
SACSAC-2012-SarroFG #development #estimation #multi #programming #search-based
Single and Multi Objective Genetic Programming for software development effort estimation (FS, FF, CG), pp. 1221–1226.
SACSAC-2012-UkimotoDO #resource management #testing
Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
FSEFSE-2012-AcharyaR #impact analysis #industrial #slicing
Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
FSEFSE-2012-CanaveraEM #adaptation #execution #mining
Mining the execution history of a software system to infer the best time for its adaptation (KRC, NE, SM), p. 18.
FSEFSE-2012-CossetteW #evolution #library #migration
Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.
FSEFSE-2012-EsfahaniRM #architecture #nondeterminism
Dealing with uncertainty in early software architecture (NE, KR, SM), p. 21.
FSEFSE-2012-Murphy-HillJM #developer #development #recommendation
Improving software developers’ fluency by recommending development environment commands (ERMH, RJ, GCM), p. 42.
FSEFSE-2012-QiYR #contract
Software change contracts (DQ, JY, AR), p. 22.
FSEFSE-2012-RayWK #analysis #migration #named
REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.
FSEFSE-2012-ShihabHAJ #industrial
An industrial study on the risk of software changes (ES, AEH, BA, ZMJ), p. 62.
FSEFSE-2012-TaoDXZK #case study #how #industrial
How do software engineers understand code changes?: an exploratory study in industry (YT, YD, TX, DZ, SK), p. 51.
FSEFSE-2012-XiaoPTX #automation #documentation #policy #security
Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSEICSE-2012-AlvesSF #named #smell
ConcernReCS: Finding code smells in software aspectization (PA, DS, EF), pp. 1463–1464.
ICSEICSE-2012-Bavota #refactoring #semantics #using
Using structural and semantic information to support software refactoring (GB), pp. 1479–1482.
ICSEICSE-2012-BavotaLFOZ #approach #education #project management #re-engineering
Teaching software engineering and software project management: An integrated and practical approach (GB, ADL, FF, RO, CZ), pp. 1155–1164.
ICSEICSE-2012-BhattacharyaINF #analysis #evolution #graph #predict
Graph-based analysis and prediction for software evolution (PB, MI, IN, MF), pp. 419–429.
ICSEICSE-2012-Blincoe #coordination #developer #performance #process
Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSEICSE-2012-Blincoe12a #collaboration #coordination #detection #developer #requirements
Timely detection of Coordination Requirements to support collaboration among software developers (KB), pp. 1601–1603.
ICSEICSE-2012-Bohme #clustering
Software regression as change of input partitioning (MB), pp. 1523–1526.
ICSEICSE-2012-Braithwaite #how #industrial #programming #what
Software as an engineering material: How the affordances of programming have changed and what to do about it (Invited industrial talk) (KB), p. 998.
ICSEICSE-2012-BuseZ #development
Information needs for software development analytics (RPLB, TZ), pp. 987–996.
ICSEICSE-2012-CavrakOC #collaboration #development #distributed
Collaboration patterns in distributed software development projects (IC, MO, IC), pp. 1235–1244.
ICSEICSE-2012-ChatzigeorgiouM #evolution #network #object-oriented #roadmap
Trends in object-oriented software evolution: Investigating network properties (AC, GM), pp. 1309–1312.
ICSEICSE-2012-Cleland-HuangSKCLMGPHL #contest #re-engineering #towards
Toward actionable, broadly accessible contests in Software Engineering (JCH, YS, EK, AC, GL, EM, MG, DP, JHH, WL), pp. 1329–1332.
ICSEICSE-2012-Clesle #industrial
Supporting sustainability with software — An industrial perspective (Keynote) (FDC), p. 962.
ICSEICSE-2012-Colanzi #architecture #design #product line
Search based design of software product lines architectures (TEC), pp. 1507–1510.
ICSEICSE-2012-CordyCPSHL #abstraction #model checking #product line
Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
ICSEICSE-2012-Cowling #education #testing
Stages in teaching software testing (TC), pp. 1185–1194.
ICSEICSE-2012-CrnkovicBZ #education #re-engineering
Ten tips to succeed in Global Software Engineering education (IC, IB, MZ), pp. 1225–1234.
ICSEICSE-2012-DIppolito #challenge #re-engineering #synthesis
Synthesis of event-based controllers: A software engineering challenge (ND), pp. 1547–1550.
ICSEICSE-2012-DornT #adaptation #architecture #co-evolution
Co-adapting human collaborations and software architectures (CD, RNT), pp. 1277–1280.
ICSEICSE-2012-DownsPH
Ambient awareness of build status in collocated software teams (JD, BP, JGH), pp. 507–517.
ICSEICSE-2012-FengC #behaviour #learning #multi
Multi-label software behavior learning (YF, ZC), pp. 1305–1308.
ICSEICSE-2012-FraserA #empirical #testing
Sound empirical evidence in software testing (GF, AA), pp. 178–188.
ICSEICSE-2012-FuhrmanCA #education #framework #re-engineering #tool support
Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSEICSE-2012-GethersDKP #impact analysis
Integrated impact analysis for managing software changes (MG, BD, HHK, DP), pp. 430–440.
ICSEICSE-2012-GrechanikFX #automation #learning #performance #problem #testing
Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSEICSE-2012-GuimaraesS #detection
Improving early detection of software merge conflicts (MLG, ARS), pp. 342–352.
ICSEICSE-2012-HaiducBOML #query #re-engineering #retrieval
Evaluating the specificity of text retrieval queries to support software engineering tasks (SH, GB, RO, AM, ADL), pp. 1273–1276.
ICSEICSE-2012-HenssMM #automation #development
Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.
ICSEICSE-2012-HindleBSGD #on the
On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
ICSEICSE-2012-IwamaNT #industrial #natural language #parsing #specification
Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
ICSEICSE-2012-Jaafar #analysis #evolution #on the #source code
On the analysis of evolution of software artefacts and programs (FJ), pp. 1563–1566.
ICSEICSE-2012-Kajko-MattssonSGJSHMMEBS #re-engineering
Refounding software engineering: The Semat initiative (Invited presentation) (MKM, MS, MG, IJ, IS, SH, PM, BM, BE, AJB, ES), pp. 1649–1650.
ICSEICSE-2012-Kalumbilo #effectiveness #re-engineering #specification
Effective specification of decision rights and accountabilities for better performing software engineering projects (MK), pp. 1503–1506.
ICSEICSE-2012-Keivanloo #integration #mining #online #repository
Online sharing and integration of results from mining software repositories (IK), pp. 1644–1646.
ICSEICSE-2012-KilamoHC #case study #collaboration #development #education
Teaching collaborative software development: A case study (TK, IH, MAC), pp. 1165–1174.
ICSEICSE-2012-Kramer #architecture
Whither software architecture? (Keynote) (JK), p. 963.
ICSEICSE-2012-LavalleeR #bibliography #developer #perspective #process
The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
ICSEICSE-2012-McMillanGP #detection
Detecting similar software applications (CM, MG, DP), pp. 364–374.
ICSEICSE-2012-McMillanHPCM #agile #prototype #recommendation #source code
Recommending source code for use in rapid software prototypes (CM, NH, DP, JCH, BM), pp. 848–858.
ICSEICSE-2012-MitchellS #identification #process
Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.
ICSEICSE-2012-Murphy-Hill #social
Continuous social screencasting to facilitate software tool discovery (ERMH), pp. 1317–1320.
ICSEICSE-2012-NaganoNKAHUF #mining #repository #scalability #using
Using the GPGPU for scaling up Mining Software Repositories (RN, HN, YK, BA, KH, NU, AF), pp. 1435–1436.
ICSEICSE-2012-OuelletMSG #feature model
Locating features in dynamically configured avionics software (MO, EM, NS, MG), pp. 1453–1454.
ICSEICSE-2012-PaganoJBRBM #maintenance #monitoring #named
FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.
ICSEICSE-2012-PankratiusSG #empirical #functional #imperative #java #manycore #programming #scala
Combining functional and imperative programming for multicore software: An empirical study evaluating Scala and Java (VP, FS, GG), pp. 123–133.
ICSEICSE-2012-PentaAGGA #empirical #experience #re-engineering
Five days of empirical software engineering: The PASED experience (MDP, GA, DMG, YGG, BA), pp. 1255–1258.
ICSEICSE-2012-RamasubbuB #challenge #distributed #estimation
Overcoming the challenges in cost estimation for distributed software projects (NR, RKB), pp. 91–101.
ICSEICSE-2012-Ressin #development #empirical #research
Empirically researching development of international software (MR), pp. 1551–1554.
ICSEICSE-2012-RoehmM #automation #detection #developer #development #problem #process
Automatically detecting developer activities and problems in software development work (TR, WM), pp. 1261–1264.
ICSEICSE-2012-RoehmTKM #developer #how #question
How do professional developers comprehend software? (TR, RT, RK, WM), pp. 255–265.
ICSEICSE-2012-RuscioPP #evolution #named #open source
EVOSS: A tool for managing the evolution of free and open source software systems (DDR, PP, AP), pp. 1415–1418.
ICSEICSE-2012-ShahzadSL #analysis #lifecycle #scalability
A large scale exploratory analysis of software vulnerability life cycles (MS, MZS, AXL), pp. 771–781.
ICSEICSE-2012-Shang #developer #using
Bridging the divide between software developers and operators using logs (WS), pp. 1583–1586.
ICSEICSE-2012-SingerS #re-engineering #social #using
Influencing the adoption of software engineering methods using social software (LS, KS), pp. 1325–1328.
ICSEICSE-2012-Sprenger #case study #experience #how #industrial #re-engineering
How software engineering can benefit from traditional industries — A practical experience report (Invited industrial talk) (TS), p. 1000.
ICSEICSE-2012-SusB #education #integration #re-engineering #using
Using continuous integration of code and content to teach software engineering with limited resources (JGS, WB), pp. 1175–1184.
ICSEICSE-2012-Thao #evolution #product line
Managing evolution of software product line (CT), pp. 1619–1621.
ICSEICSE-2012-TreudeGGS #development #interactive #named #using #visualisation
WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment (CT, PG, LG, MADS), pp. 1399–1402.
ICSEICSE-2012-Wen #fault #locality #slicing
Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.
ICSEICSE-2012-Wolff #architecture #industrial #what
Software architecture — What does it mean in industry? (Invited industrial talk) (EW), p. 999.
ICSEICSE-2012-XiongHSC #generative
Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
ICSEICSE-2012-YuanPZ #open source
Characterizing logging practices in open-source software (DY, SP, YZ), pp. 102–112.
ICSEICSE-2012-Zanetti #co-evolution #community #development #lessons learnt #open source
The co-evolution of socio-technical structures in sustainable software development: Lessons from the open source software communities (MSZ), pp. 1587–1590.
ICSEICSE-2012-ZhangX #tutorial
Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
SLESLE-2012-AbedBSYAK #aspect-oriented #design #multi #named
TouchRAM: A Multitouch-Enabled Tool for Aspect-Oriented Software Design (WAA, VB, MS, EY, OA, JK), pp. 275–285.
SLESLE-2012-StevensonC #bibliography #grammar inference #re-engineering #state of the art
Grammatical Inference in Software Engineering: An Overview of the State of the Art (AS, JRC), pp. 204–223.
PLEASEPLEASE-2012-Duszynski0 #source code #variability
Recovering variability information from the source code of similar software products (SD, MB), pp. 37–40.
PLEASEPLEASE-2012-FantGP #product line
Software product line engineering of space flight software (JSF, HG, RGPI), pp. 41–44.
PLEASEPLEASE-2012-FilhoBBN #modelling #multi #product line #variability
Leveraging variability modeling for multi-dimensional model-driven software product lines (JBFF, OB, BB, JLN), pp. 5–8.
PLEASEPLEASE-2012-LiY #product line
Enhance value by building trustworthy software-reliant system of systems from software product lines (DL, YY), pp. 13–16.
PLEASEPLEASE-2012-SozenM #adaptation #product line
Adapting software product lines for complex certifiable avionics software (NS, EM), pp. 21–24.
SPLCSPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification
Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.
SPLCSPLC-2012-HofmanSPKB #feature model #modelling #product line
Domain specific feature modeling for software product lines (PH, TS, TP, MK, AB), pp. 229–238.
SPLCSPLC-2012-LeeKL #bibliography #product line #testing
A survey on software product line testing (JL, SK, DL), pp. 31–40.
SPLCSPLC-2012-Meira
Sustainable software houses and factories are STARTUPS (SRdLM), p. 3.
SPLCSPLC-2012-MyllarniemiRM #bibliography #product line #quality #variability
A systematically conducted literature review: quality attribute variability in software product lines (VM, MR, TM), pp. 41–45.
SPLCSPLC-2012-OliveiraBN #analysis #debugging #product line
Supporting the analysis of bug prevalence in software product lines with product genealogy (THBdO, MB, EYN), pp. 181–185.
SPLCSPLC-2012-SavolainenMK #multi #product line
Developing platforms for multiple software product lines (JS, MM, JK), pp. 220–228.
SPLCSPLC-2012-SeidlHA #co-evolution #modelling #product line
Co-evolution of models and feature mapping in software product lines (CS, FH, UA), pp. 76–85.
ASPLOSASPLOS-2012-KingDA #automation #generative #hardware #interface
Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
CCCC-2012-ZhaoSAK #compilation
Compiler Support for Fine-Grain Software-Only Checkpointing (C(Z, JGS, CA, AK), pp. 200–219.
CGOCGO-2012-VankaT #data flow #dependence #performance #profiling #using
Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
ISMMISMM-2012-ZhouD #configuration management #locality #manycore #memory management #policy
Memory management for many-core processors with software configurable locality policies (JZ, BD), pp. 3–14.
OSDIOSDI-2012-AttariyanCF #automation #named #performance
X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software (MA, MC, JF), pp. 307–320.
PPoPPPPoPP-2012-MalkisB #verification
Verification of software barriers (AM, AB), pp. 313–314.
CAVCAV-2012-AlbarghouthiLGC #framework #named #verification
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
CAVCAV-2012-CimattiG #model checking
Software Model Checking via IC3 (AC, AG), pp. 277–293.
ICLPICLP-2012-Angelis #model checking
Software Model Checking by Program Specialization (EDA), pp. 439–444.
ICLPICLP-2012-SchandaB #development #programming #set #using
Using Answer Set Programming in the Development of Verified Software (FS, MB), pp. 72–85.
ICSTICST-2012-BallanceVJ #effectiveness #testing
Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.
ICSTICST-2012-DevineGKLL #empirical #fault #industrial #product line
An Empirical Study of Pre-release Software Faults in an Industrial Product Line (TRD, KGP, SK, RRL, JJL), pp. 181–190.
ICSTICST-2012-DiGiuseppeJ #behaviour #clustering #empirical #fault
Software Behavior and Failure Clustering: An Empirical Study of Fault Causality (ND, JAJ), pp. 191–200.
ICSTICST-2012-FraserA #search-based #testing
The Seed is Strong: Seeding Strategies in Search-Based Software Testing (GF, AA), pp. 121–130.
ICSTICST-2012-FraserW #behaviour #testing
Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
ICSTICST-2012-JollyGE #automation #case study #industrial #research #testing
Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.
ICSTICST-2012-KimKJ #case study #embedded #industrial #testing
Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICSTICST-2012-MalzJG #fuzzy #logic #testing #using
Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.
ICSTICST-2012-MarcoLA #approach #re-engineering
Property-Driven Software Engineering Approach (ADM, FL, GDA), pp. 966–967.
ICSTICST-2012-Nguyen #comprehension #detection #performance #scalability #using
Using Control Charts for Detecting and Understanding Performance Regressions in Large Software (THDN), pp. 491–494.
ICSTICST-2012-RunesonE #3d #problem #product line #testing
Software Product Line Testing — A 3D Regression Testing Problem (PR, EE), pp. 742–746.
ICSTICST-2012-SunSPR #cost analysis #learning #named #reliability
CARIAL: Cost-Aware Software Reliability Improvement with Active Learning (BS, GS, AP, SR), pp. 360–369.
ICSTICST-2012-WahlerFSJN #automation #embedded #named #testing
CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICTSSICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability
Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ISSTAISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime #testing
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
ISSTAISSTA-2012-ZhangED #composition #generative #pipes and filters #testing
Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
TAPTAP-2012-LochauSKL #incremental #modelling #product line #testing
Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
TAPTAP-2012-Pasareanu #execution #model checking #symbolic computation #testing
Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
VMCAIVMCAI-2012-Jhala #verification
Software Verification with Liquid Types (RJ), p. 23.
CBSECBSE-2011-LoiretRSM #component #framework #re-engineering
Software engineering of component-based systems-of-systems: a reference framework (FL, RR, LS, PM), pp. 61–66.
CBSECBSE-2011-ParraPKGS #component #development #framework #multi #named
MICOBS: multi-platform multi-model component based software development framework (PP, ORP, MK, IG, SS), pp. 1–10.
CBSECBSE-2011-PiresDPFM #approach #aspect-oriented #evolution
Software evolution in AOSD: a MDA-based approach (PFP, FCD, MP, LF, ÉM), pp. 193–198.
CBSECBSE-2011-TibermacineSDF #architecture #component #constraints #specification
Component-based specification of software architecture constraints (CT, SS, CD, LF), pp. 31–40.
ECSAECSA-2011-AdmodisastroK #analysis #approach #architecture #black box #development
An Architecture Analysis Approach for Supporting Black-Box Software Development (NA, GK), pp. 180–189.
ECSAECSA-2011-AlebrahimHH #architecture #integration #quality #requirements #towards
Towards Systematic Integration of Quality Requirements into Software Architecture (AA, DH, MH), pp. 17–25.
ECSAECSA-2011-Axelsson #architecture #embedded #how #nondeterminism #on the
On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
ECSAECSA-2011-BarbosaBGS #architecture #aspect-oriented #named #product line
PL-AspectualACME: An Aspect-Oriented Architectural Description Language for Software Product Lines (EAB, TVB, AFG, ES), pp. 139–146.
ECSAECSA-2011-BruckmannGP #architecture #enterprise #monitoring #realtime #towards #using
Towards Real-Time Monitoring and Controlling of Enterprise Architectures Using Business Software Control Centers (TB, VG, MP), pp. 287–294.
ECSAECSA-2011-CapillaZZAK #architecture #design #lifecycle #metamodelling #re-engineering
An Enhanced Architectural Knowledge Metamodel Linking Architectural Design Decisions to other Artifacts in the Software Engineering Lifecycle (RC, OZ, UZ, PA, JMK), pp. 303–318.
ECSAECSA-2011-DabrowskiST #multi
Software Is a Directed Multigraph (RD, KS, GT), pp. 360–369.
ECSAECSA-2011-DemirliT #architecture
Software Language Engineering of Architectural Viewpoints (ED, BT), pp. 336–343.
ECSAECSA-2011-EbadA #comparison #framework
Software Packaging Approaches — A Comparison Framework (SAE, MAA), pp. 438–446.
ECSAECSA-2011-EhlersH #adaptation #component #framework #monitoring #self
A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.
ECSAECSA-2011-JrCCGOFMG #architecture #component #lessons learnt #product line #uml
Extending UML Components to Develop Software Product-Line Architectures: Lessons Learned (ACCJ, GGC, TEC, IMdSG, EAOJ, SF, PCM, AFG), pp. 130–138.
ECSAECSA-2011-MassowHH #architecture #component #configuration management #performance #runtime #simulation
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures (RvM, AvH, WH), pp. 43–58.
ECSAECSA-2011-MullerKG #architecture
A Question-Based Method for Deriving Software Architectures (MM, BK, MG), pp. 35–42.
ECSAECSA-2011-OliveiraN #architecture #testing #tool support
A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
ECSAECSA-2011-QureshiCLT #architecture
From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme (TNQ, DJC, HL, MT), pp. 328–335.
ECSAECSA-2011-StolAB #design pattern #evaluation #identification #open source #process
Design and Evaluation of a Process for Identifying Architecture Patterns in Open Source Software (KJS, PA, MAB), pp. 147–163.
ECSAECSA-2011-TamburriL #agile #communication #development #network
Supporting Communication and Cooperation in Global Software Development with Agile Service Networks (DAT, PL), pp. 236–243.
QoSAQoSA-ISARCS-2011-BroschBKR #architecture #fault tolerance #predict #reliability
Reliability prediction for fault-tolerant software architectures (FB, BB, HK,