7717 papers:
CBSE-2015-KesselA #component- Measuring the Superfluous Functionality in Software Components (MK, CA), pp. 11–20.
ECSA-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.
ECSA-2015-AmorimMAC #ecosystem- Tailoring the ATAM for Software Ecosystems (SdSA, JDM, ESdA, CvFGC), pp. 372–380.
ECSA-2015-AngelovB #agile #approach #architecture #development #education- An Approach to Software Architecting in Agile Software Development Projects in Education (SA, PdB), pp. 157–168.
ECSA-2015-GalsterA #agile #architecture #comprehension #development- Understanding the Use of Reference Architectures in Agile Software Development Projects (MG, SA), pp. 268–276.
ECSA-2015-HansenM #automation #community #composition #detection #using- (Automated) Software Modularization Using Community Detection (KMH, KM), pp. 95–102.
ECSA-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.
ECSA-2015-KiwelekarW #architecture #learning- Learning Objectives for a Course on Software Architecture (AWK, HSW), pp. 169–180.
ECSA-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.
ECSA-2015-StierKGR #analysis #architecture #energy #modelling #performance- Model-Based Energy Efficiency Analysis of Software Architectures (CS, AK, HG, RHR), pp. 221–238.
ECSA-2015-TangV #design- Software Designers Satisfice (AT, HvV), pp. 105–120.
ECSA-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.
ECSA-2015-WangC #architecture #network #performance #social- A Specialised Social Network Software Architecture for Efficient Household Water Use Management (ZW, AC), pp. 146–153.
QoSA-2015-ArcelliCFL #adaptation #modelling- Control Theory for Model-based Performance-driven Software Adaptation (DA, VC, AF, AL), pp. 11–20.
QoSA-2015-IzurietaRG #modelling #quality #technical debt- Preemptive Management of Model Driven Technical Debt for Improving Software Quality (CI, GR, IG), pp. 31–36.
QoSA-2015-MyllarniemiRM #configuration management #product line #representation #security #variability- Representing and Configuring Security Variability in Software Product Lines (VM, MR, TM), pp. 1–10.
WICSA-2015-AbukwaikNR #analysis #concept- A Proactive Support for Conceptual Interoperability Analysis in Software Systems (HA, MN, HDR), pp. 119–122.
WICSA-2015-BangM #design #detection #higher-order- Proactive Detection of Higher-Order Software Design Conflicts (JYB, NM), pp. 155–164.
WICSA-2015-CavalcanteBO #architecture #implementation- Supporting Dynamic Software Architectures: From Architectural Description to Implementation (EC, TVB, FO), pp. 31–40.
WICSA-2015-Harper0 #architecture- Exploring Software Architecture Context (KEH, JZ), pp. 123–126.
WICSA-2015-TamburriN #architecture #social- When Software Architecture Leads to Social Debt (DAT, EDN), pp. 61–64.
CASE-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.
CASE-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.
CASE-2015-PellicciariABBB #hardware #industrial #named- AREUS — Innovative hardware and software for sustainable industrial robotics (MP, AA, KB, GB, NB, BL, DM), pp. 1325–1332.
CASE-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.
DAC-2015-PetrenkoTR #challenge #modelling #testing- Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
DAC-2015-YuJTSS #challenge #integration #modelling- The challenge of interoperability: model-based integration for automotive control software (HY, PJ, JPT, SKS, SS), p. 6.
DAC-2015-ZiegenbeinH #design- Timing-aware control software design for automotive systems (DZ, AH), p. 6.
DATE-2015-ClercqRVV #encryption #implementation #performance- Efficient software implementation of ring-LWE encryption (RdC, SSR, FV, IV), pp. 339–344.
DATE-2015-GuardatiCFB #framework- Paper, pen and ink: an innovative system and software framework to assist writing rehabilitation (LG, FC, EF, LB), pp. 1473–1478.
DATE-2015-HollerKRRK #compilation #detection #evaluation- Evaluation of diverse compiling for software-fault detection (AH, NK, TR, KR, CK), pp. 531–536.
DATE-2015-KroeningLMST #bytecode #effectiveness #low level #verification- Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.
DATE-2015-LinH #memory management #named- HLC: software-based half-level-cell flash memory (HYL, JWH), pp. 936–941.
DATE-2015-SkalickySLF #framework #hardware #runtime- A unified hardware/software MPSoC system construction and run-time framework (SS, AGS, SL, MF), pp. 301–304.
DATE-2015-ThomasFCG #hardware- Transparent linking of compiled software and synthesized hardware (DBT, STF, GAC, DRG), pp. 1084–1089.
DATE-2015-VieiraFCC #estimation #metric- NFRs early estimation through software metrics (AV, PF, LC, ÉFC), pp. 329–332.
DATE-2015-WangLZ #big data #named- SODA: software defined FPGA based accelerators for big data (CW, XL, XZ), pp. 884–887.
DATE-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.
DATE-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.
DATE-2015-ZhangPJLF #fault #self- Temperature-aware software-based self-testing for delay faults (YZ, ZP, JJ, HL, MF), pp. 423–428.
DATE-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.
DRR-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.
VLDB-2015-Loaiza #database #hardware- Engineering Database Hardware and Software Together (JL), pp. 2052–2063.
CSEET-2015-BoehmM- System Thinking: Educating T-Shaped Software Engineers (BWB, SKM), pp. 13–16.
CSEET-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.
CSEET-2015-MeadGH #re-engineering- Cyber Sciences and Software Engineering (NRM, DSG, EKH), pp. 21–23.
CSEET-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.
ITiCSE-2015-Kurkovsky #education #game studies #re-engineering- Teaching Software Engineering with LEGO Serious Play (SK), pp. 213–218.
FASE-2015-ArcelliCT #fuzzy #refactoring- Performance-Based Software Model Refactoring in Fuzzy Contexts (DA, VC, CT), pp. 149–164.
FASE-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.
FASE-2015-CalinescuGB #adaptation #distributed #self- Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.
FASE-2015-CanalS #adaptation #communication #modelling- Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.
TACAS-2015-Beyer #verification- Software Verification and Verifiable Witnesses — (Report on SV-COMP 2015) (DB), pp. 401–416.
ICPC-2015-BenomarASPS #detection #development #evolution #process- Detection of software evolution phases based on development activities (OB, HA, HAS, PP, MAS), pp. 15–24.
ICPC-2015-Escobar-AvilaVH #bytecode #categorisation #using- Unsupervised software categorization using bytecode (JEA, MLV, SH), pp. 229–239.
ICPC-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.
ICPC-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.
ICSME-2015-AggarwalHS #energy #evolution #named- GreenAdvisor: A tool for analyzing the impact of software evolution on energy consumption (KA, AH, ES), pp. 311–320.
ICSME-2015-Aniche #detection #development #smell #web- Detection strategies of smells in web software development (MFA), pp. 598–601.
ICSME-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.
ICSME-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.
ICSME-2015-Fenske #configuration management #smell- Code smells in highly configurable software (WF), pp. 602–605.
ICSME-2015-Hegedus #evolution #metric #quality #roadmap- Advances in software product quality measurement and its applications in software evolution (PH), pp. 590–593.
ICSME-2015-IloGABG #repository- Combining software interrelationship data across heterogeneous software repositories (NI, JG, TA, MB, TG), pp. 571–575.
ICSME-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.
ICSME-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.
ICSME-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.
ICSME-2015-NishikawaWFOM #traceability #transitive- Recovering transitive traceability links among software artifacts (KN, HW, YF, KO, RM), pp. 576–580.
ICSME-2015-Panichella #development- Supporting newcomers in software development projects (SP), pp. 586–589.
ICSME-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.
ICSME-2015-PlatePS #assessment #library #open source- Impact assessment for vulnerabilities in open-source software libraries (HP, SEP, AS), pp. 411–420.
ICSME-2015-SharmaTL #question #re-engineering #twitter #what- What’s hot in software engineering Twitter space? (AS, YT, DL), pp. 541–545.
ICSME-2015-Tymchuk #quality- Treating software quality as a first-class entity (YT), pp. 594–597.
ICSME-2015-VendomeVBPGP #developer #why- When and why developers adopt and change software licenses (CV, MLV, GB, MDP, DMG, DP), pp. 31–40.
ICSME-2015-Verebi #approach #modelling #refactoring- A model-based approach to software refactoring (IV), pp. 606–609.
ICSME-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.
ICSME-2015-WahlerEFP #hardware #legacy #manycore #migration- Migrating legacy control software to multi-core hardware (MW, RE, CF, YAP), pp. 458–466.
ICSME-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.
MSR-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.
MSR-2015-ChoetkiertikulD #predict #risk management- Characterization and Prediction of Issue-Related Risks in Software Projects (MC, HKD, TT, AG), pp. 280–291.
MSR-2015-GreilerHC #quality #replication- Code Ownership and Software Quality: A Replication Study (MG, KH, JC), pp. 2–12.
MSR-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.
MSR-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.
MSR-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.
MSR-2015-Marinescu #mining- Confessions of a Worldly Software Miner (RM), p. 1.
MSR-2015-SchumacherA #framework #graph- An Enhanced Graph-Based Infrastructure for Software Search Engines (MS, CA), pp. 386–390.
MSR-2015-WhiteVVP #learning #repository #towards- Toward Deep Learning Software Repositories (MW, CV, MLV, DP), pp. 334–345.
SANER-2015-AggarwalRTHGS #debugging #detection #re-engineering- Detecting duplicate bug reports with software engineering domain knowledge (KA, TR, FT, AH, RG, ES), pp. 211–220.
SANER-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.
SANER-2015-BezemerPG #comprehension #difference #graph #performance #using- Understanding software performance regressions using differential flame graphs (CPB, JP, BG), pp. 535–539.
SANER-2015-CabotICR #open source- Exploring the use of labels to categorize issues in Open-Source Software projects (JC, JLCI, VC, BR), pp. 550–554.
SANER-2015-CadariuBVD #security- Tracking known security vulnerabilities in proprietary software systems (MC, EB, JV, AvD), pp. 516–519.
SANER-2015-Erfani #metamodelling #ontology #towards- Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANER-2015-Jiang #integration #process #scalability- Improving the integration process of large software systems (YJ), p. 598.
SANER-2015-KnodelNBV #risk management- Software risk management in practice: Shed light on your software product (JK, MN, EB, JV), pp. 592–594.
SANER-2015-LadanyiTFK #quality- A software quality model for RPG (GL, ZT, RF, TK), pp. 91–100.
SANER-2015-LemmaLM #modelling #named- CEL: Touching software modeling in essence (RL, ML, AM), pp. 439–448.
SANER-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.
SANER-2015-LityBS #incremental #product line #slicing #towards- Towards incremental model slicing for delta-oriented software product lines (SL, HB, IS), pp. 530–534.
SANER-2015-Mirakhorli #architecture #how #question #re-engineering #what #why- Software architecture reconstruction: Why? What? How? (MM), p. 595.
SANER-2015-MoserPFW #documentation #generative #named- RbG: A documentation generator for scientific and engineering software (MM, JP, GF, MW), pp. 464–468.
SANER-2015-NairJNH #analysis- A static code analysis tool for control system software (SN, RJ, ARN, SHS), pp. 459–463.
SANER-2015-PeteB #consistency #difference #evolution #framework- Handling the differential evolution of software artefacts: A framework for consistency management (IP, DB), pp. 599–600.
SANER-2015-RahmanR #identification- TextRank based search term identification for software change tasks (MMR, CKR), pp. 540–544.
SANER-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.
SANER-2015-SanchezRG #empirical #evolution- An empirical study of work fragmentation in software evolution tasks (HS, RR, VMG), pp. 251–260.
SANER-2015-SharmaTL #automation #identification #named #twitter- NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
SANER-2015-SilvaRVBA #javascript #question- Does JavaScript software embrace classes? (LS, MR, MTV, AB, NA), pp. 73–82.
SCAM-2015-RenatusBE #modelling #security #using- Improving prioritization of software weaknesses using security models with AVUS (SR, CB, JE), pp. 259–264.
SCAM-2015-SayaghA #empirical #multi- Multi-layer software configuration: Empirical study on wordpress (MS, BA), pp. 31–40.
FM-2015-Evans #authentication #development- Software Development and Authentication for Arms Control Information Barriers (NE), pp. 581–584.
FM-2015-NelsonFK #difference #network #program analysis- Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
SEFM-2015-ShenB #formal method- A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.
CHI-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.
CHI-2015-NguyenL #tutorial #video- Making Software Tutorial Video Responsive (CN, FL), pp. 1565–1568.
CHI-2015-ZugerF #developer #predict #using- Interruptibility of Software Developers and its Prediction Using Psycho-Physiological Sensors (MZ, TF), pp. 2981–2990.
CSCW-2015-FilippovaC #open source- Mudslinging and Manners: Unpacking Conflict in Free and Open Source Software (AF, HC), pp. 1393–1403.
CSCW-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.
CSCW-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.
CSCW-2015-Tufekci #algorithm- Algorithms in our Midst: Information, Power and Choice when Software is Everywhere (ZT), p. 1918.
DUXU-DD-2015-BystrickyB- The Cold Desert of Software Reality (JB, JB), pp. 3–11.
DUXU-DD-2015-XimenesAA #agile #design #project management- Software Project Management Combining Agile, Lean Startup and Design Thinking (BHX, INA, CCA), pp. 356–367.
DUXU-UI-2015-GuimaraesS #simulation- Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.
HCI-DE-2015-SchutzSO #using- Using Diary Studies to Evaluate Railway Dispatching Software (IS, AS, AO), pp. 248–258.
HCI-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.
HIMI-IKC-2015-Iwata #difference #learning- Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
LCT-2015-LaugassonM #usability #user interface- Free Software User Interfaces: Usability and Aesthetics (EL, MM), pp. 676–686.
AdaEurope-2015-BaldovinZNP #development #modelling- The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
AdaEurope-2015-UruenaPCFJ #requirements- Guaranteeing Timing Requirements in the IXV On-Board Software (SU, NP, BNC, CF, AJ), pp. 100–115.
CAiSE-2015-PalmieriCA #product line- Handling Regulatory Goal Model Families as Software Product Lines (AP, PC, DA), pp. 181–196.
ICEIS-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.
ICEIS-v1-2015-Staniszkis #information management #re-engineering- Empowering the Knowledge Worker — End-User Software Engineering in Knowledge Management (WS), p. VII.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-v2-2015-IanzenFPMR #automation #product line- Scoping Automation in Software Product Lines (AI, RMF, MAP, AM, SSR), pp. 82–91.
ICEIS-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.
ICEIS-v2-2015-KhlifKKD #approach #architecture #multi #uml- A UML-based Approach for Multi-scale Software Architectures (IK, MHK, AHK, KD), pp. 374–381.
ICEIS-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.
ICEIS-v2-2015-MagnavitaNM #evolution #using- Using EVOWAVE to Analyze Software Evolution (RCM, RLN, MGM), pp. 126–136.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-v2-2015-TangL #framework #mining #product line #top-down- Top-down Feature Mining Framework for Software Product Line (YT, HL), pp. 71–81.
ICEIS-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.
ICEIS-v2-2015-ValenteAN #design #towards- Improving Software Design Decisions towards Enhanced Return of Investment (PV, DA, NJN), pp. 388–394.
ICEIS-v3-2015-SilvaVC #development #process #usability- Integrating the Usability into the Software Development Process — A Systematic Mapping Study (WS, NMCV, TC), pp. 105–113.
KDD-2015-Ojjeh #open source #realtime #using- Powering Real-time Decision Engines in Finance and Healthcare using Open Source Software (BO), p. 1633.
SEKE-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.
SEKE-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.
SEKE-2015-BrondaniBF #evaluation #process #quality- Quality Evaluation of Artifacts in Tailored Software Process Lines (CB, GB, LMF), pp. 223–226.
SEKE-2015-CabrejosVMC #usability #web- Evaluating Software Engineers’ Acceptance of a Technique and Tool for Web Usability Inspection (LJERC, AMRV, JCM, TC), pp. 140–145.
SEKE-2015-CaoHH #design #evaluation #quality #using- Experimental Frame Design Using E-DEVSML for Software Quality Evaluation (BC, LH, JH), pp. 310–313.
SEKE-2015-CheP #architecture #design #development #evaluation #paradigm- An Evaluation Study of Architectural Design Decision Paradigms in Global Software Development (MC, DEP), pp. 158–163.
SEKE-2015-FonsecaBF #integration #metric #tool support- Integration of Software Measurement Supporting Tools: A Mapping Study (VSF, MPB, RdAF), pp. 516–521.
SEKE-2015-GaoKN #set- Combining Feature Subset Selection and Data Sampling for Coping with Highly Imbalanced Software Data (KG, TMK, AN), pp. 439–444.
SEKE-2015-GomedeSB #approach #lifecycle- A Practical Approach to Software Continuous Delivery Focused on Application Lifecycle Management (EG, RTDS, RMdB), pp. 320–325.
SEKE-2015-GoswamiWS #learning #performance #using- Using Learning Styles of Software Professionals to Improve their Inspection Team Performance (AG, GSW, AS), pp. 680–685.
SEKE-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.
SEKE-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.
SEKE-2015-LeeL #adaptation #framework #re-engineering #self #towards- Towards Knowledge-intensive Software Engineering Framework for Self-Adaptive Software (HCL, SWL), pp. 30–35.
SEKE-2015-LessaCMA #comprehension #matlab #visualisation- Scaffolding MATLAB and Octave Software Comprehension Through Visualization (IML, GdFC, MPM, FBeA), pp. 290–293.
SEKE-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.
SEKE-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.
SEKE-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.
SEKE-2015-RahmeX #scheduling- Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems (JR, HX), pp. 298–303.
SEKE-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.
SEKE-2015-TaheriS #agile #classification #development- A Feature-Based Tool-Selection Classification for Agile Software Development (MT, SMS), pp. 700–704.
SEKE-2015-Tasse #analysis #identification #metric #using- Using peak analysis for identifying lagged effects between software metrics (JT), pp. 512–515.
SEKE-2015-TunnellA #fault #modelling #predict #release planning #using- Using Time Series Models for Defect Prediction in Software Release Planning (JT, JA), pp. 451–454.
SEKE-2015-ValentimCEP #how #usability- How do software engineers apply an early usability inspection technique? A qualitative study (NMCV, TC, BJdSE, RP), pp. 686–691.
SEKE-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.
SEKE-2015-WangKN #feature model #re-engineering- Stability of Three Forms of Feature Selection Methods on Software Engineering Data (HW, TMK, AN), pp. 385–390.
SEKE-2015-XuLZ #bibliography #visualisation- To Enlighten Hidden Facts in The Code: A Review of Software Visualization Metaphors (YX, YL, JZ), pp. 294–297.
SEKE-2015-ZhaoSCZ #crowdsourcing #developer #effectiveness #recommendation #towards- Towards Effective Developer Recommendation in Software Crowdsourcing (SZ, BS, YC, HZ), pp. 326–329.
SEKE-2015-ZhuSCW #programming #scalability #stack overflow #taxonomy- Building a Large-scale Software Programming Taxonomy from Stackoverflow (JZ, BS, XC, HW), pp. 391–396.
MoDELS-2015-AliY #formal method #standard #testing- Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELS-2015-EichlerMSGD #graph grammar #term rewriting- Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (CE, TM, PS, LAG, KD), p. 447.
MoDELS-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.
MoDELS-2015-KetataMFLC #migration #modelling #performance #predict- Performance prediction upon toolchain migration in model-based software (AK, CM, SF, JHL, KC), pp. 302–311.
MoDELS-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.
MoDELS-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.
MoDELS-2015-Murphy- Software supply chains (keynote) (GCM), p. 2.
MoDELS-2015-SimmondsPBS #evolution #megamodelling #modelling #process- A megamodel for Software Process Line modeling and evolution (JS, DP, MCB, LS), pp. 406–415.
ECOOP-2015-Summers #stack #verification- Software Verification “Across the Stack” (Invited Talk) (AJS), p. 3.
Onward-2015-ArztNABEM #encryption #integration #towards- Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.
Onward-2015-Jackson #concept #design #formal method #towards- Towards a theory of conceptual design for software (DJ), pp. 282–296.
Onward-2015-West- The Cuban software revolution: 2016¿2025 (DMW), pp. 267–281.
OOPSLA-2015-BiswasZBL #exception #named #performance- Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
OOPSLA-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.
GPCE-2015-FontAHC #metamodelling #modelling #product line- Addressing metamodel revisions in model-based software product lines (JF, LA, ØH, CC), pp. 161–170.
GPCE-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.
REFSQ-2015-BreinerGKM #perspective #requirements #research- Requirements Engineering in the Bidding Stage of Software Projects — A Research Preview (KB, MG, AK, CM), pp. 270–276.
REFSQ-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.
SAC-2015-Ahn #architecture #object-oriented #re-engineering #runtime- Reconstruction of runtime software architecture for object-oriented systems (HA), pp. 1668–1669.
SAC-2015-AlmeidaBBCD #variability- Dynamic decision-making based on NFR for managing software variability and configuration selection (AA, NB, TVB, EC, FD), pp. 1376–1382.
SAC-2015-ArbizaBSGT #internet #middleware #network #refactoring- Refactoring internet of things middleware through software-defined network (LMRA, LMB, CRPdS, LZG, LMRT), pp. 640–645.
SAC-2015-BurityE #approach #recommendation- A quantitative, evidence-based approach for recommending software modules (TB, GEdS), pp. 1449–1456.
SAC-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.
SAC-2015-ConstantinouS #architecture #evolution #metric #reuse- Architectural stability and evolution measurement for software reuse (EC, IS), pp. 1580–1585.
SAC-2015-DuanZHX #analysis #framework #network #performance- Performance analysis for a service delivery platform in software defined network (QD, MZ, JH, CCX), pp. 2257–2262.
SAC-2015-FerreiraFN #impact analysis #object-oriented- Mapping the potential change impact in object-oriented software (MMF, KAMF, HTMN), pp. 1654–1656.
SAC-2015-GarciaPMR #process- A software process line for service-oriented applications (CG, MP, AM, SSR), pp. 1680–1687.
SAC-2015-GassaraRJ #approach #architecture #deployment #modelling #multi- A multi-scale modeling approach for software architecture deployment (AG, IBR, MJ), pp. 1405–1410.
SAC-2015-GoncalvesON #architecture- A meta-process to construct software architectures for system of systems (MBG, FO, EYN), pp. 1411–1416.
SAC-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.
SAC-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.
SAC-2015-KhlifKKD #approach #architecture #modelling #multi #towards- Towards a multi-scale modeling approach for software architectures (IK, MHK, AHK, KD), pp. 1468–1470.
SAC-2015-MalechaGS #automation- Automated software winnowing (GM, AG, NS), pp. 1504–1511.
SAC-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.
SAC-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.
SAC-2015-SantosOA #development #mining #process- Mining software development process variations (RMSS, TCO, FBeA), pp. 1657–1660.
SAC-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.
SAC-2015-SunyaevB #empirical #independence #testing- Truth and myth of independent software testing: a controlled human experiment (AS, DB), pp. 1722–1728.
SAC-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.
SAC-2015-TroisMBF #network- From software defined network to network defined for software (CT, MM, LCEDB, MDDF), pp. 665–668.
ESEC-FSE-2015-0001DDHS #validation #verification- Witness validation and stepwise testification across software verifiers (DB, MD, DD, MH, AS), pp. 721–733.
ESEC-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-FSE-2015-EichbergHMG- Hidden truths in dead software paths (ME, BH, MM, LG), pp. 474–484.
ESEC-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-FSE-2015-FilieriHM #adaptation #automation #design #multi #self- Automated multi-objective control for self-adaptive software design (AF, HH, MM), pp. 13–24.
ESEC-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-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-FSE-2015-Janjua- OnSpot system: test impact visibility during code edits in real software (MUJ), pp. 994–997.
ESEC-FSE-2015-KevicWSSSF #developer #interactive- Tracing software developers’ eyes and interactions for change tasks (KK, BMW, TRS, BS, DCS, TF), pp. 202–213.
ESEC-FSE-2015-LoNZ #how #re-engineering #research- How practitioners perceive the relevance of software engineering research (DL, NN, TZ), pp. 415–425.
ESEC-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-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-FSE-2015-RosenGS #commit #predict #risk management- Commit guru: analytics and risk prediction of software commits (CR, BG, ES), pp. 966–969.
ESEC-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-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-FSE-2015-Shamshiri #automation #evolution #generative #testing- Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-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-FSE-2015-XuKB #ubiquitous #using- Using software theater for the demonstration of innovative ubiquitous applications (HX, SK, BB), pp. 894–897.
ESEC-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.
ICSE-v1-2015-CarzanigaMP- Measuring Software Redundancy (AC, AM, MP), pp. 156–166.
ICSE-v1-2015-GopanDNNLM- Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
ICSE-v1-2015-GuiMNH #developer #mobile- Truth in Advertising: The Hidden Cost of Mobile Ads for Software Developers (JG, SM, MN, WGJH), pp. 100–110.
ICSE-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.
ICSE-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.
ICSE-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.
ICSE-v1-2015-LiKZ #question #what- What Makes a Great Software Engineer? (PLL, AJK, JZ), pp. 700–710.
ICSE-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.
ICSE-v1-2015-Ralph #process #re-engineering- Developing and Evaluating Software Engineering Process Theories (PR), pp. 20–31.
ICSE-v1-2015-SalmanMJ #question #re-engineering #student- Are Students Representatives of Professionals in Software Engineering Experiments? (IS, ATM, NJJ), pp. 666–676.
ICSE-v1-2015-SiegmundSA #empirical #re-engineering- Views on Internal and External Validity in Empirical Software Engineering (JS, NS, SA), pp. 9–19.
ICSE-v1-2015-Silenzi #re-engineering- Software Engineering in Ferrari F1 (CS), p. 3.
ICSE-v1-2015-SmithBZ #exclamation #scalability #tool support- Build It Yourself! Homegrown Tools in a Large Software Company (EKS, CB, TZ), pp. 369–379.
ICSE-v1-2015-TanR #automation #named- relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.
ICSE-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.
ICSE-v1-2015-ZhuLL #programming- A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ICSE-v2-2015-AbreuEP #fine-grained #monitoring #named- CodeAware: Sensor-Based Fine-Grained Monitoring and Management of Software Artifacts (RA, HE, AP), pp. 551–554.
ICSE-v2-2015-AnthonysamyR #in the large #privacy #re-engineering- Software Engineering for Privacy in-the-Large (PA, AR), pp. 947–948.
ICSE-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.
ICSE-v2-2015-Assuncao #architecture #migration #product line #search-based- Search-Based Migration of Model Variants to Software Product Line Architectures (WKGA), pp. 895–898.
ICSE-v2-2015-Baia #approach #multi #project management #simulation- An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management (DdMB), pp. 911–914.
ICSE-v2-2015-BarnBR #on the #re-engineering- On the Role of Value Sensitive Concerns in Software Engineering Practice (BSB, RB, FR), pp. 497–500.
ICSE-v2-2015-BeckerCDEPSV #design- Sustainability Design and Software: The Karlskrona Manifesto (CB, RC, LD, SME, BP, NS, CCV), pp. 467–476.
ICSE-v2-2015-BenomarSP #comprehension #framework- A Unified Framework for the Comprehension of Software’s Time (OB, HAS, PP), pp. 603–606.
ICSE-v2-2015-BoehmM- System Thinking: Educating T-Shaped Software Engineers (BWB, SKM), pp. 333–342.
ICSE-v2-2015-Booch #future of #re-engineering- The Future of Software Engineering (SEIP Keynote) (GB), p. 3.
ICSE-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.
ICSE-v2-2015-Cavalcante #architecture #development #on the- On the Architecture-Driven Development of Software-Intensive Systems-of-Systems (EC), pp. 899–902.
ICSE-v2-2015-ClarkFPY #re-engineering- Information Transformation: An Underpinning Theory for Software Engineering (DC, RF, SMP, SY), pp. 599–602.
ICSE-v2-2015-CoxBEV #dependence- Measuring Dependency Freshness in Software Systems (JC, EB, MCJDvE, JV), pp. 109–118.
ICSE-v2-2015-DamSAG #mining #repository #social- Mining Software Repositories for Social Norms (HKD, BTRS, DA, AKG), pp. 627–630.
ICSE-v2-2015-Devanbu- New Initiative: The Naturalness of Software (PTD), pp. 543–546.
ICSE-v2-2015-Dintzner #evolution #product line- Safe Evolution Patterns for Software Product Lines (ND), pp. 875–878.
ICSE-v2-2015-ElliottPP #artificial reality #challenge #re-engineering- Virtual Reality in Software Engineering: Affordances, Applications, and Challenges (AE, BP, CP), pp. 547–550.
ICSE-v2-2015-Escobar-Avila #automation #bytecode #categorisation #library #using- Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.
ICSE-v2-2015-FalknerSVF #development #evolution- Evolution of Software Development Strategies (KEF, CS, RV, NJGF), pp. 243–252.
ICSE-v2-2015-Franch #requirements #state of the art- Software Requirements Patterns — A State of the Art and the Practice (XF), pp. 943–944.
ICSE-v2-2015-GoldsteinS #architecture #automation #validation- Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
ICSE-v2-2015-HallR #education #re-engineering #student- Masters-Level Software Engineering Education and the Enriched Student Context (JGH, LR), pp. 311–314.
ICSE-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.
ICSE-v2-2015-Honsel #evolution #learning #mining #simulation #statistics- Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution (VH), pp. 863–866.
ICSE-v2-2015-Inozemtseva #comprehension #fault #process- Understanding the Software Fault Introduction Process (LI), pp. 843–846.
ICSE-v2-2015-Jiang #scalability #testing- Load Testing Large-Scale Software Systems (ZMJJ), pp. 955–956.
ICSE-v2-2015-LeeKW0 #design- Software Design Studio: A Practical Example (JL, GK, JW, CB), pp. 389–397.
ICSE-v2-2015-LutellierCGTRMK #architecture #dependence #using- Comparing Software Architecture Recovery Techniques Using Accurate Dependencies (TL, DC, JG, LT, DR, NM, RK), pp. 69–78.
ICSE-v2-2015-Mead #collaboration #education #industrial #re-engineering- Industry/University Collaboration in Software Engineering Education: Refreshing and Retuning Our Strategies (NRM), pp. 273–275.
ICSE-v2-2015-MenziesMP #data analysis- The Art and Science of Analyzing Software Data; Quantitative Methods (TM, LLM, FP), pp. 959–960.
ICSE-v2-2015-Muller #developer- Measuring Software Developers’ Perceived Difficulty with Biometric Sensors (SCM), pp. 887–890.
ICSE-v2-2015-NagappanM #big data #re-engineering- Big(ger) Data in Software Engineering (MN, MM), pp. 957–958.
ICSE-v2-2015-NetoTM #empirical #evaluation #testing- An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques (FGdON, RT, PDLM), pp. 575–578.
ICSE-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.
ICSE-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.
ICSE-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.
ICSE-v2-2015-PathakIH #framework #named- AppCivist — A Service-Oriented Software Platform for Socially Sustainable Activism (AP, VI, JH), pp. 515–518.
ICSE-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.
ICSE-v2-2015-PetersM #re-engineering #what- Educating Software Engineering Managers — Revisited What Software Project Managers Need to Know Today (LP, AMM), pp. 353–359.
ICSE-v2-2015-ProcacciantiLVF #energy #performance- The Green Lab: Experimentation in Software Energy Efficiency (GP, PL, AV, DMF, RW), pp. 941–942.
ICSE-v2-2015-RashidMMC #re-engineering- Managing Emergent Ethical Concerns for Software Engineering in Society (AR, KM, CMC, RC), pp. 523–526.
ICSE-v2-2015-RupakhetiC #architecture #case study #education #experience #student- Teaching Software Architecture to Undergraduate Students: An Experience Report (CRR, SVC), pp. 445–454.
ICSE-v2-2015-SawyerSRB #challenge #re-engineering #social- Dementia and Social Sustainability: Challenges for Software Engineering (PS, AS, PR, CB), pp. 527–530.
ICSE-v2-2015-SedelmaierL #education #induction #learning #re-engineering- Active and Inductive Learning in Software Engineering Education (YS, DL), pp. 418–427.
ICSE-v2-2015-ShepherdDP #how #re-engineering #research- How and When to Transfer Software Engineering Research via Extensions (DCS, KD, LLP), pp. 239–240.
ICSE-v2-2015-ShinRM #concurrent #education #re-engineering- Concurrent Software Engineering and Robotics Education (JS, AR, BM), pp. 370–379.
ICSE-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.
ICSE-v2-2015-SoundarajanJR #collaboration #re-engineering- Collaborative and Cooperative-Learning in Software Engineering Courses (NS, SJ, RR), pp. 319–322.
ICSE-v2-2015-Szabo #comprehension #maintenance- Novice Code Understanding Strategies during a Software Maintenance Assignment (CS), pp. 276–284.
ICSE-v2-2015-Thompson #development #generative #towards- Towards Generation of Software Development Tasks (CAT), pp. 915–918.
ICSE-v2-2015-TreudeSKR #documentation #named #navigation- TaskNav: Task-Based Navigation of Software Documentation (CT, MS, MK, MPR), pp. 649–652.
ICSE-v2-2015-VetroOF0 #empirical #feedback #performance #re-engineering #research- Fast Feedback Cycles in Empirical Software Engineering Research (AV, SO, DMF, SW), pp. 583–586.
ICSE-v2-2015-WermelingerHRBR #education- Teaching Software Systems Thinking at The Open University (MW, JGH, LR, LB, MR, AKB), pp. 307–310.
ICSE-v2-2015-White #re-engineering- Deep Representations for Software Engineering (MW), pp. 781–783.
PLEASE-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.
PLEASE-2015-Lago #challenge- Challenges and Opportunities for Sustainable Software (PL), pp. 1–2.
PLEASE-2015-TzeremesG #approach #development #product line- A Software Product Line Approach for End User Development of Smart Spaces (VT, HG), pp. 23–26.
SPLC-2015-AbbasA #adaptation #product line #self #variability- Harnessing variability in product-lines of self-adaptive software systems (NA, JA), pp. 191–200.
SPLC-2015-BeekFGM #analysis #product line #using- Using FMC for family-based analysis of software product lines (MHtB, AF, SG, FM), pp. 432–439.
SPLC-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.
SPLC-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.
SPLC-2015-ColaLTQ #product line- An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
SPLC-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.
SPLC-2015-EichelbergerS #domain-specific language #ecosystem #named #variability- IVML: a DSL for configuration in variability-rich software ecosystems (HE, KS), pp. 365–369.
SPLC-2015-FontAHC #concept #product line- Building software product lines from conceptualized model patterns (JF, LA, ØH, CC), pp. 46–55.
SPLC-2015-KruegerC #generative #product line- Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
SPLC-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.
SPLC-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.
SPLC-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.
SPLC-2015-QuintonRVGB #challenge #evolution #product line- Evolution in dynamic software product lines: challenges and perspectives (CQ, RR, MV, PG, LB), pp. 126–130.
SPLC-2015-SchmidE #ecosystem #named #product line #variability- EASy-Producer: from product lines to variability-rich software ecosystems (KS, HE), pp. 390–391.
SPLC-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.
SPLC-2015-TraskR #architecture #modelling #product line- Leveraging model driven engineering in software product line architectures (BT, AR), p. 392.
SPLC-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.
ASPLOS-2015-DhawanHRVCSKPD #architecture #metadata- Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
ASPLOS-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.
ASPLOS-2015-LiuHMHTS #memory management #named- GhostRider: A Hardware-Software System for Memory Trace Oblivious Computation (CL, AH, MM, MWH, MT, ES), pp. 87–101.
PPoPP-2015-XiangS #clustering #hardware #transaction- Software partitioning of hardware transactions (LX, MLS), pp. 76–86.
PPoPP-2015-ZhangHCB #memory management #semantics #transaction- Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
SOSP-2015-BadamCDFHHMMPS- Software defined batteries (AB, RC, JD, AF, SH, PH, JM, TM, BP, EDS), pp. 215–229.
CAV-2015-DemyanovaPVZ #benchmark #empirical #metric #tool support #verification- Empirical Software Metrics for Benchmarking of Verification Tools (YD, TP, HV, FZ), pp. 561–579.
CAV-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.
CAV-2015-Leslie-HurdCF #verification- Verifying Linearizability of Intel® Software Guard Extensions (RLH, DC, MF), pp. 144–160.
ICLP-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.
ICST-2015-BaiSP #fault #named #using- NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model (ZB, GS, AP), pp. 1–10.
ICST-2015-HarmanJZ #challenge #problem #testing- Achievements, Open Problems and Challenges for Search Based Software Testing (MH, YJ, YZ), pp. 1–12.
ICST-2015-Holleis #development #embedded #industrial #testing #workflow- Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow (EJH), pp. 1–2.
ICST-2015-Oriol #embedded #legacy #re-engineering #testing- Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
ICST-2015-Rapos #co-evolution #industrial #modelling #testing- Co-Evolution of Model-Based Tests for Industrial Automotive Software (EJR), pp. 1–2.
ICST-2015-SantosC #agile #challenge #industrial #mobile #testing #using- Mobile Testing in Software Industry Using Agile: Challenges and Opportunities (AS, IC), pp. 1–2.
ISSTA-2015-BarrHJMP #automation- Automated software transplantation (ETB, MH, YJ, AM, JP), pp. 257–269.
ISSTA-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.
ISSTA-2015-ZhangE #detection #fault- Proactive detection of inadequate diagnostic messages for software configuration errors (SZ, MDE), pp. 12–23.
TAP-2015-DutleMNB #animation #validation- Software Validation via Model Animation (AD, CAM, AN, RWB), pp. 92–108.
CBSE-2014-HorcasPF #architecture #injection #quality #variability- Injecting quality attributes into software architectures with the common variability language (JMH, MP, LF), pp. 35–44.
CBSE-2014-Lau #component #modelling #past present future- Software component models: past, present and future (KKL), pp. 185–186.
CBSE-2014-LongYMPS #collaboration #component #testing- Enabling collaborative testing across shared software components (TL, ICY, AMM, AAP, AS), pp. 55–64.
CBSE-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.
CBSE-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.
CBSE-2014-Slotos #specification- A specification schema for software connectors (TS), pp. 139–148.
ECSA-2014-AngelovH #architecture #towards- Towards an Improved Stakeholder Management for Software Reference Architectures (SA, RH), pp. 90–97.
ECSA-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.
ECSA-2014-CaraccioloLN #architecture #how #quality #question #requirements #validation- How Do Software Architects Specify and Validate Quality Requirements? (AC, MFL, ON), pp. 374–389.
ECSA-2014-FrommgenLB #composition #framework- A Property Description Framework for Composable Software (AF, ML, APB), pp. 267–282.
ECSA-2014-JamrozPW #adaptation #architecture #development #enterprise- Adapting Enterprise Architecture at a Software Development Company and the Resultant Benefits (KJ, DP, JW), pp. 170–185.
ECSA-2014-NoiaMS #design- Ontology-Driven Pattern Selection and Matching in Software Design (TDN, MM, EDS), pp. 82–89.
ECSA-2014-RekhaM #architecture- Suitability of Software Architecture Decision Making Methods for Group Decisions (VSR, HM), pp. 17–32.
ECSA-2014-SolimanR #architecture #interactive #modelling- Modeling the Interactions between Decisions within Software Architecture Knowledge (MS, MR), pp. 33–40.
QoSA-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.
QoSA-2014-EtxeberriaTCS #hardware #nondeterminism #parametricity- Performance-based selection of software and hardware features under parameter uncertainty (LE, CT, VC, GS), pp. 23–32.
QoSA-2014-JohnsonC #architecture #evolution #performance #smt #specification- Efficient re-resolution of SMT specifications for evolving software architectures (KJ, RC), pp. 93–102.
QoSA-2014-MirandolaP #adaptation #formal method #modelling #self- Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.
QoSA-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.
QoSA-2014-Perez-PalacinM #modelling #nondeterminism #performance- Dealing with uncertainties in the performance modelling of software systems (DPP, RM), pp. 33–42.
WICSA-2014-BabazadehP #design #distributed #framework- The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
WICSA-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.
WICSA-2014-Braude #architecture #cumulative #development- Cumulative Software Architecture Development (EJB), pp. 163–166.
WICSA-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.
WICSA-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.
WICSA-2014-FaniyiLBY #architecture #self- Architecting Self-Aware Software Systems (FF, PRL, RB, XY), pp. 91–94.
WICSA-2014-HarperD #agile #architecture #data analysis- Agile Software Architecture in Advanced Data Analytics (KEH, AD), pp. 243–246.
WICSA-2014-JavedZ #architecture #comprehension #traceability- The Supportive Effect of Traceability Links in Architecture-Level Software Understanding: Two Controlled Experiments (MAJ, UZ), pp. 215–224.
WICSA-2014-KnodelN #architecture #evaluation #industrial- Software Architecture Evaluation in Practice: Retrospective on More Than 50 Architecture Evaluations in Industry (JK, MN), pp. 115–124.
WICSA-2014-PerovichB #architecture #formal method #modelling- Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
WICSA-2014-RekhaM #architecture #case study- A Study on Group Decision-Making in Software Architecture (VSR, HM), pp. 185–194.
WICSA-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.
WICSA-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.
WICSA-2014-WeinreichB #architecture #automation #consistency- Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
ASE-2014-AzimNM #automation #self #smarttech #towards- Towards self-healing smartphone software via automated patching (TA, IN, LMM), pp. 623–628.
ASE-2014-Borg #debugging #re-engineering #using- Embrace your issues: compassing the software engineering landscape using bug reports (MB), pp. 891–894.
ASE-2014-BurgDMDGH #consistency #nondeterminism #process- Tracing software build processes to uncover license compliance inconsistencies (SvdB, ED, SM, JD, DMG, AH), pp. 731–742.
ASE-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.
ASE-2014-JinCQR #configuration management #named- PrefFinder: getting the right preference in configurable software systems (DJ, MBC, XQ, BR), pp. 151–162.
ASE-2014-Larsson #case study #experience #industrial #lifecycle- Keynote talk: experiences from developing industrial software systems with long lifecycles (ML), pp. 5–6.
ASE-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.
ASE-2014-Mohr #automation #composition- Issues of automated software composition in AI planning (FM), pp. 895–898.
ASE-2014-RenCL #android #named- Droidmarking: resilient software watermarking for impeding android application repackaging (CR, KC, PL), pp. 635–646.
ASE-2014-TurenneKGR #generative- A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
ASE-2014-YeXZC #ranking #retrieval- Interrogative-guided re-ranking for question-oriented software text retrieval (TY, BX, YZ, XC), pp. 115–120.
DAC-2014-AgostaBPS #approach #embedded #encryption #execution #multi- A Multiple Equivalent Execution Trace Approach to Secure Cryptographic Embedded Software (GA, AB, GP, MS), p. 6.
DAC-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.
DAC-2014-EldibWTS #named #source code- QMS: Evaluating the Side-Channel Resistance of Masked Software from Source Code (HE, CW, MMIT, PS), p. 6.
DAC-2014-HerrewegeV- Software Only, Extremely Compact, Keccak-based Secure PRNG on ARM Cortex-M (AVH, IV), p. 6.
DAC-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.
DATE-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.
DATE-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.
DATE-2014-PalerDNP #fault tolerance #quantum- Software-based Pauli tracking in fault-tolerant quantum circuits (AP, SJD, KN, IP), pp. 1–4.
DocEng-2014-GraafLTV #documentation #information management- The impact of prior knowledge on searching in software documentation (KAdG, PL, AT, HvV), pp. 189–198.
SIGMOD-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.
VLDB-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.
CSEET-2014-Ackerman #learning #re-engineering- An active learning module for an introduction to software engineering course (AFA), pp. 190–191.
CSEET-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.
CSEET-2014-BenabidA #aspect-oriented #education #re-engineering #research- The synergy of engineering and research aspects in Software Engineering Education (AB, GAH), pp. 44–48.
CSEET-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.
CSEET-2014-BullW #framework #re-engineering- Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.
CSEET-2014-Dagnino #education #effectiveness #industrial #re-engineering- Increasing the effectiveness of teaching software engineering: A University and industry partnership (AD), pp. 49–54.
CSEET-2014-Ding #learning #re-engineering #self- Self-guided learning environment for undergraduate software engineering (JD), pp. 188–189.
CSEET-2014-FairleyBK #education #re-engineering- The impact of SWEBOK Version 3 on software engineering education and training (REF, PB, JK), pp. 192–200.
CSEET-2014-FranklBK #development #learning- Learning and working together as prerequisites for the development of high-quality software (GF, SB, BK), pp. 154–157.
CSEET-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.
CSEET-2014-GrantS #development #education #re-engineering- Technology-driven software engineering curriculum development (ESG, VS), pp. 168–170.
CSEET-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.
CSEET-2014-Koolmanojwong #re-engineering #risk management- Top-10 risks in real-client software engineering class projects (SK), pp. 201–202.
CSEET-2014-LiemAAMW #education #re-engineering #towards- Reshaping software engineering education towards 2020 engineers (IL, YA, SA, AM, YW), pp. 171–174.
CSEET-2014-MarquesO #student- Improving teamwork in students software projects (MM, SFO), pp. 99–108.
CSEET-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.
CSEET-2014-Opdahl #development #education #semantics- Teaching semantic technologies as part of a software development program (ALO), pp. 203–204.
CSEET-2014-PotterSDW #game studies #learning #named- InspectorX: A game for software inspection training and learning (HP, MS, LD, VW), pp. 55–64.
CSEET-2014-ReddyN #education- Teaching software product engineering in undergraduate computing curriculum (YRR, KVN), pp. 175–178.
CSEET-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.
CSEET-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.
CSEET-2014-Steppe #analysis #dependence #design #education #graph #using- Teaching analysis of software designs using dependency graphs (KS), pp. 65–73.
CSEET-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.
CSEET-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.
ITiCSE-2014-BuffardiE #adaptation #feedback #testing- Responses to adaptive feedback for software testing (KB, SHE), pp. 165–170.
ITiCSE-2014-EdwardsS #question #student #testing- Do student programmers all tend to write the same software tests? (SHE, ZS), pp. 171–176.
ITiCSE-2014-EllisH #learning #open source #re-engineering- Structuring software engineering learning within open source software participation (HJCE, GWH), p. 326.
ITiCSE-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.
ITiCSE-2014-PriorCL #case study #experience #learning- Things coming together: learning experiences in a software studio (JP, AC, JL), pp. 129–134.
ITiCSE-2014-SmithGM #comprehension #re-engineering #student- Understanding students’ preferences of software engineering projects (TS, SSG, RM), pp. 135–140.
ITiCSE-2014-Sohoni- Making the hardware-software connection with PLP (SS), p. 324.
FASE-2014-KowalST #analysis #performance- Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.
FASE-2014-SadeghiEM #analysis #mining #repository #security- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities (AS, NE, SM), pp. 155–169.
TACAS-2014-Beyer #contest #summary #verification- Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
TACAS-2014-EldibWS #smt #verification- SMT-Based Verification of Software Countermeasures against Side-Channel Attacks (HE, CW, PS), pp. 62–77.
CSMR-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, PÖ, EW, JW, AH, JH), pp. 154–163.
CSMR-WCRE-2014-BaggeZ #problem- International workshop on open and original problems in software language engineering (AHB, VZ), p. 478.
CSMR-WCRE-2014-BakotaHSLF #quality- Qualitygate SourceAudit: A tool for assessing the technical quality of software (TB, PH, IS, GL, RF), pp. 440–445.
CSMR-WCRE-2014-BaudryMMCFC #evolution #named- DIVERSIFY: Ecology-inspired software evolution for diversity emergence (BB, MM, CM, FC, FF, SC), pp. 395–398.
CSMR-WCRE-2014-BrandtnerGG #integration #quality- Supporting continuous integration by mashing-up software quality information (MB, EG, HCG), pp. 184–193.
CSMR-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.
CSMR-WCRE-2014-GrantC #maintenance #similarity #topic- Examining the relationship between topic model similarity and software maintenance (SG, JRC), pp. 303–307.
CSMR-WCRE-2014-Grosjean #biology #maintenance #using- Using biology and ecology as inspiration for software maintenance? (Keynote abstract) (PG), p. 1.
CSMR-WCRE-2014-Heing-BeckerKS #developer #injection- Bit-error injection for software developers (MHB, TK, SS), pp. 434–439.
CSMR-WCRE-2014-Jelschen #evolution #integration #named- SENSEI: Software evolution service integration (JJ), pp. 469–472.
CSMR-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.
CSMR-WCRE-2014-McIntoshLH #evolution #representation- Orchestrating change: An artistic representation of software evolution (SM, KL, AEH), pp. 348–352.
CSMR-WCRE-2014-MensCG #ecosystem #named #open source- ECOS: Ecological studies of open source software ecosystems (TM, MC, PG), pp. 403–406.
CSMR-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.
CSMR-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.
CSMR-WCRE-2014-RoyZK #past present future- The vision of software clone management: Past, present, and future (Keynote paper) (CKR, MFZ, RK), pp. 18–33.
CSMR-WCRE-2014-TianLL #automation #database #similarity #word- Automated construction of a software-specific word similarity database (YT, DL, JLL), pp. 44–53.
CSMR-WCRE-2014-XiaFLCW #behaviour #learning #multi #towards- Towards more accurate multi-label software behavior learning (XX, YF, DL, ZC, XW), pp. 134–143.
CSMR-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.
ICPC-2014-GrechanikMDPG #information management- Redacting sensitive information in software artifacts (MG, CM, TD, DP, MG), pp. 314–325.
ICPC-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.
ICPC-2014-PerezA #approach #comprehension- A diagnosis-based approach to software comprehension (AP, RA), pp. 37–47.
ICPC-2014-ShahinLL #architecture #comprehension #design- Do architectural design decisions improve the understanding of software architecture? two controlled experiments (MS, PL, ZL), pp. 3–13.
ICPC-2014-SouzaCM #development #ranking- Ranking crowd knowledge to assist software development (LBLdS, ECC, MdAM), pp. 72–82.
ICPC-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.
ICPC-2014-VasconcelosSW #feature model #visualisation- An information visualization feature model for supporting the selection of software visualizations (RV, MS, CW), pp. 122–125.
ICPC-2014-WaltersSSK #developer #traceability- Capturing software traceability links from developers’ eye gazes (BW, TS, BS, HHK), pp. 201–204.
ICSME-2014-Anslow #collaboration #visualisation- Reflections on Collaborative Software Visualization in Co-located Environments (CA), pp. 645–650.
ICSME-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.
ICSME-2014-BouwersDV #architecture #encapsulation- Quantifying the Encapsulation of Implemented Software Architectures (EB, AvD, JV), pp. 211–220.
ICSME-2014-ChaikalisLMC #analysis #evolution #named- SEAgle: Effortless Software Evolution Analysis (TC, EL, GM, AC), pp. 581–584.
ICSME-2014-FischerLLE #reuse- Enhancing Clone-and-Own with Systematic Reuse for Developing Software Variants (SF, LL, RELH, AE), pp. 391–400.
ICSME-2014-Haiduc #query #re-engineering #retrieval- Supporting Query Formulation for Text Retrieval Applications in Software Engineering (SH), pp. 657–662.
ICSME-2014-LinsbauerAGLPLE #variability- Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems (LL, FA, PG, DL, HP, RELH, AE), pp. 426–430.
ICSME-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.
ICSME-2014-MulcahyH #legacy #self- Autonomic Software Systems: Developing for Self-Managing Legacy Systems (JJM, SH), pp. 549–552.
ICSME-2014-ParizyTK #design #fault #predict- Software Defect Prediction for LSI Designs (MP, KT, YK), pp. 565–568.
ICSME-2014-Rapos #co-evolution #industrial #modelling #testing- Co-evolution of Model-Based Tests for Industrial Automotive Software (EJR), p. 663.
ICSME-2014-Reiss14a #repository- Tool Demo: Browsing Software Repositories (SPR), pp. 589–592.
ICSME-2014-Sasso #fault- Managing Software Defects (TDS), p. 669.
ICSME-2014-Shihab #predict #quality- Practical Software Quality Prediction (ES), pp. 639–644.
ICSME-2014-SteidlDPHU #quality- Continuous Software Quality Control in Practice (DS, FD, MP, RH, BUM), pp. 561–564.
ICSME-2014-StevensR #query #using- Querying the History of Software Projects Using QWALKEKO (RS, CDR), pp. 585–588.
ICSME-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.
ICSME-2014-WangLVS #named #recommendation- EnTagRec: An Enhanced Tag Recommendation System for Software Information Sites (SW, DL, BV, AS), pp. 291–300.
ICSME-2014-YanMG #contract #evolution #mining- Mining Software Contracts for Software Evolution (YY, MM, WGG), pp. 471–475.
MSR-2014-BaldassariP #comprehension #evolution #set- Understanding software evolution: the maisqual ant data set (BB, PP), pp. 424–427.
MSR-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.
MSR-2014-FarahTC #analysis #architecture #named #quality #scalability- OpenHub: a scalable architecture for the analysis of software quality attributes (GF, JST, DC), pp. 420–423.
MSR-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.
MSR-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.
MSR-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.
MSR-2014-Mockus #mining #repository- Is mining software repositories data science? (keynote) (AM), p. 1.
MSR-2014-MurgiaTAO #analysis #developer- Do developers feel emotions? an exploratory analysis of emotions in software artifacts (AM, PT, BA, MO), pp. 262–271.
MSR-2014-PintoCL #energy #mining- Mining questions about software energy consumption (GP, FC, YDL), pp. 22–31.
MSR-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.
MSR-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.
MSR-2014-TulsianKKLN #algorithm #model checking #named- MUX: algorithm selection for software model checkers (VT, AK, RK, AL, AVN), pp. 132–141.
MSR-2014-ZhangH #dataset #energy #mining- A green miner’s dataset: mining the impact of software change on energy consumption (CZ, AH), pp. 400–403.
SCAM-2014-CaraccioloCSL #corpus #multi #named- Pangea: A Workbench for Statically Analyzing Multi-language Software Corpora (AC, AC, BS, ML), pp. 71–76.
SCAM-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.
SCAM-2014-MurtazaHKC #automation #detection- Total ADS: Automated Software Anomaly Detection System (SSM, AHL, WK, MC), pp. 83–88.
SCAM-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.
SCAM-2014-TliliFBDH #scalability #security #verification- Scalable Security Verification of Software at Compile Time (ST, JMF, AB, BD, SH), pp. 115–124.
PLDI-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.
PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier- Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
ICALP-v1-2014-Kuncak #recursion #verification- Verifying and Synthesizing Software with Recursive Functions — (Invited Contribution) (VK), pp. 11–25.
FM-2014-ShanWFZZWQC #using #verification- Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
IFM-2014-JakobsPWW #hardware #verification- Integrating Software and Hardware Verification (MCJ, MP, HW, TW), pp. 307–322.
SEFM-2014-AlrajehC #automation #composition #detection #specification- Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
SEFM-2014-KoreckoSDS #development #education #formal method #tool support- A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
SFM-2014-BubelMH #analysis #execution #modelling- Analysis of Executable Software Models (RB, AFM, RH), pp. 1–25.
ICFP-2014-Findler #behaviour #contract- Behavioral software contracts (RBF), pp. 137–138.
CHI-2014-0002GF #multi #named #tutorial- CADament: a gamified multiplayer software tutorial system (WL, TG, GWF), pp. 3369–3378.
CHI-2014-ChiLD #named- DemoWiz: re-performing software demonstrations for a live presentation (PYC, BL, SMD), pp. 1581–1590.
CHI-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.
CSCW-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.
CSCW-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.
CSCW-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.
DUXU-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.
DUXU-DP-2014-Kumar #enterprise #experience #user interface- Humanizing the Enterprise — Delivering Best in Class User Experience to Business Software Users (JK), pp. 61–70.
DUXU-ELAS-2014-MarcusDW #design- User-Experience for Personal Sustainability Software: Applying Design Philosophy and Principles (AM, JD, LW), pp. 583–593.
HCI-AS-2014-ArakelyanL #design- Situating a Design Space for Sustainable Software Appropriation (AA, DRL), pp. 665–673.
HCI-AS-2014-TeracineM #assessment #usability #web- Proposals for an Assessment Method of Accessibility and Usability in Web Software (ECT, FCM), pp. 80–89.
HCI-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.
HCI-TMT-2014-LatoschikF #multimodal #reuse #scalability- Engineering Variance: Software Techniques for Scalable, Customizable, and Reusable Multimodal Processing (MEL, MF), pp. 308–319.
HCI-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.
HCI-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.
HIMI-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.
LCT-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.
SCSM-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.
VISSOFT-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.
VISSOFT-2014-GuzmanBB #evolution #feedback #named #visualisation- FAVe: Visualizing User Feedback for Software Evolution (EG, PB, BB), pp. 167–171.
VISSOFT-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.
VISSOFT-2014-ParedesAM #agile #development #visualisation- Information Visualization for Agile Software Development (JP, CA, FM), pp. 157–166.
VISSOFT-2014-RufiangeM #evolution #named #visualisation- AniMatrix: A Matrix-Based Visualization of Software Evolution (SR, GM), pp. 137–146.
VISSOFT-2014-SeriaiBCS #tool support #validation #visualisation- Validation of Software Visualization Tools: A Systematic Mapping Study (AS, OB, BC, HAS), pp. 60–69.
HILT-2014-BocchinoGGS #named #programming language- Spot: a programming language for verified flight software (RLB, EG, KPG, RRS), pp. 97–102.
HILT-2014-SzaboVKRS #development #embedded #named- mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
CAiSE-2014-BastarricaMRSV #how #process #quality #question- How does Quality of Formalized Software Processes Affect Adoption? (MCB, GM, RR, LS, RV), pp. 226–240.
CAiSE-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.
CAiSE-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.
CAiSE-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.
ICEIS-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.
ICEIS-v2-2014-AbakumovA #assessment #enterprise #quality- Quality Assessment Technique for Enterprise Information-management System Software (EMA, DMA), pp. 348–354.
ICEIS-v2-2014-JulianoTS #detection #metric #object-oriented #using- Detection of Software Anomalies Using Object-oriented Metrics (RCJ, BANT, MSS), pp. 241–248.
ICEIS-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.
ICEIS-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.
ICEIS-v2-2014-SantosBLHC #development #distributed #metric #performance- Managing Distributed Software Development with Performance Measures (GSdS, RB, GCLL, EHMH, EC), pp. 307–314.
ICEIS-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.
ICEIS-v2-2014-TrienekensK #feedback #metric- Structuring Software Measurement — Metrication in the Context of Feedback Loops (JJMT, RJK), pp. 129–136.
KMIS-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.
KMIS-2014-MikhaylovZFS #development- Development of the Protection System Against Malicious Software (DM, AZ, MF, ASS), pp. 161–170.
KMIS-2014-WoitB #collaboration #consistency #development #process #programming- Commitment and Consistency in the Collaborative Software Development Process of Extreme Programming (DMW, KJB), pp. 375–381.
SEKE-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.
SEKE-2014-AnvikBBC- Assisting Software Projects with Assignment Recomender Creation (JA, MB, HB, JC), pp. 470–473.
SEKE-2014-AverbakhKKS #distributed #experience- Dedicated Support for Experience Sharing in Distributed Software Projects (AA, EK, SK, KS), pp. 355–360.
SEKE-2014-AverbakhNS #distributed #documentation #re-engineering- Knowledge from Document Annotations as By-Product in Distributed Software Engineering (AA, KN, KS), pp. 350–354.
SEKE-2014-BakerS #architecture #aspect-oriented #implementation- Aspect-Oriented Secure Connectors for Implementation of Secure Software Architecture (CB, MS), pp. 187–192.
SEKE-2014-BarreirosM #flexibility #modelling #product line- Flexible Modeling and Product Derivation in Software Product Lines (JB, AMDM), pp. 67–70.
SEKE-2014-BenderWFPN #empirical #metric- Measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LB, GSW, FF, MP, KEN), pp. 478–483.
SEKE-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.
SEKE-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.
SEKE-2014-CostaFM #collaboration #development #distributed #question- Collaborative Merge in Distributed Software Development: Who Should Participate? (CC, JJCF, LM), pp. 268–273.
SEKE-2014-FinlayPC #predict- Synthetic Minority Over-sampling TEchnique (SMOTE) for Predicting Software Build Outcomes (JF, RP, AMC), pp. 546–551.
SEKE-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.
SEKE-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.
SEKE-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.
SEKE-2014-GoswamiW #effectiveness #empirical- Improving the Cost Effectiveness of Software Inspection Teams: An Empirical Investigation (AG, GSW), pp. 735–739.
SEKE-2014-HegdeW #bibliography #developer #how #perspective- How to Enhance the Creativity of Software Developers: A Systematic Literature Review (RH, GSW), pp. 229–234.
SEKE-2014-JingLC #approach #collaboration #design- An Argument-based Collaborative Negotiation Approach to Support Software Design Collaboration (NJ, SCYL, HFC), pp. 274–279.
SEKE-2014-JuniorCMS #data analysis #gpu #repository- Exploratory Data Analysis of Software Repositories via GPU Processing (JRDSJ, EC, LM, AS), pp. 495–500.
SEKE-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.
SEKE-2014-KrollRA #development #process- Proposing a Software Process Model for Follow the Sun Development (JK, IR, JLNA), pp. 412–415.
SEKE-2014-LianZ #feature model #product line- An Evolutionary Methodology for Optimized Feature Selection in Software Product Lines (XL, LZ), pp. 63–66.
SEKE-2014-LiuCB #architecture- Software Architecture Rationale Capture through Intelligent Argumentation (XFL, NC, ECB), pp. 156–161.
SEKE-2014-NoorianBD #comprehension #product line- From Intentions to Decisions: Understanding Stakeholders’ Objectives in Software Product Line Configuration (MN, EB, WD), pp. 671–677.
SEKE-2014-OliveiraS #agile #bibliography #quality- The Agile Quality Culture — A survey on agile culture and software quality (BCdSO, SRSS), pp. 298–303.
SEKE-2014-ParkHL #power management #refactoring- Investigation for Software Power Consumption of Code Refactoring Techniques (JJP, JEH, SHL), pp. 717–722.
SEKE-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.
SEKE-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.
SEKE-2014-Peters #project management- A Knowledge & Competencies Checklist for Software Project Management Success (LP), pp. 241–243.
SEKE-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.
SEKE-2014-SchotsRS #analysis #performance #process- A Body of Knowledge for Executing Performance Analysis of Software Processes (NCLS, ARR, GS), pp. 560–565.
SEKE-2014-SilvaBCR #architecture #development #trade-off- A Tool for Trade-off Resolution on Architecture-Centered Software Development (ICLS, PHSB, EC, HR), pp. 35–38.
SEKE-2014-SinghS #machine learning #requirements #using- Software Requirement Prioritization using Machine Learning (DS, AS), pp. 701–704.
SEKE-2014-SouzaA #estimation #mobile- Mobile Applications: The Paradox of Software Estimation (LSdS, GSdAJ), pp. 59–62.
SEKE-2014-TangLYX #configuration management #development #towards- Towards Sustainability-Oriented Development of Dynamic Reconfigurable Software Systems (ST, LL, WY, JX), pp. 598–602.
SEKE-2014-ThiryFZ #development #named- GreenRM: Reference Model for Sustainable Software Development (MT, LF, AZ), pp. 39–42.
SEKE-2014-VianaCS #analysis #information management- Knowledge Transfer between Senior and Novice Software Engineers: A Qualitative Analysis (DV, TC, CRBdS), pp. 235–240.
SEKE-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.
SEKE-2014-XuL #approach #architecture #automation #synthesis #using- Automated Software Architectural Synthesis using Patterns: A Cooperative Coevolution Approach (YX, PL), pp. 174–180.
SEKE-2014-YangL #agile #architecture #development #identification- Identifying and Recording Software Architectural Assumptions in Agile Development (CY, PL), pp. 308–313.
SKY-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.
SKY-2014-GoldinG #named- SPRing: Iterative Overcoming of Software Misuse (LG, RG), pp. 43–51.
ECMFA-2014-LaurentBBG #alloy #framework #process #verification- Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
MoDELS-2014-DerakhshanmaneshEIE #component- Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MoDELS-2014-VasilevskiyH #product line- Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.
MoDELS-2014-DerakhshanmaneshEIE #component- Model-Integrating Software Components (MD, JE, TI, GE), pp. 386–402.
MoDELS-2014-VasilevskiyH #product line- Resolution of Interfering Product Fragments in Software Product Line Engineering (AV, ØH), pp. 467–483.
Onward-2014-Murphy #development- Getting to Flow in Software Development (GCM), pp. 269–281.
PLATEAU-2014-KurilovaPA #design #named #programming language #security- Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
GPCE-2014-MaAZS #performance #product line #testing- Efficient testing of software product lines via centralization (short paper) (LM, CA, CZ, HS), pp. 49–52.
GPCE-2014-RuprechtHL #automation #feature model #product line #scalability- Automatic feature selection in large-scale system-software product lines (AR, BH, DL), pp. 39–48.
GPCE-2014-WalkingshawO #editing #projectional- Projectional editing of variational software (EW, KO), pp. 29–38.
PPDP-2014-LammelVLSF #declarative #development #tutorial- Declarative Software Development: Distilled Tutorial (RL, AV, ML, TS, JMF), pp. 1–6.
RE-2014-Bhowmik #interactive #open source #requirements #social- Stakeholders’ social interaction in requirements engineering of open source software (TB), pp. 467–472.
RE-2014-DanielrappANPEM #lightweight #requirements- Lightweight requirements engineering assessments in software projects (DD, AA, NN, PP, EE, MM), pp. 354–363.
RE-2014-GartnerRBSJ #maintenance #requirements #security- Maintaining requirements for long-living software systems by incorporating security knowledge (SG, TR, JB, KS, JJ), pp. 103–112.
RE-2014-Hinai #quantifier #social- Quantification of social sustainability in software (MAH), pp. 456–460.
RE-2014-KnaussDKB #ecosystem #requirements #trade-off- Openness and requirements: Opportunities and tradeoffs in software ecosystems (EK, DED, AK, AB), pp. 213–222.
RE-2014-MaalejG #lessons learnt- Capturing and sharing domain knowledge with business rules lessons learned from a global software vendor (WM, SG), pp. 364–373.
RE-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.
RE-2014-StalhaneW- The DODT tool applied to sub-sea software (TS, TW), pp. 420–427.
RE-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.
REFSQ-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.
REFSQ-2014-VierhauserRG #framework #monitoring #requirements- A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
SAC-2014-AlmenteroLL #composition #requirements #towards- Towards software modularization from requirements (EA, JCSdPL, CJPdL), pp. 1007–1012.
SAC-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.
SAC-2014-ChenML #case study #education #research #testing- Combining research and education of software testing: a preliminary study (ZC, AM, BL), pp. 1179–1180.
SAC-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.
SAC-2014-HamerW #scalability- Large scale processing of landsat data on various software platforms (GH, JW), pp. 1547–1549.
SAC-2014-KimL- The effect of IMPORT change in software change history (JK, EL), pp. 1753–1754.
SAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self- ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SAC-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.
SAC-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.
SAC-2014-NoureddineRS #energy #library #testing- Unit testing of energy consumption of software libraries (AN, RR, LS), pp. 1200–1205.
SAC-2014-ParraJGI #approach #automation #product line- An SOA approach for automating software product line adoption (CP, DJ, LG, AI), pp. 1231–1238.
SAC-2014-XavierMMA #bibliography #reliability #research- A survey on research in software reliability engineering in the last decade (JX, AM, RM, LBdA), pp. 1190–1191.
SAC-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.
FSE-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.
FSE-2014-GreeneF #concept #named- ConceptCloud: a tagcloud browser for software archives (GJG, BF), pp. 759–762.
FSE-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.
FSE-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.
FSE-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.
FSE-2014-Kasi #detection #scheduling- Minimizing software conflicts through proactive detection of conflicts and task scheduling (BKK), pp. 807–810.
FSE-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.
FSE-2014-ManiSSD #maintenance- Panning requirement nuggets in stream of software maintenance tickets (SM, KS, VSS, PTD), pp. 678–688.
FSE-2014-MeyerFMZ #developer- Software developers’ perceptions of productivity (ANM, TF, GCM, TZ), pp. 19–29.
FSE-2014-PetreD #question #re-engineering- Methodology and culture: drivers of mediocrity in software engineering? (MP, DD), pp. 829–832.
FSE-2014-Pham #social #testing- Improving the software testing skills of novices during onboarding through social transparency (RP), pp. 803–806.
FSE-2014-PhamKLSS #testing- Enablers, inhibitors, and perceptions of testing in novice software teams (RP, SK, OL, LS, KS), pp. 30–40.
FSE-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.
FSE-2014-SunZLZWZK #query #re-engineering- Querying sequential software engineering data (CS, HZ, JGL, HZ, QW, DZ, SCK), pp. 700–710.
FSE-2014-TuSD #locality #on the- On the localness of software (ZT, ZS, PTD), pp. 269–280.
FSE-2014-Villavicencio #maintenance- Software maintenance like maintenance in other engineering disciplines (GV), pp. 853–856.
FSE-2014-Wolf #re-engineering- From software engineering to software systems (invited talk) (ALW), p. 2.
FSE-2014-Wu #fault- Diagnose crashing faults on production software (RW), pp. 771–774.
FSE-2014-XiaoCK #analysis #architecture #named #quality #tool support- Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.
FSE-2014-Yang #analysis #bibliography #network #open source #perspective #social- Social network analysis in open source software peer review (XY), pp. 820–822.
ICSE-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.
ICSE-2014-BegelZ #exclamation #re-engineering- Analyze this! 145 questions for data scientists in software engineering (AB, TZ), pp. 12–13.
ICSE-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.
ICSE-2014-CarzanigaGGMP- Cross-checking oracles from intrinsic software redundancy (AC, AG, AG, AM, MP), pp. 931–942.
ICSE-2014-FilieriHM #adaptation #automation #design #self- Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
ICSE-2014-FritzBMYZ #development #metric #using- Using psycho-physiological measures to assess task difficulty in software development (TF, AB, SCM, SYE, MZ), pp. 402–413.
ICSE-2014-GousiosPD #case study #development- An exploratory study of the pull-based software development model (GG, MP, AvD), pp. 345–355.
ICSE-2014-JingYZWL #fault #learning #predict #taxonomy- Dictionary learning based software defect prediction (XYJ, SY, ZWZ, SSW, JL), pp. 414–423.
ICSE-2014-KhadkaBSJH #how #legacy #question- How do professionals perceive legacy systems and software modernization? (RK, BVB, AS, SJ, JH), pp. 36–47.
ICSE-2014-LetierSB #architecture #nondeterminism #requirements- Uncertainty, risk, and information value in software requirements and architecture (EL, DS, ETB), pp. 883–894.
ICSE-2014-ManotasPC #energy #framework #named- SEEDS: a software engineer’s energy-optimization decision support framework (ILMG, LLP, JC), pp. 503–514.
ICSE-2014-MinkuY #estimation #how #question- How to make best use of cross-company data in software effort estimation? (LLM, XY), pp. 446–456.
ICSE-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.
ICSE-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.
ICSE-2014-PhillipsZB #comprehension- Understanding and improving software build teams (SP, TZ, CB), pp. 735–744.
ICSE-2014-RalphK #re-engineering- The dimensions of software engineering success (PR, PK), pp. 24–35.
ICSE-2014-RempelMKC #consistency #guidelines #traceability- Mind the gap: assessing the conformance of software traceability to relevant guidelines (PR, PM, TK, JCH), pp. 943–954.
ICSE-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.
ICSE-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.
ICSE-2014-VouillonDC #component #evolution #repository- Easing software component repository evolution (JV, MD, RDC), pp. 756–766.
ICSE-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.
SLE-J-2012-StevensonC #bibliography #grammar inference #re-engineering- A survey of grammatical inference in software engineering (AS, JRC), pp. 444–459.
SPLC-2014-AcherBBJ #3d #product line- Customization and 3D printing: a challenging playground for software product lines (MA, BB, OB, JMJ), pp. 142–146.
SPLC-2014-Al-HajjajiTMLS #product line #similarity #testing- Similarity-based prioritization in software product-line testing (MAH, TT, JM, ML, GS), pp. 197–206.
SPLC-2014-ChitchyanNG #product line- Sustainability in software product lines (RC, JN, IG), p. 367.
SPLC-2014-ColanziVGO #approach #design #product line #search-based- A search-based approach for software product line design (TEC, SRV, IMSG, WNO), pp. 237–241.
SPLC-2014-DamianiSW #multi #product line- Delta-oriented multi software product lines (FD, IS, TW), pp. 232–236.
SPLC-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.
SPLC-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.
SPLC-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.
SPLC-2014-HartmannLB #product line #testing- Risk based testing for software product line engineering (HH, FvdL, JB), pp. 227–231.
SPLC-2014-Hubaux #product line #research #what- What research in software product line engineering is not solving in configuration (AH), p. 19.
SPLC-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.
SPLC-2014-KruegerC #generative #product line- Second generation systems and software product line engineering (CWK, PCC), p. 358.
SPLC-2014-NobauerSG #standard #variability- Inferring variability from customized standard software products (MN, NS, IG), pp. 284–293.
SPLC-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.
SPLC-2014-SchroterSTS #interface #product line #programming- Feature-context interfaces: tailored programming interfaces for software product lines (RS, NS, TT, GS), pp. 102–111.
SPLC-2014-SeidlSA #product line #variability- Integrated management of variability in space and time in software families (CS, IS, UA), pp. 22–31.
SPLC-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.
SPLC-2014-TraskR #architecture #modelling #product line- Leveraging model driven engineering in software product line architectures (BT, AR), pp. 360–361.
SPLC-2014-UrliBC #approach #product line- Handling complex configurations in software product lines: a tooled approach (SU, MBF, PC), pp. 112–121.
SPLC-2014-VillelaSVA #bibliography #variability- A survey on software variability management approaches (KV, AS, TV, ESdA), pp. 147–156.
SPLC-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.
ASPLOS-2014-ArulrajJL #hardware #memory management- Leveraging the short-term memory of hardware to diagnose production-run software failures (JA, GJ, SL), pp. 207–222.
ASPLOS-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.
ASPLOS-2014-OuyangLSHWW #internet #named- SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.
ASPLOS-2014-SchulteDHFW #energy #optimisation- Post-compiler software optimization for reducing energy (EMS, JD, SH, SF, WW), pp. 639–652.
ASPLOS-2014-Wood #architecture #named- Resolved: specialized architectures, languages, and system software should supplant general-purpose alternatives within a decade (DAW), pp. 653–654.
CGO-2014-RongPWW #pipes and filters- Just-In-Time Software Pipelining (HR, HP, YW, CW), p. 11.
CGO-2014-RountevY #analysis #android #user interface- Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.
CGO-2014-XuWGLGQ #architecture #gpu #memory management #transaction- Software Transactional Memory for GPU Architectures (YX, RW, NG, TL, LG, DQ), p. 1.
CAV-2014-BeyerDW #verification- Software Verification in the Google App-Engine Cloud (DB, GD, PW), pp. 327–333.
CAV-2014-GligoricMSEM #distributed #testing- Regression Test Selection for Distributed Software Histories (MG, RM, RS, LE, DM), pp. 293–309.
ICST-2014-DemuthLE #automation #incremental #optimisation #product line- Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
ICST-2014-HaysHB #testing #validation- Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 (MH, JHH, ACB), pp. 333–342.
ICST-2014-LiGP #database #outsourcing- Sanitizing and Minimizing Databases for Software Application Test Outsourcing (BL, MG, DP), pp. 233–242.
ICST-2014-PatelK #case study #enterprise #experience #implementation #reuse #testing- Test Case Reuse in Enterprise Software Implementation — An Experience Report (SP, RKK), pp. 99–102.
ICST-2014-SanchezSC #comparison #product line #testing- A Comparison of Test Case Prioritization Criteria for Software Product Lines (ABS, SS, ARC), pp. 41–50.
ICST-2014-TokumotoSSUW #automation #industrial #locality- Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.
ICST-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.
ICTSS-2014-ChabotP #embedded #framework #hardware #monitoring- A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems (MC, LP), pp. 173–179.
ICTSS-2014-Deak #bibliography #testing #what- What Characterizes a Good Software Tester? — A Survey in Four Norwegian Companies (AD), pp. 161–172.
ICTSS-2014-DoganayEAB #embedded #search-based #testing- Search-Based Testing for Embedded Telecom Software with Complex Input Structures (KD, SE, WA, MB), pp. 205–210.
ISSTA-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.
TAP-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.
VMCAI-2014-GustavssonGL #analysis #execution #parallel #using- Timing Analysis of Parallel Software Using Abstract Execution (AG, JG, BL), pp. 59–77.
CBSE-2013-AbateS- Bootstrapping software distributions (PA, JS), pp. 131–142.
CBSE-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.
CBSE-2013-JohnsonCK #component #framework #incremental #verification- An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
CBSE-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.
ECSA-2013-AngelovTK #architecture #design- Software Reference Architectures — Exploring Their Usage and Design in Practice (SA, JJMT, RJK), pp. 17–24.
ECSA-2013-DimechB #approach #architecture #consistency #development #maintenance- Maintaining Architectural Conformance during Software Development: A Practical Approach (CD, DB), pp. 208–223.
ECSA-2013-EklundOL #architecture #perspective- Characterising Software Platforms from an Architectural Perspective (UE, CMO, ML), pp. 344–347.
ECSA-2013-LeiteOB #architecture #named- SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.
ECSA-2013-LiZ #architecture #evaluation #industrial #towards- Toward Industry Friendly Software Architecture Evaluation (ZL, JZ), pp. 328–331.
ECSA-2013-MairH #architecture #towards- Towards Extensive Software Architecture Erosion Repairs (MM, SH), pp. 299–306.
ECSA-2013-NowakP #architecture- Team Situational Awareness and Architectural Decision Making with the Software Architecture Warehouse (MN, CP), pp. 146–161.
ECSA-2013-PramsohlerSB #adaptation #architecture #component #middleware #towards- Towards an Optimized Software Architecture for Component Adaptation at Middleware Level (TP, SS, UB), pp. 266–281.
ECSA-2013-RostNLC #architecture #bibliography #developer #documentation- Software Architecture Documentation for Developers: A Survey (DR, MN, CL, CvFGC), pp. 72–88.
ECSA-2013-SilvaMCB #architecture #lightweight #product line- A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
QoSA-2013-CaiWWW #architecture #design- Leveraging design rules to improve software architecture recovery (YC, HW, SW, LW), pp. 133–142.
QoSA-2013-DajsurenBSR #assessment #composition #modelling- Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
QoSA-2013-TekinerdoganD #architecture #evaluation #framework- Evaluation framework for software architecture viewpoint languages (BT, ED), pp. 89–98.
QoSA-2013-TrubianiMCAG #analysis #architecture #modelling #nondeterminism #performance- Model-based performance analysis of software architectures under uncertainty (CT, IM, VC, AA, LG), pp. 69–78.
QoSA-2013-YuanMSGG #architecture #self- Architecture-based self-protecting software systems (EY, SM, BRS, DG, JG), pp. 33–42.
ASE-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.
ASE-2013-BarnesPG #architecture #automation #evolution- Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.
ASE-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.
ASE-2013-GarciaIM #analysis #architecture #comparative- A comparative analysis of software architecture recovery techniques (JG, II, NM), pp. 486–496.
ASE-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.
ASE-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.
ASE-2013-NejatiABHBC #cpu #embedded #risk management- Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
ASE-2013-NguyenNNNR #case study #evolution- A study of repetitiveness of code changes in software evolution (HAN, ATN, TTN, TNN, HR), pp. 180–190.
ASE-2013-ScannielloGMM #clustering #fault #predict #using- Class level fault prediction using software clustering (GS, CG, AM, TM), pp. 640–645.
ASE-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.
CASE-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.
CASE-2013-VenatorLN #architecture #hardware #industrial #mobile- Hardware and software architecture of ABBY: An industrial mobile manipulator (EV, GSL, WSN), pp. 324–329.
DAC-2013-GeorgakosSSC #architecture #challenge #reliability- Reliability challenges for electric vehicles: from devices to architecture and systems software (GG, US, RS, SC), p. 9.
DAC-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.
DAC-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.
DAC-2013-LuBS #data transformation #multi #named #stack- SSDM: smart stack data management for software managed multicores (SMMs) (JL, KB, AS), p. 8.
DAC-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.
DATE-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.
DATE-2013-JahnH #architecture #manycore #named #pipes and filters #self- Pipelets: self-organizing software pipelines for many-core architectures (JJ, JH), pp. 1516–1521.
DATE-2013-KhanSGH #collaboration #complexity #reduction- Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder (MUKK, MS, MG, JH), pp. 125–128.
DATE-2013-LuMS #embedded #performance #simulation- Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATE-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.
DATE-2013-MushtaqAB #approach #fault tolerance #manycore #performance- Efficient software-based fault tolerance approach on multicore platforms (HM, ZAA, KB), pp. 921–926.
DATE-2013-RehmanSAKCH #hardware #reliability- Leveraging variable function resilience for selective software reliability on unreliable hardware (SR, MS, PVA, FK, JJC, JH), pp. 1759–1764.
DATE-2013-RienerFF #fault tolerance- Improving fault tolerance utilizing hardware-software-co-synthesis (HR, SF, GF), pp. 939–942.
DATE-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.
DATE-2013-SchonwaldVBR #deployment #memory management- Shared memory aware MPSoC software deployment (TS, AV, OB, WR), pp. 1771–1776.
DATE-2013-TheissingMSSS #analysis #fault- Comprehensive analysis of software countermeasures against fault attacks (NT, DM, MS, FS, GS), pp. 404–409.
DATE-2013-WangH #embedded #modelling #performance #simulation- Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
CSEET-2013-Andrews #quality- Killer App: A Eurogame about software quality (JHA), pp. 319–323.
CSEET-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.
CSEET-2013-ArdisBFFHHS #re-engineering #roadmap- Recent Trends in Graduate Software Engineering (MAA, SB, DF, DJF, TBH, GWH, TS), pp. 351–355.
CSEET-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.
CSEET-2013-CaiKJA #architecture #bibliography #design #education- Introducing tool-supported architecture review into software design education (YC, RK, CJ, JA), pp. 70–79.
CSEET-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.
CSEET-2013-Cowling #development #education #future of #modelling #re-engineering- Model-driven development and the future of software engineering education (TC), pp. 329–331.
CSEET-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.
CSEET-2013-Edwards #programming #testing- Adding software testing to programming assignments (SHE), pp. 371–373.
CSEET-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.
CSEET-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.
CSEET-2013-GaryBG #enterprise- Software enterprise pedagogy for project-based courses (KAG, SKB, AG), pp. 368–370.
CSEET-2013-GaryLBG #design #re-engineering- A project spine for software engineering curricular design (KG, TEL, SKB, AG), pp. 299–303.
CSEET-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.
CSEET-2013-Jarzabek #design #education- Teaching advanced software design in team-based project course (SJ), pp. 31–40.
CSEET-2013-KanijMG #empirical #testing- An empirical study of the effects of personality on software testing (TK, RM, JG), pp. 239–248.
CSEET-2013-KoolmanojwongB #re-engineering #risk management- A look at software engineering risks in a team project course (SK, BWB), pp. 21–30.
CSEET-2013-KroppM #agile #development #education- Teaching agile software development at university level: Values, management, and craftsmanship (MK, AM), pp. 179–188.
CSEET-2013-LeBlanc #re-engineering- Software engineering in CS 2013 (RL), pp. 338–340.
CSEET-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.
CSEET-2013-LuukkainenV #education #re-engineering #web- Bringing undergraduates to the web: Baby steps in webifying a software engineering curriculum (ML, AV), pp. 294–298.
CSEET-2013-MacKellar #coordination #re-engineering #student- Analyzing coordination among students in a software engineering project course (BM), pp. 279–283.
CSEET-2013-MeadS #assurance #roadmap- The software assurance competency model: A roadmap to enhance individual professional capability (NRM, DS), pp. 119–128.
CSEET-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.
CSEET-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.
CSEET-2013-PortRL #re-engineering #student- Motivating and orienting novice students to value introductory software engineering (DP, CR, JL), pp. 99–108.
CSEET-2013-Rajlich #development #education- Education impact of evolutionary software development (VR), pp. 332–334.
CSEET-2013-RochaS #collaboration #comprehension #student- Understanding individual contribution and collaboration in student software teams (FR, ES), pp. 51–60.
CSEET-2013-RongZS #education #game studies #process- Applying competitive bidding games in software process education (GR, HZ, DS), pp. 129–138.
CSEET-2013-ScharfK #agile #re-engineering- Scrum in a software engineering course: An in-depth praxis report (AS, AK), pp. 159–168.
CSEET-2013-ShethBK #approach #re-engineering- A competitive-collaborative approach for introducing software engineering in a CS2 class (SS, JB, GEK), pp. 41–50.
CSEET-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.
CSEET-2013-TamburriRL #design #education #social- Teaching software design with social engagement (DAT, MR, PL), pp. 61–69.
CSEET-2013-UrregoC #architecture #named- Archinotes: A tool for assisting software architecture courses (JSU, DC), pp. 80–88.
CSEET-2013-Vallino #question #re-engineering #student #what- What should students learn in their first (and often only) software engineering course? (JV), pp. 335–337.
CSEET-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.
ITiCSE-2013-BillingsleyS #comparison #integration- A comparison of two iterations of a software studio course based on continuous integration (WB, JS), pp. 213–218.
ITiCSE-2013-ChenH #re-engineering- Applying software engineering in CS1 (WKC, BRH), pp. 297–302.
ITiCSE-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.
ITiCSE-2013-Liew #student- Benefits of having students develop software for other departments (CWL), p. 348.
ITiCSE-2013-Scharlau #development #education #game studies- Games for teaching software development (BAS), pp. 303–308.
ESOP-2013-AlglaveKNT #memory management #program transformation #verification- Software Verification for Weak Memory via Program Transformation (JA, DK, VN, MT), pp. 512–532.
FASE-2013-BeyerL #model checking- Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.
FASE-2013-Czarnecki #state of the art #variability- Variability in Software: State of the Art and Future Directions — (Extended Abstract) (KC), pp. 1–5.
TACAS-2013-Beyer #contest #summary #verification- Second Competition on Software Verification — (Summary of SV-COMP 2013) (DB0), pp. 594–609.
CSMR-2013-ArnaoudovaPAG #anti #product line- A New Family of Software Anti-patterns: Linguistic Anti-patterns (VA, MDP, GA, YGG), pp. 187–196.
CSMR-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.
CSMR-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.
CSMR-2013-CsabaSBJHG #clustering #metric #quality- Relating Clusterization Measures and Software Quality (BC, LS, ÁB, JJ, PH, TG), pp. 345–348.
CSMR-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.
CSMR-2013-GermanAH #ecosystem #evolution- The Evolution of the R Software Ecosystem (DMG, BA, AEH), pp. 243–252.
CSMR-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.
CSMR-2013-JamshidiGAP #architecture #evolution #framework #research- A Framework for Classifying and Comparing Architecture-centric Software Evolution Research (PJ, MG, AA, CP), pp. 305–314.
CSMR-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.
CSMR-2013-LehnertFR #impact analysis #rule-based- Rule-Based Impact Analysis for Heterogeneous Software Artifacts (SL, QuaF, MR), pp. 209–218.
CSMR-2013-Lopez-HerrejonE #named #re-engineering #variability #virtual machine- SBSE4VM: Search Based Software Engineering for Variability Management (RELH, AE), pp. 441–444.
CSMR-2013-MinelliL #lessons learnt #mobile- Software Analytics for Mobile Applications-Insights & Lessons Learned (RM, ML), pp. 144–153.
CSMR-2013-PerezMK #case study #industrial #quality- A Pilot Study on Software Quality Practices in Belgian Industry (JP, TM, FK), pp. 395–398.
CSMR-2013-PonzanelliBL #comprehension #development- Leveraging Crowd Knowledge for Software Comprehension and Development (LP, AB, ML), pp. 57–66.
CSMR-2013-Przybylek #aspect-oriented- Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility (AP), pp. 253–262.
ICPC-2013-BasileC #towards- Towards a unified software attack model to assess software protections (CB, MC), pp. 219–222.
ICPC-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.
ICPC-2013-KobayashiKYKM #architecture #visualisation- SArF map: Visualizing software architecture from feature and layer viewpoints (KK, MK, KY, KK, AM), pp. 43–52.
ICPC-2013-MahmoudN #algorithm #clustering #comprehension- Evaluating software clustering algorithms in the context of program comprehension (AM, NN), pp. 162–171.
ICPC-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.
ICSM-2013-AsaduzzamanRSP13a #maintenance #named #process #source code- LHDiff: Tracking Source Code Lines to Support Software Maintenance Activities (MA, CKR, KAS, MDP), pp. 484–487.
ICSM-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.
ICSM-2013-BinkleyLHBHHKRS #summary- Task-Driven Software Summarization (DB, DL, EH, JB, IH, RH, OK, KR, JS), pp. 432–435.
ICSM-2013-DasguptaGMDP #automation #corpus #documentation #traceability- Enhancing Software Traceability by Automatically Expanding Corpora with Relevant Documentation (TD, MG, EM, BD, DP), pp. 320–329.
ICSM-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.
ICSM-2013-Hegedus #maintenance- Revealing the Effect of Coding Practices on Software Maintainability (PH), pp. 578–581.
ICSM-2013-Karus #automation #development #identification- Automatic Means of Identifying Evolutionary Events in Software Development (SK), pp. 412–415.
ICSM-2013-KhanBEL #evolution #named #using- eCITY: A Tool to Track Software Structural Changes Using an Evolving City (TK, HB, AE, PL), pp. 492–495.
ICSM-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.
ICSM-2013-MantylaKAEP #agile #on the #testing- On Rapid Releases and Software Testing (MM, FK, BA, EE, KP), pp. 20–29.
ICSM-2013-MengMWB #mining #repository- Mining Software Repositories for Accurate Authorship (XM, BPM, WRW, ARB), pp. 250–259.
ICSM-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.
ICSM-2013-MinelliL #framework #mobile #named #visual notation- SAMOA — A Visual Software Analytics Platform for Mobile Applications (RM, ML), pp. 476–479.
ICSM-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.
ICSM-2013-RajlichH #question- Which Practices Are Suitable for an Academic Software Project? (VR, JH), pp. 440–443.
ICSM-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.
ICSM-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.
ICSM-2013-StrouliaMRB #collaboration #interactive- Interactive Exploration of Collaborative Software-Development Data (ES, IM, FR, KB), pp. 504–507.
ICSM-2013-WangWYLLZ #categorisation #mining #multi #repository- Mining Software Profile across Multiple Repositories for Hierarchical Categorization (TW, HW, GY, CXL, XL, PZ), pp. 240–249.
ICSM-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.
ICSM-2013-ZhangMZKH #how #maintenance #metric #question- How Does Context Affect the Distribution of Software Maintainability Metrics? (FZ, AM, YZ, FK, AEH), pp. 350–359.
MSR-2013-DitHPK #dataset #evaluation #maintenance- A dataset from change history to support evaluation of software maintenance tasks (BD, AH, DP, HHK), pp. 131–134.
MSR-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.
MSR-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.
MSR-2013-GreilerZDS #evolution #smell- Strategies for avoiding text fixture smells during software evolution (MG, AZ, AvD, MADS), pp. 387–396.
MSR-2013-GuzziBLPD #communication #development #open source- Communication in open source software development mailing lists (AG, AB, ML, MP, AvD), pp. 277–286.
MSR-2013-HowardGPV #automation #mining #semantics #word- Automatically mining software-based, semantically-similar words from comment-code mappings (MJH, SG, LLP, KVS), pp. 377–386.
MSR-2013-HuW #fault #predict #using- Using citation influence to predict software defects (WH, KW), pp. 419–428.
MSR-2013-JanjicHSA #dataset #research #reuse #source code- An unabridged source code dataset for research in software reuse (WJ, OH, MS, CA), pp. 339–342.
MSR-2013-MukadamBR #android #bibliography #code review- Gerrit software code review data from Android (MM, CB, PCR), pp. 45–48.
MSR-2013-Murphy #development #what- What is software development productivity, anyway? (keynote) (GCM), p. 1.
MSR-2013-SouzaM #category theory #metric #question- Do software categories impact coupling metrics? (LBLdS, MdAM), pp. 217–220.
MSR-2013-Squire #dataset- Project roles in the apache software foundation: a dataset (MS), pp. 301–304.
MSR-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.
MSR-2013-VasilescuSM #dataset #re-engineering- A historical dataset of software engineering conferences (BV, AS, TM), pp. 373–376.
MSR-2013-XiaLWZ #recommendation- Tag recommendation in software information sites (XX, DL, XW, BZ), pp. 287–296.
SCAM-2013-MattsenCS #bound- Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.
SCAM-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.
SCAM-2013-SokolAG #mining #named #repository #research- MetricMiner: Supporting researchers in mining software repositories (FZS, MFA, MAG), pp. 142–146.
SCAM-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.
WCRE-2013-AversanoMT #architecture- Evaluating architecture stability of software projects (LA, MM, MT), pp. 417–424.
WCRE-2013-BaggeZ #problem- Workshop on open and original problems in software language engineering (AHB, VZ), pp. 493–494.
WCRE-2013-ChatterjiCKH #case study #developer #maintenance- Effects of cloned code on software maintainability: A replicated developer study (DC, JCC, NAK, JH), pp. 112–121.
WCRE-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.
WCRE-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.
WCRE-2013-SchoenmakersBNVS #complexity- Assessing the complexity of upgrading software modules (BS, NvdB, IN, BV, AS), pp. 433–440.
WCRE-2013-WalkinshawTD #finite #modelling #state machine- Inferring Extended Finite State Machine models from software executions (NW, RT, JD), pp. 301–310.
PEPM-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.
PLDI-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.
IFM-2013-MilloRKN #composition #product line #verification- Compositional Verification of Software Product Lines (JVM, SR, SNK, GKN), pp. 109–123.
IFM-2013-SongT #api #library #model checking- Model-Checking Software Library API Usage Rules (FS, TT), pp. 192–207.
CHI-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.
CSCW-2013-HowisonH #integration- Incentives and integration in scientific software production (JH, JDH), pp. 459–470.
CSCW-2013-HuangDLLG #bound- Meanings and boundaries of scientific software sharing (XH, XD, CPL, TL, NG), pp. 423–434.
CSCW-2013-MarlowD #developer #process- Activity traces and signals in software developer recruitment and hiring (JM, LD), pp. 145–156.
DHM-HB-2013-ZhangZLDW #optimisation- Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.
DUXU-CXC-2013-Kumar #design #gamification- Gamification at Work: Designing Engaging Business Software (JK), pp. 528–537.
DUXU-CXC-2013-TailebAAAA #named #recognition #speech- YUSR: Speech Recognition Software for Dyslexics (MT, RAS, AAG, MAZ, SAS), pp. 296–303.
DUXU-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.
DUXU-WM-2013-LeeMR #re-engineering- A Dependency-Sharing Tool for Global Software Engineering (DL, AEM, DR), pp. 37–46.
DUXU-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.
HCI-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.
HCI-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.
HCI-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.
HCI-UC-2013-BrohlBJS #design #project management- Icon Design for Older Users of Project Management Software (CB, JB, NJ, CMS), pp. 127–135.
HCI-UC-2013-RauffH #enterprise- Reverse Business Innovations — The Impact of ERP Software Upgrades on Organizations (SR, AH), pp. 438–445.
HIMI-D-2013-Terawaki #framework #quality #requirements- Framework for Quantitatively Evaluating the Quality Requirements of Software System (YT), pp. 383–392.
VISSOFT-2013-AlcocerBDD #comprehension #evolution #performance- Performance evolution blueprint: Understanding the impact of software evolution on performance (JPSA, AB, SD, MD), pp. 1–9.
VISSOFT-2013-AnslowMNB #collaboration #named #visualisation- SourceVis: Collaborative software visualization for co-located environments (CA, SM, JN, RB), pp. 1–10.
VISSOFT-2013-BenomarSP #heatmap #visualisation- Visualizing software dynamicities with heat maps (OB, HAS, PP), pp. 1–10.
VISSOFT-2013-BradleyH #composition #development #named #navigation- Visuocode: A software development environment that supports spatial navigation and composition (DRB, IJH), pp. 1–4.
VISSOFT-2013-FittkauWWH #approach #scalability #visualisation- Live trace visualization for comprehending large software landscapes: The ExplorViz approach (FF, JW, CW, WH), pp. 1–4.
VISSOFT-2013-GouveiaCA #fault #html #locality #using #visualisation- Using HTML5 visualizations in software fault localization (CG, JC, RA), pp. 1–10.
VISSOFT-2013-Guzman #development #visualisation- Visualizing emotions in software development projects (EG), pp. 1–4.
VISSOFT-2013-Hanjalic #evolution #named #visualisation- ClonEvol: Visualizing software evolution with code clones (AH), pp. 1–4.
VISSOFT-2013-Lopez-HerrejonE #interactive #product line #testing #towards #visualisation- Towards interactive visualization support for pairwise testing software product lines (RELH, AE), pp. 1–4.
VISSOFT-2013-ScannielloE- Software entities as bird flocks and fish schools (GS, UE), pp. 1–4.
VISSOFT-2013-ShresthaZM #open source #visualisation- Visualizing time and geography of open source software with storygraph (AS, YZ, BM), pp. 1–4.
VISSOFT-2013-Wehrwein #lightweight #matrix #reverse engineering #using #visualisation- Lightweight software reverse engineering using augmented matrix visualizations (BW), pp. 1–4.
VISSOFT-2013-ZhiR #documentation #evolution #named #visualisation- DEVis: A tool for visualizing software document evolution (JZ, GR), pp. 1–4.
AdaEurope-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.
AdaEurope-2013-FaginC #case study #reliability- Provably Secure DNS: A Case Study in Reliable Software (BSF, MCC), pp. 81–93.
HILT-2013-CarterFHHT #analysis #named- SAW: the software analysis workbench (KC, AF, JH, BH, AT), pp. 15–18.
HILT-2013-Chaki #bound #model checking- Bounded model checking of high-integrity software (SC), pp. 9–10.
HILT-2013-DoranA #development #embedded #modelling #named #tool support- Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
CAiSE-2013-ChatzikonstantinouKA #data analysis #framework- A Goal Driven Framework for Software Project Data Analytics (GC, KK, IMA), pp. 546–561.
CAiSE-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.
ICEIS-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.
ICEIS-J-2013-CarneiroN13a #multi #named #towards #visualisation- SourceMiner: Towards an Extensible Multi-perspective Software Visualization Environment (GdFC, MGdMN), pp. 242–263.
ICEIS-J-2013-HernandesBF13a #bibliography #process- An Overview of Experimental Studies on Software Inspection Process (EMH, AB, SF), pp. 118–134.
ICEIS-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.
ICEIS-v1-2013-HernandesBF #process- Experimental Studies in Software Inspection Process — A Systematic Mapping (EMH, AB, SF), pp. 66–76.
ICEIS-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.
ICEIS-v2-2013-BouneffaA- Change Management of BPM-based Software Applications (MB, AA), pp. 37–45.
ICEIS-v2-2013-CarneiroN #multi #named #visualisation- SourceMiner — A Multi-perspective Software Visualization Environment (GdFC, MGdMN), pp. 25–36.
ICEIS-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.
ICEIS-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.
ICEIS-v2-2013-RositoRB #case study #configuration management- An Experimental Study on the Dynamic Reconfiguration of Software Projects (MCR, MBR, RMB), pp. 232–239.
ICEIS-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.
ICEIS-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.
ICEIS-v2-2013-SoaresB #development #process- Projects Characteristics Determining Suitability of Software Development Process (MdSS, JB), pp. 118–125.
ICEIS-v2-2013-TaitH #development #distributed #project management- Software Project Management in Distributed Software Development Context (TFCT, EHMH), pp. 216–222.
ICML-c2-2013-DasBBG #automation #modelling #topic- Subtle Topic Models and Discovering Subtly Manifested Software Concerns Automatically (MKD, SB, CB, KG), pp. 253–261.
SEKE-2013-AbdouGK #open source #process #testing- Managing Corrective Actions to Closure in Open Source Software Test Process (TA, PG, PK), pp. 306–311.
SEKE-2013-AdamE #approach #multi- A multi-dimensional approach for analyzing software artifacts (SA, GEB), pp. 650–655.
SEKE-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.
SEKE-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.
SEKE-2013-AlamRP- Decision Support for Re-planning of Software Product Releases (S) (SMDAA, GR, DP), pp. 89–94.
SEKE-2013-AsuncionSPPDM #information management #using- Using Change Entries to Collect Software Project Information (HUA, MS, RP, KP, ND, WJMJ), pp. 184–189.
SEKE-2013-BajnaidBPS #assurance #development #evaluation #ontology #quality- Software Quality Assurance Ontology from Development to Evaluation (S) (NB, RB, AP, SS), pp. 689–694.
SEKE-2013-Chang #re-engineering- Environment-Aware Software Engineering (SKC).
SEKE-2013-CheP #architecture #design #development #paradigm- Exploring Architectural Design Decision Management Paradigms for Global Software Development (MC, DEP), pp. 8–13.
SEKE-2013-DingXG #approach #petri net #specification- An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
SEKE-2013-FerreiraVQ #approach #product line #testing- A Mutation Approach to Feature Testing of Software Product Lines (JMF, SRV, MAQ), pp. 232–237.
SEKE-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.
SEKE-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.
SEKE-2013-GaoKN #estimation #preprocessor #quality- Exploring Ensemble-Based Data Preprocessing Techniques for Software Quality Estimation (KG, TMK, AN), pp. 612–617.
SEKE-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.
SEKE-2013-HansenM #analysis #ecosystem #network #towards- Towards a Network Ecology of Software Ecosystems: an Analysis of two OSGi Ecosystems (KMH, KM), pp. 326–331.
SEKE-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.
SEKE-2013-IdriHA #estimation #modelling- Assessing RBFN-Based Software Cost Estimation Models (S) (AI, AH, AA), pp. 483–487.
SEKE-2013-IqbalKH #behaviour #communication #developer #social- Analyzing Social Behavior of Software Developers Across Different Communication Channels (S) (AI, MK, MH), pp. 113–118.
SEKE-2013-KrollPACF #development- A Feasibility Study of Follow-the-Sun Software Development for GSD Projects (S) (JK, RP, JLNA, EC, JF), pp. 196–199.
SEKE-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.
SEKE-2013-MarcalGCJ #identification #mining #repository #using- Mining Software Repository to Identify Crosscutting Concerns Using Combined Techniques (S) (IM, REG, RCMC, COJ), pp. 338–343.
SEKE-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.
SEKE-2013-OliveiraBVC #detection- Metrics-based Detection of Similar Software (S) (PO, HB, MTV, HAXC), pp. 447–450.
SEKE-2013-PortugalO #process #specification- Introducing Software Process Specification to Task Context (S) (IdSP, TCO), pp. 22–25.
SEKE-2013-RajasekharanMN #crowdsourcing #effectiveness #online- Effective Crowdsourcing for Software Feature Ideation in Online Co-Creation Forums (KR, APM, SKN), pp. 119–124.
SEKE-2013-RamosRO #process #source code #towards- Towards a strategy for analysing benefits of Software Process Improvement programs (CSR, ARR, KMdO), pp. 638–643.
SEKE-2013-ShahinLL #architecture #concept #documentation #using- Recovering Software Architectural Knowledge from Documentation using Conceptual Model (MS, PL, ZL), pp. 556–561.
SEKE-2013-ShamsHK #estimation #network #using- Software Effort Estimation using Regularized Radial Basis Function Neural Networks (KMS, HSH, AK), pp. 473–478.
SEKE-2013-SilvaVMA #approach #product line- Scrum-based Approach for Analyzing Commonalities and Variabilities in Software Product Lines (IFdS, TV, SRLM, ESdA), pp. 238–243.
SEKE-2013-SouzaFV #information management #testing- Knowledge Management Applied to Software Testing: A Systematic Mapping (EFS, RdAF, NLV), pp. 562–567.
SEKE-2013-SouzaV #agile #product line- Selecting Agile Practices for Developing Software Product Lines (S) (DSdS, PV), pp. 220–225.
SEKE-2013-SunSJ #architecture #maintenance #using- Using Architecture to Support the Collaborations in Software Maintenance (YS, HS, WJ), pp. 362–357.
SEKE-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.
SEKE-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.
SEKE-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.
SEKE-2013-YuWYLY #evaluation #named #repository- HESA: The Construction and Evaluation of Hierarchical Software Feature Repository (YY, HW, GY, XL, CY), pp. 624–631.
SKY-2013-GallantG- Overcoming Software System Misuse by Domain Knowledge (RG, LG), pp. 62–69.
SKY-2013-GarzonSK #elicitation #re-engineering- Knowledge Re-use and Dissemination for Resource Elicitation in Software Engineering (MHG, CS, JK), pp. 14–23.
AMT-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.
ECMFA-2013-Kulkarni #development #modelling- Model Driven Software Development — A Practitioner Takes Stock and Looks into Future (VK), pp. 220–235.
ECMFA-2013-MzidMMPBA #design pattern #named #realtime- DPMP: A Software Pattern for Real-Time Tasks Merge (RM, CM, AM, STP, JPB, MA), pp. 101–117.
MoDELS-2013-AlamKM #design- Concern-Oriented Software Design (OA, JK, GM), pp. 604–621.
MoDELS-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.
MoDELS-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.
MoDELS-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.
MoDELS-2013-KuschkeMR #modelling #process #recommendation- Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.
MoDELS-2013-PiresPWD #behaviour #embedded #source code #verification- Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
MoDELS-2013-AlamKM #design- Concern-Oriented Software Design (OA, JK, GM), pp. 604–621.
MoDELS-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.
MoDELS-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.
MoDELS-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.
MoDELS-2013-KuschkeMR #modelling #process #recommendation- Recommending Auto-completions for Software Modeling Activities (TK, PM, PR), pp. 170–186.
MoDELS-2013-PiresPWD #behaviour #embedded #source code #verification- Behavioural Verification in Embedded Software, from Model to Source Code (AFP, TP, VW, SD), pp. 320–335.
ECOOP-2013-GligoricBLOHM #refactoring #testing- Systematic Testing of Refactoring Engines on Real Software Projects (MG, FB, YL, JO, MH, DM), pp. 629–653.
Onward-2013-XuCBD #development- User model and system model: the yin and yang in user-centered software development (HX, OC, NB, RD), pp. 91–100.
OOPSLA-2013-Zhang0K #developer #evolution #fault #injection #locality- Injecting mechanical faults to localize developer faults for evolving software (LZ, LZ, SK), pp. 765–784.
GPCE-2013-KramerOKC #product line #user interface #using- Using document-oriented GUIs in dynamic software product lines (DK, SO, PK, TC), pp. 85–94.
LOPSTR-2013-BeckertBKSSU #data flow #object-oriented- Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.
ER-BR-2013-FerreiraL #evolution #requirements- Requirements Engineering with a Perspective of Software Evolution — Anticipating requirements based on organizational change (MGF, JCSdPL).
ER-BR-2013-Finkelstein #re-engineering #what- The Next 10 Years: the shape of software to come and what if means for software engineering (AF).
ER-BR-2013-GuedesSC #approach #product line- Goals and Scenarios to Software Product Lines: the GS2SPL Approach (GG, CTLLS, JC).
ER-BR-2013-SantosW #communication #ecosystem #on the #requirements- On the Impact of Software Ecosystems in Requirements Communication and Management (RPdS, CMLW).
RE-2013-AlspaughS #development #requirements- Ongoing software development without classical requirements (TAA, WS), pp. 165–174.
RE-2013-MaxwellAE #empirical- An empirical investigation of software engineers’ ability to classify legal cross-references (JCM, AIA, JBE), pp. 24–31.
RE-2013-NakagawaOH #evolution- A goal model elaboration for localizing changes in software evolution (HN, AO, SH), pp. 155–164.
RE-2013-Reddivari #requirements #visual notation- Visual analytics for software requirements engineering (SR), pp. 389–392.
RE-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.
RE-2013-Terzakis #quality #requirements- The impact of requirements on software quality across three product generations (JT), pp. 284–289.
RE-2013-Valenca #approach #ecosystem #evolution #requirements #social- Requirements negotiation model: A social oriented approach for software ecosystems evolution (GV), pp. 393–396.
RE-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.
REFSQ-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.
REFSQ-2013-Bjarnason #development #process #requirements- Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.
REFSQ-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.
REFSQ-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.
REFSQ-2013-JantunenHG #challenge #problem- Adjusting to Increasing Product Management Problems: Challenges and Improvement Proposals in One Software Company (SJ, KH, DCG), pp. 386–400.
REFSQ-2013-ProynovaP #feedback #predict- Factors Influencing User Feedback on Predicted Satisfaction with Software Systems (RP, BP), pp. 96–111.
SAC-2013-BarcellosF #metric #ontology- A software measurement task ontology (MPB, RdAF), pp. 311–318.
SAC-2013-Barros #component #representation- Representing dynamic pluggable software units (FB), pp. 1006–1012.
SAC-2013-BasgaluppBSC #approach #predict- Software effort prediction: a hyper-heuristic decision-tree based approach (MPB, RCB, TSdS, ACPLFC), pp. 1109–1116.
SAC-2013-BeckersFHHC #development- Common criteria compliant software development (CC-CASD) (KB, SF, DH, MH, IC), pp. 1298–1304.
SAC-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.
SAC-2013-BrinkeMBBA #composition #design #energy- A design method for modular energy-aware software (StB, SM, CB, LB, MA), pp. 1180–1182.
SAC-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.
SAC-2013-CastorSS #assessment #haskell #memory management #transaction- A preliminary assessment of Haskell’s software transactional memory constructs (FC, FSN, ALMS), pp. 1696–1697.
SAC-2013-ChaeKHLW #api #detection- Software plagiarism detection via the static API call frequency birthmark (DKC, SWK, JH, SCL, GW), pp. 1639–1643.
SAC-2013-ChaudhariZW #component #framework #ranking #towards- Towards a ranking framework for software components (DC, MZ, KW), pp. 495–498.
SAC-2013-DietrichRP #clustering #detection #visual notation- Exploiting visual appearance to cluster and detect rogue software (CJD, CR, NP), pp. 1776–1783.
SAC-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.
SAC-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.
SAC-2013-GoncalvesTM #towards- Towards a software tool for ultrasound guided robotic hip resurfacing surgery (PJSG, PMBT, JMMM), pp. 232–234.
SAC-2013-GregioFAGMJ #analysis #behaviour #empirical #internet- An empirical analysis of malicious internet banking software behavior (ARAG, DSFF, VMA, PLdG, VFM, MJ), pp. 1830–1835.
SAC-2013-HunnyZW #adaptation #named- OSDC: adapting ODC for developing more secure software (UH, MZ, KW), pp. 1131–1136.
SAC-2013-JangJHJKJ #android- Protecting Android applications with steganography-based software watermarking (JJ, HJ, JH, JJ, DK, SKJ), pp. 1657–1658.
SAC-2013-Marques-NetoAV #approach #maintenance- A quantitative approach for evaluating software maintenance services (HMN, GJA, MTV), pp. 1068–1073.
SAC-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.
SAC-2013-OliveiraB #configuration management #on the- On the reconfiguration of software connectors (NO, LSB), pp. 1885–1892.
SAC-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.
SAC-2013-Penzenstadler #re-engineering #towards- Towards a definition of sustainability in and for software engineering (BP), pp. 1183–1185.
SAC-2013-PerkusichAP #detection #development #problem- A model to detect problems on scrum-based software development projects (MP, HOdA, AP), pp. 1037–1042.
SAC-2013-SilvaATADG #architecture #bibliography- Smart cities software architectures: a survey (WMdS, AÁ, GHRPT, RAA, KLD, VCG), pp. 1722–1727.
SAC-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-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-FSE-2013-CalefatoL #named #social- SocialCDE: a social awareness tool for global software teams (FC, FL), pp. 587–590.
ESEC-FSE-2013-DiGiuseppe #automation #fault- Automatically describing software faults (ND), pp. 711–714.
ESEC-FSE-2013-DuboisT #comprehension #development #gamification- Understanding gamification mechanisms for software development (DJD, GT), pp. 659–662.
ESEC-FSE-2013-Gonthier #re-engineering- Software engineering for mathematics (keynote) (GG), p. 13.
ESEC-FSE-2013-GooijerK #reuse- Agreements for software reuse in corporations (TdG, HK), pp. 679–682.
ESEC-FSE-2013-GuzmanB #development #towards- Towards emotional awareness in software development teams (EG, BB), pp. 671–674.
ESEC-FSE-2013-InverardiARPT #challenge #integration #research- Producing software by integration: challenges and research directions (keynote) (PI, MA, DDR, PP, MT), pp. 2–12.
ESEC-FSE-2013-LiebigRKADL #analysis #scalability- Scalable analysis of variable software (JL, AvR, CK, SA, JD, CL), pp. 81–91.
ESEC-FSE-2013-Lopez #ecosystem #evolution #modelling #topic #using- Using topic models to understand the evolution of a software ecosystem (NL), pp. 723–726.
ESEC-FSE-2013-MarinescuC #named #testing- KATCH: high-coverage testing of software patches (PDM, CC), pp. 235–245.
ESEC-FSE-2013-McPeakGR #debugging #detection #incremental #scalability- Scalable and incremental software bug detection (SM, CHG, MKR), pp. 554–564.
ESEC-FSE-2013-NagappanZB #re-engineering #research- Diversity in software engineering research (MN, TZ, CB), pp. 466–476.
ESEC-FSE-2013-RigbyB #bibliography #convergence- Convergent contemporary software peer review practices (PCR, CB), pp. 202–212.
ESEC-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-FSE-2013-ZhangC #effectiveness #fault #modelling #predict- A cost-effectiveness criterion for applying software defect prediction models (HZ, SCC), pp. 643–646.
ICSE-2013-AlmorsyGI #analysis #architecture #automation #security #using- Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
ICSE-2013-BallandCNS #development- A case for human-driven software development (EB, CC, BN, HS), pp. 1229–1232.
ICSE-2013-BartensteinL #data-driven- Green streams for data-intensive software (TB, YDL), pp. 532–541.
ICSE-2013-BavotaDOPPL #developer #empirical- An empirical study on the developers’ perception of software coupling (GB, BD, RO, MDP, DP, ADL), pp. 692–701.
ICSE-2013-BettenburgB #development #mining- Deciphering the story of software development through frequent pattern mining (NB, AB), pp. 1197–1200.
ICSE-2013-BouwersDV #case study #experience #industrial #metric- Evaluating usefulness of software metrics: an industrial experience report (EB, AvD, JV), pp. 921–930.
ICSE-2013-BouwersDVa #metric- Software metrics: pitfalls and best practices (EB, AvD, JV), pp. 1491–1492.
ICSE-2013-Brandtner #assessment #quality- Fostering software quality assessment (MB), pp. 1393–1396.
ICSE-2013-BullWC #education #re-engineering #towards- Studios in software engineering education: towards an evaluable model (CNB, JW, LC), pp. 1063–1072.
ICSE-2013-CarrenoW #analysis #approach #evolution #requirements- Analysis of user comments: an approach for software requirements evolution (LVGC, KW), pp. 582–591.
ICSE-2013-Dagnino- Estimating software-intensive projects in the absence of historical data (AD), pp. 941–950.
ICSE-2013-DeRose #development- The connection between movie making and software development (keynote) (TD), p. 856.
ICSE-2013-DornT #adaptation #architecture- Coupling software architecture and human architecture for collaboration-aware system adaptation (CD, RNT), pp. 53–62.
ICSE-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.
ICSE-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.
ICSE-2013-Franch #requirements- Software requirement patterns (XF), pp. 1499–1501.
ICSE-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.
ICSE-2013-GarciaKMM #architecture- Obtaining ground-truth software architectures (JG, IK, CM, NM), pp. 901–910.
ICSE-2013-Guerrouj #comprehension #normalisation #quality #source code- Normalizing source code vocabulary to support program comprehension and software quality (LG), pp. 1385–1388.
ICSE-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.
ICSE-2013-HosekC #execution #multi- Safe software updates via multi-version execution (PH, CC), pp. 612–621.
ICSE-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.
ICSE-2013-Kouroshfar #co-evolution #quality- Studying the effect of co-change dispersion on software quality (EK), pp. 1450–1452.
ICSE-2013-KuhrmannFM #education #modelling #process- Teaching software process modeling (MK, DMF, JM), pp. 1138–1147.
ICSE-2013-Kulkarni #reuse- Systematically selecting a software module during opportunistic reuse (NK), pp. 1405–1406.
ICSE-2013-Lin #comprehension #evolution #simulation- Understanding and simulating software evolution (ZL), pp. 1411–1414.
ICSE-2013-MaoYLH #development- Pricing crowdsourcing-based software development tasks (KM, YY, ML, MH), pp. 1205–1208.
ICSE-2013-MeneelyL #re-engineering- Vulnerability of the day: concrete demonstrations for software engineering undergraduates (AM, SL), pp. 1154–1157.
ICSE-2013-MenziesKPTM #re-engineering- Data science for software engineering (TM, EK, FP, BT, LLM), pp. 1484–1486.
ICSE-2013-Muslu #analysis #development #maintenance- Integrating systematic exploration, analysis, and maintenance in software development (KM), pp. 1389–1392.
ICSE-2013-Nadi #case study #open source #variability- A study of variability spaces in open source software (SN), pp. 1353–1356.
ICSE-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.
ICSE-2013-PaganoB #case study #evolution- User involvement in software evolution practice: a case study (DP, BB), pp. 953–962.
ICSE-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.
ICSE-2013-PastoreMG #c #c++ #debugging #named #problem- RADAR: a tool for debugging regression problems in C/C++ software (FP, LM, AG), pp. 1335–1338.
ICSE-2013-Perino #framework #self- A framework for self-healing software systems (NP), pp. 1397–1400.
ICSE-2013-PosnettDDF #development #metric- Dual ecological measures of focus in software development (DP, RMD, PTD, VF), pp. 452–461.
ICSE-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.
ICSE-2013-Rajlich #developer #education #re-engineering- Teaching developer skills in the first software engineering course (VR), pp. 1109–1116.
ICSE-2013-SamarthyamSSG #assessment #design #industrial #named #quality- MIDAS: a design quality assessment method for industrial software (GS, GS, TS, SG), pp. 911–920.
ICSE-2013-Samuelson- Are software patents bad? (keynote) (PS), p. 855.
ICSE-2013-Sanchez #adaptation #product line #self #towards- Toward a software product line for affective-driven self-adaptive systems (JGS), pp. 1381–1384.
ICSE-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.
ICSE-2013-Saraiva #maintenance #metric #roadmap- A roadmap for software maintainability measurement (JS), pp. 1453–1455.
ICSE-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.
ICSE-2013-Simpson #communication #detection #developer- Changeset based developer communication to detect software failures (BS), pp. 1468–1470.
ICSE-2013-SochaT #sketching- Sketching software in the wild (DS, JDT), pp. 1237–1240.
ICSE-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.
ICSE-2013-VouillonC #evolution #repository #set- Broken sets in software repository evolution (JV, RDC), pp. 412–421.
ICSE-2013-YamashitaM #empirical #maintenance #smell- Exploring the impact of inter-smell relations on software maintainability: an empirical study (AFY, LM), pp. 682–691.
ICSE-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.
ICSE-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.
ICSE-2013-Zhang04a #automation #fault #java #named- ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSE-2013-ZhangE #automation #fault- Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
ICSE-2013-ZhangGV #empirical #predict- Predicting bug-fixing time: an empirical study of commercial software projects (HZ, LG, SV), pp. 1042–1051.
ICSE-2013-ZhangXa #challenge- Software analytics: achievements and challenges (DZ, TX), p. 1487.
SLE-2013-BatoryGMS #automation #design #graph grammar- Dark Knowledge and Graph Grammars in Automated Software Design (DSB, RG, BM, JS), pp. 1–18.
SLE-2013-FehrenbachEO #domain-specific language #evolution- Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
SLE-2013-LammelMV #tool support #wiki- Method and Tool Support for Classifying Software Languages with Wikipedia (RL, DM, AV), pp. 249–259.
SLE-2013-PearceG #framework #named #research #verification- Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.
PLEASE-2013-ChimalakondaN #education #product line #question #what- What makes it hard to apply software product lines to educational technologies? (SC, KVN), pp. 17–20.
PLEASE-2013-FangLED #behaviour #challenge #variability- Challenges in managing behavior variability of production control software (MF, GL, CE, JD), pp. 21–24.
PLEASE-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.
PLEASE-2013-KramerOKC #product line #user interface #visual notation- Graphical user interfaces in dynamic software product lines (DK, SO, PK, TC), pp. 25–28.
PLEASE-2013-Schmid #ecosystem #variability- Variability support for variability-rich software ecosystems (KS), pp. 5–8.
PLEASE-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.
PLEASE-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.
PLEASE-2013-UrliMBC #how #multi #product line #question- How to exploit domain knowledge in Multiple Software Product Lines? (SU, SM, MBF, PC), pp. 13–16.
SPLC-2013-BashariB #adaptation #product line #self- Engineering self-adaptive systems and dynamic software product line (MB, EB), p. 285.
SPLC-2013-Beuche #legacy #product line- Transforming legacy systems into software product lines (DB), p. 275.
SPLC-2013-ChastekM #product line- Production planning in a software product line organization (GJC, JDM), p. 281.
SPLC-2013-Donohoe #product line- Introduction to software product lines (PD), p. 274.
SPLC-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.
SPLC-2013-Goto #development- Innovation of automotive software development (MG), pp. 5–6.
SPLC-2013-HenardPPKT #generative #multi #product line #testing- Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLC-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.
SPLC-2013-KruegerC #generative #product line- Second generation systems and software product line engineering (CWK, PCC), pp. 283–284.
SPLC-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.
SPLC-2013-MarijanGSH #product line #testing- Practical pairwise testing for software product lines (DM, AG, SS, AH), pp. 227–235.
SPLC-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.
SPLC-2013-MuthigS #framework #product line- A framework for role-based feature management in software product line organizations (DM, JS), pp. 178–187.
SPLC-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.
SPLC-2013-NorthropJ #product line- Introduction to software product lines adoption (LMN, LGJ), p. 286.
SPLC-2013-Taylor #architecture #ecosystem- The role of architectural styles in successful software ecosystems (RNT), pp. 2–4.
SPLC-2013-TraskR #architecture #modelling #product line- Leveraging model driven engineering in software product line architectures (BT, AR), p. 279.
SPLC-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.
SPLC-2013-WangPXCZ0 #named- SmartFixer: fixing software configurations based on dynamic priorities (BW, LTP, YX, KC, HZ, WZ), pp. 82–90.
SPLC-2013-XuCMR #product line #testing- Continuous test suite augmentation in software product lines (ZX, MBC, WM, GR), pp. 52–61.
ASPLOS-2013-ArulrajCJL #hardware #performance- Production-run software failure diagnosis via hardware performance counters (JA, PCC, GJ, SL), pp. 101–112.
ASPLOS-2013-RaghavanESPPWM #hardware #testing- Computational sprinting on a hardware/software testbed (AR, LE, LS, MCP, KPP, TFW, MMKM), pp. 155–166.
ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using- Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
CGO-2013-HomescuNLBF #automation- Profile-guided automated software diversity (AH, SN, PL, SB, MF), p. 11.
CGO-2013-ZhouWDS #flexibility #framework #migration #named- Profmig: A framework for flexible migration of program profiles across software versions (MZ, BW, YD, XS), p. 12.
PPoPP-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.
SOSP-2013-ClementsKZMK #commutative #design #manycore #scalability- The scalable commutativity rule: designing scalable software for multicore processors (ATC, MFK, NZ, RTM, EK), pp. 1–17.
SOSP-2013-ThereskaBOKRTBZ #architecture #named- IOFlow: a software-defined storage architecture (ET, HB, GO, TK, AITR, TT, RB, TZ), pp. 182–196.
CADE-2013-HahnleSB #reuse #verification- Reuse in Software Verification by Abstract Method Calls (RH, IS, RB), pp. 300–314.
CAV-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.
CAV-2013-ColangeBKT #diagrams #distributed #model checking #towards #using- Towards Distributed Software Model-Checking Using Decision Diagrams (MC, SB, FK, YTM), pp. 830–845.
CAV-2013-HeizmannHP #automaton #model checking #people- Software Model Checking for People Who Love Automata (MH, JH, AP), pp. 36–52.
CAV-2013-KomuravelliGCC #abstraction #automation #bound #model checking #smt- Automatic Abstraction in SMT-Based Unbounded Software Model Checking (AK, AG, SC, EMC), pp. 846–862.
ICST-2013-CarrozzaCNPR #analysis #industrial #predict- Analysis and Prediction of Mandelbugs in an Industrial Software System (GC, DC, RN, RP, SR), pp. 262–271.
ICST-2013-Deak #comprehension #social- Understanding the Influence of Social and Technical Factors Testers in Software Organizations (AD), pp. 511–512.
ICST-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.
ICST-2013-FryW #analysis #maintenance- Leveraging Light-Weight Analyses to Aid Software Maintenance (ZPF, WW), pp. 507–508.
ICST-2013-HillTB #bound #c++ #named- GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software (EH, DJT, SB), pp. 134–143.
ICST-2013-KaushikATLL #challenge #fault #industrial- Defect Prioritization in the Software Industry: Challenges and Opportunities (NK, MA, LT, WL, SL), pp. 70–73.
ISSTA-2013-FraserSMAP #automation #generative #question #testing- Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTA-2013-YiQTR #contract- Expressing and checking intended changes via software change contracts (JY, DQ, SHT, AR), pp. 1–11.
CBSE-2012-AtkinsonH #architecture #component #development #incremental- Iterative and incremental development of component-based software architectures (CA, OH), pp. 77–82.
CBSE-2012-DongFLSZZ #component #composition- Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.
CBSE-2012-StepanL #component- Controller patterns for component-based reactive control software systems (PS, KKL), pp. 71–76.
QoSA-2012-ArcelliCT #performance #refactoring- Antipattern-based model refactoring for software performance improvement (DA, VC, CT), pp. 33–42.
QoSA-2012-Barnes #architecture #case study #evolution #multi- NASA’s advanced multimission operations system: a case study in software architecture evolution (JMB), pp. 3–12.
QoSA-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.
QoSA-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.
QoSA-2012-YuHSHV #deployment #enterprise #testing- A virtual deployment testing environment for enterprise software systems (JY, JH, JGS, CMH, SV), pp. 101–110.
WICSA-ECSA-2012-BaelenC #design #evolution #simulation- Simulating Structural Design Evolution of Software (WB, YC), pp. 258–261.
WICSA-ECSA-2012-ChristensenH #ecosystem #named #towards- Net4Care: Towards a Mission-Critical Software Ecosystem (HBC, KMH), pp. 224–228.
WICSA-ECSA-2012-CortellessaSMT #architecture #performance- Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture (VC, MdS, ADM, CT), pp. 310–314.
WICSA-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-ECSA-2012-GalsterA #enterprise #variability- A Variability Viewpoint for Enterprise Software Systems (MG, PA), pp. 267–271.
WICSA-ECSA-2012-GraafTLV #architecture #documentation #ontology- Ontology-based Software Architecture Documentation (KAdG, AT, PL, HvV), pp. 121–130.
WICSA-ECSA-2012-GroherW #architecture #variability- Integrating Variability Management and Software Architecture (IG, RW), pp. 262–266.
WICSA-ECSA-2012-HeymanSJ #architecture #formal method #modelling #reuse- Reusable Formal Models for Secure Software Architectures (TH, RS, WJ), pp. 41–50.
WICSA-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-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-ECSA-2012-KoziolekDGVW #architecture #lightweight #named- MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures (HK, DD, TG, PV, RJW), pp. 253–257.
WICSA-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-ECSA-2012-WeinreichMBK #architecture- Extracting and Facilitating Architecture in Service-Oriented Software Systems (RW, CM, GB, TK), pp. 81–90.
ASE-2012-AchananuparpLTLL #microblog #roadmap- Observatory of trends in software related microblogs (PA, INL, YT, DL, EPL), pp. 334–337.
ASE-2012-AlmorsyGI12a #automation #re-engineering #using- Supporting automated software re-engineering using re-aspects (MA, JG, ASI), pp. 230–233.
ASE-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.
ASE-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.
ASE-2012-HineSHV #enterprise #interactive #named #visualisation- Quokka: visualising interactions of enterprise software environment emulators (CMH, JGS, JH, SV), pp. 370–373.
ASE-2012-JacobsonSJK #re-engineering- Re-founding software engineering — SEMAT at the age of three (keynote abstract) (IJ, IS, PJ, MKM), pp. 15–19.
ASE-2012-LuCC #fault #learning #predict #reduction #using- Software defect prediction using semi-supervised learning with dimension reduction (HL, BC, MC), pp. 314–317.
ASE-2012-Meananeatra #identification #maintenance #refactoring #sequence- Identifying refactoring sequences for improving software maintainability (PM), pp. 406–409.
ASE-2012-Nogueira #complexity #predict #testing- Predicting software complexity by means of evolutionary testing (AFN), pp. 402–405.
ASE-2012-NoureddineBRS #energy #monitoring #runtime- Runtime monitoring of software energy hotspots (AN, AB, RR, LS), pp. 160–169.
CASE-2012-MerzFV #automation #distributed #industrial #runtime- Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
DAC-2012-El-ShambakeyR #bound #concurrent #embedded #realtime- STM concurrency control for embedded real-time software with tighter time bounds (MES, BR), pp. 437–446.
DAC-2012-JimenezNI- Software controlled cell bit-density to improve NAND flash lifetime (XJ, DN, PI), pp. 229–234.
DAC-2012-Rinard #reasoning- Obtaining and reasoning about good enough software (MCR), pp. 930–935.
DAC-2012-SloanSK #design #on the #probability- On software design for stochastic processors (JS, JS, RK), pp. 918–923.
DATE-2012-ChakrabortyLBFCPKLA #challenge #embedded- Embedded systems and software challenges in electric vehicles (SC, ML, CB, SAF, NC, SP, YK, PL, HA), pp. 424–429.
DATE-2012-CupaiuoloI #flexibility #framework #implementation #performance- A flexible and fast software implementation of the FFT on the BPE platform (TC, DLI), pp. 1467–1470.
DATE-2012-GoswamiLSC #implementation- Time-triggered implementations of mixed-criticality automotive software (DG, ML, RS, SC), pp. 1227–1232.
DATE-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.
DATE-2012-LiRP #embedded #hardware #named- Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors (TL, RGR, SP), pp. 875–880.
DATE-2012-WangH #compilation #embedded #optimisation #simulation- Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
CSEET-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.
CSEET-2012-BareissSK #education #re-engineering- Changes in Transferable Knowledge Resulting from Study in a Graduate Software Engineering Curriculum (RB, TS, EPK), pp. 3–12.
CSEET-2012-Barker #education #re-engineering #research- Research Directions for Software Engineering Education and Training (MB), p. 147.
CSEET-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.
CSEET-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.
CSEET-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.
CSEET-2012-FengL #education #experience #human-computer #re-engineering #student- An Experience of Teaching HCI to Undergraduate Software Engineering Students (GF, BL), pp. 125–129.
CSEET-2012-Kajko-Mattsson #design #education #re-engineering #source code- A Method for Designing Software Engineering Educational Programs (MKM), pp. 139–143.
CSEET-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.
CSEET-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.
CSEET-2012-RongS #challenge #education- Delivering Software Process-Specific Project Courses in Tertiary Education Environment: Challenges and Solution (GR, DS), pp. 52–61.
CSEET-2012-SajeevC- Will They Report It? Ethical Attitude of Graduate Software Engineers in Reporting Bad News (ASMS, IC), pp. 42–51.
CSEET-2012-Sedano #education #towards- Towards Teaching Software Craftsmanship (TS), pp. 95–99.
CSEET-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.
CSEET-2012-WeissL #collaboration #product line- Workshop on Collaborative Software Product Line Engineering (DMW, DL), pp. 77–78.
CSEET-2012-ZhangDHX #education- Teaching and Training for Software Analytics (DZ, YD, SH, TX), p. 92.
CSEET-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.
ITiCSE-2012-SalzerHY #testing- The scientific method and software testing integrated into the same lesson (HTS, BH, CY), p. 385.
ITiCSE-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.
FASE-2012-GuimaraesS #integration- Making Software Integration Really Continuous (MLG, ARS), pp. 332–346.
FASE-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.
TACAS-2012-Beyer #contest #verification- Competition on Software Verification — (SV-COMP) (DB0), pp. 504–524.
TACAS-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.
CSMR-2012-BarateiroDNS #challenge #lifecycle- Digital Preservation Challenges on Software Life Cycle (JB, DD, MAN, SS), pp. 487–490.
CSMR-2012-BauerH #api #comprehension #maintenance- Understanding API Usage to Support Informed Decision Making in Software Maintenance (VB, LH), pp. 435–440.
CSMR-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.
CSMR-2012-BudimacRHG #metric #towards- Towards the Better Software Metrics Tool (ZB, GR, MH, CG), pp. 491–494.
CSMR-2012-BurgerH #maintenance #metric- Applying Maintainability Oriented Software Metrics to Cabin Software of a Commercial Airliner (SB, OH), pp. 457–460.
CSMR-2012-CastrejonLV #architecture #maintenance #named #verification #web- Web2MexADL: Discovery and Maintainability Verification of Software Systems Architecture (JCC, RL, GVS), pp. 531–534.
CSMR-2012-CoutoSVBA #debugging #metric- Uncovering Causal Relationships between Software Metrics and Bugs (CC, CS, MTV, RdSB, NA), pp. 223–232.
CSMR-2012-Gall #debugging #smell- Keynote 1: LGTM — Software Sensing and Bug Smelling (HCG), pp. 3–4.
CSMR-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.
CSMR-2012-GrantCS #maintenance #modelling #topic #using- Using Topic Models to Support Software Maintenance (SG, JRC, DBS), pp. 403–408.
CSMR-2012-HassaineGHA #architecture #evolution #named- ADvISE: Architectural Decay in Software Evolution (SH, YGG, SH, GA), pp. 267–276.
CSMR-2012-HurdugaciZ #developer #maintenance #testing- Aiding Software Developers to Maintain Developer Tests (VH, AZ), pp. 11–20.
CSMR-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.
CSMR-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.
CSMR-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.
CSMR-2012-NonnenI #identification #monitoring- Identifying Knowledge Divergence by Vocabulary Monitoring in Software Projects (JN, PI), pp. 441–446.
CSMR-2012-PerezDGM #analysis #ecosystem #named- SECONDA: Software Ecosystem Analysis Dashboard (JP, RD, MG, TM), pp. 527–530.
CSMR-2012-PetersZ #mining #repository #smell #using- Evaluating the Lifespan of Code Smells using Software Repository Mining (RP, AZ), pp. 411–416.
CSMR-2012-PlateniusDB #architecture #design #named- Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies (MCP, MvD, SB), pp. 255–264.
CSMR-2012-SchrettnerFBKG #framework #industrial #quality- Software Quality Model and Framework with Applications in Industrial Context (LS, LJF, ÁB, ÁK, TG), pp. 453–456.
CSMR-2012-TerraVCB #architecture #recommendation #refactoring- Recommending Refactorings to Reverse Software Architecture Erosion (RT, MTV, KC, RdSB), pp. 335–340.
CSMR-2012-Varro #maintenance #model transformation- Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
CSMR-2012-Villavicencio #maintenance #refactoring- A New Software Maintenance Scenario Based on Refactoring Techniques (GV), pp. 341–346.
ICPC-2012-HarderT #empirical- A controlled experiment on software clones (JH, RT), pp. 219–228.
ICPC-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.
ICPC-2012-NierstraszL #agile #assessment- Agile software assessment (Invited paper) (ON, ML), pp. 3–10.
ICPC-2012-Sajnani #approach #architecture #automation #machine learning- Automatic software architecture recovery: A machine learning approach (HS), pp. 265–268.
ICPC-2012-TenevD #analysis- Applying bioinformatics in the analysis of software variants (VLT, SD), pp. 259–260.
ICSM-2012-BakotaHLKFG #cost analysis #maintenance #modelling- A cost model based on software maintainability (TB, PH, GL, PK, RF, TG), pp. 316–325.
ICSM-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.
ICSM-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.
ICSM-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.
ICSM-2012-ChaikalisMC #analysis #evolution #named #network- SEANets: Software evolution analysis with networks (TC, GM, AC), pp. 634–637.
ICSM-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.
ICSM-2012-DurdikKKKSW #guidelines- Sustainability guidelines for long-living software systems (ZD, BK, HK, KK, JS, RW), pp. 517–526.
ICSM-2012-GuzziBMN #communication #developer #enterprise- Facilitating enterprise software developer communication with CARES (AG, AB, JKM, KN), pp. 527–536.
ICSM-2012-HallWM #composition- Supervised software modularisation (MH, NW, PM), pp. 472–481.
ICSM-2012-KobayashiKKYM #clustering #composition #dependence #using- Feature-gathering dependency-based software clustering using Dedication and Modularity (KK, MK, KK, KY, AM), pp. 462–471.
ICSM-2012-KoutersVSB #gnome #repository #using- Who’s who in Gnome: Using LSA to merge software repository identities (EK, BV, AS, MvdB), pp. 592–595.
ICSM-2012-MaderE #maintenance #requirements #traceability- Assessing the effect of requirements traceability for software maintenance (PM, AE), pp. 171–180.
ICSM-2012-NeitschWG #multi- Build system issues in multilanguage software (AN, KW, MWG), pp. 140–149.
ICSM-2012-Pollock #analysis #challenge #natural language- Leveraging natural language analysis of software: Achievements, challenges, and opportunities (LLP), p. 4.
ICSM-2012-PrasetyoLATL #automation #classification #microblog- Automatic classification of software related microblogs (PKP, DL, PA, YT, EPL), pp. 596–599.
ICSM-2012-RaemaekersDV #analysis #library- Measuring software library stability through historical version analysis (SR, AvD, JV), pp. 378–387.
ICSM-2012-TahirM #metric #quality- A systematic mapping study on dynamic metrics and software quality (AT, SGM), pp. 326–335.
ICSM-2012-TangWZL #detection #maintenance- Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
ICSM-2012-ThumsQ #embedded #re-engineering- Reengineering embedded automotive software (AT, JQ), pp. 493–502.
ICSM-2012-WangLJ #collaboration #semantics #taxonomy- Inferring semantically related software terms and their taxonomy by leveraging collaborative tagging (SW, DL, LJ), pp. 604–607.
ICSM-2012-Wilkerson #impact analysis #taxonomy- A software change impact analysis taxonomy (JWW), pp. 625–628.
ICSM-2012-Yu #maintenance #modelling #topic- Retrieving software maintenance history with topic models (SY), pp. 621–624.
MSR-2012-ArthoSCTZ #question #why- Why do software packages conflict? (CA, KS, RDC, RT, SZ), pp. 141–150.
MSR-2012-ChenTNH #fault #modelling #topic #using- Explaining software defects using topic models (THC, SWT, MN, AEH), pp. 189–198.
MSR-2012-GilGM #empirical- An empirical investigation of changes in some software properties over time (JYG, MG, DM), pp. 227–236.
MSR-2012-Hindle #mining #power management- Green mining: A methodology of relating software change to power consumption (AH), pp. 78–87.
MSR-2012-IssabayevaNV #performance- Issue handling performance in proprietary software projects (AI, AN, JV), pp. 209–212.
MSR-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.
MSR-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.
MSR-2012-Rodriguez-BustosA #distributed #how #open source #version control- How Distributed Version Control Systems impact open source software projects (CRB, JA), pp. 36–39.
MSR-2012-TianALLL #community #microblog #question #re-engineering #what- What does software engineering community microblog about? (YT, PA, INL, DL, EPL), pp. 247–250.
MSR-2012-YangT #semantics #word- Inferring semantically related words from software context (JY, LT), pp. 161–170.
MSR-2012-Zhang #case study #experience- MSR 2012 keynote: Software analytics in practice — Approaches and experiences (DZ), p. 1.
WCRE-2012-AlnaeliAM #empirical #open source- Empirically Examining the Parallelizability of Open Source Software System (SMA, AA, JIM), pp. 377–386.
WCRE-2012-AngiusW #automation #named #open source #traceability- OpenTrace: An Open Source Workbench for Automatic Software Traceability Link Recovery (EA, RW), pp. 507–508.
WCRE-2012-Detten #architecture #named #re-engineering- Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction (MvD), pp. 503–504.
WCRE-2012-FavreLLSV #documentation #source code- Linking Documentation and Source Code in a Software Chrestomathy (JMF, RL, ML, TS, AV), pp. 335–344.
WCRE-2012-MisraAKST #clustering #semantics- Software Clustering: Unifying Syntactic and Semantic Features (JM, KMA, VSK, SS, GT), pp. 113–122.
WCRE-2012-QiSQZZR #execution #modelling- Modeling Software Execution Environment (DQ, WNS, FQ, MZ, XZ, AR), pp. 415–424.
WCRE-2012-SteidlHJ #analysis #network #recommendation #using- Using Network Analysis for Recommendation of Central Software Classes (DS, BH, EJ), pp. 93–102.
WCRE-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.
PLDI-2012-GrebenshchikovLPR #proving #verification- Synthesizing software verifiers from proof rules (SG, NPL, CP, AR), pp. 405–416.
FM-2012-Abadi #formal method #security- Software Security: A Formal Perspective — (Notes for a Talk) (MA), pp. 1–5.
FM-2012-GrumbergMY #behaviour #model checking #modelling #uml- Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.
IFM-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.
SEFM-2012-BarnatBB #requirements- Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.
SEFM-2012-CuoqKKPSY #analysis #named #perspective- Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
SFM-2012-CortellessaMT #analysis #modelling #performance- Software Performance Antipatterns: Modeling and Analysis (VC, ADM, CT), pp. 290–335.
SFM-2012-PetriuAT #modelling #performance- Software Performance Modeling (DCP, MA, RT), pp. 219–262.
GT-VMT-2012-AnjorinOZS #graph transformation #modelling #optimisation #product line #testing- Optimizing Model-Based Software Product Line Testing with Graph Transformations (AA, SO, IZ, AS).
CHI-2012-BanovicCGF- Triggering triggers and burying barriers to customizing software (NB, FC, TG, GWF), pp. 2717–2726.
CHI-2012-DongDJKNA #game studies #learning- Discovery-based games for learning software (TD, MD, DJ, KK, MWN, MSA), pp. 2083–2086.
CHI-2012-JudgeMW #collaboration #design #evaluation- Comparing collaboration and individual personas for the design and evaluation of collaboration software (TKJ, TM, SW), pp. 1997–2000.
CHI-2012-MorrisonMRSC #approach #hybrid #mobile- A hybrid mass participation approach to mobile software trials (AM, DM, SR, SS, MC), pp. 1311–1320.
CSCW-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.
CSCW-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.
CSCW-2012-GrubbB #enterprise #information management #on the- On the perceived interdependence and information sharing inhibitions of enterprise software engineers (AMG, AB), pp. 1337–1346.
CSCW-2012-PhilipUASGLR #component #reuse- Software reuse through methodical component reuse and amethodical snippet remixing (KP, MU, MA, SES, REGV, CVL, SR), pp. 1361–1370.
HILT-2012-LevesonFT #embedded #safety- Safety of embedded software (NGL, CHF, JT), pp. 7–8.
HILT-2012-LiSRM #analysis #protocol #realtime #scheduling- Applicability of real-time schedulability analysis on a software radio protocol (SL, FS, SR, MB), pp. 81–94.
HILT-2012-OLearyS #automation #communication #development- FAA’s controller pilot automatic data communication (data comm) system software development (JO, AS), pp. 71–72.
HILT-2012-Sanden #approach #bibliography #design #modelling #multi #tutorial- Design of Multitask Software: The Entity-life Modeling Approach (tutorial overview) (BIS), pp. 1–2.
CAiSE-2012-DalpiazAG- Aligning Software Configuration with Business and IT Context (FD, RA, PG), pp. 206–221.
CAiSE-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.
ICEIS-J-2012-Loucopoulos12a #requirements- Requirements Engineering for Emergent Application Software (PL), pp. 18–28.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-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.
ICEIS-v3-2012-FrischbierGMRW #enterprise- Emergence as Competitive Advantage — Engineering Tomorrow’s Enterprise Software Systems (SF, MG, DM, AR, CW), pp. 181–186.
ICEIS-v3-2012-SchiefBW #modelling #process- Transforming Software Business Models into Business Processes (MS, AB, TW), pp. 167–172.
ICPR-2012-MiaoLZ #fault #feature model #predict- Cost-sensitive feature selection with application in software defect prediction (LM, ML, DZ), pp. 967–970.
ICPR-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.
KDD-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.
KEOD-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.
KEOD-2012-NeveuRTAPPS #information management- Software for Data and Knowledge Management in Winemaking Fermentations (PN, VR, AT, EA, MP, CP, JMS), pp. 369–372.
KMIS-2012-CrawfordBSMM #information management #re-engineering- Knowledge Management and Creativity Practices in Software Engineering (BC, CLdlB, RS, SM, EM), pp. 277–280.
KMIS-2012-GoyM #case study #documentation #ontology #towards- Towards an Ontology-based Software Documentation Management — A Case Study (AG, DM), pp. 125–131.
RecSys-2012-AntunesCG #approach #development #recommendation- An approach to context-based recommendation in software development (BA, JC, PG), pp. 171–178.
SEKE-2012-AffonsoR #architecture #configuration management #development- A Proposal of Reference Architecture for the Reconfigurable Software Development (FJA, ELLR), pp. 668–671.
SEKE-2012-AnguswamyF #case study #component #reuse- An Exploratory Study of One-Use and Reusable Software Components (RA, WBF), pp. 194–219.
SEKE-2012-AsuncionT #approach #traceability- A Holistic Approach to Software Traceability (HUA, RNT), pp. 412–417.
SEKE-2012-BhattiAHD #concept #re-engineering- A Catalog of Patterns for Concept Lattice Interpretation in Software Reengineering (MUB, NA, MH, SD), pp. 118–123.
SEKE-2012-ChangCSZQ #approach #component #ontology #reuse- An Approach for Software Component Reusing Based on Ontological Mapping (SKC, FC, MDS, EZ, YQ), pp. 180–187.
SEKE-2012-ChenCZS #analysis #approach #integration- A Model-centric Approach for the Integration of Software Analysis Methods (XC, JC, ZZ, LS), pp. 211–216.
SEKE-2012-CunhaCAM #modelling #product line #set- A Set of Inspection Techniques on Software Product Line Models (RC, TC, ESdA, JCM), pp. 657–662.
SEKE-2012-DeltombeGB #legacy #modelling- Bridging KDM and ASTM for Model-Driven Software Modernization (GD, OLG, FB), pp. 517–524.
SEKE-2012-Devanbu #on the- On the Naturalness of Software (keynote) (PTD).
SEKE-2012-FoukarakisKT #open source- Choosing Licenses In Free Open Source Software (IEF, GMK, NDT), pp. 200–204.
SEKE-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.
SEKE-2012-GaoKN #feature model #metric- Stability of Filter-Based Feature Selection Methods for Imbalanced Software Measurement Data (KG, TMK, AN), pp. 74–79.
SEKE-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.
SEKE-2012-GuedesSCSDS #named #product line- GS2SPL: Goals and Scenarios to Software Product Lines (GG, CTLLS, JC, MS, DD, CS), pp. 651–656.
SEKE-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.
SEKE-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.
SEKE-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.
SEKE-2012-LeeS #approach #re-engineering- A Process-Based Approach to Improving Knowledge Sharing in Software Engineering (SBL, KS), pp. 700–705.
SEKE-2012-LiRPY #fuzzy #modelling #multi #network #optimisation- Multi-Objective Optimization of Fuzzy Neural Networks for Software Modeling (KL, MR, WP, JY), pp. 106–111.
SEKE-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.
SEKE-2012-LiuZSH #analysis #architecture #modelling #named- SAMAT — A Tool for Software Architecture Modeling and Analysis (SL, RZ, ZS, XH), pp. 352–358.
SEKE-2012-MerlinoDPG #as a service #undo- Software as a Service: Undo (HM, OD, PP, RGM), pp. 328–332.
SEKE-2012-NetoNAM #product line #testing #tool support- A Mapping Study on Software Product Lines Testing Tools (CRLN, PAdMSN, ESdA, SRdLM), pp. 628–634.
SEKE-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.
SEKE-2012-PittoliSN #monitoring #network- Investigating the Use of Bayesian Networks as a Support Tool for Monitoring Software Projects (FP, ALRdS, DJN), pp. 570–573.
SEKE-2012-RakaLM #approach #generative #modelling #product line- Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
SEKE-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.
SEKE-2012-ShinMGK #architecture- Connectors for Secure Software Architectures (MES, BM, HG, TK), pp. 394–399.
SEKE-2012-SubburajUS #safety #specification- Specification of Safety Critical Systems with Intelligent Software Agent Method (VHS, JEU, MRS), pp. 578–581.
SEKE-2012-TanizakiAK #variability- A Variability Management Method for Software Configuration Files (HT, TA, TK), pp. 672–677.
SEKE-2012-WangKWN #empirical #fault #metric #predict- An Empirical Study of Software Metric Selection Techniques for Defect Prediction (HW, TMK, RW, AN), pp. 94–99.
SEKE-2012-WangZWZZ #component #detection #online- Online Anomaly Detection for Components in OSGi-based Software (TW, WZ, JW, JZ, HZ), pp. 188–193.
ECMFA-2012-BehjatiNYGB #automation #embedded #modelling- Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFA-2012-MosserBD #adaptation #commutative #composition- A Commutative Model Composition Operator to Support Software Adaptation (SM, MBF, LD), pp. 4–19.
MoDELS-2012-FavreLV #architecture #modelling- Modeling the Linguistic Architecture of Software Products (JMF, RL, AV), pp. 151–167.
MoDELS-2012-GrammelKV #development #generative #modelling- Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MoDELS-2012-PfeifferW #development- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MoDELS-2012-SalayWS #development #modelling- Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
MoDELS-2012-SunGBB #approach #industrial #modelling- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software (YS, JG, KB, NvB), pp. 368–382.
MoDELS-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.
MoDELS-2012-FavreLV #architecture #modelling- Modeling the Linguistic Architecture of Software Products (JMF, RL, AV), pp. 151–167.
MoDELS-2012-GrammelKV #development #generative #modelling- Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MoDELS-2012-PfeifferW #development- Cross-Language Support Mechanisms Significantly Aid Software Development (RHP, AW), pp. 168–184.
MoDELS-2012-SalayWS #development #modelling- Managing Related Models in Vehicle Control Software Development (RS, SW, VS), pp. 383–398.
MoDELS-2012-SunGBB #approach #industrial #modelling- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software (YS, JG, KB, NvB), pp. 368–382.
MoDELS-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.
TOOLS-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.
ECOOP-2012-RobbesRT #evolution #question- Extensions during Software Evolution: Do Objects Meet Their Promise? (RR, DR, ÉT), pp. 28–52.
Onward-2012-Beynon #development #experience- Realising software development as a lived experience (MB), pp. 229–244.
Onward-2012-JanesS #agile #development- The dark side of agile software development (AJ, GS), pp. 215–228.
Onward-2012-KatsVKV #development #research #web- Software development environments on the web: a research agenda (LCLK, RGV, KTK, EV), pp. 99–116.
OOPSLA-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.
OOPSLA-2012-HaydenSDHF #c #named #performance- Kitsune: efficient, general-purpose dynamic software updating for C (CMH, EKS, MD, MH, JSF), pp. 249–264.
OOPSLA-2012-MagillHSM #automation- Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.
OOPSLA-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.
OOPSLA-2012-TsengT #thread- Software data-triggered threads (HWT, DMT), pp. 703–716.
TOOLS-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.
TOOLS-EUROPE-2012-FavreLSV #community #named- 101companies: A Community Project on Software Technologies and Software Languages (JMF, RL, TS, AV), pp. 58–74.
GPCE-2012-DamianiPS #formal method #product line- A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
GPCE-2012-RicheGMB #architecture #category theory #design- Pushouts in software architecture design (TLR, RG, BM, DSB), pp. 84–92.
GPCE-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.
GPCE-2012-ThumSHA #deduction #product line #verification- Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.
GPCE-2012-ZhangZUVH #component #development- A three-level component model in component based software development (H(Z, LZ, CU, SV, MH), pp. 70–79.
LOPSTR-2012-AngelisFPP #model checking- Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.
PADL-2012-GoldbergW #approach #declarative #modelling- A Declarative Approach for Software Modeling (MG, GW), pp. 18–32.
RE-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.
RE-2012-BekkersBBMWW #matrix #maturity- Evaluating the Software Product Management Maturity Matrix (WB, SB, LvdB, FM, CW, IvdW), pp. 51–60.
RE-2012-Ghazarian #functional #requirements #taxonomy- Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
RE-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.
RE-2012-Riegel #development #modelling- Model-based prioritization in business-process-driven software development (NR), pp. 349–352.
REFSQ-2012-Adam #elicitation #product line #requirements- Providing Software Product Line Knowledge to Requirements Engineers — A Template for Elicitation Instructions (SA), pp. 147–164.
REFSQ-2012-Hochmuller #quality- 10 Myths of Software Quality (EH), pp. 225–231.
REFSQ-2012-Koziolek #architecture #evaluation #feedback #quality #requirements #research- Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback (AK), pp. 52–58.
REFSQ-2012-Radlinski #analysis #empirical #quality #requirements- Empirical Analysis of the Impact of Requirements Engineering on Software Quality (LR), pp. 232–238.
SAC-2012-BanthiaG #fault #modelling #predict #quality- Investigating fault prediction capabilities of five prediction models for software quality (DB, AG), pp. 1259–1261.
SAC-2012-BasgaluppBR #maintenance #predict- Predicting software maintenance effort through evolutionary-based decision trees (MPB, RCB, DDR), pp. 1209–1214.
SAC-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.
SAC-2012-ErraS #3d #towards #visualisation- Towards the visualization of software systems as 3D forests: the CodeTrees environment (UE, GS), pp. 981–988.
SAC-2012-FrantzC #development #integration- A software development kit to implement integration solutions (RZF, RC), pp. 1647–1652.
SAC-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.
SAC-2012-IkemotoDO #pseudo #reliability- Estimating software reliability via pseudo maximum likelihood method (SI, TD, HO), pp. 1171–1176.
SAC-2012-QueirozB #product line- Application engineering of service-based software product lines (PGGQ, RTVB), pp. 1996–1997.
SAC-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.
SAC-2012-UkimotoDO #resource management #testing- Software testing-resource allocation with operational profile (SU, TD, HO), pp. 1203–1208.
FSE-2012-AcharyaR #impact analysis #industrial #slicing- Practical change impact analysis based on static program slicing for industrial software systems (MA, BR), p. 13.
FSE-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.
FSE-2012-CossetteW #evolution #library #migration- Seeking the ground truth: a retroactive study on the evolution and migration of software libraries (BC, RJW), p. 55.
FSE-2012-EsfahaniRM #architecture #nondeterminism- Dealing with uncertainty in early software architecture (NE, KR, SM), p. 21.
FSE-2012-Murphy-HillJM #developer #development #recommendation- Improving software developers’ fluency by recommending development environment commands (ERMH, RJ, GCM), p. 42.
FSE-2012-QiYR #contract- Software change contracts (DQ, JY, AR), p. 22.
FSE-2012-RayWK #analysis #migration #named- REPERTOIRE: a cross-system porting analysis tool for forked software projects (BR, CW, MK), p. 8.
FSE-2012-ShihabHAJ #industrial- An industrial study on the risk of software changes (ES, AEH, BA, ZMJ), p. 62.
FSE-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.
FSE-2012-XiaoPTX #automation #documentation #policy #security- Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSE-2012-AlvesSF #named #smell- ConcernReCS: Finding code smells in software aspectization (PA, DS, EF), pp. 1463–1464.
ICSE-2012-Bavota #refactoring #semantics #using- Using structural and semantic information to support software refactoring (GB), pp. 1479–1482.
ICSE-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.
ICSE-2012-BhattacharyaINF #analysis #evolution #graph #predict- Graph-based analysis and prediction for software evolution (PB, MI, IN, MF), pp. 419–429.
ICSE-2012-Blincoe #coordination #developer #performance #process- Timely and efficient facilitation of coordination of software developers’ activities (KB), pp. 1539–1542.
ICSE-2012-Blincoe12a #collaboration #coordination #detection #developer #requirements- Timely detection of Coordination Requirements to support collaboration among software developers (KB), pp. 1601–1603.
ICSE-2012-Bohme #clustering- Software regression as change of input partitioning (MB), pp. 1523–1526.
ICSE-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.
ICSE-2012-BuseZ #development- Information needs for software development analytics (RPLB, TZ), pp. 987–996.
ICSE-2012-CavrakOC #collaboration #development #distributed- Collaboration patterns in distributed software development projects (IC, MO, IC), pp. 1235–1244.
ICSE-2012-ChatzigeorgiouM #evolution #network #object-oriented #roadmap- Trends in object-oriented software evolution: Investigating network properties (AC, GM), pp. 1309–1312.
ICSE-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.
ICSE-2012-Clesle #industrial- Supporting sustainability with software — An industrial perspective (Keynote) (FDC), p. 962.
ICSE-2012-Colanzi #architecture #design #product line- Search based design of software product lines architectures (TEC), pp. 1507–1510.
ICSE-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.
ICSE-2012-Cowling #education #testing- Stages in teaching software testing (TC), pp. 1185–1194.
ICSE-2012-CrnkovicBZ #education #re-engineering- Ten tips to succeed in Global Software Engineering education (IC, IB, MZ), pp. 1225–1234.
ICSE-2012-DIppolito #challenge #re-engineering #synthesis- Synthesis of event-based controllers: A software engineering challenge (ND), pp. 1547–1550.
ICSE-2012-DornT #adaptation #architecture #co-evolution- Co-adapting human collaborations and software architectures (CD, RNT), pp. 1277–1280.
ICSE-2012-DownsPH- Ambient awareness of build status in collocated software teams (JD, BP, JGH), pp. 507–517.
ICSE-2012-FengC #behaviour #learning #multi- Multi-label software behavior learning (YF, ZC), pp. 1305–1308.
ICSE-2012-FraserA #empirical #testing- Sound empirical evidence in software testing (GF, AA), pp. 178–188.
ICSE-2012-FuhrmanCA #education #framework #re-engineering #tool support- Integrating tools and frameworks in undergraduate software engineering curriculum (CF, RC, AA), pp. 1195–1204.
ICSE-2012-GethersDKP #impact analysis- Integrated impact analysis for managing software changes (MG, BD, HHK, DP), pp. 430–440.
ICSE-2012-GrechanikFX #automation #learning #performance #problem #testing- Automatically finding performance problems with feedback-directed learning software testing (MG, CF, QX), pp. 156–166.
ICSE-2012-GuimaraesS #detection- Improving early detection of software merge conflicts (MLG, ARS), pp. 342–352.
ICSE-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.
ICSE-2012-HenssMM #automation #development- Semi-automatically extracting FAQs to improve accessibility of software development knowledge (SH, MM, MM), pp. 793–803.
ICSE-2012-HindleBSGD #on the- On the naturalness of software (AH, ETB, ZS, MG, PTD), pp. 837–847.
ICSE-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.
ICSE-2012-Jaafar #analysis #evolution #on the #source code- On the analysis of evolution of software artefacts and programs (FJ), pp. 1563–1566.
ICSE-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.
ICSE-2012-Kalumbilo #effectiveness #re-engineering #specification- Effective specification of decision rights and accountabilities for better performing software engineering projects (MK), pp. 1503–1506.
ICSE-2012-Keivanloo #integration #mining #online #repository- Online sharing and integration of results from mining software repositories (IK), pp. 1644–1646.
ICSE-2012-KilamoHC #case study #collaboration #development #education- Teaching collaborative software development: A case study (TK, IH, MAC), pp. 1165–1174.
ICSE-2012-Kramer #architecture- Whither software architecture? (Keynote) (JK), p. 963.
ICSE-2012-LavalleeR #bibliography #developer #perspective #process- The impacts of software process improvement on developers: A systematic review (ML, PNR), pp. 113–122.
ICSE-2012-McMillanGP #detection- Detecting similar software applications (CM, MG, DP), pp. 364–374.
ICSE-2012-McMillanHPCM #agile #prototype #recommendation #source code- Recommending source code for use in rapid software prototypes (CM, NH, DP, JCH, BM), pp. 848–858.
ICSE-2012-MitchellS #identification #process- Software process improvement through the identification and removal of project-level knowledge flow obstacles (SMM, CBS), pp. 1265–1268.
ICSE-2012-Murphy-Hill #social- Continuous social screencasting to facilitate software tool discovery (ERMH), pp. 1317–1320.
ICSE-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.
ICSE-2012-OuelletMSG #feature model- Locating features in dynamically configured avionics software (MO, EM, NS, MG), pp. 1453–1454.
ICSE-2012-PaganoJBRBM #maintenance #monitoring #named- FastFix: Monitoring control for remote software maintenance (DP, MAJ, AB, TR, BB, WM), pp. 1437–1438.
ICSE-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.
ICSE-2012-PentaAGGA #empirical #experience #re-engineering- Five days of empirical software engineering: The PASED experience (MDP, GA, DMG, YGG, BA), pp. 1255–1258.
ICSE-2012-RamasubbuB #challenge #distributed #estimation- Overcoming the challenges in cost estimation for distributed software projects (NR, RKB), pp. 91–101.
ICSE-2012-Ressin #development #empirical #research- Empirically researching development of international software (MR), pp. 1551–1554.
ICSE-2012-RoehmM #automation #detection #developer #development #problem #process- Automatically detecting developer activities and problems in software development work (TR, WM), pp. 1261–1264.
ICSE-2012-RoehmTKM #developer #how #question- How do professional developers comprehend software? (TR, RT, RK, WM), pp. 255–265.
ICSE-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.
ICSE-2012-ShahzadSL #analysis #lifecycle #scalability- A large scale exploratory analysis of software vulnerability life cycles (MS, MZS, AXL), pp. 771–781.
ICSE-2012-Shang #developer #using- Bridging the divide between software developers and operators using logs (WS), pp. 1583–1586.
ICSE-2012-SingerS #re-engineering #social #using- Influencing the adoption of software engineering methods using social software (LS, KS), pp. 1325–1328.
ICSE-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.
ICSE-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.
ICSE-2012-Thao #evolution #product line- Managing evolution of software product line (CT), pp. 1619–1621.
ICSE-2012-TreudeGGS #development #interactive #named #using #visualisation- WorkItemExplorer: Visualizing software development tasks using an interactive exploration environment (CT, PG, LG, MADS), pp. 1399–1402.
ICSE-2012-Wen #fault #locality #slicing- Software fault localization based on program slicing spectrum (WW), pp. 1511–1514.
ICSE-2012-Wolff #architecture #industrial #what- Software architecture — What does it mean in industry? (Invited industrial talk) (EW), p. 999.
ICSE-2012-XiongHSC #generative- Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
ICSE-2012-YuanPZ #open source- Characterizing logging practices in open-source software (DY, SP, YZ), pp. 102–112.
ICSE-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.
ICSE-2012-ZhangX #tutorial- Software analytics in practice: Mini tutorial (DZ, TX), p. 997.
SLE-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.
SLE-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.
PLEASE-2012-Duszynski0 #source code #variability- Recovering variability information from the source code of similar software products (SD, MB), pp. 37–40.
PLEASE-2012-FantGP #product line- Software product line engineering of space flight software (JSF, HG, RGPI), pp. 41–44.
PLEASE-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.
PLEASE-2012-LiY #product line- Enhance value by building trustworthy software-reliant system of systems from software product lines (DL, YY), pp. 13–16.
PLEASE-2012-SozenM #adaptation #product line- Adapting software product lines for complex certifiable avionics software (NS, EM), pp. 21–24.
SPLC-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.
SPLC-2012-HofmanSPKB #feature model #modelling #product line- Domain specific feature modeling for software product lines (PH, TS, TP, MK, AB), pp. 229–238.
SPLC-2012-LeeKL #bibliography #product line #testing- A survey on software product line testing (JL, SK, DL), pp. 31–40.
SPLC-2012-Meira- Sustainable software houses and factories are STARTUPS (SRdLM), p. 3.
SPLC-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.
SPLC-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.
SPLC-2012-SavolainenMK #multi #product line- Developing platforms for multiple software product lines (JS, MM, JK), pp. 220–228.
SPLC-2012-SeidlHA #co-evolution #modelling #product line- Co-evolution of models and feature mapping in software product lines (CS, FH, UA), pp. 76–85.
ASPLOS-2012-KingDA #automation #generative #hardware #interface- Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
CC-2012-ZhaoSAK #compilation- Compiler Support for Fine-Grain Software-Only Checkpointing (C(Z, JGS, CA, AK), pp. 200–219.
CGO-2012-VankaT #data flow #dependence #performance #profiling #using- Efficient and accurate data dependence profiling using software signatures (RV, JT), pp. 186–195.
ISMM-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.
OSDI-2012-AttariyanCF #automation #named #performance- X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software (MA, MC, JF), pp. 307–320.
PPoPP-2012-MalkisB #verification- Verification of software barriers (AM, AB), pp. 313–314.
CAV-2012-AlbarghouthiLGC #framework #named #verification- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
CAV-2012-CimattiG #model checking- Software Model Checking via IC3 (AC, AG), pp. 277–293.
ICLP-2012-Angelis #model checking- Software Model Checking by Program Specialization (EDA), pp. 439–444.
ICLP-2012-SchandaB #development #programming #set #using- Using Answer Set Programming in the Development of Verified Software (FS, MB), pp. 72–85.
ICST-2012-BallanceVJ #effectiveness #testing- Effectiveness of Pair-Wise Testing for Software with Boolean Inputs (WAB, SV, WJ), pp. 580–586.
ICST-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.
ICST-2012-DiGiuseppeJ #behaviour #clustering #empirical #fault- Software Behavior and Failure Clustering: An Empirical Study of Fault Causality (ND, JAJ), pp. 191–200.
ICST-2012-FraserA #search-based #testing- The Seed is Strong: Seeding Strategies in Search-Based Software Testing (GF, AA), pp. 121–130.
ICST-2012-FraserW #behaviour #testing- Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
ICST-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.
ICST-2012-KimKJ #case study #embedded #industrial #testing- Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
ICST-2012-MalzJG #fuzzy #logic #testing #using- Prioritization of Test Cases Using Software Agents and Fuzzy Logic (CM, NJ, PG), pp. 483–486.
ICST-2012-MarcoLA #approach #re-engineering- Property-Driven Software Engineering Approach (ADM, FL, GDA), pp. 966–967.
ICST-2012-Nguyen #comprehension #detection #performance #scalability #using- Using Control Charts for Detecting and Understanding Performance Regressions in Large Software (THDN), pp. 491–494.
ICST-2012-RunesonE #3d #problem #product line #testing- Software Product Line Testing — A 3D Regression Testing Problem (PR, EE), pp. 742–746.
ICST-2012-SunSPR #cost analysis #learning #named #reliability- CARIAL: Cost-Aware Software Reliability Improvement with Active Learning (BS, GS, AP, SR), pp. 360–369.
ICST-2012-WahlerFSJN #automation #embedded #named #testing- CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICTSS-2012-HervieuBG #execution #experience #industrial #testing #variability- Managing Execution Environment Variability during Software Testing: An Industrial Experience (AH, BB, AG), pp. 24–38.
ISSTA-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.
ISSTA-2012-ZhangED #composition #generative #pipes and filters #testing- Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
TAP-2012-LochauSKL #incremental #modelling #product line #testing- Incremental Model-Based Testing of Delta-Oriented Software Product Lines (ML, IS, JK, SL), pp. 67–82.
TAP-2012-Pasareanu #execution #model checking #symbolic computation #testing- Combining Model Checking and Symbolic Execution for Software Testing (CSP), p. 2.
VMCAI-2012-Jhala #verification- Software Verification with Liquid Types (RJ), p. 23.
CBSE-2011-LoiretRSM #component #framework #re-engineering- Software engineering of component-based systems-of-systems: a reference framework (FL, RR, LS, PM), pp. 61–66.
CBSE-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.
CBSE-2011-PiresDPFM #approach #aspect-oriented #evolution- Software evolution in AOSD: a MDA-based approach (PFP, FCD, MP, LF, ÉM), pp. 193–198.
CBSE-2011-TibermacineSDF #architecture #component #constraints #specification- Component-based specification of software architecture constraints (CT, SS, CD, LF), pp. 31–40.
ECSA-2011-AdmodisastroK #analysis #approach #architecture #black box #development- An Architecture Analysis Approach for Supporting Black-Box Software Development (NA, GK), pp. 180–189.
ECSA-2011-AlebrahimHH #architecture #integration #quality #requirements #towards- Towards Systematic Integration of Quality Requirements into Software Architecture (AA, DH, MH), pp. 17–25.
ECSA-2011-Axelsson #architecture #embedded #how #nondeterminism #on the- On How to Deal with Uncertainty When Architecting Embedded Software and Systems (JA), pp. 199–202.
ECSA-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.
ECSA-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.
ECSA-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.
ECSA-2011-DabrowskiST #multi- Software Is a Directed Multigraph (RD, KS, GT), pp. 360–369.
ECSA-2011-DemirliT #architecture- Software Language Engineering of Architectural Viewpoints (ED, BT), pp. 336–343.
ECSA-2011-EbadA #comparison #framework- Software Packaging Approaches — A Comparison Framework (SAE, MAA), pp. 438–446.
ECSA-2011-EhlersH #adaptation #component #framework #monitoring #self- A Self-adaptive Monitoring Framework for Component-Based Software Systems (JE, WH), pp. 278–286.
ECSA-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.
ECSA-2011-MassowHH #architecture #component #configuration management #performance #runtime #simulation- Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures (RvM, AvH, WH), pp. 43–58.
ECSA-2011-MullerKG #architecture- A Question-Based Method for Deriving Software Architectures (MM, BK, MG), pp. 35–42.
ECSA-2011-OliveiraN #architecture #testing #tool support- A Service-Oriented Reference Architecture for Software Testing Tools (LBRdO, EYN), pp. 405–421.
ECSA-2011-QureshiCLT #architecture- From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme (TNQ, DJC, HL, MT), pp. 328–335.
ECSA-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.
ECSA-2011-TamburriL #agile #communication #development #network- Supporting Communication and Cooperation in Global Software Development with Agile Service Networks (DAT, PL), pp. 236–243.
QoSA-ISARCS-2011-BroschBKR #architecture #fault tolerance #predict #reliability- Reliability prediction for fault-tolerant software architectures (FB, BB, HK,