Stem case$ (all stems)

2471 papers:

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-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.

CASE-2015-BaeM #markov #modelling #multi #random

Markovian modeling of multiclass deterministic flow lines with random arrivals: The case of a single-channel (SYB, JRM), pp. 649–654.

CASE-2015-FeldmannHKWKQLK #case study #comparison #consistency #design #nondeterminism #using

A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study (SF, SJIH, KK, TW, DK, AQ, UL, HK, CJJP, BVH), pp. 158–165.

CASE-2015-RanatungaCLP #adaptation #case study

Neuroadaptive control for safe robots in human environments: A case study (IR, SC, FLL, DOP), pp. 322–327.

DAC-2015-IsmailLS #performance #worst-case

Improving worst-case cache performance through selective bypassing and register-indexed cache (MI, DL, GES), p. 6.

DAC-2015-WangHWLL #assembly #memory management #named

RADAR: a case for retention-aware DRAM assembly and repair in future FGR DRAM memory (YW, YH, CW, HL, XL), p. 6.

DATE-2015-BarraganL #case study #feature model #using

Feature selection for alternate test using wrappers: application to an RF LNA case study (MJB, GL), pp. 1229–1232.

DATE-2015-LeleMB #case study #data flow

FP-scheduling for mode-controlled dataflow: a case study (AL, OM, KvB), pp. 1257–1260.

DATE-2015-RamboE #analysis #communication #worst-case

Worst-case communication time analysis of networks-on-chip with shared virtual channels (EAR, RE), pp. 537–542.

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.

HT-2015-WeningerJG #case study #random

Random Voting Effects in Social-Digital Spaces: A Case Study of Reddit Post Submissions (TW, TJJ, MG), pp. 293–297.

PODS-2015-KhamisNRR #geometry #worst-case

Joins via Geometric Resolutions: Worst-case and Beyond (MAK, HQN, CR, AR), pp. 213–228.

SIGMOD-2015-GuptaATKPSS

Amazon Redshift and the Case for Simpler Data Warehouses (AG, DA, DT, JK, RP, SS, VS), pp. 1917–1923.

SIGMOD-2015-PerelmanR #compilation #named #query #worst-case

DunceCap: Compiling Worst-Case Optimal Query Plans (AP, CR), pp. 2075–2076.

VLDB-2015-SchuhknechtKD #clustering #on the

On the Surprising Difficulty of Simple Things: the Case of Radix Partitioning (FMS, PK, JD), pp. 934–937.

VLDB-2015-ZhangWYGLZ #in memory #named #throughput

Mega-KV: A Case for GPUs to Maximize the Throughput of In-Memory Key-Value Stores (KZ, KW, YY, LG, RL, XZ), pp. 1226–1237.

ITiCSE-2015-Koppelman #case study #web

Enriching a Course with Web Resources: a Case Study (HK), pp. 284–289.

ITiCSE-2015-MoralesF #authentication #case study #student

Keystroke Biometrics for Student Authentication: A Case Study (AM, JFA), p. 337.

ESOP-2015-CernyHKRZ #abstraction #analysis #execution #worst-case

Segment Abstraction for Worst-Case Execution Time Analysis (PC, TAH, LK, AR, JZ), pp. 105–131.

ICSME-2015-HoraRAEDV #api #developer #ecosystem #evolution #how #smalltalk

How do developers react to API evolution? The Pharo ecosystem case (AH, RR, NA, AE, SD, MTV), pp. 251–260.

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-SzokeNHFG #automation #case study #industrial #maintenance #refactoring

Do automatic refactorings improve maintainability? An industrial case study (GS, CN, PH, RF, TG), pp. 429–438.

ICSME-2015-TianNLH #android #case study #what

What are the characteristics of high-rated apps? A case study on free Android Applications (YT, MN, DL, AEH), pp. 301–310.

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.

MSR-2015-DonadelliZR #case study #fault #replication #using

Organizational Volatility and Post-release Defects: A Replication Case Study Using Data from Google Chrome (SMD, YCZ, PCR), pp. 391–395.

SANER-2015-MoralesMK #bibliography #case study #code review #design #quality

Do code review practices impact design quality? A case study of the Qt, VTK, and ITK projects (RM, SM, FK), pp. 171–180.

SCAM-2015-GhafariGR #automation #identification #testing

Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.

SAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.

LATA-2015-BartonIP #approximate #string

Average-Case Optimal Approximate Circular String Matching (CB, CSI, SPP), pp. 85–96.

FM-2015-LiuH #analysis #android #case study #kernel #security

Case Study: Static Security Analysis of the Android Goldfish Kernel (TL, RH), pp. 589–592.

SEFM-2015-CarvalhoBCCMS #csp #natural language #requirements #testing

NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.

SEFM-2015-RochaBC #bound #c #generative #memory management #model checking #source code #testing #using

Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.

CHI-2015-ChilanaKW #case study #design #human-computer #research

From User-Centered to Adoption-Centered Design: A Case Study of an HCI Research Innovation Becoming a Product (PKC, AJK, JOW), pp. 1749–1758.

CHI-2015-CorstenCKB #named

HaptiCase: Back-of-Device Tactile Landmarks for Eyes-Free Absolute Indirect Touch (CC, CC, TK, JOB), pp. 2171–2180.

CHI-2015-DerbovenMS #analysis #case study #design #multimodal

Multimodal Analysis in Participatory Design with Children: A Primary School Case Study (JD, MVM, KS), pp. 2825–2828.

CHI-2015-DerbovenZVGG #education #game studies

The Fun and the Serious in an Educational Game: The Monkey Tales Case (JD, BZ, JV, DG, DDG), pp. 2829–2832.

CHI-2015-GadirajuKDD #behaviour #comprehension #crowdsourcing #online

Understanding Malicious Behavior in Crowdsourcing Platforms: The Case of Online Surveys (UG, RK, SD, GD), pp. 1631–1640.

CHI-2015-HossainJBCKSTCO #biology #case study #education #interactive #online

Interactive Cloud Experimentation for Biology: An Online Education Case Study (ZH, XJ, EWB, AMC, SK, JDS, CYT, SC, NDO, PB, IHRK), pp. 3681–3690.

CHI-2015-JohnsonNW #all about #case study #experience #game studies #video

All about that Base: Differing Player Experiences in Video Game Genres and the Unique Case of MOBA Games (DJ, LEN, PW), pp. 2265–2274.

CHI-2015-JungSGS #behaviour #experience #nondeterminism

Displayed Uncertainty Improves Driving Experience and Behavior: The Case of Range Anxiety in an Electric Car (MFJ, DS, TMG, MS), pp. 2201–2210.

CHI-2015-LawsonKLFH #design #problem #quantifier

Problematising Upstream Technology through Speculative Design: The Case of Quantified Cats and Dogs (SWL, BK, CL, TF, LH), pp. 2663–2672.

CHI-2015-TinatiKSLSS #case study #data analysis #design #framework #multi

Designing for Citizen Data Analysis: A Cross-Sectional Case Study of a Multi-Domain Citizen Science Platform (RT, MVK, EPBS, MLR, RJS, NS), pp. 4069–4078.

CHI-2015-ZhangC #modelling #policy #predict #social #social media

Modeling Ideology and Predicting Policy Change with Social Media: Case of Same-Sex Marriage (AXZ, SC), pp. 2603–2612.

CSCW-2015-Huh #community #health #online #thread

Clinical Questions in Online Health Communities: The Case of “See your doctor” Threads (JH), pp. 1488–1499.

CSCW-2015-KaziunasBJCHA #health

Transition and Reflection in the Use of Health Information: The Case of Pediatric Bone Marrow Transplant Caregivers (EK, AGB, JJ, SWC, DAH, MSA), pp. 1763–1774.

CSCW-2015-MemarovicSSKNY #case study #community

Capture the Moment: “In the Wild” Longitudinal Case Study of Situated Snapshots Captured Through an Urban Screen in a Community Setting (NM, AFgS, HS, EK, SN, LY), pp. 242–253.

CSCW-2015-ParkKLYJC #case study #facebook #network #social

Manifestation of Depression and Loneliness on Social Networks: A Case Study of Young Adults on Facebook (SP, IK, SWL, JY, BJ, MC), pp. 557–570.

DHM-EH-2015-CheffiRBBS #approach #cost analysis #feedback #optimisation

A Bi-level Optimization Approach to Get an Optimal Combination of Cost Functions for Pilot’s Arm Movement: The Case of Helicopter’s Flying Aid Functions with Haptic Feedback (SC, TR, LB, PB, JCS), pp. 248–257.

DHM-HM-2015-WangHM15a #case study

A Study on Characteristic of Calligraphy Characters Part 3 Case of the Writing Paper with Calligraphy Letter Works (ZW, RH, ZM), pp. 437–444.

DHM-HM-2015-WangLYHM #case study

A Study on Characteristic of Calligraphy Characters Part 2 Case of One Character of Calligraphy Letter “Kanji” and “Hiragana” (ZW, ML, KY, RH, ZM), pp. 429–436.

DUXU-DD-2015-PazPP #case study #heuristic #usability

Experimental Case Study of New Usability Heuristics (FP, FAP, JAPS), pp. 212–223.

DUXU-IXD-2015-CaiLLH #case study #experience #research #speech #user interface

User Experience Research on the Rehabilitation System of Speech-Impaired Children — A Case Study on Speech Training Product (WC, JL, QL, TH), pp. 562–574.

DUXU-IXD-2015-RibeiroM #case study #community #design #education #health

Origins and Perspectives on Designing Virtual Communities of Practice for Permanent Education: A Case Study in the Collective Health Sector (CER, CRM), pp. 94–103.

DUXU-IXD-2015-SoutoCAS #case study #design

Designing Apps for Tourists: A Case Study (VTS, CC, MGA, LS), pp. 425–436.

DUXU-IXD-2015-YuanYMD #case study #education

Evaluating an Education Department Portal: A Case Study (XY, HY, KM, KD), pp. 240–247.

HCI-IT-2015-FioriniLEMMBCD #case study #interactive #interface #network #social

Enhancing Human Robot Interaction Through Social Network Interfaces: A Case Study (LF, RL, RE, AM, AM, MB, FC, PD), pp. 729–740.

HCI-IT-2015-MacKenzie #throughput

Fitts’ Throughput and the Remarkable Case of Touch-Based Target Selection (ISM), pp. 238–249.

HCI-IT-2015-TadayonMGRZLGP #case study #interactive #learning

Interactive Motor Learning with the Autonomous Training Assistant: A Case Study (RT, TLM, MG, PMRF, JZ, ML, MG, SP), pp. 495–506.

HCI-IT-2015-TokdemirACMB #case study #design #interactive #interface #multimodal #navigation #representation #ubiquitous

Multimodal Interaction Flow Representation for Ubiquitous Environments — MIF: A Case Study in Surgical Navigation Interface Design (GT, GA, NEÇ, HHM, AOB), pp. 797–805.

HCI-UC-2015-FaliagkaLRS #architecture #usability

Usability and Aesthetics: The Case of Architectural Websites (EF, EL, MR, SS), pp. 54–64.

HCI-UC-2015-HossainS #case study #in the cloud #multitenancy

Cloud Computing: A Multi-tenant Case Study (AH, FS), pp. 178–189.

HIMI-IKC-2015-BanKNTH #interactive

Virtual Jizai-Ryu: Hi-Fidelity Interactive Virtual Exhibit with Digital Display Case (YB, TK, TN, TT, MH), pp. 397–408.

HIMI-IKC-2015-SotokawaMNSI #detection #evaluation

Driving Evaluation of Mild Unilateral Spatial Neglect Patients-Three High-Risk Cases Undetected by BIT After Recovery (TS, TM, JN, YS, MI), pp. 253–261.

HIMI-IKC-2015-TanikawaOKNH

Virtual Bogie: Exhibition System to Understand Mechanism of Bogie with Digital Display Case (TT, HO, RK, TN, MH), pp. 634–645.

HIMI-IKD-2015-ChouSW #case study #quality #using

Improving Service Quality by Prioritizing Service Attributes Using SERVQUAL and Kano Model — A Case Study of Nursing Home in Taiwan (CMC, CS, SKW), pp. 513–525.

LCT-2015-Bose #research

Just-in-Case or Just-in-Time Training? — Excerpts from a Doctoral Research Study (DB), pp. 657–667.

LCT-2015-LorenzBK #case study

Impacting the Digital Divide on a Global Scale — Six Case Studies from Three Continents (BL, SIB, KK), pp. 687–696.

AdaEurope-2015-JaradatBP #analysis #maintenance #safety #using

Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases (OJ, IB, SP), pp. 162–176.

ICEIS-v1-2015-BorgesDRAS #approach #generative #using

An Economic Approach for Generation of Train Driving Plans using Continuous Case-based Planning (APB, OBD, RR, BCÁ, EES), pp. 440–451.

ICEIS-v1-2015-JuniorS #approach #compilation #optimisation #reasoning #set

Finding Good Compiler Optimization Sets — A Case-based Reasoning Approach (NLQJ, AFdS), pp. 504–515.

ICEIS-v1-2015-SabelnikovaCT #approach #case study #outsourcing

Analysing Business-IT Alignment in the IT Outsourcing Context — A Case Study Approach (ES, CMC, JJMT), pp. 5–16.

ICEIS-v1-2015-ShamsuzzohaEAH #case study #network

Tracking and Tracing of Global Supply Chain Network — Case Study from a Finnish Company (AS, ME, RAT, PTH), pp. 46–53.

ICEIS-v1-2015-SunB #classification #mining #process

Function-based Case Classification for Improving Business Process Mining (YS, BB), pp. 251–258.

ICEIS-v2-2015-BaldassarreBCV #metric

Tracking Project Progress with Earned Value Management Metrics — A Real Case (MTB, NB, DC, GV), pp. 502–508.

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-TrinkenreichS #case study #maturity #metric #modelling

Metrics to Support It Service Maturity Models — A Case Study (BT, GS), pp. 395–403.

ICEIS-v3-2015-LopesMBC #case study #design #human-computer #interactive #modelling

Evaluating HCI Design with Interaction Modeling and Mockups — A Case Study (AL, ABM, SDJB, TC), pp. 79–87.

ICEIS-v3-2015-NicastroPAMBT #approach #case study #guidelines #interface #mobile

A Semiotic-informed Approach to Interface Guidelines for Mobile Applications — A Case Study on Phenology Data Acquisition (FN, RP, BA, LPCM, CB, RdST), pp. 34–43.

ICEIS-v3-2015-PonsardM #architecture #case study #enterprise #lessons learnt

Driving the Adoption of Enterprise Architecture Inside Small Companies — Lessons Learnt from a Long Term Case Study (CP, AM), pp. 334–339.

ICEIS-v3-2015-ValentimCM #analysis #case study #specification

Evaluating an Inspection Technique for Use Case Specifications — Quantitative and Qualitative Analysis (NMCV, TC, JCM), pp. 13–24.

ICML-2015-BachemLK #estimation #parametricity

Coresets for Nonparametric Estimation — the Case of DP-Means (OB, ML, AK), pp. 209–217.

KDD-2015-John #big data #case study #how

How Artificial Intelligence and Big Data Created Rocket Fuel: A Case Study (GJ), p. 1629.

KDD-2015-WangCMBYR #predict

Dynamic Poisson Autoregression for Influenza-Like-Illness Case Count Prediction (ZW, PC, SRM, JSB, JY, NR), pp. 1285–1294.

SEKE-2015-LinYX #automation #detection #generative #parametricity #testing

Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.

SEKE-2015-SaharAA #approach #case study #detection #image #modelling #prototype

A Case Study Approach: Iterative Prototyping Model Based Detection of Macular Edema in Retinal OCT Images (SS, SA, MUA), pp. 266–271.

SEKE-2015-WangJC #similarity #testing

Similarity-based regression test case prioritization (RW, SJ, DC), pp. 358–363.

SEKE-2015-YungLC #black box #complexity

An Average Case Time Complexity Estimator for Black-box Functions (DY, BL, SKC), pp. 567–570.

MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line

Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.

MoDELS-2015-NguyenGA #case study #requirements

Integrating goal-oriented and use case-based requirements engineering: The missing link (THN, JCG, MA), pp. 328–337.

MoDELS-2015-RagoMD #case study #identification #semantics

Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract) (AR, CM, JADP), p. 446.

MoDELS-2015-SunkleKK #case study #modelling

Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (SS, DK, VK), pp. 436–445.

MoDELS-2015-ValentimROCM #case study #empirical #specification #usability

A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques (NMCV, JR, ACO, TC, SM), pp. 206–215.

MoDELS-2015-VallejoKMB #case study #reuse #symmetry

Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study (PV, MK, KJMM, JPB), pp. 358–367.

Onward-2015-LiPPK #semantics

Slimming languages by reducing sugar: a case for semantics-altering transformations (JL, JP, JGP, SK), pp. 90–106.

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.

POPL-2015-Chlipala15a #case study #composition #interface #network #parallel #thread #verification #web

From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification (AC), pp. 609–622.

REFSQ-2015-Berntsson-Svensson #case study #elicitation #evaluation #quality #requirements

A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements (RBS, BR), pp. 230–246.

REFSQ-2015-HiisilaKK #case study #challenge #outsourcing #process #requirements

Challenges of the Customer Organization’s Requirements Engineering Process in the Outsourced Environment — A Case Study (HH, MK, SK), pp. 214–229.

REFSQ-2015-OliinykPSBS #case study #evaluation #feature model #industrial #metric #modelling

Metrics for the Evaluation of Feature Models in an Industrial Context: A Case Study at Opel (OO, KP, MS, MB, SS), pp. 33–48.

SAC-2015-BadouelHKM #approach #collaboration #distributed

A grammatical approach to data-centric case management in a distributed collaborative environment (EB, LH, GEK, CM), pp. 1834–1839.

SAC-2015-BorgesDSEAS #approach #performance #reasoning #reuse #using

Efficient approach for reusing and sharing train driving plans using case-based reasoning (APB, OBD, DMVS, FE, BCÁ, EES), pp. 505–508.

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-JuniorL #case study #named #reuse #specification

M-4REuse: reusing use cases specifications (MMCJ, ML), pp. 1390–1396.

SAC-2015-MaltaPSBF #analysis #bibliography #case study #distance #information management

A survey analysis on goal orientation changes in an information systems distance course: a Brazilian case study (CAM, ROAP, APdS, IIB, AQdOF), pp. 227–232.

SAC-2015-MeftehBB #approach #case study #diagrams #evaluation #feature model #implementation #modelling #uml

Implementation and evaluation of an approach for extracting feature models from documented UML use case diagrams (MM, NB, HBA), pp. 1602–1609.

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-NguyenGA #case study #modelling #rule-based

Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.

ESEC-FSE-2015-SadowskiSE #case study #developer #how

How developers search for code: a case study (CS, KTS, SGE), pp. 191–201.

ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support

UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.

ESEC-FSE-2015-XuanXM #testing

Crash reproduction via test case mutation: let existing test cases help (JX, XX, MM), pp. 910–913.

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-YandrapallySS #automation #composition #testing #user interface

Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.

ICSE-v2-2015-AndersonSD #case study #industrial #predict

Striving for Failure: An Industrial Case Study about Test Failure Prediction (JA, SS, HD), pp. 49–58.

ICSE-v2-2015-DenneyPH #assurance #safety

Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.

ICSE-v2-2015-DixitLW #effectiveness #integration #modelling #named #testing

FormTester: Effective Integration of Model-Based and Manually Specified Test Cases (RD, CL, GW), pp. 745–748.

ICSE-v2-2015-FooJAHZF #automation #case study #detection #industrial #performance

An Industrial Case Study on the Automated Detection of Performance Regressions in Heterogeneous Environments (KCF, ZMJ, BA, AEH, YZ, PF), pp. 159–168.

ICSE-v2-2015-KazmanCMFXHFS #architecture #case study #technical debt

A Case Study in Locating the Architectural Roots of Technical Debt (RK, YC, RM, QF, LX, SH, VF, AS), pp. 179–188.

ICSE-v2-2015-KoppeEH #case study #collaboration #student

Improving Student Group Work with Collaboration Patterns: A Case Study (CK, MCJDvE, SH), pp. 303–306.

ICSE-v2-2015-MaplesdenRTHG #analysis #case study #industrial #performance #using

Performance Analysis Using Subsuming Methods: An Industrial Case Study (DM, KvR, EDT, JGH, JCG), pp. 149–158.

ICSE-v2-2015-MonsalveLW #education #game studies #learning

Transparently Teaching in the Context of Game-based Learning: the Case of SimulES-W (ESM, JCSdPL, VMBW), pp. 343–352.

ICSE-v2-2015-Ouriques #modelling #testing

Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.

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-SchroederH0HLM #architecture #case study #design #evaluation #industrial #multi #product line #self

Design and Evaluation of a Customizable Multi-Domain Reference Architecture on Top of Product Lines of Self-Driving Heavy Vehicles — An Industrial Case Study (JS, DH, CB, CJH, LL, AM), pp. 189–198.

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.

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.

HPCA-2015-LeeKPKSCM #adaptation #optimisation

Adaptive-latency DRAM: Optimizing DRAM timing for the common-case (DL, YK, GP, SMK, VS, KKWC, OM), pp. 489–501.

HPDC-2015-HaleD #kernel #operating system #parallel

A Case for Transforming Parallel Runtimes Into Operating System Kernels (KCH, PAD), pp. 27–32.

LCTES-2015-BarijoughHKG #analysis #streaming #trade-off

Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications (KMB, MH, VK, SG), p. 10.

PPoPP-2015-ThebaultPD #3d #assembly #case study #implementation #matrix #performance #scalability

Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly (LT, EP, QD), pp. 120–129.

SOSP-2015-MinKLSK #correctness #debugging #file system #semantics

Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.

CAV-2015-GouwRBBH #java

OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case (SdG, JR, FSdB, RB, RH), pp. 273–289.

ICLP-2015-SchullerW #case study #programming #set

Answer Set Application Programming: a Case Study on Tetris (PS, AW).

ICST-2015-0001YPGS #analysis #generative #testing #using

Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.

ICST-2015-AlegrothBB #case study #empirical #industrial #on the

On the Industrial Applicability of TextTest: An Empirical Case Study (EA, GB, EB), pp. 1–10.

ICST-2015-HemmatiFM #agile #testing

Prioritizing Manual Test Cases in Traditional and Rapid Release Environments (HH, ZF, MVM), pp. 1–10.

ICST-2015-HuuhtanenIL #algebra #algorithm #design #testing

Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.

ICST-2015-LeottaSRT #multi #robust #testing #using #web

Using Multi-Locators to Increase the Robustness of Web Test Cases (ML, AS, FR, PT), pp. 1–10.

ICST-2015-MohacsiFB #case study #modelling #performance #testing

A Case Study on the Efficiency of Model-Based Testing at the European Space Agency (SM, MF, AB), pp. 1–2.

ICST-2015-MondalHD #multi #test coverage #testing

Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection (DM, HH, SD), pp. 1–10.

ICST-2015-NoguchiWFSO #black box #optimisation #testing #using

History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.

ICST-2015-RaposD #execution #fuzzy #logic #symbolic computation #testing #uml #using

Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases (EJR, JD), pp. 1–10.

ICST-2015-YuC #embedded #generative #stack #testing #worst-case

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.

ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.

ISSTA-2015-EpitropakisYHB #empirical #evaluation #multi #performance #testing

Empirical evaluation of pareto efficient multi-objective regression test case prioritisation (MGE, SY, MH, EKB), pp. 234–245.

ISSTA-2015-WangPGBI #automation #case study #generative #specification #testing

Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.

ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing

RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.

LICS-2015-ClementeR #multi #problem #worst-case

Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LC, JFR), pp. 257–268.

LICS-2015-CrubilleL #metric #reasoning

Metric Reasoning about ?-Terms: The Affine Case (RC, UDL), pp. 633–644.

TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing

Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.

TAP-2015-AthanasiouLS #concurrent #generative #testing #using

Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.

TAP-2015-BloemHRS #automation #case study #generative #implementation #testing

Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.

TAP-2015-GogollaHHS #case study #consistency #experience #ocl #uml

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (MG, LH, FH, MS), pp. 129–136.

TAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification

Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.

QoSA-2014-ChavarriagaNCJ #architecture #in the cloud

Architectural tactics support in cloud computing providers: the jelastic case (JC, CN, RC, VJ), pp. 13–22.

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.

ASE-2014-LiuSLZWDW #automation #case study #detection #documentation #fault

Automatic early defects detection in use case documents (SL, JS, YL, YZ, BW, JSD, XW), pp. 785–790.

CASE-2014-DingSM #assembly #case study #industrial

Optimized task distribution for industrial assembly in mixed human-robot environments — Case study on IO module assembly (HD, MS, BM), pp. 19–24.

CASE-2014-HuckabyC

A case for SysML in robotics (JH, HIC), pp. 333–338.

CASE-2014-LaiTCL #energy #industrial #monitoring #performance

Non-Intrusive Load Monitoring applied in energy efficiency of the smart manufacturing industry: A case of air-conditioner (YHL, IJT, CYC, CFL), pp. 1127–1132.

DAC-2014-LinWC #data mining #design #logic #mining #named #power management #synthesis

C-Mine: Data Mining of Logic Common Cases for Low Power Synthesis of Better-Than-Worst-Case Designs (CHL, LW, DC), p. 6.

DAC-2014-LiuCHWXY #3d #design

Design Methodologies for 3D Mixed Signal Integrated Circuits: a Practical 12-bit SAR ADC Design Case (WL, GC, XH, YW, YX, HY), p. 6.

DAC-2014-QuintonBHNNE #analysis #design #network

Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design (SQ, TTB, JH, MN, MN, RE), p. 6.

DAC-2014-RudraDNH #case study #design #logic

Designing Stealthy Trojans with Sequential Logic: A Stream Cipher Case Study (MRR, NAD, VN, DHKH), p. 4.

DATE-2014-JerkeK #case study #design

Mission profile aware IC design — A case study (GJ, ABK), pp. 1–6.

DATE-2014-NovoFIAC #approximate #case study #energy #performance #runtime

Energy efficient MIMO processing: A case study of opportunistic run-time approximations (DN, NF, PI, UA, FC), pp. 1–6.

DATE-2014-PalitSHHNN #architecture #case study

Impact of steep-slope transistors on non-von Neumann architectures: CNN case study (IP, BS, AH, XSH, JN, MTN), pp. 1–6.

DATE-2014-PerriconeHNN #3d #case study #design #logic

Design of 3D nanomagnetic logic circuits: A full-adder case study (RP, XSH, JN, MTN), pp. 1–6.

DATE-2014-SassolasSGAVBFP #architecture #design #evaluation

Early design stage thermal evaluation and mitigation: The locomotiv architectural case (TS, CS, AG, AA, PV, HB, LF, NP), pp. 1–2.

DocEng-2014-SchmitzPD #automation #collaboration #metadata #tool support

DH-CASE II: collaborative annotations in shared environments: metadata, tools and techniques in the digital humanities (PS, LP, QD), pp. 211–212.

PODS-2014-NgoNRR #analysis #worst-case

Beyond worst-case analysis for joins with minesweeper (HQN, DTN, CR, AR), pp. 234–245.

VLDB-2014-Duggan #data-driven

The Case for Personal Data-Driven Decision Making (JD), pp. 943–946.

VLDB-2014-WuBM #visualisation

The Case for Data Visualization Management Systems (EW, LB, SRM), pp. 903–906.

VLDB-2015-MozafariSFJM14 #dataset #learning #scalability

Scaling Up Crowd-Sourcing to Very Large Datasets: A Case for Active Learning (BM, PS, MJF, MIJ, SM), pp. 125–136.

CSEET-2014-DaunSTWP #case study #industrial #motivation #requirements #student

Industrial case studies in graduate requirements engineering courses: The impact on student motivation (MD, AS, BT, TW, KP), pp. 3–12.

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.

ITiCSE-2014-Isomottonen #process #student

Making group processes explicit to student: a case of justice (VI), pp. 195–200.

ITiCSE-2014-RomeroTPKCAL #case study #interactive #scalability

Augmenting PBL with large public presentations: a case study in interactive graphics pedagogy (MR, BT, CP, FK, JC, JA, NL), pp. 15–20.

ITiCSE-2014-UstekOWC #case study #collaboration #development #student

Course development through student-faculty collaboration: a case study (DU, EO, HMW, DC), pp. 189–194.

TACAS-2014-JahierDML #case study #modelling #testing

Environment-Model Based Testing of Control Systems: Case Studies (EJ, SDD, CM, EL), pp. 636–650.

CSMR-WCRE-2014-AmalfitanoFMTMFS #architecture #case study #industrial #legacy #migration #mvc #web

Migrating legacy spreadsheets-based systems to Web MVC architecture: An industrial case study (DA, ARF, VM, PT, GDM, FF, SS), pp. 387–390.

CSMR-WCRE-2014-DamevskiSP #case study #code search

A case study of paired interleaving for evaluating code search techniques (KD, DCS, LLP), pp. 54–63.

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.

ICPC-2014-EshkevariACP #identification #php

Identifying and locating interference issues in PHP applications: the case of WordPress (LME, GA, JRC, MDP), pp. 157–167.

ICSME-2014-Ghafari #testing

Extracting Code Examples from Unit Test Cases (MG), p. 667.

ICSME-2014-Reiss #code search #testing #towards #using

Towards Creating Test Cases Using Code Search (SPR), pp. 436–440.

MSR-2014-MatragkasWKP #ecosystem #git #open source

Analysing the “biodiversity” of open source ecosystems: the GitHub case (NDM, JRW, DSK, RFP), pp. 356–359.

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-NguyenNHNF #automation #case study #identification #industrial #performance

An industrial case study of automatically identifying performance regression-causes (THDN, MN, AEH, MNN, PF), pp. 232–241.

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.

STOC-2014-DanielyLS #complexity #learning

From average case complexity to improper learning complexity (AD, NL, SSS), pp. 441–448.

FLOPS-2014-CaiO #automaton

Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.

ICALP-v1-2014-TalwarW #proving

Balanced Allocations: A Simple Proof for the Heavily Loaded Case (KT, UW), pp. 979–990.

ICALP-v2-2014-0002HKSV #independence #online #set #worst-case

Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods (OG, MH, TK, TS, BV), pp. 508–519.

ICALP-v2-2014-KopelowitzKPS #bound #graph #worst-case

Orienting Fully Dynamic Graphs with Worst-Case Time Bounds (TK, RK, EP, SS), pp. 532–543.

ICALP-v2-2014-KosowskiP #case study #difference

Does Adding More Agents Make a Difference? A Case Study of Cover Time for the Rotor-Router (AK, DP), pp. 544–555.

FM-2014-GunadiT #android #case study #logic #metric #monitoring #operating system #performance #runtime

Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System (HG, AT), pp. 296–311.

SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.

GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).

GT-VMT-2014-HusseinHDS #adaptation #modelling #network

Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).

CHI-2014-BalestriniBMZR #case study #community #comprehension

Understanding sustained community engagement: a case study in heritage preservation in rural argentina (MB, JB, PM, AZ, YR), pp. 2675–2684.

CHI-2014-FigueiredoABG #case study #social #social media

Does content determine information popularity in social media?: a case study of youtube videos’ content and their popularity (FF, JMA, FB, KPG), pp. 979–982.

CHI-2014-NormarkT #interactive

Performativity in sustainable interaction: the case of seasonal grocery shopping in ecofriends (MN, JT), pp. 271–280.

CHI-2014-SondereggerUPS #testing #usability

The influence of aesthetics in usability testing: the case of dual-domain products (AS, AU, MP, JSS), pp. 21–30.

CHI-2014-TraftonR

The law of unintended consequences: the case of external subgoal support (JGT, RMR), pp. 1767–1776.

CSCW-2014-BossenJ #bibliography #how

How physicians “achieve overview”: a case-based study in a hospital ward (CB, LGJ), pp. 257–268.

CSCW-2014-GanglbauerFSG #case study #community #network #social

Think globally, act locally: a case study of a free food sharing community and social networking (EG, GF, ÖS, FG), pp. 911–921.

DUXU-DI-2014-GotsisLRHPFTJ #artificial reality #case study #design #game studies #named #video

Skyfarer: Design Case Study of a Mixed Reality Rehabilitation Video Game (MG, VL, PR, LLH, ICP, FF, DT, MJM), pp. 699–710.

DUXU-DI-2014-ShafiqICRAAR #analysis #case study #learning #smarttech #usability #user satisfaction #what

To What Extent System Usability Effects User Satisfaction: A Case Study of Smart Phone Features Analysis for Learning of Novice (MS, MI, JGC, ZR, MA, WA, SR), pp. 346–357.

DUXU-DP-2014-MieslerGHW #case study #experience #on-demand #user interface

User Experience of Video-on-Demand Applications for smart TVs: A Case Study (LM, BG, FH, AW), pp. 412–422.

DUXU-DP-2014-YantacOC #case study #design #education #interactive

A Challenging Design Case Study for Interactive Media Design Education: Interactive Media for Individuals with Autism (AEY, SEO, AÜÇ), pp. 185–196.

DUXU-ELAS-2014-HungS #case study #design #visual notation

Visual Design in Healthcare for Low-Literate Users — A Case Study of Healthcare Leaflets for New Immigrants in Taiwan (YLH, CS), pp. 44–55.

DUXU-ELAS-2014-MartinsM #case study

Wayfinding in Hospital: A Case Study (LBM, HFVdM), pp. 72–82.

DUXU-ELAS-2014-ThalenV #case study #design

Virtual Personas: A Case Study on Truck Cabin Design (JPT, MCvdV), pp. 357–368.

DUXU-TMT-2014-AvilaL #usability

Relationship between Elements of the Usability and Emotions Reported after Use: A Mexican Case (ICLÁ, LRPL), pp. 285–295.

DUXU-TMT-2014-BrangierD #case study #heuristic #persuasion

Heuristic Inspection to Assess Persuasiveness: A Case Study of a Mathematics E-learning Program (EB, MCD), pp. 425–436.

DUXU-TMT-2014-NetoC #case study #interface #multimodal #usability

Evaluating the Usability on Multimodal Interfaces: A Case Study on Tablets Applications (EVN, FFCC), pp. 484–495.

HCI-AS-2014-JeonCY #case study #mobile

Developing a Location-Aware Mobile Guide System for GLAMs Based on TAPIR Sound Tag: A Case Study of the Lee Ungno Museum (JJ, GC, WSY), pp. 425–433.

HCI-AS-2014-NiedoberHMKSCJL #automation #case study #trust

Influence of Cultural, Organizational and Automation Factors on Human-Automation Trust: A Case Study of Auto-GCAS Engineers and Developmental History (DJN, NTH, GM, KK, MS, AC, WJ, JBL), pp. 473–484.

HCI-AS-2014-ScheckenbachZABCM #case study #enterprise

Issues of ERP Upgrade in Public Sectors: A Case Study (TS, FZ, EA, JB, KC, SM), pp. 754–763.

HCI-TMT-2014-BorumBF #case study #tool support

The Resilience of Analog Tools in Creative Work Practices: A Case Study of LEGO Future Lab’s Team in Billund (NB, EPB, SRFM), pp. 23–34.

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-LizanoSS #agile #case study #testing #usability

Integrating Usability Evaluations into Scrum: A Case Study Based on Remote Synchronous User Testing (FL, MMS, JS), pp. 500–509.

HCI-TMT-2014-Moran #interface

One Interface, Many Views: A Case for Repeatable Patterns (WM), pp. 340–349.

HCI-TMT-2014-TombergL #case study #design #education #modelling

Teaching Design for All Through Empathic Modeling: A Case Study in Tallinn University (VT, ML), pp. 259–269.

HIMI-AS-2014-OshimaHYMN #case study #effectiveness #women

The Effectiveness of Assistance Dogs Mounting ICT Devices: A Case Study of a Healthy Woman and Her Dog (CO, CH, KY, KM, KN), pp. 467–478.

HIMI-AS-2014-PandeyS #case study #data-driven #enterprise #user interface

Data Driven Enterprise UX: A Case Study of Enterprise Management Systems (SP, SS), pp. 205–216.

HIMI-DE-2014-JacquesF #case study #information management #student

Personal Information Management Competences: A Case Study of Future College Students (JJ, PF), pp. 320–331.

HIMI-DE-2014-JingLCYH #case study #design #framework #parametricity #representation

Design Knowledge Framework Based on Parametric Representation — A Case Study of Cockpit Form Style Design (JJ, QL, WC, YY, TH), pp. 332–341.

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.

LCT-NLE-2014-MorGHH #assessment #design #learning #tool support

Designing Learning Tools: The Case of a Competence Assessment Tool (EM, AEGR, EH, MAH), pp. 83–94.

LCT-NLE-2014-UzunosmanogluC #collaboration #learning #online #paradigm

Examining an Online Collaboration Learning Environment with the Dual Eye-Tracking Paradigm: The Case of Virtual Math Teams (SDU, MPÇ), pp. 462–472.

LCT-NLE-2014-VasiliouIZ #case study #experience #learning #multimodal #student

Measuring Students’ Flow Experience in a Multimodal Learning Environment: A Case Study (CV, AI, PZ), pp. 346–357.

LCT-NLE-2014-WangLC #learning #online #student

Low-Achieving Students’ Perceptions of Online Language Learning: A Case of English Proficiency Threshold (ALW, YCL, SFC), pp. 250–258.

LCT-TRE-2014-Castro #case study #collaboration #learning #named

Mosca — A Case Study on Collaborative Work — Combining Dimensions while Learning (SC), pp. 388–396.

SCSM-2014-PapachristosKKIFA #case study #deployment #enterprise #social #social media #tool support

Deployment, Usage and Impact of Social Media Tools in Small and Medium Enterprises: A Case Study (EP, CK, NK, II, CF, NMA), pp. 79–90.

SCSM-2014-PieperP #case study #empirical #online #social #social media

E-Democracy and Public Online Budgeting — An Empirical Case Study of Deliberation in Social Media (AKP, MP), pp. 373–384.

HILT-2014-GacekBCSW #architecture #assurance #modelling #named

Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.

CAiSE-2014-OhlssonHJCR #process #tool support

Prioritizing Business Processes Improvement Initiatives: The Seco Tools Case (JO, SH, PJ, FC, LR), pp. 256–270.

EDOC-2014-0001HPW #execution #framework #implementation #modelling

Implementation Framework for Production Case Management: Modeling and Execution (AM, NH, FP, MW), pp. 190–199.

ICEIS-v1-2014-CaetanoLC #approach #case study #data-driven #predict

A Data-driven Approach to Predict Hospital Length of Stay — A Portuguese Case Study (NC, RMSL, PC), pp. 407–414.

ICEIS-v1-2014-FaheemK #algorithm #architecture #case study #framework #multi #problem

A Multiagent-based Framework for Solving Computationally Intensive Problems on Heterogeneous Architectures — Bioinformatics Algorithms as a Case Study (HMF, BKR), pp. 526–533.

ICEIS-v1-2014-SilvaA #case study #mining #multi

Multi-dimensional Pattern Mining — A Case Study in Healthcare (AS, CA), pp. 273–280.

ICEIS-v1-2014-SilveiraCC #case study #problem

A Problem-solving Agent to Test Rational Agents — A Case Study with Reactive Agents (FRdVS, GALdC, MIC), pp. 505–513.

ICEIS-v1-2014-SkoumpopoulouW #case study #implementation

The Organisational Impact of Implementing Integrated IS in HE Institutions — A Case Study from a UK University (DS, TSW), pp. 119–127.

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-GippMBPN #detection #semantics #similarity #using #visualisation

Web-based Demonstration of Semantic Similarity Detection Using Citation Pattern Visualization for a Cross Language Plagiarism Case (BG, NM, CB, JP, AN), pp. 677–683.

ICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements #testing

An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.

ICEIS-v3-2014-AzevedoF #case study #education #learning #process #student

The Response Systems in the Student’s Learning/Teaching Process — A Case Study in a Portuguese School (PA, MJF), pp. 79–86.

ICEIS-v3-2014-GoncalvesSC #case study #diagrams #metric #process #using

Using Activity Diagrams and DEMO to Capture Relevant Measures in an Organizational Control — A Case Study on Remote Assistance Service (AG, PS, AC), pp. 303–310.

ICEIS-v3-2014-SilvaGS #case study #gesture #interactive #process

Gesture Vocabulary for Natural Interaction with Virtual Museums — Case Study: A Process Created and Tested Within a Bilingual Deaf Children School (LRdS, LSG, LS), pp. 5–13.

ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards

Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.

CIKM-2014-WalkSS #case study #collaboration

Sequential Action Patterns in Collaborative Ontology-Engineering Projects: A Case-Study in the Biomedical Domain (SW, PS, MS), pp. 1349–1358.

ECIR-2014-BelloginSVS #challenge #dataset #evaluation #web

Challenges on Combining Open Web and Dataset Evaluation Results: The Case of the Contextual Suggestion Track (AB, TS, APdV, AS), pp. 430–436.

ECIR-2014-HuH #case study #crowdsourcing #information retrieval

Bringing Information Retrieval into Crowdsourcing: A Case Study (QH, XH), pp. 631–637.

ECIR-2014-KapteinBL #case study #twitter

Analyzing Discussions on Twitter: Case Study on HPV Vaccinations (RK, EB, DL), pp. 474–480.

ECIR-2014-LefortierSRR #case study #using #video #web

Blending Vertical and Web Results — A Case Study Using Video Intent (DL, PS, FR, MdR), pp. 184–196.

ECIR-2014-SchnitzerFT #multi #retrieval

A Case for Hubness Removal in High-Dimensional Multimedia Retrieval (DS, AF, NT), pp. 687–692.

ECIR-2014-SchuthSWR #case study #optimisation #using

Optimizing Base Rankers Using Clicks — A Case Study Using BM25 (AS, FS, SW, MdR), pp. 75–87.

ICML-c2-2014-Busa-FeketeHS #elicitation #modelling #rank #statistics #using

Preference-Based Rank Elicitation using Statistical Models: The Case of Mallows (RBF, EH, BS), pp. 1071–1079.

ICML-c2-2014-GleichM #algorithm #approximate #case study

Anti-differentiating approximation algorithms: A case study with min-cuts, spectral, and flow (DG, MWM), pp. 1018–1025.

KDD-2014-AcsC #case study #privacy

A case study: privacy preserving release of spatio-temporal density in paris (GÁ, CC), pp. 1679–1688.

KDD-2014-PoaloH #case study #modelling #predict

Predictive modeling in practice: a case study from sprint (TDP, JH), p. 1517.

KDIR-2014-HafethAC #analysis #case study #classification

Text Analysis of User-Generated Contents for Health-care Applications — Case Study on Smoking Status Classification (DAH, AA, DC), pp. 242–249.

KEOD-2014-AndreasenN #embedded #knowledge base #logic #ontology

A Case for Embedded Natural Logic for Ontological Knowledge Bases (TA, JFN), pp. 423–427.

KEOD-2014-PintoA #axiom #case study #validation

An e-Government Project Case Study — Interview based DEMO Axioms’ Benefits Validation (DP, DA), pp. 138–149.

KMIS-2014-Bures #aspect-oriented #case study #difference #xml

Technical Aspects of XML Format — Case Study — Differences between Saving Data into Element and Attribute (OB), pp. 354–359.

KMIS-2014-Grim-Yefsah #case study #information management #process #requirements #using

A First Step in Improving the Requirements Engineering Process by Using the Knowledge Management Perspective — Case Study from French Public Institute (MGY), pp. 280–288.

KMIS-2014-HisakaneOSK #multi

A Tutoring Rule Selection Method for Case-based e-Learning by Multi-class Support Vector Machine (DH, MO, MS, NK), pp. 119–125.

KMIS-2014-HisakaneS #learning #visualisation

A Visualization System of Discussion Structure in Case Method Learning (DH, MS), pp. 126–132.

KMIS-2014-Mustonen-Ollila #case study #information management #problem

Knowledge Management Problems in Healthcare — A Case Study based on the Grounded Theory (EMO, HN, AV), pp. 15–26.

KMIS-2014-NyerwanireMVH #case study #experience #information management #problem

Knowledge Management Problems in Hospital Work — A Case Study on Experiences in the Obstetrics and Gynaecology Department (HN, EMO, AV, JH), pp. 261–267.

KMIS-2014-SaijoWAOMK #case study #evaluation

Knowledge Creation in Technology Evaluation of 4-Wheel Electric Power Assisted Bicycle for Frail Elderly Persons — A Case Study of a Salutogenic Device in Healthcare Facilities in Japan (MS, MW, SA, NO, SM, SK), pp. 87–97.

KMIS-2014-TeixeiraAOPS #case study #quality

Business Intelligence to Improve the Quality of Local Government Services — Case-study in a Local Government Town Hall (RT, FA, BCdSO, FP, MFS), pp. 153–160.

SEKE-2014-GayedLB #case study #forensics #lightweight #ontology #process #using

Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process (TFG, HL, MB), pp. 76–81.

SEKE-2014-JaliGH #behaviour #case study #generative #ontology

Behavioral Model Generation from Use Cases Based on Ontology Mapping and GRASP Patterns (NJ, DG, PH), pp. 324–329.

SEKE-2014-MachadoSFC #collaboration #reasoning #risk management

Case-based Reasoning for Experience-based Collaborative Risk Management (NLRM, LAdLS, LMF, JAC), pp. 262–267.

SEKE-2014-NguyenC #case study #coordination #requirements #verification

Formal Verification of Coordination Systems’ Requirements — A Case Study on the European Train Control System (HNN, ARC), pp. 393–396.

SEKE-2014-ToureBL #metric #testing #towards

Towards a Unified Metrics Suite for JUnit Test Cases (FT, MB, LL), pp. 115–120.

SEKE-2014-WangGZLLYY #testing

Reducing Test Cases with Causality Partitions (HW, XG, QZ, TL, XL, LY, ZY), pp. 223–228.

SEKE-2014-ZhangCL #adaptation #random #sequence #testing

An Application of Adaptive Random Sequence in Test Case Prioritization (XZ, TYC, HL), pp. 126–131.

SIGIR-2014-ArifDL #collaboration #information management #query

Examining collaborative query reformulation: a case of travel information searching (ASMA, JTD, IL), pp. 875–878.

SIGIR-2014-WangariZA #case study #interface #multimodal

Discovering real-world use cases for a multimodal math search interface (KDVW, RZ, AA), pp. 947–950.

SKY-2014-OsetinskyY #abstraction #case study #effectiveness #legacy #using

Working More Effectively with Legacy Code Using Domain Knowledge and Abstractions: A Case Study (IO, RY), pp. 63–70.

BX-2014-BeineHWC #bidirectional #case study #database #evolution #scalability

Bidirectional Transformations in Database Evolution: A Case Study “At Scale” (MB, NH, JHW, AC), pp. 100–107.

MoDELS-2014-BergerNRACW #industrial #modelling #variability

Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.

MoDELS-2014-EliassonHL0 #agile #case study #industrial #modelling

Agile Model-Driven Engineering in Mechatronic Systems — An Industrial Case Study (UE, RH, JL, CB), pp. 433–449.

MoDELS-2014-BergerNRACW #industrial #modelling #variability

Three Cases of Feature-Based Variability Modeling in Industry (TB, DN, RR, JMA, KC, AW), pp. 302–319.

MoDELS-2014-EliassonHL0 #agile #case study #industrial #modelling

Agile Model-Driven Engineering in Mechatronic Systems — An Industrial Case Study (UE, RH, JL, CB), pp. 433–449.

LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.

LOPSTR-2014-PreiningOF #case study #liveness #specification

Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.

LOPSTR-2014-Vidal #execution #generative #prolog #testing

Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.

RE-2014-MartinsO #analysis #case study #fault #functional #protocol #requirements #safety #using

A case study using a protocol to derive safety functional requirements from Fault Tree Analysis (LEGM, TdO), pp. 412–419.

RE-2014-QianPCMWZ #adaptation #reasoning #self

Rationalism with a dose of empiricism: Case-based reasoning for requirements-driven self-adaptation (WQ, XP, BC, JM, HW, WZ), pp. 113–122.

RE-2014-TohonenKM #case study #game studies

Evaluating the business value of information technology: Case study on game management system (HT, MK, TM), pp. 283–292.

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.

SAC-2014-Benner-WicknerBBG #execution

Execution support for agenda-driven case management (MBW, MB, TB, VG), pp. 1371–1377.

SAC-2014-CruzBZCC #case study #metadata #workflow

Collecting cloud provenance metadata with Matriohska: a case study with genomic workflows (SMSdC, LMMB, JZ, RMC, MLMC), pp. 351–356.

SAC-2014-FerreiraBBAG #architecture #case study #detection #effectiveness

Detecting architecturally-relevant code anomalies: a case study of effectiveness and effort (MF, EAB, IMB, RA, AG), pp. 1158–1163.

SAC-2014-MehdiIHKDS #keyword

Utilizing domain-specific keywords for discovering public SPARQL endpoints: a life-sciences use-case (MM, AI, AH, YK, SD, RS), pp. 333–335.

SAC-2014-PaivaBSBS #case study #lessons learnt #online

Lessons learned from an online open course: a Brazilian case study (ROAP, DB, JS, IIB, APdS), pp. 229–234.

SAC-2014-PengST #case study #development #mobile #network #social

Success factors in mobile social networking application development: case study of instagram (RP, DS, WTT), pp. 1072–1079.

SAC-2014-SypeS #case study #online #requirements #social

Case study: legal requirements for the use of social login features for online reputation updates (YSVDS, JMS), pp. 1698–1705.

FSE-2014-Bell #dependence #detection #testing

Detecting, isolating, and enforcing dependencies among and within test cases (JB), pp. 799–802.

FSE-2014-KhalidNSH #android #case study #game studies

Prioritizing the devices to test your app on: a case study of Android game apps (HK, MN, ES, AEH), pp. 610–620.

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-XuanM #fault #locality #testing

Test case purification for improving fault localization (JX, MM), pp. 52–63.

ICSE-2014-MantylaPLL #bibliography #development #empirical #perspective #requirements #testing

Time pressure: a controlled experiment of test case development and requirements review (MM, KP, TOAL, CL), pp. 83–94.

ICSE-2014-MusluBNC #case study #distributed #version control

Transition from centralized to decentralized version control systems: a case study on reasons, barriers, and outcomes (KM, CB, NN, JC), pp. 334–344.

ICSE-2014-SchillerDCE #case study #contract #specification #tool support

Case studies and tools for contract specifications (TWS, KD, FC, MDE), pp. 596–607.

ICSE-2014-SeoSEAB #case study #fault

Programmers’ build errors: a case study (at google) (HS, CS, SGE, EA, RWB), pp. 724–734.

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.

SPLC-2014-HellebrandS0ZSS #case study #industrial #modelling #variability

Coevolution of variability models and code: an industrial case study (RH, AS, MB, BZ, KS, JS), pp. 274–283.

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-Lantz #agile #case study #development #modelling #using

Using models to scale agile mechatronics development in cars: case studies at Volvo car group (JL), p. 20.

SPLC-2014-Reinhartz-BergerF #modelling #orthogonal #variability

Comprehensibility of orthogonal variability modeling languages: the cases of CVL and OVM (IRB, KF), pp. 42–51.

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.

SPLC-2014-YuZZJ #automation #case study #feature model #named

TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.

ASPLOS-2014-YuHZX #execution #performance

Comprehending performance from real-world execution traces: a device-driver case (XY, SH, DZ, TX), pp. 193–206.

LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.

ICST-2014-Feldt #question #testing

Do System Test Cases Grow Old? (RF), pp. 343–352.

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-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video

Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.

ICST-2014-WojciakT #case study #combinator #concurrent #maintenance #testing

System Level Combinatorial Testing in Practice — The Concurrent Maintenance Case Study (PW, RTB), pp. 103–112.

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-Estero-BotaroGDPM #composition #framework #generative #search-based #testing

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.

ICTSS-2014-MossigeGM #case study #constraints #industrial #programming #testing #using

Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study (MM, AG, HM), pp. 145–160.

ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using

Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.

TAP-2014-KosmatovLA #case study #proving #testing #verification

A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing (NK, ML, CA), pp. 158–164.

CBSE-2013-LednickiCS #analysis #execution #worst-case

Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.

ASE-2013-GhaisasMA #case study #detection #documentation

Detecting system use cases and validations from documents (SG, MM, PRA), pp. 568–573.

ASE-2013-MirshokraieMP #generative #javascript #named #testing

PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.

ASE-2013-SannierAB #case study #comparison #matrix #variability #wiki

From comparison matrix to Variability Model: The Wikipedia case study (NS, MA, BB), pp. 580–585.

CASE-2013-JeongMS #approximate #assessment #design #lifecycle #reasoning #using

Approximate life cycle assessment using case-based reasoning for the eco design of products (MGJ, JRM, HWS), pp. 486–491.

DAC-2013-KimOCHH #distributed #embedded #estimation #novel

A novel analytical method for worst case response time estimation of distributed embedded systems (JK, HO, JC, HH, SH), p. 10.

DAC-2013-TrivediCM #case study #power management

Exploring tunnel-FET for ultra low power analog applications: a case study on operational transconductance amplifier (ART, SC, SM), p. 6.

DATE-2013-ChenHBK #energy #multi #optimisation #pipes and filters #worst-case

Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems (GC, KH, CB, AK), pp. 45–50.

DATE-2013-Mueller-GritschnederLWGS #case study #framework #prototype #realtime

A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot (DMG, KL, EW, MG, US), pp. 1331–1334.

DATE-2013-RizkBJMA #case study #design

Statically-scheduled application-specific processor design: a case-study on MMSE MIMO equalization (MR, AB, MJ, YM, YA), pp. 677–680.

DATE-2013-WolfD #composition #integration

Modular SoC integration with subsystems: the audio subsystem case (PvdW, RD), pp. 157–162.

DocEng-2013-TomasiV #automation #collaboration #metadata

Collaborative annotations in shared environments: metadata, vocabularies and techniques in the digital humanities (DH-CASE 2013) (FT, FV), pp. 283–284.

DRR-2013-DoesD #case study

Lexicon-supported OCR of eighteenth century Dutch books: a case study (JdD, KD).

HT-2013-WeiHGLZW #analysis #behaviour #case study #twitter

Mainstream media behavior analysis on Twitter: a case study on UK general election (ZW, YH, WG, BL, LZ, KFW), pp. 174–178.

SIGMOD-2013-LongWYJ #on the #worst-case

On optimal worst-case matching (CL, RCWW, PSY, MJ), pp. 845–856.

VLDB-2013-BediniEV #big data #case study #framework #scalability

The Trento Big Data Platform for Public Administration and Large Companies: Use cases and Opportunities (IB, BE, YV), pp. 1166–1167.

ITiCSE-2013-Baumgartner #approach #case study #design #education #information management #using

Using case studies to design and deliver technology-centered computing education courses: an innovative approach from an undergraduate information systems program in singapore (IB), pp. 189–194.

CSMR-2013-BagnatoSBV #case study #industrial #internet #testing #uml

The OMG UML Testing Profile in Use — An Industrial Case Study for the Future Internet Testing (AB, AS, EB, TEJV), pp. 457–460.

ICPC-2013-KamimuraM #generative #summary #testing #towards

Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.

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-LeTL #fault #locality #theory and practice

Theory and Practice, Do They Match? A Case with Spectrum-Based Fault Localization (TDBL, FT, DL), pp. 380–383.

ICSM-2013-MarijanGS #case study #industrial #testing

Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study (DM, AG, SS), pp. 540–543.

ICSM-2013-ToroiRV #case study #identification #process #testing

Identifying Process Improvement Targets in Test Processes: A Case Study (TT, AR, LV), pp. 11–19.

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-YukselS #analysis #automation #case study #classification

Automated Classification of Static Code Analysis Alerts: A Case Study (UY, HS), pp. 532–535.

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-JiangAG #case study #how #kernel #linux #performance

Will my patch make it? and how fast?: case study on the Linux kernel (YJ, BA, DMG), pp. 101–110.

WCRE-2013-DurfinaKZ #case study #decompiler

PsybOt malware: A step-by-step decompilation case study (LD, JK, PZ), pp. 449–456.

WCRE-2013-LeottaCRT #assessment #empirical #evolution #programmable #testing #web

Capture-replay vs. programmable web testing: An empirical assessment during test case evolution (ML, DC, FR, PT), pp. 272–281.

STOC-2013-HardtR #analysis #worst-case

Beyond worst-case analysis in private singular vector computation (MH, AR), pp. 331–340.

STOC-2013-KomargodskiR #bound

Average-case lower bounds for formula size (IK, RR), pp. 171–180.

STOC-2013-NikolovTZ #approximate #difference #geometry #privacy

The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.

ICALP-v1-2013-AustrinKKM #algorithm #set #trade-off

Space-Time Tradeoffs for Subset Sum: An Improved Worst Case Algorithm (PA, PK, MK, JM), pp. 45–56.

ICALP-v1-2013-BringmannDNS #online #worst-case

Online Checkpointing with Improved Worst-Case Guarantees (KB, BD, AN, JS), pp. 255–266.

SEFM-2013-CristiaRF #framework #generative #testing

{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.

GT-VMT-2013-ForsH #attribute grammar #editing #reuse #semantics #visual notation

Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).

GT-VMT-2013-MicallefC #case study #detection #modelling #risk management #visual notation

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks (MM, CC).

GT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation

Test Case Generation Using Visual Contracts (OR, TAK, RH).

CHI-2013-AnkolekarSY #game studies

Play it by ear: a case for serendipitous discovery of places with musicons (AA, TS, LY), pp. 2959–2968.

CHI-2013-DalsgardE #approach #case study #library #scalability

Large-scale participation: a case study of a participatory approach to developing a new public library (PD, EE), pp. 399–408.

CHI-2013-DruckerFSHs #case study #data analysis #interface #named

TouchViz: a case study comparing two interfaces for data analytics on tablets (SMD, DF, RS, JH, MMCS), pp. 2301–2310.

CHI-2013-HoubenBVLC #ad hoc #case study #information management

Activity-centric support for ad hoc knowledge work: a case study of co-activity manager (SH, JEB, JV, KL, KC), pp. 2263–2272.

CSCW-2013-ChoudhuryCH #behaviour #social #social media

Major life changes and behavioral markers in social media: case of childbirth (MDC, SC, EH), pp. 1431–1442.

CSCW-2013-HalpernEFG #bound #collaboration #design

Designing collaboration: comparing cases exploring cultural probes as boundary-negotiating objects (MKH, IE, LF, GKG), pp. 1093–1102.

DHM-HB-2013-MilanowiczB #case study #re-engineering

Numerical Reconstruction of the Real-Life Fatal Accident at Work: A Case Study (MM, PB), pp. 101–110.

DHM-SET-2013-HungCSC #analysis #case study #comparative #education #effectiveness #women

A Comparative Analysis of the Educational Effectiveness of Leaflet and Website for Low-Literate Patients — A Case Study of Immigrant Mothers in Taipei (YLH, KRC, CS, TC), pp. 204–213.

DUXU-CXC-2013-CarignanK #case study #gamification #identification

Case Study: Identifying Gamification Opportunities in Sales Applications (JC, SLK), pp. 501–507.

DUXU-CXC-2013-LeraAVG #experience #user interface

Improving User Experience in e-Learning, the Case of the Open University of Catalonia (EdL, MA, LV, MG), pp. 180–188.

DUXU-NTE-2013-BreyerRVCTK #artificial reality #case study #design

Design Methodology for Body Tracking Based Applications — A Kinect Case Study (FB, BR, LAV, AC, JMXNT, JK), pp. 227–236.

DUXU-NTE-2013-FurbachM #case study #navigation

NUI-Based Floor Navigation — A Case Study (UF, MM), pp. 270–279.

DUXU-NTE-2013-KitamuraTIS #case study

Feed-In Tariff Personal Carbon Allowance: A Case Study of Psychological Change (TK, AT, HI, HS), pp. 530–539.

DUXU-NTE-2013-VegaFF #case study #named #prototype #smarttech #visual notation

Blinklifier: A Case Study for Prototyping Wearable Computers in Technology and Visual Arts (KFCV, PJF, HF), pp. 439–445.

DUXU-PMT-2013-KangS #case study #design #how #process

How to Observe, Share and Apply in Design Process? — Focusing on International Design Workshops as a Case Study (NK, HS), pp. 498–505.

DUXU-WM-2013-AlpkayaS #experience #user interface

User Experience Transformation in Telco Companies: Turkcell Case (SA, CS), pp. 84–93.

DUXU-WM-2013-BaldassariDPEG #case study #interactive #online #scalability

Behind Livia’s Villa: A Case Study for the Devolution of Large Scale Interactive “in-site” to “on-line” Application (GLB, ED, SP, JE, HG), pp. 238–247.

DUXU-WM-2013-FernandesPS #case study #interactive

Evaluating Interaction with Websites: Case Study of a Government Website of the Brazilian Ministry of Labor and Employment (FRF, LCP, JCPdS), pp. 265–273.

DUXU-WM-2013-JangJ #case study #design

Studies on the Design Marketing Strategies in the Experiential Economy through the Case Study of “the Starbucks Company” (YJJ, ECJ), pp. 30–36.

DUXU-WM-2013-Komischke #case study #design #smarttech #user interface

9/11 Memorial App: A Case Study of Serious Smart Phone UX Design (TK), pp. 691–695.

DUXU-WM-2013-LiuVMM #big data #design #experience #framework #interactive #mining #visualisation

Designing Discovery Experience for Big Data Interaction: A Case of Web-Based Knowledge Mining and Interactive Visualization Platform (QL, MV, KPCM, AFM), pp. 543–552.

DUXU-WM-2013-OzturkR #implementation #information management #navigation #web

Selection and Implementation of Navigation and Information Search Strategies in Bank Web Sites: Turkish Case (ÖÖ, KR), pp. 284–293.

DUXU-WM-2013-PhillipsFSSB #case study #design

Open Design: Non-professional User-Designers Creating Products for Citizen Science: A Case Study of Beekeepers (RDP, YF, KS, SS, SB), pp. 424–431.

DUXU-WM-2013-TabosaCACD #case study #design #usability

Design and Usability: A Case Study on Selecting Exhibitors for the National Fair of Craftwork — FENEARTE — Recife, PE, Brazil (TT, VC, AA, EC, GD), pp. 121–129.

HCI-AMTE-2013-Ariya #case study #experience

Case Study for Experience Vision — Application for PC (KA), pp. 275–280.

HCI-AMTE-2013-FerreiraS #case study #communication #modelling

Communicating Ideas in Computer-Supported Modeling Tasks: A Case Study with BPMN (JJF, CSdS), pp. 320–329.

HCI-AMTE-2013-HumayounEE #case study #framework #mobile #using

Developing Mobile Apps Using Cross-Platform Frameworks: A Case Study (SRH, SE, AE), pp. 371–380.

HCI-AMTE-2013-ScholzW #case study #interactive #prototype

Established and Innovative Facets of Interactive Prototypes — A Case Study (SCS, DW), pp. 451–459.

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-AMTE-2013-YuCT #case study #design #experience

Case Study for Experience Vision Designing Notebook PC (DJY, MCC, ST), pp. 540–546.

HCI-AS-2013-CusseauGWZ #case study #health #implementation

Electronic Health Records: A Case Study of an Implementation (GC, JG, CW, FZ), pp. 46–55.

HCI-AS-2013-MontAlvaoPL #case study #testing #usability

Usability Testing for e-health Application: A Case Study for Sana/Open MRS (CRM, FP, CAPdL), pp. 144–149.

HCI-AS-2013-WorpenbergG #case study #experience #game studies #navigation #smarttech

Navigation Experiences — A Case Study of Riders Accessing an Orientation Game via Smartphones (AW, BG), pp. 323–332.

HCI-IMT-2013-MedjkouneMPV #multimodal #recognition #speech

Multimodal Mathematical Expressions Recognition: Case of Speech and Handwriting (SM, HM, SP, CVG), pp. 77–86.

HCI-UC-2013-EumanA #case study #experience #user interface #visualisation

Data Visualisation, User Experience and Context: A Case Study from Fantasy Sport (RE, JLAN), pp. 146–155.

HCI-UC-2013-ScheruhnABF #case study #enterprise #implementation

Repository-Based Implementation of Information Pyramid: A Study Based on an ERP Case Study (HJS, DA, RB, UF), pp. 446–455.

HIMI-HSM-2013-ArimaUA #safety

Supporting Residents Evacuation and Safety Inquiry in Case of Disaster (MA, TU, MA), pp. 443–452.

HIMI-LCCB-2013-VartiainenJ #case study #collaboration #tool support

Pros and Cons of Various ICT Tools in Global Collaboration — A Cross-Case Study (MV, OJ), pp. 391–400.

OCSC-2013-AllenS #case study #community

The Role of the Community in a Technical Support Community: A Case Study (DMA, TS), pp. 335–344.

OCSC-2013-HeKP #case study #community #distance #online

You Are Not Alone Online: A Case Study of a Long Distance Romantic Relationship Online Community (YH, KK, JP), pp. 23–32.

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.

CAiSE-2013-AbbasiHABH #empirical

The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases (EKA, AH, MA, QB, PH), pp. 162–177.

CAiSE-2013-MaurinoVV #case study

Coopetitive Data Warehouse: A Case Study (AM, CV, GV), pp. 482–497.

CAiSE-2013-SenG #case study #data-driven #interactive #testing

Testing a Data-Intensive System with Generated Data Interactions — The Norwegian Customs and Excise Case Study (SS, AG), pp. 657–671.

CAiSE-2013-SuriadiWOHD #behaviour #case study #comprehension #process #scalability

Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study (SS, MTW, CO, AHMtH, NJvD), pp. 449–464.

EDOC-2013-HeroldMRS #architecture #case study #consistency

Checking Conformance with Reference Architectures: A Case Study (SH, MM, AR, IS), pp. 71–80.

EDOC-2013-MukkamalaHS #adaptation #graph #towards

Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs (RRM, TTH, TS), pp. 127–136.

ICEIS-J-2013-GiordanoTSAF13a #approach #architecture #case study #enterprise #ontology #semantics

Joining Data and Maps in the Government Enterprise Architecture by a Semantic Approach: Methodology, Ontology and Case Study (DG, AT, CS, SA, AF), pp. 506–519.

ICEIS-v1-2013-RodriguesAGSCS #case study #data flow #data transformation #semistructured data

Integrated Data Management — A Case Study in Heterogeneous Data Sources in Brazilian Government (SAR, MA, AFG, RTdS, MC, JMdS), pp. 316–321.

ICEIS-v2-2013-BouchboutAA #design

A Design Methodology for B2B Systems — Case of an e-Procurement System (KB, JA, ZA), pp. 459–466.

ICEIS-v2-2013-DobsonSO #case study #ontology

Data, Ontologies and Decision Making — An Inter-disciplinary Case Study (SD, AS, TO), pp. 563–568.

ICEIS-v2-2013-Milosz #case study #enterprise #legacy #performance #testing #using

Performance Testing of New Enterprise Applications using Legacy Load Data — A HIS Case Study (MM), pp. 151–156.

ICEIS-v3-2013-EssienO #architecture #case study #component #enterprise #modelling #student #validation

Enterprise Architecture Models — Description of Integrated Components for Validation — A Case Study of Student Internship Programme (JE, SO), pp. 302–309.

ICEIS-v3-2013-GiordanoTSAF #approach #architecture #case study #enterprise #ontology

An Ontology based Approach to Integrate Data and Maps — In the Government Enterprise Architecture: A Case Study (DG, AT, CS, SA, AF), pp. 356–362.

ICEIS-v3-2013-LambeckKG #bibliography #case study #design #enterprise #interface #testing

Discovering Potentials in Enterprise Interface Design — A Review of Our Latest Case Studies in the Enterprise Domain (CL, DK, RG), pp. 99–104.

ICEIS-v3-2013-Plechawska-WojcikLW #assessment #case study #experience #user interface #using #web

Assessment of User Experience with Responsive Web Applications using Expert Method and Cognitive Walkthrough — A Case Study (MPW, SLM, LW), pp. 111–118.

KDIR-KMIS-2013-Aveiro #case study #concept #enterprise #ontology

Enterprise Ontology and DEMO — Benefits, Core Concepts and a Case-study (DA), pp. 1–7.

KDIR-KMIS-2013-Ibarra-SanchezPO #analysis #case study #risk management #using

Hospital Risk Management using Healthcare Failure Mode and Effects Analysis — A Case Study on Ventilators Whithin an Intensive Care Unit (MAIS, ABPA, MROP), pp. 328–335.

KDIR-KMIS-2013-KolerovaOB #case study #clustering #industrial

Information and Knowledge Sharing in Industrial Clusters — Theoretical Background and a Case Study (KK, TO, VB), pp. 457–463.

KDIR-KMIS-2013-RauchS #case study #mining #using

Using Domain Knowledge in Association Rules Mining — Case Study (JR, MS), pp. 104–111.

KDIR-KMIS-2013-RezendeLJMRB #information management #workflow

Diagnosis and Prognosis of Knowledge Management based on k-Workflow, on Conversion and Knowledge Flow — The Case of the National Land Transport Agency in Brazil (LR, MAL, JdLPCJ, LAM, SAR, CAMB), pp. 413–418.

KDIR-KMIS-2013-SaijoSWK #analysis #case study #collaboration #community #multi #process

An Analysis of Multi-disciplinary — Inter-agency Collaboration Process — Case Study of a Japanese Community Care Access Center (MS, TS, MW, SK), pp. 470–475.

KDIR-KMIS-2013-SvobodaC #case study #education #experience

Customer Satisfaction and Loyalty in Higher Education — A Case Study over a Five-Year Academic Experience (PS, JC), pp. 431–436.

KDIR-KMIS-2013-ZhouNL #case study #collaboration #problem

Mitigating Barriers to Patient-centred Knowledge Sharing — A Case-study of Knowledge Sharing Problems in the Collaboration of Traditional and Western Practitioners in Chinese Hospitals (LZ, MBN, WL), pp. 298–307.

KEOD-2013-BellBBKS #case study #named #ontology

PRONTOE — A Case Study for Developing Ontologies for Operations (SB, RPB, MB, DK, DS), pp. 17–25.

MLDM-2013-YasojimaFBOS #analysis #case study #generative #power management

Partial Discharge Analysis and Inspection Alert Generation in High Power Transformers: A Case Study of an Autotransformer Bank at Eletrobrás-ELETRONORTE Vila do Conde Station (CTKY, MSF, FdSB, TFdO, AMdS), pp. 367–378.

RecSys-2013-KucharK #case study #learning #named #web #web service

GAIN: web service for user tracking and preference learning — a smart TV use case (JK, TK), pp. 467–468.

SEKE-2013-AnchietaSM #case study #diagrams #identification #prototype #uml #user interface #using

Using NLP Techniques for Identifying GUI Prototypes and UML Diagrams From Use Cases (RTA, RFdS, RSM), pp. 48–53.

SEKE-2013-GayedLB #case study #forensics #process #representation

Representing Chains of Custody Along a Forensic Process: A Case Study on Kruse Model (TFG, HL, MB), pp. 674–680.

SEKE-2013-JulianoTSM #assessment #automation #case study #complexity #similarity

Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (S) (RCJ, BANT, MSS, MdAM), pp. 494–499.

SEKE-2013-Kung #case study #identification #on the

On Use Case Identification (DCK), pp. 759–764.

SEKE-2013-LiLY #fault #locality #testing

Exploiting Weights of Test Cases to Enhance Fault Localization (S) (YL, CL, ZY), pp. 589–593.

SEKE-2013-MarcolinoOGM #approach #case study #effectiveness #towards #variability

Towards the Effectiveness of a Variability Management Approach at Use Case Level (AM, EAOJ, IMSG, JCM), pp. 214–219.

SIGIR-2013-DalipGCC #case study #feedback #rank #stack overflow

Exploiting user feedback to learn to rank answers in q&a forums: a case study with stack overflow (DHD, MAG, MC, PC), pp. 543–552.

SIGIR-2013-GangulyLJ #case study #documentation #retrieval

An LDA-smoothed relevance model for document expansion: a case study for spoken document retrieval (DG, JL, GJFJ), pp. 1057–1060.

AMT-2013-KuselSWRSK #atl #case study #model transformation #reuse

Reality Check for Model Transformation Reuse: The ATL Transformation Zoo Case Study (AK, JS, MW, WR, WS, GK), pp. 42–51.

ECMFA-2013-BosS #case study #domain-specific language #evolution

A Case Study in Evidence-Based DSL Evolution (JvdB, TvdS), pp. 207–219.

ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.

MoDELS-2013-ElaasarN #case study #development #lifecycle #modelling #tool support

Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.

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-WangGAL #automation #case study #feature model #industrial #testing #using

Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.

MoDELS-2013-ElaasarN #case study #development #lifecycle #modelling #tool support

Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (ME, AN), pp. 154–169.

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-WangGAL #automation #case study #feature model #industrial #testing #using

Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.

ECOOP-2013-SvendsenBP #case study #composition #concurrent #higher-order #library #named #specification

Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library (KS, LB, MJP), pp. 327–351.

RE-2013-NiknafsB #case study #effectiveness #elicitation #generative #idea #industrial #requirements

An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 279–283.

REFSQ-2013-BonBGALTBFGATA #analysis #case study #requirements

Use Case and Requirements Analysis in a Remote Rural Context in Mali (AB, VdB, NBG, CvA, PDL, WT, SB, MF, AG, MA, AT, HA), pp. 331–346.

REFSQ-2013-CallelePW #identification #interface #requirements #risk management

Risk Identification at the Interface between Business Case and Requirements (DC, BP, KW), pp. 253–268.

REFSQ-2013-Zorn-PauliPBKR #case study #industrial #process #release planning

Analyzing an Industrial Strategic Release Planning Process — A Case Study at Roche Diagnostics (GZP, BP, TB, HK, GR), pp. 269–284.

SAC-2013-AccorsiSM #mining #on the #process #security

On the exploitation of process mining for security audits: the process discovery case (RA, TS, GM), pp. 1462–1468.

SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing

Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.

SAC-2013-DugerdilS #legacy

Dynamic decision tree for legacy use-case recovery (PD, DS), pp. 1284–1291.

SAC-2013-GouwBJW #case study #industrial #java #runtime #source code

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study (SdG, FSdB, EBJ, PYHW), pp. 1573–1578.

SAC-2013-ProvensiEVR #adaptation #fuzzy #policy #streaming #using #video

Improving context interpretation by using fuzzy policies: the case of adaptive video streaming (LP, FE, RV, RR), pp. 415–422.

SAC-2013-StevensonYDPMV #network #reasoning #resource management #self #semantics

Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (GS, JY, SD, DP, SM, MV), pp. 1369–1376.

SAC-2013-SunGYFC #multi #testing #user interface

Multi-objective test case prioritization for GUI applications (WS, ZG, WY, CF, ZC), pp. 1074–1079.

SAC-2013-ZiftciK #requirements #semantics #testing #traceability

Test intents: enhancing the semantics of requirements traceability links in test cases (CZ, IK), pp. 1272–1277.

ESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing

aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.

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.

ICSE-2013-ApelRWGB #case study #product line #verification

Strategies for product-line verification: case studies and experiments (SA, AvR, PW, AG, DB), pp. 482–491.

ICSE-2013-BallandCNS #development

A case for human-driven software development (EB, CC, BN, HS), pp. 1229–1232.

ICSE-2013-FemmerGLM #case study #consistency #detection #nondeterminism

Detecting inconsistencies in wrappers: a case study (HF, DG, ML, DM), pp. 1022–1031.

ICSE-2013-FitzgeraldSOO #agile #case study #industrial #scalability

Scaling agile methods to regulated environments: an industry case study (BF, KJS, RO, DO), pp. 863–872.

ICSE-2013-GauthierM #case study #data access #fault #modelling #php #semantics #smell

Semantic smells and errors in access control models: a case study in PHP (FG, EM), pp. 1169–1172.

ICSE-2013-LewisLSZOW #case study #debugging #developer #predict

Does bug prediction support human developers? findings from a google case study (CL, ZL, CS, XZ, RO, EJWJ), pp. 372–381.

ICSE-2013-PaganoB #case study #evolution

User involvement in software evolution practice: a case study (DP, BB), pp. 953–962.

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-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-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-ThummalapentaDSCGNS #automation #case study #industrial #performance #testing

Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.

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-ZhangH0RM #testing

Bridging the gap between the total and additional test-case prioritization strategies (LZ, DH, LZ, GR, HM), pp. 192–201.

SPLC-2013-KatoKMOHH #case study #development #network

Case study of applying SPLE to development of network switch products (TK, MK, TM, HO, KH, TH), pp. 198–207.

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-PassosGTCWB #case study #kernel #linux #modelling #variability

Coevolution of variability models and related artifacts: a case study from the Linux kernel (LTP, JG, LT, KC, AW, PB), pp. 91–100.

SPLC-2013-ZhangBPSS #case study #evolution #industrial #product line #variability

Variability evolution and erosion in industrial product lines: a case study (BZ, MB, TP, KS, JES), pp. 168–177.

HPCA-2013-NairCQ #memory management

A case for Refresh Pausing in DRAM memory systems (PJN, CCC, MKQ), pp. 627–638.

HPDC-2013-RamosH #case study #communication #modelling

Modeling communication in cache-coherent SMP systems: a case-study with Xeon Phi (SR, TH), pp. 97–108.

ICLP-J-2013-AlbertBGRS #generative #testing

A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.

ICST-2013-AlegrothFO #automation #case study #industrial #testing

Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.

ICST-2013-ArafeenD #clustering #testing #using

Test Case Prioritization Using Requirements-Based Clustering (MJA, HD), pp. 312–321.

ICST-2013-CanforaMVDFM #automation #case study #performance #smarttech #testing #user interface

A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (GC, FM, CAV, MD, AF, CM), pp. 66–69.

ICST-2013-FraserA #challenge #generative #named #testing

EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.

ICST-2013-LeottaCRS #case study #industrial #locality #testing #web

Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization (ML, DC, FR, CS), pp. 487–488.

ICST-2013-NardoABL #case study #industrial #testing

Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.

ICST-2013-PezzeRW #effectiveness #generative #integration #testing

Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.

ICST-2013-UrataK #diagrams #testing #visualisation

Proposal of Testing Diagrams for Visualizing Test Cases (SU, TK), pp. 483–484.

ICTSS-2013-BadriBF #case study #empirical #predict #testing

Predicting the Size of Test Suites from Use Cases: An Empirical Exploration (MB, LB, WF), pp. 114–132.

ICTSS-2013-FengLMNSW #case study #testing

Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.

ICTSS-2013-SchrammelMK #testing

Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.

ISSTA-2013-Bonacchi #case study #proving #safety

Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.

ISSTA-2013-KifetewPLOT #generative #orthogonal #testing

Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.

TAP-2013-AichernigJK #generative #incremental #refinement #testing

Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.

TAP-2013-BruckerFNW #case study #generative

Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.

QoSA-2012-AliRB #architecture #case study #multi #realtime

Characterizing real-time reflexion-based architecture recovery: an in-vivo multi-case study (NA, JR, JB), pp. 23–32.

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.

WICSA-ECSA-2012-HeiderVLG #case study #component #evolution #product line

A Case Study on the Evolution of a Component-based Product Line (WH, MV, DL, PG), pp. 1–10.

CASE-2012-FantiIMU #case study #design #evaluation #performance

A three level strategy for the design and performance evaluation of Hospital Departments: A case study (MPF, GI, AMM, WU), pp. 323–328.

CASE-2012-LiST #case study #challenge #realtime

Real time electricity demand response for sustainable manufacturing systems: Challenges and a case study (LL, ZS, ZT), pp. 353–357.

CASE-2012-XieLSD12a #agile #case study

Improving rapid response operations in acute care delivery — part II: Continuous improvement and case study (XX, JL, CHS, PD), pp. 309–314.

DAC-2012-HuangYCL #case study #industrial

Alternate hammering test for application-specific DRAMs and an industrial case study (RFH, HYY, MCTC, SCL), pp. 1012–1017.

DAC-2012-LoS #analysis #execution #monitoring #parallel #runtime #worst-case

Worst-case execution time analysis for parallel run-time monitoring (DL, GES), pp. 421–429.

DAC-2012-PinoLCHL #case study #modelling #statistics

Statistical memristor modeling and case study in neuromorphic computing (REP, HHL, YC, MH, BL), pp. 585–590.

DAC-2012-YouseffBKGWA #operating system

The case for elastic operating system services in fos (LY, NB, HK, CGI, DW, AA), pp. 265–270.

DATE-2012-JafariJL #analysis #scheduling #worst-case

Worst-case delay analysis of Variable Bit-Rate flows in network-on-chip with aggregate scheduling (FJ, AJ, ZL), pp. 538–541.

DATE-2012-KwonKKYL #case study #in memory #memory management #ram

A case study on the application of real phase-change RAM to main memory subsystem (SK, DK, YK, SY, SL), pp. 264–267.

DATE-2012-ZuluagaBT #case study #design #predict #trade-off

Predicting best design trade-offs: A case study in processor customization (MZ, EVB, NPT), pp. 1030–1035.

DocEng-2012-AubertPS #authoring #case study

Advene as a tailorable hypervideo authoring tool: a case study (OA, YP, DS), pp. 79–82.

PODS-2012-NgoPRR #algorithm #worst-case

Worst-case optimal join algorithms: [extended abstract] (HQN, EP, CR, AR), pp. 37–48.

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.

ITiCSE-2012-BaghdadiAR #case study #distance #learning #safety #tool support

Applying advanced technology tools in distance learning: case study: traffic data and road safety (MB, KA, JR), p. 389.

ITiCSE-2012-GinatA #composition #pseudo

Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.

FASE-2012-StaatsGWH #generative #on the #testing

On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.

CSMR-2012-BernardiCLPD #communication #debugging #developer #eclipse

Do Developers Introduce Bugs When They Do Not Communicate? The Case of Eclipse and Mozilla (MLB, GC, GADL, MDP, DD), pp. 139–148.

CSMR-2012-EspinhaCZG #case study #maintenance #research #standard #towards

Maintenance Research in SOA — Towards a Standard Case Study (TE, CC, AZ, HGG), pp. 391–396.

CSMR-2012-GauthierM #case study #concept analysis #data access #modelling

Investigation of Access Control Models with Formal Concept Analysis: A Case Study (FG, EM), pp. 397–402.

CSMR-2012-IslamMSS #multi #semantics #testing

A Multi-Objective Technique to Prioritize Test Cases Based on Latent Semantic Indexing (MMI, AM, AS, GS), pp. 21–30.

ICSM-2012-BoomsmaHG #industrial #lessons learnt #php #web

Dead code elimination for web systems written in PHP: Lessons learned from an industry case (HB, BVH, HGG), pp. 511–515.

ICSM-2012-IslamMSKS #algorithm #named #search-based #semantics #sorting #testing

MOTCP: A tool for the prioritization of test cases based on a sorting genetic algorithm and Latent Semantic Indexing (MMI, AM, AS, FBK, GS), pp. 654–657.

ICSM-2012-MateoU #framework #java #mutation testing #named #quality #testing

Bacterio: Java mutation testing tool: A framework to evaluate quality of tests cases (PRM, MPU), pp. 646–649.

ICSM-2012-OhiraHOM #case study #debugging #eclipse

The impact of bug management patterns on bug fixing: A case study of Eclipse projects (MO, AEH, NO, KiM), pp. 264–273.

ICSM-2012-SuvorovNHZA #case study #empirical #kernel #linux

An empirical study of build system migrations in practice: Case studies on KDE and the Linux kernel (RS, MN, AEH, YZ, BA), pp. 160–169.

ICSM-2012-ZouG #algorithm #automation #case study #detection #industrial #what #why

An industrial case study of Coman’s automated task detection algorithm: What Worked, What Didn’t, and Why (LZ, MWG), pp. 6–14.

MSR-2012-AsaduzzamanBRS #android #case study #debugging

Bug introducing changes: A case study with Android (MA, MCB, CKR, KAS), pp. 116–119.

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.

WCRE-2012-BaysalKHG #case study

The Secret Life of Patches: A Firefox Case Study (OB, OK, RH, MWG), pp. 447–455.

WCRE-2012-HemelK #case study #clone detection #detection #linux #reverse engineering #source code #using #variability

Reverse Engineering Variability in Source Code Using Clone Detection: A Case Study for Linux Variants of Consumer Electronic Devices (AH, RK), pp. 357–366.

WCRE-2012-ZiftciK #data mining #feature model #mining #using

Feature Location Using Data Mining on Existing Test-Cases (CZ, IK), pp. 155–164.

PEPM-2012-UrecheRSCO #case study #development #domain-specific language #named

StagedSAC: a case study in performance-oriented DSL development (VU, TR, AKS, HC, MO), pp. 73–82.

PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing

Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.

SAS-2012-Midtgaard0M #proving

A Structural Soundness Proof for Shivers’s Escape Technique — A Case for Galois Connections (JM, MDA, MM), pp. 352–369.

FM-2012-JohnsonGMDE #case study #hybrid #verification

Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (TTJ, JG, SM, RD, RSE), pp. 252–266.

FM-2012-ZhaoZKL #approach #case study #hybrid #industrial

A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.

IFM-2012-CalderS #algebra #case study #network #process #runtime #verification

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.

CHI-2012-BogartBDAW #case study #debugging #design #interactive #programming

Designing a debugging interaction language for cognitive modelers: an initial case study in natural programming plus (CB, MMB, SD, HA, RW), pp. 2469–2478.

CHI-2012-DaviesB #mobile

The case of the missed icon: change blindness on mobile devices (TD, AKB), pp. 1451–1460.

CHI-2012-Friess #case study #design #process

Personas and decision making in the design process: an ethnographic case study (EF), pp. 1209–1218.

CHI-2012-LicoppeI #case study #mobile #quote

“Timid encounters”: a case study in the use of proximity-based mobile technologies (CL, YI), pp. 2759–2768.

CSCW-2012-NathanTLPWBT

In case you missed it: benefits of attendee-shared annotations for non-attendees of remote meetings (MN, MT, JCL, SP, SW, JB, LGT), pp. 339–348.

CSCW-2012-Poole #framework #research

Interacting with infrastructure: a case for breaching experiments in home computing research (ESP), pp. 759–768.

CSCW-2012-VasalouOJ #case study #product line

A case study of non-adoption: the values of location tracking in the family (AV, AMO, ANJ), pp. 779–788.

CSCW-2012-XuB #case study #community #interactive #online #scalability #what

What do you think?: a case study of benefit, expectation, and interaction in a large online critique community (AX, BPB), pp. 295–304.

AdaEurope-2012-Iliasov #case study #development #reasoning

Augmenting Formal Development with Use Case Reasoning (AI), pp. 133–146.

AdaEurope-2012-RuizCM #ada #development #source code

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.

CAiSE-2012-BaroneTM #case study #modelling

Business Intelligence Modeling in Action: A Hospital Case Study (DB, TT, JM), pp. 502–517.

CAiSE-2012-EngelAZPW #case study #mining #modelling #process

Mining Inter-organizational Business Process Models from EDI Messages: A Case Study from the Automotive Sector (RE, WMPvdA, MZ, CP, HW), pp. 222–237.

CAiSE-2012-Wieringa #design #research

Designing Technical Action Research and Generalizing from Real-World Cases (RW), pp. 697–698.

ICEIS-J-2012-FillRK12a #formal method #metamodelling #modelling

Formalizing Meta Models with FDMM: The ADOxx Case (HGF, TR, DK), pp. 429–451.

ICEIS-v3-2012-KimO #architecture #case study #enterprise #modelling

A Case Study on Modeling of Complex Event Processing in Enterprise Architecture (HK, SO), pp. 173–180.

ICPR-2012-Gomez-BarreroGFOMF #authentication #case study #geometry

Inverse biometrics: A case study in hand geometry authentication (MGB, JG, JF, JOG, AM, MAF), pp. 1281–1284.

KDD-2012-AndersonHKL #case study #community #process #stack overflow

Discovering value from community activity on focused question answering sites: a case study of stack overflow (AA, DPH, JMK, JL), pp. 850–858.

KDD-2012-ChenFDS #case study

Differentially private transit data publication: a case study on the montreal transportation system (RC, BCMF, BCD, NMS), pp. 213–221.

KDIR-2012-KharbatBO #algorithm #case study #dataset

A New Compaction Algorithm for LCS Rules — Breast Cancer Dataset Case Study (FK, LB, MO), pp. 382–385.

KDIR-2012-LemnaruTCP #case study #classification #detection #hybrid #network #problem

A Hybrid Solution for Imbalanced Classification Problems — Case Study on Network Intrusion Detection (CL, ATV, AC, RP), pp. 348–352.

KEOD-2012-DiasMS #enterprise #health #ontology #using

Using Enterprise Ontology for Improving the National Health System — Demonstrated in the Case of a Pharmacy and an Emergency Department (DGD, CM, MMdS), pp. 441–451.

KEOD-2012-GarciaAGG #case study #metadata #ontology

Case Study: Ontology for Metadata in e-Learning (AMFG, SSA, MEBG, RBG), pp. 317–320.

KEOD-2012-Otero-CerdeiraRVA #case study #industrial #multi #ontology

Multi-agent Systems and Ontologies Applied to New Industrial Domains — Case Study: Ornamental Plants (LOC, FJRM, TVR, LLA), pp. 357–364.

KMIS-2012-AtkociunieneG #convergence #learning

Strategic Management, Learning and Innovation — Convergence of Strategic Management, Organizational Learning and Innovation: The Case of Lithuanian Organizations (ZA, IG), pp. 243–246.

KMIS-2012-GoyM #case study #documentation #ontology #towards

Towards an Ontology-based Software Documentation Management — A Case Study (AG, DM), pp. 125–131.

KMIS-2012-MenasselM #case study #formal method #novel #process

A Novel Formalization Process for Use Case Maps (YM, FM), pp. 307–310.

KMIS-2012-NgocIC #case study #modelling #using

Modeling of Indicators using UTL — A Study Case with Hop3x System (DPTN, SI, CC), pp. 269–272.

KR-2012-Feier #logic programming #reasoning #source code #worst-case

Worst-Case Optimal Reasoning with Forest Logic Programs (CF).

MLDM-2012-JoutsijokiJ #case study #dataset

DAGSVM vs. DAGKNN: An Experimental Case Study with Benthic Macroinvertebrate Dataset (HJ, MJ), pp. 439–453.

MLDM-2012-SilvaA #case study #clustering

Semi-supervised Clustering: A Case Study (AS, CA), pp. 252–263.

RecSys-2012-BellufXG #case study #online #personalisation #recommendation #scalability

Case study on the business value impact of personalized recommendations on a large online retailer (TB, LX, RG), pp. 277–280.

RecSys-2012-StrickrothP #community #network #quality #recommendation

High quality recommendations for small communities: the case of a regional parent network (SS, NP), pp. 107–114.

SEKE-2012-BritoOMNBGM #case study #composition #implementation #social #web

Implementing Web Applications as Social Machines Composition: A Case Study (KdSB, LEAO, PFM, LMN, VAdAB, VCG, SRdLM), pp. 311–314.

SEKE-2012-BublitzAP #case study #ontology #pervasive

A Context Ontology Model for Pervasive Advertising: a Case Study on Pervasive Displays (FB, HOdA, AP), pp. 426–431.

SEKE-2012-CorreaSSA #modelling #rest #testing #uml #web #web service

Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.

SEKE-2012-DingX #case study #modelling #testing

Model-Based Metamorphic Testing: A Case Study (JD, DX), pp. 363–368.

SEKE-2012-MiaoCLZZ #clustering #correctness #fault #identification #locality #testing

Identifying Coincidental Correctness for Fault Localization by Clustering Test Cases (YM, ZC, SL, ZZ, YZ), pp. 267–272.

SIGIR-2012-AnderkaSL #predict #quality #wiki

Predicting quality flaws in user-generated content: the case of wikipedia (MA, BS, NL), pp. 981–990.

BX-2012-LambersHGO #bidirectional #graph grammar #model transformation

Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.

ECMFA-2012-ElaasarL #case study #process #testing

Model Interchange Testing: A Process and a Case Study (ME, YL), pp. 49–61.

ECMFA-2012-SelimWCD #case study #industrial #legacy #migration #model transformation #modelling

Model Transformations for Migrating Legacy Models: An Industrial Case Study (GMKS, SW, JRC, JD), pp. 90–101.

ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing

Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.

MoDELS-2012-AliYBW #case study #industrial #modelling #product line #testing

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.

MoDELS-2012-AliYBW #case study #industrial #modelling #product line #testing

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.

TOOLS-EUROPE-2012-GreilerDZ #comprehension #similarity #testing

Measuring Test Case Similarity to Support Test Suite Understanding (MG, AvD, AZ), pp. 91–107.

LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing

A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.

RE-2012-GordonB #case study #multi #requirements

Reconciling multi-jurisdictional legal requirements: A case study in requirements water marking (DGG, TDB), pp. 91–100.

REFSQ-2012-BerryGST #requirements #tool support

The Case for Dumb Requirements Engineering Tools (DMB, RG, PS, SFT), pp. 211–217.

REFSQ-2012-DaramolaMSB #perspective #reasoning #requirements #research #semantics #using

Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview (OD, TM, GS, SB), pp. 172–178.

REFSQ-2012-EngelsmanW #architecture #case study #enterprise #lessons learnt #requirements

Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned (WE, RW), pp. 306–320.

REFSQ-2012-FrickerS #case study #industrial #release planning

Release Planning with Feature Trees: Industrial Case (SF, SS), pp. 288–305.

REFSQ-2012-RaspotnigO #analysis #case study #diagrams #sequence chart

Supporting Failure Mode and Effect Analysis: A Case Study with Failure Sequence Diagrams (CR, ALO), pp. 117–131.

SAC-2012-AccorsiS #consistency #mining #on the #process #security

On the exploitation of process mining for security audits: the conformance checking case (RA, TS), pp. 1709–1716.

SAC-2012-BasuVDK #case study #collaboration #performance #privacy

Feasibility of a privacy preserving collaborative filtering scheme on the Google App Engine: a performance case study (AB, JV, TD, HK), pp. 447–452.

SAC-2012-BollatiAMV #case study #model management #modelling

Model Management Systems vs. Model Driven Engineering: a case study (VAB, PA, EM, JMV), pp. 865–872.

SAC-2012-MaloneG #case study #groovy

A case study in the use of Groovy and Grails (KM, JG), pp. 1254–1255.

SAC-2012-MenezesOV #abstraction #composition #coordination #pervasive

Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.

SAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine #validation

Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.

SAC-2012-TiwariG #case study #validation

Statechart-based use case requirement validation of event-driven systems (ST, AG), pp. 1091–1093.

SAC-2012-TsadimasNA #design #information management #non-functional #requirements

Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.

SAC-2012-Tzouramanis #fresh look #named

History-independence: a fresh look at the case of R-trees (TT), pp. 7–12.

FSE-2012-RayK #case study #migration

A case study of cross-system porting in forked projects (BR, MK), p. 53.

FSE-2012-RobbesLR #api #developer #ecosystem #how #smalltalk

How do developers react to API deprecation?: the case of a smalltalk ecosystem (RR, ML, DR), p. 56.

ICSE-2012-BianculliGPS #case study #industrial #research #specification

Specification patterns from research to industry: A case study in service-based applications (DB, CG, CP, PS), pp. 968–976.

ICSE-2012-CeccatoMMNT #debugging #effectiveness #empirical #random testing #testing

An empirical study about the effectiveness of debugging when random test cases are used (MC, AM, LM, CDN, PT), pp. 452–462.

ICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech

Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.

ICSE-2012-KilamoHC #case study #collaboration #development #education

Teaching collaborative software development: A case study (TK, IH, MAC), pp. 1165–1174.

ICSE-2012-KimKKJ #approach #case study #industrial #testing #using

Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.

ICSE-2012-Mendes #case study #elicitation #estimation #industrial #lessons learnt #using #web

Using knowledge elicitation to improve Web effort estimation: Lessons from six industrial case studies (EM), pp. 1112–1121.

ICSE-2012-SillittiSV #case study #comprehension #developer #industrial #programming #scalability

Understanding the impact of Pair Programming on developers attention: A case study on a large industrial experimentation (AS, GS, JV), pp. 1094–1101.

PLEASE-2012-HuYWRW #case study #industrial

Value-based portfolio scoping: an industrial case study (JH, YY, QW, GR, HW), pp. 45–48.

SPLC-2012-PatzkeBSSSF #case study #evolution #identification #product line

Identifying improvement potential in evolving product line infrastructures: 3 case studies (TP, MB, MS, KS, JES, TF), pp. 239–248.

SPLC-2012-PleussHKB #case study #user interface #variability

A case study on variability in user interfaces (AP, BH, MK, GB), pp. 6–10.

ASPLOS-2012-GreathouseXLA

A case for unlimited watchpoints (JLG, HX, YL, TMA), pp. 159–172.

HPCA-2012-AdriaensCKS #multi

The case for GPGPU spatial multitasking (JA, KC, NSK, MJS), pp. 79–90.

ICLP-2012-BanbaraTI #generative #matrix #programming #testing

Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.

ICST-2012-BorazjanyYLKK #case study #combinator #testing

Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.

ICST-2012-CaliebeHG #dependence #embedded #testing

Dependency-Based Test Case Selection and Prioritization in Embedded Systems (PC, TH, RG), pp. 731–735.

ICST-2012-EldhS #case study #challenge #industrial #mobile #robust #testing

Robustness Testing of Mobile Telecommunication Systems: A Case Study on Industrial Practice and Challenges (SE, DS), pp. 895–900.

ICST-2012-EndoS #comparison #finite #generative #state machine #testing

Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.

ICST-2012-GargD #database #testing #web

Test Case Prioritization Due to Database Changes in Web Applications (DG, AD), pp. 726–730.

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-LiuNT #bound #case study #smt #using #verification

Bounded Program Verification Using an SMT Solver: A Case Study (TL, MN, MT), pp. 101–110.

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-MirzaAghaeiPP #adaptation #evolution #testing

Supporting Test Suite Evolution through Test Case Adaptation (MM, FP, MP), pp. 231–240.

ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using

Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.

ICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving

Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.

ICTSS-2012-BannourEGG #consistency #generative #modelling #testing

Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.

ISSTA-2012-AlshahwanH #detection #fault #testing #web

State aware test case regeneration for improving web application test suite coverage and fault detection (NA, MH), pp. 45–55.

ISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing

Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.

ISSTA-2012-RobetalerFZO #generative #testing

Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.

LICS-2012-Schuster #algebra #case study #induction

Induction in Algebra: A First Case Study (PS), pp. 581–585.

WICSA-2011-FaniyiBEK #architecture #predict #security

Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud (FF, RB, AE, RK), pp. 127–136.

WICSA-2011-TsakirisKM #case study #evaluation #hybrid #industrial #plugin #quality

Evaluation of the Use of Quality Attribute Scenarios in a Plug-In Hybrid Electric Vehicle Controls System — Industrial Case Study (AT, JK, RM), pp. 66–72.

ASE-2011-Bandyopadhyay #fault #locality #testing #using

Improving spectrum-based fault localization using proximity-based weighting of test cases (AB), pp. 660–664.

ASE-2011-BandyopadhyayG #fault #locality #proximity #testing

Proximity based weighting of test cases to improve spectrum based fault localization (AB, SG), pp. 420–423.

ASE-2011-GanovKP #alloy #analysis #incremental #performance

A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.

CASE-2011-GhirardiPS #case study #multimodal #throughput

Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case study (MG, GP, DS), pp. 52–57.

CASE-2011-HajiD #case study #simulation #using

A simulation case study: Reducing outpatient waiting time of otolaryngology care services using VBA (MH, HD), pp. 525–530.

CASE-2011-MikosFG #agile #approach #distributed #injection #process #reasoning

A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.

CASE-2011-SernaCBRC #case study #design #framework

Control software design for a cutting glass machine tool based on the COSME platform. Case study (FS, CC, AB, JMR, JMC), pp. 501–506.

DAC-2011-HenrySN #embedded #power management

A case for NEMS-based functional-unit power gating of low-power embedded microprocessors (MBH, MS, LN), pp. 872–877.

DAC-2011-HeRK #concept analysis #embedded #generative #testing

Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.

DAC-2011-HongSK #case study #estimation #performance #throughput

Emulation based high-accuracy throughput estimation for high-speed connectivities: case study of USB2.0 (BH, CS, DK), pp. 609–614.

DAC-2011-JavaidSPH #adaptation #case study #multi #pipes and filters #power management #video

Low-power adaptive pipelined MPSoCs for multimedia: an H.264 video encoder case study (HJ, MS, SP, JH), pp. 1032–1037.

DATE-2011-RaiYBCT #analysis #realtime #worst-case

Worst-case temperature analysis for real-time systems (DR, HY, IB, JJC, LT), pp. 631–636.

DATE-2011-ZhangHYG #case study #interface #reliability

Case study: Alleviating hotspots and improving chip reliability via carbon nanotube thermal interface (WZ, JH, SY, PG), pp. 1071–1076.

DocEng-2011-QuKWH #case study #metadata #semantics

Interoperable metadata semantics with meta-metadata: a use case integrating search engines (YQ, AK, AMW, AH), pp. 171–174.

ICDAR-2011-RabaevBEKD #case study

Case Study in Hebrew Character Searching (IR, OB, JES, KK, ID), pp. 1080–1084.

CSEET-2011-TuTOBHKY #learning

Turning real-world systems into verification-driven learning cases (ST, ST, SO, BB, BH, AK, ZY), pp. 129–138.

ITiCSE-2011-KoppelmanDH #case study #research

Undergraduate research: a case study (HK, BvD, GvDH), pp. 288–292.

ITiCSE-2011-VilnerZT11a #case study

Integrating greenfoot into CS1: a case study (TV, EZ, ST), p. 350.

ICPC-J-2009-SamalikovaKTWS11 #case study #experience #process #towards

Toward objective software process information: experiences from a case study (JS, RJK, JJMT, TW, PS), pp. 101–120.

SCAM-J-2009-PhalpAJVK11 #case study #comprehension #requirements

The role of comprehension in requirements and implications for use case descriptions (KP, AA, SJ, JV, JMK), pp. 461–486.

SCAM-J-2009-ShubatiDD11 #generative #reasoning

Artefact generation in second life with case-based reasoning (AS, CWD, RD), pp. 431–446.

CSMR-2011-AnquetilL #legacy

Legacy Software Restructuring: Analyzing a Concrete Case (NA, JL), pp. 279–286.

CSMR-2011-CoutoVF #case study #compilation #product line #using

Extracting Software Product Lines: A Case Study Using Conditional Compilation (MVC, MTV, EF), pp. 191–200.

CSMR-2011-MantylaV #case study #challenge #deployment #process

Software Deployment Activities and Challenges — A Case Study of Four Software Product Companies (MM, JV), pp. 131–140.

CSMR-2011-MendeKP #case study #fault #integration #on the #predict #testing

On the Utility of a Defect Prediction Model during HW/SW Integration Testing: A Retrospective Case Study (TM, RK, JP), pp. 259–268.

CSMR-2011-SalehieLTDLM #testing

Prioritizing Requirements-Based Regression Test Cases: A Goal-Driven Practice (MS, SL, LT, RD, SL, MM), pp. 329–332.

CSMR-2011-VanyaPV #approximate #case study #set

Approximating Change Sets at Philips Healthcare: A Case Study (AV, RP, HvV), pp. 121–130.

ICPC-2011-SyerAH #behaviour #case study #comprehension #industrial

Industrial Case Study on Supporting the Comprehension of System Behaviour under Load (MDS, BA, AEH), pp. 215–216.

ICSM-2011-CarlsonDD #approach #case study #clustering #industrial #testing

A clustering approach to improving test case prioritization: An industrial case study (RC, HD, AD), pp. 382–391.

ICSM-2011-DhaliwalKZ #case study #debugging

Classifying field crash reports for fixing bugs: A case study of Mozilla Firefox (TD, FK, YZ), pp. 333–342.

ICSM-2011-GuoSGCTSSS #case study #technical debt

Tracking technical debt — An exploratory case study (YG, CBS, RG, AC, GT, FQBdS, ALMS, CdS), pp. 528–531.

ICSM-2011-KuDYW #case study #industrial #maintenance

Estimating software maintenance effort from use cases: An industrial case study (YK, JD, YY, QW), pp. 482–491.

ICSM-2011-Salvaneschi #case study #documentation #evolution #information management

The evolution of Information Systems a case study on document management (PS), pp. 428–437.

ICSM-2011-SrikanthC #as a service #case study #industrial #testing

Regression testing in Software as a Service: An industrial case study (HS, MBC), pp. 372–381.

ICSM-2011-ZhangSPXZ #case study #incremental #industrial #product line #re-engineering #towards

Incremental and iterative reengineering towards Software Product Line: An industrial case study (GZ, LS, XP, ZX, WZ), pp. 418–427.

MSR-2011-CallauRTR #developer #how #programming language #smalltalk

How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.

MSR-2011-CanforaCCP #debugging #interactive #social

Social interactions around cross-system bug fixings: the case of FreeBSD and OpenBSD (GC, LC, MC, MDP), pp. 143–152.

MSR-2011-ZamanAH #case study #debugging #performance #security

Security versus performance bugs: a case study on Firefox (SZ, BA, AEH), pp. 93–102.

SCAM-2011-SyerAZH #android #case study #development

Exploring the Development of Micro-apps: A Case Study on the BlackBerry and Android Platforms (MDS, BA, YZ, AEH), pp. 55–64.

WCRE-2011-AlbertCFGG #automation #generative #java #named #testing

jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.

WCRE-2011-BergerBS #android #case study #security

An Android Security Case Study with Bauhaus (BJB, MB, KS), pp. 179–183.

WCRE-2011-HerraizSNH #case study #quality

Impact of Installation Counts on Perceived Quality: A Case Study on Debian (IH, ES, THDN, AEH), pp. 219–228.

WCRE-2011-HouY #api #case study #evolution

Exploring the Intent behind API Evolution: A Case Study (DH, XY), pp. 131–140.

WCRE-2011-KaushikTM #case study #debugging #testing #traceability

Reconstructing Traceability between Bugs and Test Cases: An Experimental Study (NK, LT, MM), pp. 411–414.

WCRE-2011-KhomhCZH #approach #case study #evaluation

An Entropy Evaluation Approach for Triaging Field Crashes: A Case Study of Mozilla Firefox (FK, BC, YZ, AEH), pp. 261–270.

PLDI-2011-MarinoSMMN #compilation

A case for an SC-preserving compiler (DM, AS, TDM, MM, SN), pp. 199–210.

DLT-J-2009-BertoniCR11 #context-free grammar #problem

The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 289–299.

FM-2011-AlbertGGJST #behaviour #bound #concurrent #simulation #worst-case

Simulating Concurrent Behaviors with Worst-Case Cost Bounds (EA, SG, MGZ, EBJ, RS, SLTT), pp. 353–368.

FM-2011-BowenR #case study #community #formal method

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (JPB, SR), pp. 308–322.

ICFP-2011-Takeyama #assurance #programming

Programming assurance cases in Agda (MT), p. 142.

AGTIVE-2011-BuchmannWW #case study #configuration management #graph transformation

The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.

AGTIVE-2011-PatzinaP #atl #case study #comparison

A Case Study Based Comparison of ATL and SDM (SP, LP), pp. 210–221.

GT-VMT-2011-BoronatM #automation #case study #maude #uml

Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).

CHI-2011-BardzellB #design #human-computer

Pleasure is your birthright: digitally enabled designer sex toys as a case of third-wave HCI (JB, SB), pp. 257–266.

CHI-2011-DalsgardH #3d #design #physics

3d projection on physical objects: design insights from five real life cases (PD, KH), pp. 1041–1050.

CHI-2011-FailyF

Persona cases: a technique for grounding personas (SF, IF), pp. 2267–2270.

CHI-2011-HazlewoodSC #case study

Issues in evaluating ambient displays in the wild: two case studies (WRH, ES, KC), pp. 877–886.

CSCW-2011-JiangGH #3d #case study #video

The video of Xland: two core use cases of 3D blog (YJ, RG, YH), pp. 583–584.

CSCW-2011-QuHZZ #case study #microblog

Microblogging after a major disaster in China: a case study of the 2010 Yushu earthquake (YQ, CH, PZ, JZ), pp. 25–34.

CSCW-2011-WulfRPS #case study #design #framework #research

Engaging with practices: design case studies as a research framework in CSCW (VW, MR, VP, GS), pp. 505–512.

DUXU-v1-2011-FaliagkaKRSTT #integration #process

Investigating the Integration of Hand-Held Haptic Devices in Daily Work Activities: The Case of a Tennis Coaching Assistant on iPhone (EF, PK, MR, SS, GT, AKT), pp. 555–563.

DUXU-v1-2011-OhgiS #case study #enterprise #standard #using

ISO Standards and Enterprise Software: A Case Study Using SUMI and SUS in an International Sale (JO, JS), pp. 178–184.

DUXU-v2-2011-InversiniCB #analysis #assessment #case study #experience #risk management #usability #user interface

Connecting Usages with Usability Analysis through the User Experience Risk Assessment Model: A Case Study in the Tourism Domain (AI, LC, DB), pp. 283–293.

DUXU-v2-2011-NakataniOKNH #case study #internet #layout

The Layout for the User-Friendly Manual: Case Study on an Internet Set-Up Manual (MN, TO, YK, AN, SH), pp. 40–45.

HCD-2011-AryanaBN #communication #mobile

Possibilities for Cultural Customization of Mobile Communication Devices: The Case of Iranian Mobile Users (BA, CB, AN), pp. 177–186.

HCD-2011-Shima #design #industrial #information management

One of Industrial Design Case to Share Tacit Knowledge (HS), pp. 435–439.

HCD-2011-Yamane #authentication #case study #design #game studies #multi #online

Secure Online Game Play with Token: A Case Study in the Design of Multi-factor Authentication Device (SRY), pp. 597–605.

HCI-MIIE-2011-LabskyMKQC #case study

In-Car Dictation and Driver’s Distraction: A Case Study (ML, TM, JK, HQ, CC), pp. 418–425.

HCI-UA-2011-Loiacono-MelloDTP #case study #generative #why

Why Virtual Job Recruitment Is Not Well Accepted by Generation Y? — A Case Study on Second Life (ETLM, SD, BT, OVP), pp. 245–254.

HCI-UA-2011-YoshimiMIKOT #analysis #database

Construction and Analysis of Database on Outer Cases of Medicines (HY, HM, AI, MK, MO, FT), pp. 226–231.

HIMI-v1-2011-Pavel #analysis #authentication #case study #protocol

Analysis of Authentication Protocols with Scyter: Case Study (OP), pp. 359–365.

HIMI-v1-2011-TokosumiT #approach #multi #ontology

Ontological Approach to Aesthetic Feelings: A Multilingual Case of Cutism (AT, FT), pp. 161–164.

IDGD-2011-EksiogluKCSO #case study #evaluation #heuristic #testing #usability

Heuristic Evaluation and Usability Testing: Case Study (ME, EK, BÇ, MNS, SO), pp. 143–151.

IDGD-2011-GuoSR #case study #design #effectiveness

Creating Effective Personas for Product Design: Insights from a Case Study (FYG, SS, BR), pp. 37–46.

IDGD-2011-YangLD #behaviour #case study #internet #mobile

A Case Study: Behavior Study of Chinese Users on the Internet and Mobile Internet (YY, HL, GD), pp. 585–593.

OCSC-2011-DamianosCD #case study #enterprise #named #network

Handshake: A Case Study for Exploring Business Networking for the Enterprise, Inside and Out (LED, DLC, SD), pp. 162–171.

CAiSE-2011-AsnarPM #case study #design pattern #logic #modelling

Modeling Design Patterns with Description Logics: A Case Study (YA, EP, JM), pp. 169–183.

CAiSE-2011-AuerBKS #case study #process #research

Exploratory Case Study Research on SOA Investment Decision Processes in Austria (LA, EB, NK, CS), pp. 329–336.

CAiSE-2011-Beis #game studies #information management #integration

Total Integration: The Case of Information Systems for Olympic Games (DAB), p. 2.

CAiSE-2011-Guizzardi #concept #ontology

Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts (GG), pp. 138–153.

EDOC-2011-CurleyK #case study #framework #maturity #using

Using the IT Capability Maturity Framework to Improve IT Capability and Value Creation: An Intel IT Case Study (MC, JK), pp. 107–115.

EDOC-2011-HildebrandtMS #design #graph #using

Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs (TTH, RRM, TS), pp. 161–170.

EDOC-2011-TongBKPL #architecture #challenge #embedded #enterprise #industrial #mobile #process

Enterprise Architecture for Addressing Business Transformation Challenges: The Case of Embedded Mobile Provisioning Process in the Telecommunications Industry (MT, HB, MK, JP, GL), pp. 35–43.

ICEIS-v1-2011-EngouangY #case study #information management #named

AVIS — Applied Visa Information System — Case Study for the Embassy of the Gabonese Republic in China (TDE, LY), pp. 197–204.

ICEIS-v2-2011-GuLZBWC #assessment #enterprise #information management #safety

A Case-based Enterprise Information System for Thermal Power Plants’ Safety Assessment (DxG, CyL, CrZ, IB, JW, WeC), pp. 32–39.

ICEIS-v2-2011-Jiang #case study #enterprise #information management

A case Study for Information Management System in Construction Enterprises (JJ), pp. 311–317.

ICEIS-v2-2011-Xu #case study #development #enterprise #information management

Case Study on Development and Application of Information Management Systems in Highway Construction Enterprises (HX), pp. 327–335.

ICEIS-v3-2011-BhuiyanRH #case study #modelling #multi #using

Supporting Business Modeling using Multiple Notations — A Case Study (MB, SR, KH), pp. 301–306.

ICEIS-v3-2011-DoninsO #case study #development #enterprise #modelling

Topological Modeling for Enterprise Data Synchronization System — A Case Study of Topological Model-driven Software Development (UD, JO), pp. 87–96.

ICEIS-v3-2011-LutteriR #case study #enterprise #process

Characterization of Consultant Activities in ERP Projects — A Case Study (EL, BR), pp. 293–300.

ICEIS-v4-2011-AlgarniCL #case study #towards

Towards an Explanatory Model of eMarketplaces Utilization — A Case Study of Saudi Arabia (FA, YC, VCSL), pp. 63–75.

ICEIS-v4-2011-OndoaDS #case study #evaluation #industrial #process

A Cross Industry Evaluation of Critical Success Factors for Alignment of Strategy and Business Processes — A Case Study of SMEs in the Region of Jönköping in Sweden (MNEO, FAD, US), pp. 338–347.

ICEIS-v4-2011-XuF #approach #case study #education #game studies #re-engineering #social

A Case Study: Integrating a Game Application-driven Approach and Social Collaborations into Software Engineering Education (WX, STF), pp. 23–32.

CIKM-2011-HeRSOQ #case study #generative #using

Generating links to background knowledge: a case study using narrative radiology reports (JH, MdR, MS, RCvO, YQ), pp. 1867–1876.

CIKM-2011-KiselevaAB #case study #mining #query

Mining query structure from click data: a case study of product queries (JK, EA, DB), pp. 2217–2220.

ICML-2011-ZhouT #composition #matrix #named #random

GoDec: Randomized Lowrank & Sparse Matrix Decomposition in Noisy Case (TZ, DT), pp. 33–40.

KDD-2011-Boire #case study #data mining #lessons learnt #mining

The practitioner’s viewpoint to data mining: key lessons learned in the trenches and case studies (RB), p. 785.

KDD-2011-NeuvirthOHLKER #case study #personalisation #towards

Toward personalized care management of patients at risk: the diabetes case study (HN, MOF, JH, JL, MSK, SE, MRZ), pp. 395–403.

KDD-2011-PradelSDGRUFD #case study #recommendation

A case study in a recommender system based on purchase data (BP, SS, JD, SG, CR, NU, FFS, FDJ), pp. 377–385.

KDIR-2011-ArmengolP #case study #classification #information management #lazy evaluation #learning

Combining Two Lazy Learning Methods for Classification and Knowledge Discovery — A Case Study for Malignant Melanoma Diagnosis (EA, SP), pp. 200–207.

KDIR-2011-RoleN #case study #metric #similarity #word

Handling the Impact of Low Frequency Events on Co-occurrence based Measures of Word Similarity — A Case Study of Pointwise Mutual Information (FR, MN), pp. 226–231.

KDIR-2011-WongLZYFXKC #case study #segmentation

Time Series Segmentation as a Discovery Tool — A Case Study of the US and Japanese Financial Markets (JCW, GHTL, YZ, WSY, RPF, DYX, JLK, SAC), pp. 52–63.

KEOD-2011-CastellaniLHGMS #knowledge-based

A Knowledge-based System to Support Legal Case Construction (SC, NL, NH, AG, DBM, FS), pp. 15–27.

KEOD-2011-GarridoRM #case study #ontology

Building Brief Ontologies — A Case Study for Floods Management (JG, IR, SM), pp. 28–36.

KEOD-2011-HlomaniGKS #case study #composition #evaluation #framework #ontology

Utilizing a Compositional System Knowledge Framework for Ontology Evaluation — A Case Study on BioSTORM (HH, MGG, DK, DAS), pp. 167–175.

KEOD-2011-OtcenaskovaBC #concept #health #modelling

Conceptual Modelling for Management of Public Health in Case of Emergency Situations (TO, VB, PC), pp. 344–348.

KMIS-2011-Chebel-MorelloHZ #adaptation #modelling #reasoning #using

Adaptation based on Knowledge Models for Diagnostic Systems using Case-base Reasoning (BCM, MKH, NZ), pp. 223–229.

KMIS-2011-GimutaoFD #case study #information management

Knowledge Management and the Corporate Nature of Local Governance — A Case Study from the Philippines (KG, BPF, WD), pp. 363–368.

KMIS-2011-JezekB #case study #deployment #framework #tool support

Extra-functional Properties Framework with Configuration based on Deployment Environment — Tool Demonstration and Case-study (KJ, PB), pp. 322–325.

KMIS-2011-SmirnovSKJSO #case study #industrial

Ontology-driven Product Configuration — Industrial Use Case (AVS, NS, AK, TJ, MS, AO), pp. 38–47.

SEKE-2011-BarrosNHT #case study #natural language #specification

The ucsCNL: A Controlled Natural Language for Use Case Specifications (FAB, LN, EH, DT), pp. 250–253.

SEKE-2011-BoorjessonF #case study #multi #re-engineering

Structuring Software Engineering Case Studies to Cover Multiple Perspectives (EB, RF), pp. 276–281.

SEKE-2011-ColaceS #case study #network

Slow Intelligence System and Network Management: a case study (FC, MDS), pp. 17–24.

SEKE-2011-FerreiraS #behaviour #case study

Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns (DdAF, ARdS), pp. 740–745.

SEKE-2011-GuedesV #analysis #case study #metamodelling #multi #requirements #uml #validation

Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case Study (GTAG, RMV), pp. 746–751.

SEKE-2011-NetoMNAM #product line #testing

Software Product Lines System Test Case Tool: A Proposal (CRLN, IdCM, PAdMSN, ESdA, SRdLM), pp. 699–704.

SEKE-2011-VilainM #agile #case study

Neglecting Agile Principles and Practices: A Case Study (PV, AJBM), pp. 596–601.

SEKE-2011-VilkomirKT #algorithm #case study #interface #testing #using

Interface Testing Using a Subgraph Splitting Algorithm: A Case Study (SV, AAK, NT), pp. 219–224.

ICMT-J-2010-DiskinXC11 #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case (ZD, YX, KC), pp. 137–161.

ECMFA-2011-YueAB #automation #case study #state machine #testing #uml

Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.

MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

MoDELS-2011-DiskinXCEHO #bidirectional #model transformation #symmetry

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case (ZD, YX, KC, HE, FH, FO), pp. 304–318.

MoDELS-2011-ElaasarL #case study #diagrams #uml

Diagram Definition: A Case Study with the UML Class Diagram (ME, YL), pp. 364–378.

PLATEAU-2011-BarisicAGB #case study #domain-specific language #quality

Quality in use of domain-specific languages: a case study (AB, VA, MG, BB), pp. 65–72.

PLATEAU-2011-SadowskiK #case study #evaluation #heuristic #parallel #programming language

Heuristic evaluation of programming language features: two parallel programming case studies (CS, SK), pp. 9–14.

TOOLS-EUROPE-2011-HillsKSV #interpreter #visitor

A Case of Visitor versus Interpreter Pattern (MH, PK, TvdS, JJV), pp. 228–243.

GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification

Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.

LOPSTR-2011-AlbertGR #generative #testing

Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.

RE-2011-BjarnasonWR #case study #communication #development #requirements #scalability

Requirements are slipping through the gaps — A case study on causes & effects of communication gaps in large-scale software development (EB, KW, BR), pp. 37–46.

RE-2011-FailyF #elicitation #requirements #security

Eliciting usable security requirements with misusability cases (SF, IF), pp. 339–340.

RE-2011-McGeeG #case study #evaluation #requirements #taxonomy

Software requirements change taxonomy: Evaluation by case study (SM, DG), pp. 25–34.

RE-2011-RaatikainenMTV #case study #challenge #energy #requirements

Challenges of requirements engineering — A case study in nuclear energy domain (MR, TM, TT, JV), pp. 253–258.

REFSQ-2011-LauesenK #case study

Use Cases versus Task Descriptions (SL, MAK), pp. 106–120.

REFSQ-2011-MarkovHC #case study #industrial #process #requirements

Requirements Engineering Process Improvement: An Industrial Case Study (GAM, AH, OC), pp. 34–47.

REFSQ-2011-PostMP #case study #requirements #strict

Applying Restricted English Grammar on Automotive Requirements — Does it Work? A Case Study (AP, IM, AP), pp. 166–180.

SAC-2011-BabichCPK #abstraction #case study #eclipse #fault #object-oriented #predict #using

Using a class abstraction technique to predict faults in OO classes: a case study through six releases of the Eclipse JDT (DB, PJC, JFP, BMGK), pp. 1419–1424.

SAC-2011-BouidghaghenTB #approach #mobile #reasoning

Inferring situation-based interests for mobile users: a case based reasoning approach (OB, LT, MB), pp. 1166–1167.

SAC-2011-FilhoSM #case study #network #simulation

Policy-driven network simulation: a resilience case study (AESF, PS, AM), pp. 492–497.

SAC-2011-LiuZ11a #analysis #distance #performance #stack #worst-case

Stack distance based worst-case instruction cache performance analysis (YL, WZ), pp. 723–728.

SAC-2011-RamosCAA #case study #modelling #process #towards

Towards the improvement of use case models: the AIRDoc process (RAR, JBdC, JA, FMRA), pp. 708–709.

SAC-2011-YouCXLZ #effectiveness #empirical #testing

An empirical study on the effectiveness of time-aware test case prioritization techniques (DY, ZC, BX, BL, CZ), pp. 1451–1456.

ICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #tool support #using

Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (EF, NR, SS, PM, SG, RG, MB, SKC, JL, VSS, SM, DM, BS, PD), pp. 1016–1018.

ICSE-2011-KamalrudinHG #case study #interactive #quality #requirements #using

Improving requirements quality using essential use case interaction patterns (MK, JGH, JCG), pp. 531–540.

ICSE-2011-KoziolekSBWBKTMK #case study #evolution #industrial #predict #quality

An industrial case study on quality impact prediction for evolving service-oriented software (HK, BS, CGB, RW, SB, KK, MT, RM, AK), pp. 776–785.

ICSE-2011-LaymanBZF #case study #process #safety

A case study of measuring process risk for early insights into software safety (LL, VRB, MVZ, KLF), pp. 623–632.

ICSE-2011-Lee #case study #haskell #refactoring #source code

A case study on refactoring in Haskell programs (DYL), pp. 1164–1166.

ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight

A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.

ICSE-2011-SchmerlGDBC #analysis #case study #design #framework #named

SORASCS: a case study in soa-based platform design for socio-cultural analysis (BRS, DG, VD, MWB, KMC), pp. 643–652.

ICSE-2011-Smith #functional #requirements #security #testing #using

Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.

SLE-2011-StappersWRAN #case study #domain-specific language #formal method #industrial #using

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (FPMS, SW, MAR, SA, IN), pp. 223–242.

ASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #hybrid #memory management #transaction

Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory (LD, FC, SW, YL, MM, MLS, MFS), pp. 39–52.

ASPLOS-2011-HashmiNTL

A case for neuromorphic ISAs (AH, AN, JJT, MHL), pp. 145–158.

HPCA-2011-MadanBBA #manycore #power management

A case for guarded power gating for multi-core processors (NM, AB, PB, MA), pp. 291–300.

ICST-2011-EldhHP #analysis #design #testing

Analysis of Mistakes as a Method to Improve Test Case Design (SE, HH, SP), pp. 70–79.

ICST-2011-EngstromRL #case study #industrial #performance #testing

Improving Regression Testing Transparency and Efficiency with History-Based Prioritization — An Industrial Case Study (EE, PR, AL), pp. 367–376.

ICST-2011-FraserZ #generative #testing

Exploiting Common Object Usage in Test Case Generation (GF, AZ), pp. 80–89.

ICST-2011-GoKKL #approach #generative #testing #variability

A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.

ICST-2011-HemmatiAB #empirical #similarity #testing

Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection (HH, AA, LCB), pp. 327–336.

ICST-2011-Nica #on the #testing #using

On the Improvement of the Mutation Score Using Distinguishing Test Cases (SN), pp. 423–426.

ICST-2011-SprenklePS #case study #modelling #navigation #testing #web

A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications (SS, LLP, LS), pp. 230–239.

CBSE-2010-DietrichS #case study #component #contract #eclipse

Component Contracts in Eclipse — A Case Study (JD, LS), pp. 150–165.

CBSE-2010-HummelA #adaptation #assessment #automation #component #testing

Automated Creation and Assessment of Component Adapters with Test Cases (OH, CA), pp. 166–181.

ECSA-2010-Bashroush #automation #modelling #multi #variability

A NUI Based Multiple Perspective Variability Modeling CASE Tool (RB), pp. 523–526.

ASE-2010-KamalrudinGH #case study #requirements #tool support

Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.

CASE-2010-Hui

Optimal control of bio-attack induced infectious disease dynamics: The case of anthrax (QH), pp. 911–916.

CASE-2010-JeongSM #assessment #design #framework #lifecycle #reasoning

A framework for stepwise life cycle assessment during product design with case-based reasoning (MGJ, HWS, JRM), pp. 118–123.

CASE-2010-ShahNK #case study #optimisation #parallel

CAD-enhanced workspace optimization for parallel manipulators: A case study (HS, MSN, VNK), pp. 816–821.

DAC-2010-SchranzhoferPCTC #analysis #manycore #modelling #resource management #worst-case

Worst-case response time analysis of resource access models in multi-core systems (AS, RP, JJC, LT, MC), pp. 332–337.

DATE-2010-BauerSF #analysis #network #worst-case

Worst-case end-to-end delay analysis of an avionics AFDX network (HB, JLS, CF), pp. 1220–1224.

DATE-2010-BerahaWCK #case study #design #requirements

Leveraging application-level requirements in the design of a NoC for a 4G SoC — a case study (RB, IW, IC, AK), pp. 1408–1413.

DATE-2010-ChouYCDK #case study #design #nondeterminism #scalability

Finding reset nondeterminism in RTL designs — scalable X-analysis methodology and case study (HZC, HY, KHC, DD, SYK), pp. 1494–1499.

DATE-2010-KlobedanzKT0 #analysis #case study #development #modelling

Timing modeling and analysis for AUTOSAR-based software development — a case study (KK, CK, AT, WM), pp. 642–645.

DATE-2010-PellizzoniSCCT #analysis #manycore #memory management

Worst case delay analysis for memory interference in multicore systems (RP, AS, JJC, MC, LT), pp. 741–746.

DATE-2010-SigdelTGPB #case study #evaluation #heuristic #runtime

Evaluation of runtime task mapping heuristics with rSesame — a case study (KS, MT, CG, ADP, KB), pp. 831–836.

HT-2010-LeeB #network #similarity #social

Social networks and interest similarity: the case of CiteULike (DHL, PB), pp. 151–156.

SIGMOD-2010-SatishKCNLKD #performance

Fast sort on CPUs and GPUs: a case for bandwidth oblivious SIMD sort (NS, CK, JC, ADN, VWL, DK, PD), pp. 351–362.

VLDB-2010-ThomsonA #database

The Case for Determinism in Database Systems (AT, DJA), pp. 70–80.

ITiCSE-2010-Kumar #detection #fault #online #testing

The case for error detection support during online testing (ANK), p. 311.

ITiCSE-2010-KyrilovCT #assessment #case study #education #evaluation #online #using

Improving CS education at Wits using an online assessment and evaluation system: a case study (AK, JC, MT), p. 314.

ITiCSE-2010-TuOKKT #learning

Developing verification-driven learning cases (ST, SJO, RK, AK, ST), pp. 58–62.

FASE-2010-GhezziMS #automation #case study #multi #specification #validation

Automatic Cross Validation of Multiple Specifications: A Case Study (CG, AM, GS), pp. 233–247.

CSMR-2010-SanchezNCP #case study #java #refactoring

Refactoring Generics in JAVA: A Case Study on Extract Method (RMS, CLN, YC, FJP), pp. 212–221.

ICPC-2010-ChenR #case study #dependence #feature model #graph #using

Case Study of Feature Location Using Dependence Graph, after 10 Years (KC, VR), pp. 1–3.

ICPC-2010-Elish #case study #design #metric

Exploring the Relationships between Design Metrics and Package Understandability: A Case Study (MOE), pp. 144–147.

ICSM-2010-AryaniPH #analysis #case study #co-evolution #enterprise

Domain-based change propagation analysis: An enterprise system case study (AA, IDP, MH), pp. 1–9.

ICSM-2010-GuptaDKR #case study #implementation

A case study in matching service descriptions to implementations in an existing system (HSG, DD, RK, GMR), pp. 1–10.

ICSM-2010-LiQJW #automation #generative #graph #testing

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.

ICSM-2010-MirzaAghaeiPP #automation #evolution #testing

Automatically repairing test cases for evolving method declarations (MM, FP, MP), pp. 1–5.

MSR-2010-GegickRX #case study #debugging #identification #industrial #mining #security

Identifying security bug reports via text mining: An industrial case study (MG, PR, TX), pp. 11–20.

SCAM-2010-KatsV #aspect-oriented #case study #encapsulation #framework #logic #programming #using

Encapsulating Software Platform Logic by Aspect-Oriented Programming: A Case Study in Using Aspects for Language Portability (LCLK, EV), pp. 147–156.

WCRE-2010-NguyenAH #bias #case study #dataset #debugging

A Case Study of Bias in Bug-Fix Datasets (THDN, BA, AEH), pp. 259–268.

WCRE-2010-ShihabIKIOAHM #case study #debugging #eclipse #predict

Predicting Re-opened Bugs: A Case Study on the Eclipse Project (ES, AI, YK, WMI, MO, BA, AEH, KiM), pp. 249–258.

PEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing

PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.

FLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing

Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.

AFL-J-2008-KlimaP10a

Literally Idempotent Languages and their Varieties — Two Letter Case (OK, LP), pp. 761–780.

CIAA-2010-Maout #design #regular expression

Regular Expressions at Their Best: A Case for Rational Design (VLM), pp. 310–320.

ICALP-v1-2010-JacobsCLM #complexity #on the

On the Complexity of Searching in Trees: Average-Case Minimization (TJ, FC, ESL, MM), pp. 527–539.

CHI-2010-BaileyH #case study #idea #pipes and filters #scalability #what

What’s your idea?: a case study of a grassroots innovation pipeline within a large software company (BPB, EH), pp. 2065–2074.

CHI-2010-DalsgardH #challenge #design

Designing urban media façades: cases and challenges (PD, KH), pp. 2277–2286.

CHI-2010-FlorLJPKC #case study #mobile #process

The case of the disappearing Ox: a field study of mobile activity and context logging (GdlF, PL, MJ, JP, RK, AC), pp. 473–482.

CHI-2010-SaeedPRW #case study #social

Managing nomadic knowledge: a case study of the European social forum (SS, VP, MR, VW), pp. 537–546.

CHI-2010-ZhangQCW #case study #enterprise

A case study of micro-blogging in the enterprise: use, value, and related issues (JZ, YQ, JC, YW), pp. 123–132.

AdaEurope-2010-BritoP #case study #comparative #verification

Program Verification in SPARK and ACSL: A Comparative Case Study (EB, JSP), pp. 97–110.

AdaEurope-2010-GraydonKY #case study #dependence

Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.

CAiSE-2010-HordijkW #case study

Rationality of Cross-System Data Duplication: A Case Study (WH, RW), pp. 68–82.

CAiSE-2010-KielyBF #case study #coordination #development

Coordinating Global Virtual Teams: Building Theory from a Case Study of Software Development (GK, TB, PF), pp. 281–295.

CAiSE-2010-LagunaMC #case study #modelling #on the #question #semantics

On the Semantics of the Extend Relationship in Use Case Models: Open-Closed Principle or Clairvoyance? (MAL, JMM, YC), pp. 409–423.

CAiSE-2010-StalhaneSB #analysis #case study #diagrams #safety #sequence chart

Comparing Safety Analysis Based on Sequence Diagrams and Textual Use Cases (TS, GS, LdB), pp. 165–179.

ICEIS-DISI-2010-CaronD #analysis #case study

What-if Analysis in OLAP — With a Case Study in Supermarket Sales Data (EC, HD), pp. 208–213.

ICEIS-DISI-2010-SantosC #information management #process #reasoning #reuse

Organizational Knowledge Management through Software Process Reuse and Case-based Reasoning (VAS, MIC), pp. 223–228.

ICEIS-DISI-2010-ZhangOCK #case study #data mining #education #mining #student

Use Data Mining to Improve Student Retention in Higher Education — A Case Study (YZ, SO, TC, HK), pp. 190–197.

ICEIS-HCI-2010-Campos #agile #case study #development #interactive

Agile Development of Interactive Installations — Two Case Studies (PC), pp. 174–179.

ICEIS-ISAS-2010-CouturierHT #automation #case study #contract #information management

Engineering Agent-based Information Systems — A Case Study of Automatic Contract Net Systems (VC, MPH, DT), pp. 242–248.

ICEIS-ISAS-2010-KokkinakiV #case study #performance

Performance Management and Control — A Case Study in Mercedes Benz Cyprus (AIK, AV), pp. 321–325.

ICEIS-J-2010-AversanoT #case study #open source #quality

Evaluating the Quality of Free/Open Source Systems: A Case Study (LA, MT), pp. 119–134.

ICEIS-J-2010-KisilevichKLBR #case study

Developing Analytical GIS Applications with GEO-SPADE: Three Success Case Studies (SK, DAK, AL, LB, LR), pp. 495–511.

ICEIS-J-2010-LopesVSS #using

Using Cases, Evidences and Context to Support Decision Making (ECL, VV, ACS, US), pp. 340–356.

ICEIS-SAIC-2010-MaximianoF #case study #mobile

Mobile e-Learning — Support Services Case Study (CM, VBF), pp. 106–113.

CIKM-2010-BundschusBTFK #case study #information management

Digging for knowledge with information extraction: a case study on human gene-disease associations (MB, ABM, VT, LIF, HPK), pp. 1845–1848.

ECIR-2010-HauffHAJ #automation #evaluation

A Case for Automatic System Evaluation (CH, DH, LA, FdJ), pp. 153–165.

ICML-2010-ChengDH10a #classification #multi

Graded Multilabel Classification: The Ordinal Case (WC, KD, EH), pp. 223–230.

ICPR-2010-BelaroussiFTSCP #case study #detection #image

Road Sign Detection in Images: A Case Study (RB, PF, JPT, BS, PC, NP), pp. 484–488.

KDD-2010-DasMSO #algorithm #case study #detection #kernel #learning #multi #safety

Multiple kernel learning for heterogeneous anomaly detection: algorithm and aviation safety case study (SD, BLM, ANS, NCO), pp. 47–56.

KDIR-2010-Bernard #formal method #modelling #reuse

Characterisation, Formalisation and Reuse of Knowledge — Models, Methods and Application Cases (AB), p. 13.

KDIR-2010-Elloumi-ChaabeneMZMS #ontology #semantics

Evolutive Content-based Search System — Semantic Search System based on Case-based-Reasoning and Ontology Enrichment (MEC, NBM, HBZ, AM, DS), pp. 24–34.

KEOD-2010-EastonDR #industrial #modelling #ontology

Railway Modelling — The Case for Ontologies in the Rail Industry (JME, JRD, CR), pp. 257–262.

KEOD-2010-GilCM #case study #evaluation #learning #ontology

A Systemic Methodology for Ontology Learning — An Academic Case Study and Evaluation (RG, LC, MJMB), pp. 206–212.

KEOD-2010-GillespieSC #case study #composition #modelling

Satisfying user Expectations in Ontology-driven Compositional Systems — A Case Study in Fish Population Modeling (MGG, DAS, SSC), pp. 133–143.

KEOD-2010-KorukhovaF #approach #reasoning #synthesis

A Case-based Reasoning Approach to Program Synthesis (YK, NF), pp. 335–338.

KEOD-2010-SlimaniBBHP #case study #empirical #health #ontology

An Ontology Change Management System — An Experiment on a Health Care Case Study (SS, KB, SB, MH, EP), pp. 449–452.

KR-2010-OrtizRS #owl #reasoning #worst-case

Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 (MO, SR, MS).

RecSys-2010-Servan-Schreiber #recommendation

Recommendation analytics: the business view, and the business case (ESS), pp. 215–216.

SEKE-2010-DingWT #aspect-oriented #case study #design

Designing Aspects with Use Cases: A Case Study (JD, CRW, MNHT), pp. 797–803.

SEKE-2010-El-Attar #analysis #case study #precise #robust #security

Developing Precise Misuse Cases with Security Robustness Analysis (MEA), pp. 571–576.

SEKE-2010-LopezN #case study #requirements

Soft Systems in Requirements Engineering: A Case Study (AYL, NN), pp. 38–41.

SEKE-2010-MoserDB #automation #generative #ontology #simulation #testing

Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.

SEKE-2010-PaikariRR #case study #comparative #fault #predict #reasoning #using

A Comparative Study of Attribute Weighting Techniques for Software Defect Prediction Using Case-based Reasoning (EP, MMR, GR), pp. 380–386.

SEKE-2010-PeixotoBRP #case study #implementation #process

A Case Study of Software Process Improvement Implementation (DCCP, VAB, RFR, CIPSP), pp. 716–721.

SEKE-2010-SouzaPB #approach #optimisation #testing

A Constrained Particle Swarm Optimization Approach for Test Case Selection (LSdS, RBCP, FdAB), pp. 259–264.

SEKE-2010-WangXCC #combinator #effectiveness #testing

Cost-Effective Combinatorial Test Case Prioritization for Varying Combination Weights (ZW, BX, LC, ZC), pp. 273–278.

ECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements

Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.

ECMFA-2010-CregutCPFP #animation #framework #generative

Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.

ECMFA-2010-YueBL #approach #automation #case study #diagrams #process

An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.

MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml

Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.

MoDELS-v2-2010-LussenburgSVW #case study #development #modelling #named

Mod4J: A Qualitative Case Study of Model-Driven Software Development (VL, TvdS, JJV, JW), pp. 346–360.

OOPSLA-2010-Forrest #evolution

The case for evolvable software (SF), p. 1.

OOPSLA-2010-RajanKR #composition #concurrent #design pattern

Concurrency by modularity: design patterns, a case in point (HR, SMK, WR), pp. 790–805.

RE-2010-FerrariMSHGS #architecture #case study #prototype #requirements

Requirements Engineering Decisions in the Context of an Existing Architecture: A Case Study of a Prototypical Project (RF, NHM, OS, CH, JG, WS), pp. 79–88.

RE-2010-FrickerG #analysis #case study #comparison #requirements

Comparison of Requirements Hand-off, Analysis, and Negotiation: Case Study (SF, MG), pp. 167–176.

RE-2010-KaindlSN #requirements #reuse #specification

Case-based Reuse with Partial Requirements Specifications (HK, MS, WN), pp. 399–400.

RE-2010-RachevaDSHW #agile #case study #requirements

Do We Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study (ZR, MD, KS, AH, RW), pp. 147–156.

RE-2010-SinhaPTN #analysis #automation #case study #natural language

Extending Automated Analysis of Natural Language Use Cases to Other Languages (AS, AMP, HT, TN), pp. 364–369.

REFSQ-2010-BittnerRW #case study #multi #product line #requirements

A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families (MB, MOR, MW), pp. 173–187.

REFSQ-2010-BrillSK #case study #question #requirements

Videos vs. Use Cases: Can Videos Capture More Requirements under Time Pressure? (OB, KS, EK), pp. 30–44.

REFSQ-2010-BruijnD #ambiguity #case study #natural language #requirements

Ambiguity in Natural Language Software Requirements: A Case Study (FdB, HLD), pp. 233–247.

REFSQ-2010-KarpatiSO #case study #visualisation

Visualizing Cyber Attacks with Misuse Case Maps (PK, GS, ALO), pp. 262–275.

SAC-2010-AversanoGT #case study #process

Measuring the alignment between business processes and software systems: a case study (LA, CG, MT), pp. 2330–2336.

SAC-2010-FotoohiG #approach #behaviour #case study

A supervisory control approach for safe behavior of service robot case study: FRIEND (LF, AG), pp. 1305–1306.

SAC-2010-HadarKPRRS #case study #comprehension #empirical #modelling #requirements

An empirical study of requirements model understanding: Use Case vs. Tropos models (IH, TK, AP, IRB, FR, AS), pp. 2324–2329.

SAC-2010-MustaphaZAG #composition #ontology #semantics #using

Enhancing semantic search using case-based modular ontology (NBM, HBZ, MAA, HHBG), pp. 1438–1439.

SAC-2010-ScheithauerKKHHW #case study #modelling #outsourcing

Business modeling for service engineering: a case study in the IT outsourcing domain (GS, HK, JK, SH, HH, GW), pp. 118–123.

FSE-2010-HemmatiBAA #approach #case study #industrial #modelling #testing

An enhanced test case selection approach for model-based testing: an industrial case study (HH, LCB, AA, SA), pp. 267–276.

FSE-2010-RamasubbuB #case study #evolution #product line

Evolution of a bluetooth test application product line: a case study (NR, RKB), pp. 107–116.

FSE-2010-Rubinov #automation #generative #integration #testing

Generating integration test cases automatically (KR), pp. 357–360.

FSE-2010-WinbladhZR #interactive #modelling #named

iMuse: interactive model-based use-case and storytelling environment (KW, HZ, DJR), pp. 383–384.

ICSE-2010-HuberBRSR #case study #industrial #modelling #performance

Performance modeling in industry: a case study on storage virtualization (NH, SB, CR, JS, RHR), pp. 1–10.

ICSE-2010-KlasEMHG #case study #fault #industrial #metric #predict

Transparent combination of expert and measurement data for defect prediction: an industrial case study (MK, FE, JM, KH, OvG), pp. 119–128.

ICSE-2010-MetayerMTMPCFH #approach #bibliography #case study #re-engineering

Liability in software engineering: overview of the LISE approach and illustration on a case study (DLM, MM, VVTT, EM, MLP, NC, SF, RH), pp. 135–144.

ICSE-2010-RastkarMM #case study #debugging

Summarizing software artifacts: a case study of bug reports (SR, GCM, GM), pp. 505–514.

ICSE-2010-SalgerE #development #information management #specification #testing

Knowledge transfer in global software development: leveraging acceptance test case specifications (FS, GE), pp. 211–214.

LDTA-2010-GiorgettiMTK #case study #java #source code #specification

Specifying generic Java programs: two case studies (AG, CM, ET, OK), p. 8.

SLE-2010-HubauxBHMH #case study #feature model #industrial #modelling

Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies (AH, QB, HH, RM, PH), pp. 337–356.

SPLC-2010-ClementsMB #architecture #elicitation #product line

Eliciting and Capturing Business Goals to Inform a Product Line’s Business Case and Architecture (PCC, JDM, LB), pp. 393–405.

SPLC-2010-Kim #case study #product line

Case Study of Software Product Line Engineering in Insurance Product (JAK), p. 495.

SPLC-2010-SvendsenZLFHMO #case study #product line

Developing a Software Product Line for Train Control: A Case Study of CVL (AS, XZ, RLT, FF, ØH, BMP, GKO), pp. 106–120.

HPDC-2010-HeZKDM #case study

Case study for running HPC applications in public clouds (QH, SZ, BK, DCD, TM), pp. 395–401.

HPDC-2010-LuJB #case study #named

AzureBlast: a case study of developing science applications on the cloud (WL, JJ, RSB), pp. 413–420.

HPDC-2010-PanBM #multi #pipes and filters #query

Parallelizing multiple group-by query in share-nothing environment: a MapReduce study case (JP, YLB, FM), pp. 856–863.

CSL-2010-MartinM #complexity #first-order #logic #similarity

The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case (BM, JM), pp. 426–438.

ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling

Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.

ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing

Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.

ICLP-J-2010-OetschPST #detection #source code

The system Kato: Detecting cases of plagiarism for answer-set programs (JO, JP, MS, HT), pp. 759–775.

ICST-2010-BruckerBKW #generative #policy #testing

Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.

ICST-2010-MadaniPP #case study #testing #towards

Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller (LM, VP, IP), pp. 489–497.

ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard

Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.

ICST-2010-PerrouinSKBT #automation #generative #product line #scalability #testing

Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (GP, SS, JK, BB, YLT), pp. 459–468.

ICST-2010-SinhaSP #automation #case study #named #natural language

Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.

ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface

A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.

ICTSS-2010-DelamareMBT #aspect-oriented #impact analysis #named #testing #weaving

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases (RD, FM, BB, YLT), pp. 250–265.

ICTSS-2010-HemmatiAB #cost analysis #modelling #testing

Reducing the Cost of Model-Based Testing through Test Case Diversity (HH, AA, LCB), pp. 63–78.

ICTSS-2010-WalkinshawBDP #case study #functional #induction #testing

Increasing Functional Coverage by Inductive Testing: A Case Study (NW, KB, JD, JP), pp. 126–141.

ISSTA-2010-DallmeierKMHZ #generative #mining #specification #testing

Generating test cases for specification mining (VD, NK, CM, SH, AZ), pp. 85–96.

TAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation

Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.

QoSA-2009-KoziolekWD #architecture #case study #evolution #industrial #product line

Evolving Industrial Software Architectures into a Software Product Line: A Case Study (HK, RW, JD), pp. 177–193.

WICSA-ECSA-2009-Axelsson #architecture #case study #embedded #industrial #product line

Evolutionary architecting of embedded automotive product lines: An industrial case study (JA), pp. 101–110.

WICSA-ECSA-2009-EklundO #architecture #case study

A case study of the Architecture Business Cycle for an in-vehicle software architecture (UE, CMO), pp. 91–100.

ASE-2009-JiangZCT #adaptation #random testing #testing

Adaptive Random Test Case Prioritization (BJ, ZZ, WKC, THT), pp. 233–244.

ASE-2009-LedruPB #string #testing #using

Using String Distances for Test Case Prioritisation (YL, AP, SB), pp. 510–514.

ASE-2009-MalikGEK #automation #data type #debugging #using

A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.

ASE-2009-WeiglhoferFW #fault #locality #testing #using

Using Spectrum-Based Fault Localization for Test Case Grouping (MW, GF, FW), pp. 630–634.

ASE-2009-ZhangZHZM #named #testing

Jtop: Managing JUnit Test Cases in Absence of Coverage Information (LZ, JZ, DH, LZ, HM), pp. 677–679.

CASE-2009-BalajiGK #case study #using

Selection of a machine tool for FMS using ELECTRE III — a case study (CMB, AG, RK), pp. 171–176.

CASE-2009-Morrison #clustering #modelling #process #tool support

Regular flow line models for semiconductor cluster tools: A case of lot dependent process times (JRM), pp. 561–566.

DAC-2009-GandikotaDTB #modelling #worst-case

Worst-case aggressor-victim alignment with current-source driver models (RG, LD, PT, DB), pp. 13–18.

DAC-2009-ThorolfssonGF #3d #automation #case study #design

Design automation for a 3DIC FFT processor for synthetic aperture radar: a case study (TT, KG, PDF), pp. 51–56.

DAC-2009-XuCWZ

Improving STT MRAM storage density through smaller-than-worst-case transistor sizing (WX, YC, XW, TZ), pp. 87–90.

DAC-2009-ZhangCTL #performance #worst-case

Efficient design-specific worst-case corner extraction for integrated circuits (HZ, THC, MYT, XL), pp. 386–389.

DATE-2009-0001BW #case study #fault #network

Error correction in single-hop wireless sensor networks — A case study (DS, MB, NW), pp. 1296–1301.

DATE-2009-AhoNTK #multi #video

A case for multi-channel memories in video recording (EA, JN, PAT, KK), pp. 934–939.

DATE-2009-BellasiFS #analysis #modelling #multi #power management #predict

Predictive models for multimedia applications power consumption based on use-case and OS level analysis (PB, WF, DS), pp. 1446–1451.

DATE-2009-LeonardiPC #case study #deployment #distributed #embedded #network

A case study in distributed deployment of embedded software for camera networks (FL, AP, LPC), pp. 1006–1011.

DATE-2009-MillbergJ #worst-case

Priority based forced requeue to reduce worst-case latencies for bursty traffic (MM, AJ), pp. 1070–1075.

DATE-2009-PollexKAS #bound #worst-case

Improved worst-case response-time calculations by upper-bound conditions (VP, SK, KA, FS), pp. 105–110.

DATE-2009-TrautmannMBDUDPC #case study #framework #simulation

Simulation framework for early phase exploration of SDR platforms: A case study of platform dimensioning (MT, SM, BB, JD, EU, AD, LVdP, FC), pp. 312–315.

HT-2009-BohojB #collaboration

Collaborative time-based case work (MB, NOB), pp. 141–146.

HT-2009-Mazali #case study

ZEXE.NET, a case study of video-moblog (TM), pp. 381–382.

ICDAR-2009-LapointeB #case study #evaluation #performance #recognition

Issues in Performance Evaluation: A Case Study of Math Recognition (AL, DB), pp. 1355–1359.

PODS-2009-Arge #performance #tutorial #worst-case

Worst-case efficient range search indexing: invited tutorial (LA), pp. 175–176.

SIGMOD-2009-WangYGYTWLP #case study #communication #data mining #mining #mobile #named

MobileMiner: a real world case study of data mining in mobile communication (TW, BY, JG, DY, ST, HW, KL, JP), pp. 1083–1086.

CSEET-2009-BarkerI #case study #education #re-engineering #scalability

IT SPIRAL: A Case Study in Scalable Software Engineering Education (MB, KI), pp. 53–60.

CSEET-2009-ChimalakondaN #automation #case study

Automating an eLearning System — A Case Study (SC, KVN), pp. 150–153.

CSEET-2009-GargV #assessment #case study #re-engineering #tool support

Case Studies as Assessment Tools in Software Engineering Classrooms (KG, VV), pp. 8–11.

CSEET-2009-TaranMSS #authoring #case study #framework #industrial #multi #scalability #using

Using Rich Multimedia Case Studies: Developing a Scalable Authoring Platform for Academia and Industry (GT, RM, RS, AS), pp. 61–68.

CSEET-2009-TaranVG #authoring #case study #education #framework #multi #re-engineering

Multimedia Case Studies in Software Engineering: A Look at MDM CAP: A Case Authoring Platform for Education and Training (GT, VV, KG), pp. 296–297.

ITiCSE-2009-EnglishR #assessment #automation #case study #source code #student #using

Evaluating students’ programs using automated assessment: a case study (JE, TR), p. 371.

ITiCSE-2009-ErkanNO #network #replication #research

Exposure to research through replication of research: a case in complex networks (AE, SN, NO), pp. 114–118.

ITiCSE-2009-Kurkovsky #development #game studies #mobile

Making the case for mobile game development (SK), p. 401.

CSMR-2009-AckermannLD #case study #flexibility #maintenance

Redesign for Flexibility and Maintainability: A Case Study (CA, ML, GD), pp. 259–262.

CSMR-2009-Ghazarian #case study #evolution #source code

A Case Study of Source Code Evolution (AG), pp. 159–168.

CSMR-2009-RompaeyD #testing #traceability

Establishing Traceability Links between Unit Test Cases and Units under Test (BVR, SD), pp. 209–218.

ICPC-2009-FeilkasRJ #architecture #case study #evolution #industrial

The loss of architectural knowledge during system evolution: An industrial case study (MF, DR, EJ), pp. 188–197.

ICPC-2009-SchauerK #concept #source code

A case for concept programs (RS, RKK), pp. 258–262.

ICSM-2009-BrooksM #metric #similarity #testing

Introducing a test suite similarity metric for event sequence-based test cases (PAB, AMM), pp. 243–252.

ICSM-2009-DaraLLST #execution #testing #using

Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.

ICSM-2009-HouW #case study #eclipse #evolution

Analyzing the evolution of user-visible features: A case study with Eclipse (DH, YW), pp. 479–482.

ICSM-2009-ParveenTDM #distributed #execution #framework #testing #towards

Towards a distributed execution framework for JUnit test cases (TP, SRT, ND, PM), pp. 425–428.

ICSM-2009-ZhangZHZM #testing

Prioritizing JUnit test cases in absence of coverage information (LZ, JZ, DH, LZ, HM), pp. 19–28.

STOC-2009-Peikert #problem #worst-case

Public-key cryptosystems from the worst-case shortest vector problem: extended abstract (CP), pp. 333–342.

CIAA-2009-CaoN #case study #protocol

Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.

CIAA-2009-CastiglioneRS #algorithm #on the

On Extremal Cases of Hopcroft’s Algorithm (GC, AR, MS), pp. 14–23.

DLT-2009-BertoniCR #context-free grammar #problem

The Inclusion Problem of Context-Free Languages: Some Tractable Cases (AB, CC, RR), pp. 103–112.

ICALP-v1-2009-ArbitmanNS #performance #worst-case

De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results (YA, MN, GS), pp. 107–118.

ICALP-v2-2009-Boldo #case study #float #verification

Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.

ICALP-v2-2009-Mosk-AoyamaR #analysis #performance #worst-case

Worst-Case Efficiency Analysis of Queueing Disciplines (DMA, TR), pp. 546–557.

FM-2009-DaylightS #case study #design #on the

On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study (EGD, SKS), pp. 273–288.

FM-2009-McIverM #case study #composition #refinement #security

Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.

FM-2009-PlatzerC #case study #verification

Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.

DHM-2009-SummerskillMCGSD #case study #evaluation #using #validation

Validation of the HADRIAN System Using an ATM Evaluation Case Study (SJS, RM, KC, DEG, RES, PD), pp. 727–736.

HCD-2009-AnandBCD #case study #interface

Tailoring Interface for Spanish Language: A Case Study with CHICA System (VA, PGB, AEC, SMD), pp. 398–407.

HCD-2009-AshleyD #case study #design #enterprise #maturity #usability

Usability Maturity: A Case Study in Planning and Designing an Enterprise Application Suite (JA, KD), pp. 579–584.

HCD-2009-CangianoH #case study

Capturing and Restoring the Context of Everyday Work: A Case Study at a Law Office (GRC, JDH), pp. 945–954.

HCD-2009-Cinar #case study #eye tracking #usability #web

Eye Tracking Method to Compare the Usability of University Web Sites: A Case Study (MOÇ), pp. 671–678.

HCD-2009-Komischke #case study #development #experience #user interface

Integrating User Experience into a Software Development Company — A Case Study (TK), pp. 221–229.

HCD-2009-KondoY #case study #security

HCD Case Study for the Information Security Training System (AK, MY), pp. 979–985.

HCD-2009-Kushi #case study #concept #design #interface #process #research #student #video #visualisation

Organized Reframing Process with Video Ethnography: A Case Study of Students’ Design Project for New Interface Concept from Research to Visualization (KK), pp. 239–246.

HCD-2009-LiuL #adaptation #mobile #people

User Value Based Product Adaptation: A Case of Mobile Products for Chinese Urban Elderly People (JL, XL), pp. 492–500.

HCD-2009-LiuLCLW #concept #design #development #mobile #research

Design for China Migrant Workers: A Case of User Research and Mobile Product Concepts Development (XL, JL, JC, YL, XW), pp. 482–491.

HCD-2009-LoveHA #case study #design #industrial #mobile #process #requirements

Accommodating Real User and Organisational Requirements in the Human Centered Design Process: A Case Study from the Mobile Phone Industry (SL, PH, MA), pp. 758–764.

HCI-NT-2009-Bastide #integration #metamodelling

An Integration of Task and Use-Case Meta-models (RB), pp. 579–586.

HCI-NT-2009-MirelW #development #heuristic #tool support

Heuristic Evaluations of Bioinformatics Tools: A Development Case (BM, ZW), pp. 329–338.

HCI-NT-2009-Williams #case study #framework #research

Leveraging a User Research Framework to Guide Research Investments: Windows Vista Case Study (GW), pp. 530–539.

HCI-VAD-2009-CharissisPV #case study #development #interface

Interface Development for Early Notification Warning System: Full Windshield Head-Up Display Case Study (VC, SP, GV), pp. 683–692.

HCI-VAD-2009-KandoganHBM #collaboration #risk management

Studying Reactive, Risky, Complex, Long-Spanning, and Collaborative Work: The Case of IT Service Delivery (EK, EMH, JHB, PPM), pp. 504–513.

HCI-VAD-2009-SancarCITOE #case study #education #validation

Developing a Validation Methodology for Educational Driving Simulators and a Case Study (HS, KÇ, VI, GT, NO, UE), pp. 760–769.

HCI-VAD-2009-SuLHC #learning #mobile

Developing a Usable Mobile Flight Case Learning System in Air Traffic Control Miscommunications (KWS, KYL, PHH, ITC), pp. 770–777.

HIMI-DIE-2009-BruinLB #case study #feedback #how

How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies (RdB, YL, AB), pp. 227–232.

HIMI-II-2009-FagerstromG #case study #contest #design #online #persuasion #web

The Persuasive Effects from Web 2.0 Marketing: A Case Study Investigating the Persuasive Effect from an Online Design Competition (AF, GG), pp. 10–16.

HIMI-II-2009-KarashimaH #case study #information management #scheduling

Implications for Developing Information System on Nursing Administration — Case Study on Nurse Scheduling System - (MK, NH), pp. 529–538.

IDGD-2009-AlsharaA #case study

The Effect of E-Learning on Business Organizations: A UAE Case Study (OKA, MKA), pp. 437–446.

IDGD-2009-ChenCJ #case study #design

A Study of Innovation Design on Taiwan Culture Creative Product — A Case Study of the Facial Mask of Ba Ja Jang (CHC, BCC, CDJ), pp. 337–346.

IDGD-2009-Ellis #case study

A Case Study in Community-Driven Translation of a Fast-Changing Website (DE), pp. 236–244.

IDGD-2009-McCollough #case study #configuration management #quote

“Whose Rule Is It Anyway?” — A Case Study in the Internationalization of User-Configurable Business Rules (MM), pp. 274–282.

OCSC-2009-HaefligerRJK #behaviour #community #rating

Modding as Rating Behavior in Virtual Communities: The Case of Rooster Teeth Productions (SH, PR, PMJ, GvK), pp. 197–206.

OCSC-2009-IsaNM09a #architecture #case study #online

Cultural Prescription vs. User Perception of Information Architecture for Culture Centred Website: A Case Study on Muslim Online User (WARWMI, NLMN, SM), pp. 535–544.

VISSOFT-2009-TeleaV #case study #visual notation

Case study: Visual analytics in software product assessments (ACT, LV), pp. 65–72.

AdaEurope-2009-MarrefB #analysis #worst-case

Predicated Worst-Case Execution-Time Analysis (AM, GB), pp. 134–148.

CAiSE-2009-Ghazarian #case study #fault

A Case Study of Defect Introduction Mechanisms (AG), pp. 156–170.

CAiSE-2009-GottschalkWJAR #case study #configuration management #experience #modelling #process

Configurable Process Models: Experiences from a Municipality Case Study (FG, TACW, MHJV, WMPvdA, MLR), pp. 486–500.

EDOC-2009-ZhuM #case study #refactoring

Refactoring J2EE Application for JBI-Based ESB: A Case Study (WZ, WM), pp. 213–217.

ICEIS-DISI-2009-BergerS #architecture #case study #implementation #named #query

FedDW: A Tool for Querying Federations of Data Warehouses — Architecture, Use Case and Implementation (SB, MS), pp. 113–122.

ICEIS-DISI-2009-Daute #approach #database #maintenance #realtime

Introducing Real-time Business Case Database — An Approach to Improve System Maintenance of Complex Application Landscapes (OD), pp. 202–207.

ICEIS-HCI-2009-GarciaDCBSS #design

Scenario-based Design — An Essential Instrument for an Innovative Target Application — Case Report (LSG, AID, MAC, LCEDB, FS, MSS), pp. 113–117.

ICEIS-HCI-2009-GarciaMDDSCBS #case study #collaboration #community #evaluation #on the #web

On Collaborative Software for Web Communities Evaluation — A Case Study (LSG, DFM, JD, AID, MSS, MAC, LCEDB, FS), pp. 61–65.

ICEIS-ISAS-2009-BelkhatirBB #industrial #process #re-engineering

Business Process Re-engineering in Supply Chains Examining the Case of the Expanding Halal Industry (MB, SB, NB), pp. 77–82.

ICEIS-ISAS-2009-BifflFHM #analysis #automation #evaluation #open source #process #tool support

Evaluation of Case Tool Methods and Processes — An Analysis of Eight Open-source CASE Tools (SB, CF, CH, TM), pp. 41–48.

ICEIS-ISAS-2009-GoebelTGTN #how

RFID in the Supply Chain: How to Obtain a Positive ROI — The Case of Gerry Weber (CG, CT, OG, RT, RN), pp. 95–102.

ICEIS-ISAS-2009-LopesGBF #case study #industrial #ontology #reverse engineering

Reverse Engineering a Domain Ontology to Uncover Fundamental Ontological Distinctions — An Industrial Case Study in the Domain of Oil and Gas Production and Exploration (ML, GG, FAB, RdAF), pp. 262–267.

ICEIS-ISAS-2009-MateoPL #automation #generative #product line #testing

Automatic Generation of Test Cases in Software Product Lines (PRM, MP, BPL), pp. 124–130.

ICEIS-J-2009-CabralRLSCF #agile #case study #information management

A Case Study of Knowledge Management Usage in Agile Software Projects (AYC, MBR, APL, MTS, MC, CF), pp. 627–638.

ICEIS-SAIC-2009-CiuffoI #case study #collaboration #information management #recommendation #using

Using Grids to Support Information Filtering Systems — A Case Study of Running Collaborative Filtering Recommendations on gLite (LNC, EI), pp. 12–18.

ICEIS-SAIC-2009-Haider09a #automation #case study

A Case Study of Automated Inventory Management (AH), pp. 141–148.

ICEIS-SAIC-2009-ZeeshanCS #case study #multi

Influencing Factors for the Adoption of m-Commerce Applications — A Multiple Case Study (SAZ, YC, HS), pp. 53–60.

KDD-2009-ChuPBMPCZ #analysis #behaviour #case study #exclamation

A case study of behavior-driven conjoint analysis on Yahoo!: front page today module (WC, STP, TB, NM, AP, SC, JZ), pp. 1097–1104.

KDD-2009-DundarHBRR #case study #dataset #detection #learning #using

Learning with a non-exhaustive training dataset: a case study: detection of bacteria cultures using optical-scattering technology (MD, EDH, AKB, JPR, BR), pp. 279–288.

KDD-2009-LuoLXZS #case study #classification #information management #towards #web

Towards combining web classification and web information extraction: a case study (PL, FL, YX, YZ, ZS), pp. 1235–1244.

KDD-2009-MohammedFHL #case study

Anonymizing healthcare data: a case study on the blood transfusion service (NM, BCMF, PCKH, CkL), pp. 1285–1294.

KDIR-2009-VillalbaC #biology #case study #classification #generative #reduction

Artificial Data Generation for One-class Classification — A Case Study of Dimensionality Reduction for Text and Biological Data (SDV, PC), pp. 202–210.

KEOD-2009-GarridoR #assessment #information management #representation #requirements #validation

Knowledge Representation in Environmental Impact Assessment — A Case of Study with High Level Requirements in Validation (JG, IR), pp. 412–415.

KEOD-2009-HermidaRMP #case study #modelling #ontology #owl #reuse #uml

Reusing UML Class Models to Generate OWL Ontologies — A Use Case in the Pharmacotherapeutic Domain (JMH, MTRF, AM, MP), pp. 281–286.

KEOD-2009-HotzWKS #ontology #reasoning #retrieval #similarity

Ontology-based Similarity of Software Cases — Applying Ontology Reasoning to Software Retrieval (LH, KW, SK, AS), pp. 183–191.

KMIS-2009-AuerbachH #case study #information management #process

Process Oriented Knowledge Management — IT System and Case Study (MA, AH), pp. 262–265.

KMIS-2009-BahrsH #case study #evaluation #process

KMDL for Innovation and Production Ramp-up Process Evaluation — A Case Study (JB, PH), pp. 280–283.

KMIS-2009-MichelP #concept #education #information management #project management

Knowledge Management Concepts for Training by Project — An Observation of the Case of Project Management Education (CM, PP), pp. 129–134.

KMIS-2009-MottaPR #case study #documentation #elicitation #requirements

User Goal-oriented Requirements Elicitation to Improve Acceptance and Use — A Case Study on Document Management (GM, GP, PR), pp. 153–160.

KMIS-2009-StockerT #case study #enterprise #multi #wiki

Exploring the Value of Enterprise Wikis — A Multiple-Case Study (AS, KT), pp. 5–12.

RecSys-2009-JannachH #case study #effectiveness #internet #mobile #recommendation

A case study on the effectiveness of recommendations in the mobile internet (DJ, KH), pp. 205–208.

SEKE-2009-LiangKS #approach #automation #case study #diagrams

Automatic Class Matching to Compare Extracted Class Diagrams: Approach and Case Study (YL, NAK, RKS), pp. 268–273.

SEKE-2009-LiCQJJ #generative #testing

Generating Test Cases of Composite Services Based on OWL-S and EH-CPN (BL, JC, DQ, SJ, YJ), pp. 350–355.

SEKE-2009-LiuKC #adaptation #case study #random testing #testing

Dynamic Test Profiles in Adaptive Random Testing: A Case Study (HL, FCK, TYC), pp. 418–421.

SEKE-2009-PoloPR #testing

Some Experiments on Test Case Tracebaility (MP, BPL, PRM), pp. 318–321.

SEKE-2009-UllahRG #architecture #case study #design #evaluation #open source #towards

Towards Design and Architectural Evaluation of Product Variants: A Case Study on an Open Source Software System (MIU, GR, VG), pp. 141–146.

SIGIR-2009-ScholerG #evaluation #predict #query

A case for improved evaluation of query difficulty prediction (FS, SG), pp. 640–641.

ECMDA-FA-2009-MilanovicCKWK #case study #industrial #information management #modelling

Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study (NM, MC, RDK, JW, FK), pp. 325–336.

ICMT-2009-VaraVBM #case study #database #development #modelling

Supporting Model-Driven Development of Object-Relational Database Schemas: A Case Study (JMV, BV, VAB, EM), pp. 181–196.

MoDELS-2009-NugrohoC #case study #industrial #modelling #quality #uml

Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.

MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.

MoDELS-2009-NugrohoC #case study #industrial #modelling #quality #uml

Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (AN, MRVC), pp. 181–195.

MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.

GPCE-2009-RadermacherCGT #case study #component #execution #generative #modelling #realtime #specification

Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.

LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards

Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.

RE-2009-OmoronyiaSRFW #case study #developer #navigation #source code #traceability

Use Case to Source Code Traceability: The Developer Navigation View Point (IO, GS, MR, JDF, MW), pp. 237–242.

RE-2009-WangZZJM #approach #case study #feature model #modelling

A Use Case Based Approach to Feature Models’ Construction (BW, WZ, HZ, ZJ, HM), pp. 121–130.

REFSQ-2009-GandhiL #assurance #case study #design #requirements #research

Assurance Case Driven Case Study Design for Requirements Engineering Research (RAG, SWL), pp. 190–196.

REFSQ-2009-HerrmannWP #case study #requirements #specification

Specifying Changes Only — A Case Study on Delta Requirements (AH, AW, BP), pp. 45–58.

REFSQ-2009-WnukRS #architecture #case study #coordination #industrial #requirements

Architecting and Coordinating Thousands of Requirements — An Industrial Case Study (KW, BR, CS), pp. 118–123.

SAC-2009-BatistaR #ad hoc #framework #middleware #mobile #network #specification

High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case (VdFB, NSR), pp. 221–222.

SAC-2009-CatanoW #case study #java #ml #specification

Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.

SAC-2009-ChangLCHK #case study #development #framework #quality

A case study of pattern-based software framework to improve the quality of software development (CHC, CWL, WCC, NLH, CSK), pp. 443–447.

SAC-2009-EckartzDWH #enterprise #how #question

Cross-organizational ERP management: how to create a successful business case? (SE, MD, RW, JvH), pp. 1599–1604.

SAC-2009-LiuZ #distance #performance #stack #worst-case

Exploiting stack distance to estimate worst-case data cache performance (YL, WZ), pp. 1979–1983.

SAC-2009-NetoBFF #case study #interface #multimodal #usability #web

Developing and evaluating web multimodal interfaces — a case study with usability principles (ATN, TJB, RPdMF, KF), pp. 116–120.

SAC-2009-Rittgen #case study #collaboration #comparative #modelling #process

Collaborative modeling of business processes: a comparative case study (PR), pp. 225–230.

SAC-2009-RoeslerHC #case study #distance #learning #multi

A new multimedia synchronous distance learning system: the IVA study case (VR, RH, CHC), pp. 1765–1770.

SAC-2009-SinnigCK #automaton #case study #lts #modelling #semantics

LTS semantics for use case models (DS, PC, FK), pp. 365–370.

ESEC-FSE-2009-VangalaCT #clustering #comparison #execution #testing #using

Test case comparison and clustering using program profiles and static execution (VV, JC, PT), pp. 293–294.

ICSE-2009-BirdNDGM #case study #development #distributed #empirical #quality

Does distributed development affect software quality? An empirical case study of Windows Vista (CB, NN, PTD, HG, BM), pp. 518–528.

ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case

WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.

ICSE-2009-ComanSS #analysis #automation #case study #industrial #metric #re-engineering #using

A case-study on using an Automated In-process Software Engineering Measurement and Analysis system in an industrial environment (IDC, AS, GS), pp. 89–99.

SPLC-2009-BabarIP #agile #architecture #case study #development #industrial #product line

An industrial case of exploiting product line architectures in agile software development (MAB, TI, MP), pp. 171–179.

SPLC-2009-KastnerARRBS #analysis #case study #on the #problem

On the impact of the optional feature problem: analysis and case studies (CK, SA, SSuR, MR, DSB, GS), pp. 181–190.

SPLC-2009-PechKCSH #case study #development #experience #lessons learnt #variability

Variability management in small development organizations: experiences and lessons learned from a case study (DP, JK, RC, CS, DH), pp. 285–294.

PPoPP-2009-BhateleBK #api #case study

Topology aware task mapping techniques: an api and case study (AB, EJB, LVK), pp. 301–302.

ICST-2009-AlmeidaAM #approach #case study #estimation

An Alternative Approach to Test Effort Estimation Based on Use Cases (ERCdA, BTdA, RLdOM), pp. 279–288.

ICST-2009-FraserG #evaluation #generative #model checking #specification #testing

An Evaluation of Model Checkers for Specification Based Test Case Generation (GF, AG), pp. 41–50.

ICST-2009-MouelhiTB #functional #policy #security #testing

Transforming and Selecting Functional Test Cases for Security Policy Testing (TM, YLT, BB), pp. 171–180.

ICST-2009-SilvaAJ #approach #estimation #execution #functional #testing

A Simple Approach for Estimation of Execution Effort of Functional Test Cases (DGeS, BTdA, MJ), pp. 289–298.

ICST-2009-WolovickDQ #execution #optimisation #realtime #testing

Optimizing Probabilities of Real-Time Test Case Execution (NW, PRD, HQ), pp. 446–455.

ISSTA-2009-BotaschanjanH #fault #hardware #modelling #orthogonal #specification

Specifying the worst case: orthogonal modeling of hardware errors (JB, BH), pp. 273–284.

ISSTA-2009-YooHTS #clustering #effectiveness #scalability #testing

Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge (SY, MH, PT, AS), pp. 201–212.

ISSTA-2009-ZhangHGXM #integer #linear #programming #testing #using

Time-aware test-case prioritization using integer linear programming (LZ, SSH, CG, TX, HM), pp. 213–224.

MBT-2009-KrennA #contract #generative #specification #testing

Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.

RTA-2009-SeidlV #protocol

Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case (HS, KNV), pp. 118–132.

TAP-2009-FazlalizadehKAP #constraints #performance #testing

Incorporating Historical Test Case Performance Data and Resource Constraints into Test Case Prioritization (YF, AK, MAA, SP), pp. 43–57.

TestCom-FATES-2009-NunesHM #automation #data flow #fault tolerance #generative #named #testing

OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.

ECSA-2008-AngelovTG #architecture #case study #evaluation #experience #towards

Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case (SA, JJMT, PWPJG), pp. 225–240.

WICSA-2008-LaMantiaCMR #design #evolution #matrix #scalability #using

Analyzing the Evolution of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory: Two Exploratory Cases (MJL, YC, AM, JR), pp. 83–92.

ASE-2008-CabralM #automation #exception

A Case for Automatic Exception Handling (BC, PM), pp. 403–406.

ASE-2008-ShevertalovM #automation #case study #composition #network

A Case Study on the Automatic Composition of Network Application Mashups (MS, SM), pp. 359–362.

CASE-2008-AzarnasabHAF #case study #design

Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.

CASE-2008-FerrariniBV #approach #automation #case study #fault

A pragmatic approach to fault diagnosis in hydraulic circuits for automated machining: A case study (LF, RB, CV), pp. 29–34.

CASE-2008-NummelaUSK #case study #industrial

Exploiting passive UHF RFID in paper industry — Case study: End user (JN, LU, LS, MK), pp. 436–441.

CASE-2008-SunWHRW #case study #effectiveness #identification #monitoring #set

Identification of feature set for effective tool condition monitoring — a case study in titanium machining (JS, YSW, GSH, MR, ZW), pp. 273–278.

DAC-2008-BaertGB #automation #case study #memory management

An automatic scratch pad memory management tool and MPEG-4 encoder case study (RB, EdG, EB), pp. 201–204.

DAC-2008-JinC #benchmark #case study #metric #performance #simulation #statistics #using

Improve simulation efficiency using statistical benchmark subsetting: an ImplantBench case study (ZJ, ACC), pp. 970–973.

DAC-2008-ReshadiGG #case study #design #internet #protocol

C-based design flow: a case study on G.729A for voice over internet protocol (VoIP) (MR, BG, DG), pp. 72–75.

DATE-2008-GizopoulosRMS #case study #fault

Soft Errors: System Effects, Protection Techniques and Case Studies (DG, KR, SM, PS).

DATE-2008-MayAW #case study #design

A Case Study in Reliability-Aware Design: A Resilient LDPC Code Decoder (MM, MA, NW), pp. 456–461.

DATE-2008-SamiiREP #distributed #estimation #realtime #simulation #worst-case

A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems (SS, SR, PE, ZP), pp. 556–561.

HT-2008-Recuero #case study #data flow #social

Information flows and social capital in weblogs: a case study in the brazilian blogosphere (RdCR), pp. 97–106.

SIGMOD-2008-LeeMPKK #database #enterprise #memory management

A case for flash memory ssd in enterprise database applications (SWL, BM, CP, JMK, SWK), pp. 1075–1086.

CSEET-2008-HilburnTS #case study

The DigitalHome Case Study Material (TBH, MT, SS), pp. 279–280.

CSEET-2008-LisboaNAM #case study #education #experience #product line

A Case Study in Software Product: Lines An Educational Experience (LBL, LMN, ESdA, SRdLM), pp. 155–162.

ITiCSE-2008-Armoni #algorithm

Reductive thinking in a quantitative perspective: the case of the algorithm course (MA), pp. 53–57.

ITiCSE-2008-Caldeira #case study #education #sql

Teaching SQL: a case study (CPC), p. 340.

CSMR-2008-GregersenJ

Module Reload through Dynamic Update — The Case of NetBeans (ARG, BNJ), pp. 23–32.

CSMR-2008-SmitSW #case study #documentation #user interface

Use Case Redocumentation from GUI Event Traces (MS, ES, KW), pp. 263–268.

ICSM-2008-He #generative #programming #refinement #testing

Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.

ICSM-2008-HouZXS #testing

Quota-constrained test-case prioritization for regression testing of service-centric systems (SSH, LZ, TX, JS), pp. 257–266.

ICSM-2008-WermelingerYL #architecture #case study #design #evolution

Design principles in architectural evolution: A case study (MW, YY, AL), pp. 396–405.

PEPM-2008-Voigtlander #correctness #proving #theorem

Proving correctness via free theorems: the case of the destroy/build-rule (JV), pp. 13–20.

FLOPS-2008-Lopez-FraguasRS

Rewriting and Call-Time Choice: The HO Case (FJLF, JRH, JSH), pp. 147–162.

AFL-2008-KlimaP

Literally idempotent languages and their varieties — two letter case (OK, LP), pp. 220–231.

FM-2008-VerhulstJM #case study #development #formal method #industrial

An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS (EV, GGdJ, VM), pp. 411–418.

SEFM-2008-Gladisch #branch #generative #testing

Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.

SFM-2008-PaunR #case study #framework #modelling

Membrane Computing as a Modeling Framework. Cellular Systems Case Studies (GP, FJRC), pp. 168–214.

AFP-2008-PlasmeijerAKLN08 #case study

An iTask Case Study: A Conference Management System (RP, PA, PWMK, BL, TvN), pp. 306–329.

CHI-2008-NaamanNK #case study #mobile

Photos on the go: a mobile application case study (MN, RN, VK), pp. 1739–1748.

CHI-2008-NovNY #what

What drives content tagging: the case of photos on Flickr (ON, MN, CY), pp. 1097–1100.

CHI-2008-PererS #case study #data analysis #statistics #visualisation

Integrating statistics and visualization: case studies of gaining clarity during exploratory data analysis (AP, BS), pp. 265–274.

CSCW-2008-PoonTAL #case study #distributed

Context-linked virtual assistants for distributed teams: an astrophysics case study (SSP, RCT, CRA, BL), pp. 361–370.

SOFTVIS-2008-Eichelberger #automation #case study #diagrams #layout #uml

Automatic layout of UML use case diagrams (HE), pp. 105–114.

CAiSE-2008-SienaMLKPS #case study #effectiveness #modelling #traceability

Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability (AS, NAMM, JL, IKK, AP, AS), pp. 182–196.

CAiSE-2008-SofferKW #modelling #ontology #petri net #process #semantics

Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.

CAiSE-2008-ViscusiTS #approach #case study #empirical #using

Strategic Alignment in the Context of e-Services — An Empirical Investigation of the INSTAL Approach Using the Italian eGovernment Initiative Case Study (GV, LHT, CS), pp. 163–166.

EDOC-2008-BoehmCFP #authentication #case study

Federated Authentication and Authorization: A Case Study (OB, JC, MF, OP), pp. 356–362.

ICEIS-AIDSS-2008-JansLV #case study #data mining #mining #reduction

Internal Fraud Risk Reduction — Results of a Data Mining Case Study (MJ, NL, KV), pp. 161–166.

ICEIS-AIDSS-2008-SchmidtV #reasoning #using

Using Case-Based Reasoning to Explain Exceptional Cases (RS, OV), pp. 119–124.

ICEIS-AIDSS-2008-ZimbresBO #automaton #evolution #modelling #network #social

Cellular Automata Based Modeling of the Formation and Evolution of Social Networks: A Case in Dentistry (RAZ, EPZB, PPBdO), pp. 333–339.

ICEIS-DISI-2008-MendezPM #testing

Improving Software Test Strategy with a Method to Specify Test Cases (MSTC) (EMM, MAP, LEM), pp. 159–164.

ICEIS-DISI-2008-TrienekensG #case study #enterprise

Measuring Critical Success Factors in ERP Projects — Results from a Case Study in a SME (JJMT, PvG), pp. 203–209.

ICEIS-HCI-2008-EscalonaTGMTB #development #information management #process #web

A Development Process for Web Geographic Information System — A Case of Study (MJEC, AHTZ, JJG, EM, RdST, MCCB), pp. 112–117.

ICEIS-HCI-2008-FurtadoSFC #case study #communication #design #interactive #requirements #validation

Promoting Communication and Participation through Enactments of Interaction Design Solutions — A Study Case for Validating Requirements for Digital TV (EF, AS, FF, LC), pp. 268–275.

ICEIS-HCI-2008-TrulockH #case study #implementation #web

Assessing the Progress of Implementing Web Accessibility — An Irish Case Study (VT, RH), pp. 105–111.

ICEIS-ISAS2-2008-KillispergerSPS #case study #challenge #design #scalability

Challenges in Software Design in Large Corporations — A Case Study at Siemens AG (PK, MS, GP, TS), pp. 123–128.

ICEIS-J-2008-FolinoGGP08a #modelling #multi #process

Discovering Multi-perspective Process Models: The Case of Loosely-Structured Processes (FF, GG, AG, LP), pp. 130–143.

ICML-2008-DundarWLSR #case study #classification #detection

Polyhedral classifier for target detection: a case study: colorectal cancer (MD, MW, SL, MS, VCR), pp. 288–295.

ICML-2008-Li #approximate #comparison #difference #linear #worst-case

A worst-case comparison between temporal difference and residual gradient with linear function approximation (LL), pp. 560–567.

ICPR-2008-GamboaF #classification #nondeterminism #testing

Uncertainty based classification fusion — a soft-biometrics test case (HG, ALNF), pp. 1–4.

KDD-2008-BoriahKSPK #case study #detection

Land cover change detection: a case study (SB, VK, MS, CP, SAK), pp. 857–865.

KDD-2008-BouguessaDW #exclamation #identification

Identifying authoritative actors in question-answering forums: the case of Yahoo! answers (MB, BD, SW), pp. 866–874.

RecSys-2008-DiasLLEL #case study #personalisation #recommendation

The value of personalised recommender systems to e-business: a case study (MBD, DL, ML, WED, PJGL), pp. 291–294.

SEKE-2008-ChenLMW #algorithm #case study #optimisation #polynomial #problem #verification

Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver (TYC, HL, RGM, DW), pp. 16–21.

SEKE-2008-FraserWW #automaton #testing #using

Using Observer Automata to Select Test Cases for Test Purposes (GF, MW, FW), pp. 709–714.

SEKE-2008-GhezziT #approach #architecture #case study

Choosing a Software Architecture: An Approach and a Case Study (CG, GT), pp. 255–260.

SEKE-2008-Mikolajczak #case study #collaboration #object-oriented #petri net #specification

Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets — a Case Study (BM), pp. 267–272.

SEKE-2008-NakaoaTM #case study #independence #validation #verification

Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems — A Case Study (HN, AT, JM), pp. 167–172.

SEKE-2008-QuNXZ #testing

A Dynamic Adjusting Method for Test Case Prioritization (BQ, CN, BX, XZ), pp. 484–487.

SEKE-2008-ScheithauerW #case study #process

Case Study: Applying Business Process Management Systems (GS, GW), pp. 12–15.

SEKE-2008-ShinP #case study #component #off the shelf #self

A Case Study: Self-managed COTS Component-based Elevator System (MES, FP), pp. 577–580.

SEKE-2008-ZhouRF #case study #component #development #estimation #reuse

Supporting Reusable Component Selection with Use Case Gap-based Development Effort Estimation (XZ, BR, CF), pp. 155–166.

ICMT-2008-FreemanBL #case study #modelling #product line

Lifting Transformational Models of Product Lines: A Case Study (GF, DSB, RGL), pp. 16–30.

MoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation

Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.

MoDELS-2008-SinhaKPW #case study #modelling #requirements #using #validation

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.

MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety

Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.

MoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation

Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.

MoDELS-2008-SinhaKPW #case study #modelling #requirements #using #validation

Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.

MoDELS-2008-StalhaneS #case study #comparison #diagrams #identification #safety

Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams (TS, GS), pp. 721–735.

OOPSLA-2008-KatsBV #bytecode #compilation #normalisation

Mixing source and bytecode: a case for compilation by normalization (LCLK, MB, EV), pp. 91–108.

POPL-2008-TristanL #case study #optimisation #scheduling #validation #verification

Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.

RE-2008-BreauxABD #case study #industrial #requirements

Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility (TDB, AIA, KB, MD), pp. 43–52.

RE-2008-DubocLRW #case study #elicitation #requirements #scalability

A Case Study in Eliciting Scalability Requirements (LD, EL, DSR, TW), pp. 247–252.

RE-2008-FortunaWB #case study #domain model #modelling

Info Cases: Integrating Use Cases and Domain Models (MHF, CMLW, MRSB), pp. 81–84.

RE-2008-NakataniHUKH #case study #elicitation #process #requirements

A Case Study: Requirements Elicitation Processes throughout a Project (TN, SH, NU, KK, MH), pp. 241–246.

SAC-2008-CartaxoANM #embedded #functional #named #testing

LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.

SAC-2008-CeriottiMP #case study #message passing

Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.

SAC-2008-ChalinST #case study #modelling #requirements #transaction

Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.

SAC-2008-DiasSCCA #approach #case study #specification

Elaboration of use case specifications: an approach based on use case fragments (FGD, EAS, MLMC, ALC, AJA), pp. 614–618.

SAC-2008-FerreiraS #case study #requirements #specification

A requirements specification case study with ProjectIT-studio/requirements (DdAF, ARdS), pp. 656–657.

SAC-2008-GruianW #architecture #case study #embedded #java

VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture (FG, MW), pp. 1492–1497.

SAC-2008-HallerGK #ontology #towards

Towards a complete SCM ontology: the case of ontologising RosettaNet (AH, JG, PK), pp. 1467–1473.

SAC-2008-LiZC #case study #mining

Mining disease-specific molecular association profiles from biomedical literature: a case study (JL, XZ, JYC), pp. 1287–1291.

SAC-2008-MotaCFEB #deforestation #evolution #reasoning

Applying case-based reasoning in the evolution of deforestation patterns in the Brazilian Amazonia (JSM, GC, LMGF, MISE, ORFdOB), pp. 1683–1687.

SAC-2008-MutschlerWR #empirical #workflow

Workflow management versus case handling: results from a controlled software experiment (BM, BW, MR), pp. 82–89.

SAC-2008-NardiniMOD #case study

SPEM on test: the SODA case study (EN, AM, AO, ED), pp. 700–706.

SAC-2008-RamanathanKGJ #framework #graph #named #testing

PHALANX: a graph-theoretic framework for test case prioritization (MKR, MK, AG, SJ), pp. 667–673.

SAC-2008-SchobelP #case study #clustering #cpu #kernel #research #scheduling #using

Kernel-mode scheduling server for CPU partitioning: a case study using the Windows research kernel (MS, AP), pp. 1700–1704.

SAC-2008-SomeC #approach #case study #generative

An approach for supporting system-level test scenarios generation from textual use cases (SSS, XC), pp. 724–729.

SAC-2008-VazquezCP #approach #architecture #design #object-oriented #reasoning

A case-based reasoning approach for materializing software architectures onto object-oriented designs (GLV, MRC, JADP), pp. 842–843.

ICSE-2008-GoldschmidtRW #case study #evaluation #maintenance #performance

A case study evaluation of maintainability and performance of persistency techniques (TG, RR, JW), pp. 401–410.

ICSE-2008-MichalikNO #architecture #case study #evaluation

3-step knowledge transition: a case study on architecture evaluation (BM, JRN, MO), pp. 741–748.

ICSE-2008-NagappanMB #case study #empirical #quality

The influence of organizational structure on software quality: an empirical case study (NN, BM, VRB), pp. 521–530.

ICSE-2008-RigbyGS #bibliography #case study #open source

Open source software peer review practices: a case study of the apache server (PCR, DMG, MADS), pp. 541–550.

ICSE-2008-SicardBP #architecture #component #self #using

Using components for architecture-based management: the self-repair case (SS, FB, NDP), pp. 101–110.

ICSE-2008-WhittleWH #case study #execution #modelling #security

Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.

SLE-2008-AlvesV #case study #grammarware

A Case Study in Grammar Engineering (TLA, JV), pp. 285–304.

SLE-2008-GjosaeterIP #case study #named

Sudoku — A Language Description Case Study (TG, IFI, AP), pp. 305–321.

PPoPP-2008-Cameron #case study #parallel

A case study in SIMD text processing with parallel bit streams: UTF-8 to UTF-16 transcoding (RDC), pp. 91–98.

CAV-2008-HolzerSTV #dynamic analysis #generative #metric #named #testing

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.

ICLP-2008-BeniniBM #constraints #multi #policy #programming #resource management #using

Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming (LB, DB, MM), pp. 470–484.

ICLP-2008-OetschT #semantics

Program Correspondence under the Answer-Set Semantics: The Non-ground Case (JO, HT), pp. 591–605.

ICLP-2008-SivaLZ #case study #constraints #database #sql

A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract) (SS, JJL, HZ), pp. 774–778.

ICST-2008-HaslingGB #case study #modelling #requirements #testing #uml #using

Model Based Testing of System Requirements using UML Use Case Models (BH, HG, KB), pp. 367–376.

ICST-2008-MirarabT #approach #empirical #testing

An Empirical Study on Bayesian Network-based Approach for Test Case Prioritization (SM, LT), pp. 278–287.

ICST-2008-OffuttWO #case study #industrial #testing #web

An Industrial Case Study of Bypass Testing on Web Applications (JO, QW, JJO), pp. 465–474.

ICST-2008-SampathBVKK #testing #web

Prioritizing User-Session-Based Test Cases for Web Applications Testing (SS, RCB, GV, VK, AGK), pp. 141–150.

ICST-2008-WeisslederS #automation #ocl #quality #testing

Quality of Automatically Generated Test Cases based on OCL Expressions (SW, BHS), pp. 517–520.

ISSTA-2008-Liblit #debugging #testing

Cooperative debugging with five hundred million test cases (BL), pp. 119–120.

MBT-2008-Jurjens #case study #modelling #security #testing #using

Model-based Security Testing Using UMLsec: A Case Study (JJ), pp. 93–104.

RTA-2008-Schmidt-SchaussM #call-by #finite #nondeterminism #simulation #λ-calculus

A Finite Simulation Method in a Non-deterministic Call-by-Need λ-Calculus with Letrec, Constructors, and Case (MSS, EM), pp. 321–335.

TestCom-FATES-2008-CalameP #case study #html #modelling #testing

Applying Model-Based Testing to HTML Rendering Engines — A Case Study (JRC, JvdP), pp. 250–265.

ASE-2007-LeitnerOZCM #performance #testing

Efficient unit test case minimization (AL, MO, AZ, IC, BM), pp. 417–420.

ASE-2007-LemosBOMMBL #named #reuse #source code #using

CodeGenie: using test-cases to search and reuse source code (OALL, SKB, JO, RSM, PCM, PB, CVL), pp. 525–526.

ASE-2007-MenziesEHFMB #automation #re-engineering

The business case for automated software engineering (TM, OER, JH, MSF, RJM, BWB), pp. 303–312.

DAC-2007-EdwardsL #precise

The Case for the Precision Timed (PRET) Machine (SAE, EAL), pp. 264–265.

DAC-2007-HuangHPBGLyCCJ #case study #design

Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264 (KH, SIH, KP, LBdB, XG, LL, XY, SIC, LC, AAJ), pp. 39–42.

DAC-2007-HuangTKC #analysis #case study #flexibility #reliability

Reliability Analysis for Flexible Electronics: Case Study of Integrated a-Si: H TFT Scan Driver (TCH, HYT, CPK, KTC), pp. 966–969.

DAC-2007-KirnerS #analysis #execution #modelling #worst-case

Modeling the Function Cache for Worst-Case Execution Time Analysis (RK, MS), pp. 471–476.

DAC-2007-ShachamBC #network #power management

The Case for Low-Power Photonic Networks on Chip (AS, KB, LPC), pp. 132–135.

DATE-2007-AitkenI #design #embedded #worst-case

Worst-case design and margin for embedded SRAM (RCA, SI), pp. 1289–1294.

DATE-2007-BloemGJPPW #automation #case study #hardware #interactive #specification #synthesis

Interactive presentation: Automatic hardware synthesis from specifications: a case study (RB, SJG, BJ, NP, AP, MW), pp. 1188–1193.

DATE-2007-SchamannHLB #algorithm #architecture #case study #design #power management

Low power design on algorithmic and architectural level: a case study of an HSDPA baseband digital signal processing system (MS, SH, UL, MB), pp. 1406–1411.

HT-2007-HishamE #case study #interface

Incorporating culture in user-interface: a case study of older adults in malaysia (SH, ADNE), pp. 145–146.

ICDAR-2007-HamzaBB #approach #reasoning

A Case-Based Reasoning Approach for Invoice Structure Extraction (HH, YB, AB), pp. 327–331.

ICDAR-2007-Silva #analysis #documentation #metric #performance

New Metrics for Evaluating Performance in Document Analysis Tasks_Application to the Table Case (ACeS), pp. 481–485.

SIGMOD-2007-ChuBN #approach #relational #set

The case for a wide-table approach to manage sparse relational data sets (EC, JLB, JFN), pp. 821–832.

CSEET-2007-BradySVW #approach #case study #communication #development

Addressing Communication Issues in Software Development: A Case Study Approach (AB, MS, TV, CW), pp. 301–308.

CSEET-2007-GargV #approach #case study #education #effectiveness #re-engineering

A Study of the Effectiveness of Case Study Approach in Software Engineering Education (KG, VV), pp. 309–316.

CSEET-2007-HilburnT #re-engineering

A Case for Software Engineering (TBH, MT), pp. 107–114.

ITiCSE-2007-PapadopoulosDS #education #project management #web

Case-based instruction on the web for teaching software project management (PMP, SND, IS), pp. 136–140.

ITiCSE-2007-VilnerZG #case study #concept #object-oriented #paradigm

Fundamental concepts of CS1: procedural vs. object oriented paradigm — a case study (TV, EZ, JGE), pp. 171–175.

FASE-2007-Lopez-HerrejonA #case study #metric #source code

Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies (RELH, SA), pp. 423–437.

FASE-2007-MirarabT #approach #network #testing

A Prioritization Approach for Software Test Cases Based on Bayesian Networks (SM, LT), pp. 276–290.

FASE-2007-Whittle #case study #precise #specification

Precise Specification of Use Case Scenarios (JW), pp. 170–184.

TACAS-2007-BlomCLOPPDW #analysis #case study #distributed

Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.

WCRE-J-2005-AkersBMEL07 #automation #c++ #case study #component #modelling #program transformation #re-engineering

Case study: Re-engineering C++ component models via automatic program transformation (RLA, IDB, MM, BJE, KRL), pp. 275–291.

CSMR-2007-GuptaSCMRL #case study

A Case Study of Defect-Density and Change-Density and their Progress over Time (AG, OPNS, RC, PM, HR, EL), pp. 7–16.

ICPC-2007-HeldalSS #case study #interactive #visualisation

Scenario Explorer: Interactive Visualization of Use Cases (RH, JS, OS), pp. 241–252.

ICPC-2007-RoyURD #case study #mining

Evaluating Aspect Mining Techniques: A Case Study (CKR, MGU, BR, TRD), pp. 167–176.

ICSM-2007-HindleGH #case study #database

Release Pattern Discovery: A Case Study of Database Systems (AH, MWG, RCH), pp. 285–294.

ICSM-2007-QuCW #case study #combinator #generative #interactive #testing

Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization (XQ, MBC, KMW), pp. 255–264.

MSR-2007-HindleGH #case study #clustering

Release Pattern Discovery via Partitioning: Methodology and Case Study (AH, MWG, RCH), p. 19.

PASTE-2007-ShepherdPV #case study #natural language #program analysis #reverse engineering

Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task (DCS, LLP, KVS), pp. 49–54.

STOC-2007-Holenstein #parallel

Parallel repetition: simplifications and the no-signaling case (TH), pp. 411–419.

STOC-2007-PeikertR #worst-case

Lattices that admit logarithmic worst-case to average-case connection factors (CP, AR), pp. 478–487.

STOC-2007-TalwarW

Balanced allocations: the weighted case (KT, UW), pp. 256–265.

DLT-2007-Pritykin #on the #sequence

On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases (YP), pp. 361–370.

LATA-2007-LenaM #automaton #complexity

Computational Complexity of Dynamical Systems: the case of Cellular Automata (PdL, LM), pp. 211–222.

IFM-2007-SinnigCK #case study #modelling #semantics

Common Semantics for Use Cases and Task Models (DS, PC, FK), pp. 579–598.

SEFM-2007-DengRH #algorithm #execution #object-oriented #source code #symbolic computation #towards

Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs (XD, R, JH), pp. 273–282.

SEFM-2007-SampathRSR #case study #generative #how #using

How to Test Program Generators? A Case Study using flex (PS, ACR, KCS, SR), pp. 80–92.

SEFM-2007-SchmittT #case study #verification

Verifying the Mondex Case Study (PHS, IT), pp. 47–58.

CEFP-2007-KozsikCHKKLNTV #case study #erlang #refactoring

Use Cases for Refactoring in Erlang (TK, ZC, ZH, RK, RK, LL, TN, MT, ANV), pp. 250–285.

AGTIVE-2007-BuchmannDUW #case study #comparative #development #graph transformation #modelling

Model-Driven Software Development with Graph Transformations: A Comparative Case Study (TB, AD, SU, BW), pp. 345–360.

AGTIVE-2007-RensinkDEJKLMSZ #case study #graph transformation #named #tool support

Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.

AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.

AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.

CHI-2007-ButlerZEBHK #case study #design

Work-centered design: a case study of a mixed-initiative scheduler (KAB, JZ, CE, AB, RH, DEK), pp. 747–756.

CHI-2007-DingEKLCSWB #empirical #visual notation

An empirical study of the use of visually enhanced voip audio conferencing: the case of IEAC (XD, TE, WAK, SL, JC, JBS, TVW, WEB), pp. 1019–1028.

CHI-2007-DiSalvoMM #case study #named #research

Mapmover: a case study of design-oriented research into collective expression and constructed publics (CFD, JM, NM), pp. 1249–1252.

DHM-2007-EstevesKZW #case study #industrial #modelling #performance

Applied User Performance Modeling in Industry — A Case Study from Medical Imaging (ME, TK, SZ, AW), pp. 576–585.

DHM-2007-LiZ #framework #modelling #simulation

The Strength Factor in Digital Human Modeling and Simulation: A Case for a New Framework (KL, XZ), pp. 144–146.

DHM-2007-NiuLS07a #case study #multi #representation

A Case Study of Multi-resolution Representation of Heads (JN, ZL, GS), pp. 171–178.

HCI-AS-2007-KimuraTHTAOT #analysis #approach #using

The Analysis of Near-Miss Cases Using Data-Mining Approach (MK, KT, TH, YT, TA, MO, FT), pp. 474–483.

HCI-AS-2007-SekiWYYH #case study #multi

Multiple Viewed Search Engine for an e-Journal — A Case Study on Zoological Science (TS, TW, YY, NY, SH), pp. 989–998.

HCI-AS-2007-SongLH #case study #evaluation #framework #game studies #multi #online #usability

A New Framework of Usability Evaluation for Massively Multi-player Online Game: Case Study of “World of Warcraft” Game (SS, JL, IH), pp. 341–350.

HCI-AS-2007-XiaoCR #authentication #collaboration #learning #process

Support Case-Based Authentic Learning Activities: A Collaborative Case Commenting Tool and a Collaborative Case Builder (LX, JMC, MBR), pp. 371–380.

HCI-IDU-2007-DaimotoAMK #case study #research #safety

Application of Micro-Scenario Method (MSM) to User Research for the Motorcycle’s Informatization — A Case Study for the Information Support System for Safety (HD, SA, MM, MK), pp. 49–57.

HCI-IDU-2007-FujimuraSMKSIMOWFT #case study #why

Why Does IT Support Enjoyment of Elderly Life? — Case Studies Performed in Japan (KF, HS, TM, KK, KiS, YI, SM, KO, TW, YF, TT), pp. 756–764.

HCI-IDU-2007-HanDTE #case study #design #e-commerce #experience

Streamlining Checkout Experience — A Case Study of Iterative Design of a China e-Commerce Site (AH, JD, WT, BE), pp. 796–801.

HCI-IDU-2007-KantolaJ #case study #requirements #usability

Determining High Level Quantitative Usability Requirements: A Case Study (NK, TJ), pp. 536–543.

HCI-IDU-2007-Knapp #case study #experience #modelling #navigation

Mental Models of Chinese and German Users and Their Implications for MMI: Experiences from the Case Study Navigation System (BK), pp. 882–890.

HCI-IDU-2007-KoutsabasisSD #case study #evaluation #usability

Evaluating Usability Evaluation Methods: Criteria, Method and a Case Study (PK, TS, JD), pp. 569–578.

HCI-IDU-2007-TinglingS #case study #programming

Extreme Programming in Action: A Longitudinal Case Study (PT, AS), pp. 242–251.

HCI-IDU-2007-XuQC #case study #design

A Case Study of New Way to Apply Card Sort in Panel Design (YX, XQ, SSC), pp. 289–297.

HCI-IDU-2007-YuY #design

Scenario-Based Product Design, a Real Case (DJY, HJY), pp. 325–330.

HIMI-IIE-2007-IkedaN

Case-Based Snow Clearance Directive Support System for Novice Directors (YI, YN), pp. 893–902.

HIMI-IIE-2007-Quraishy #case study #design #health #how #implementation #information management

How Participation at Different Hierarchical Levels Can Have an Impact on the Design and Implementation of Health Information Systems at the Grass Root Level — A Case Study from India (ZBQ), pp. 128–136.

HIMI-IIE-2007-SoufiM #case study #evaluation #usability #web

Achieving Usability Within E-Government Web Sites Illustrated by a Case Study Evaluation (BS, MCM), pp. 777–784.

HIMI-MTT-2007-LehtoPPL #analysis

Text Analysis of Consumer Reviews: The Case of Virtual Travel Firms (XL, JKP, OP, MRL), pp. 490–499.

HIMI-MTT-2007-PangJCLZ #collaboration

Collaborative Scenario Building: The Case of an “Advertainment” Portal (NLSP, GJ, SC, JL, XZ), pp. 153–162.

HIMI-MTT-2007-ParkK07a #case study #effectiveness #mobile

A Case Study on Effective Application of Inquiry Methods to Find Out Mobile Phone’s New Function (SP, YK), pp. 163–170.

OCSC-2007-Huang #case study #library #social

Integrating Digital Library Resources in Elementary School Classrooms — A Case Study of Social Study Instruction (KHH), pp. 372–374.

OCSC-2007-KanawatiM #approach #information management #network #social

Computing Social Networks for Information Sharing: A Case-Based Approach (RK, MM), pp. 86–95.

OCSC-2007-YusopAIRO #internet #knowledge-based

Rural Internet Centre (RIC) as Catalysts for Building Knowledge-Based Society — The Case of Northern States of Malaysia (NIY, ZMA, HI, RAR, WRSO), pp. 485–490.

CAiSE-2007-DerzsiGKAT #case study

Assessing Feasibility of IT-Enabled Networked Value Constellations: A Case Study in the Electricity Sector (ZD, JG, KK, HA, YHT), pp. 66–80.

CAiSE-2007-EnglebertH #automation #tool support #towards

Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.

ICEIS-AIDSS-2007-DanielsC #benchmark #case study #contest #generative #metric #modelling #performance

Explanation Generation in Business Performance Models — With a Case Study in Competition Benchmarking (HD, EC), pp. 119–128.

ICEIS-DISI-2007-BlaszkowskaPW #case study #traceability

Logistics traceability for supply chain improvement — case study of SMMART project (PB, JP, MW), pp. 599–604.

ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification

Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.

ICEIS-EIS-2007-KornyshovaS #multi #process #re-engineering

Business Process Priorisation with Multicriteria Methods — Case of Business Process Reengineering (EK, CS), pp. 138–143.

ICEIS-EIS-2007-SandkuhlOSSK #case study #experience #industrial #ontology #recommendation

Ontology Construction in Practice — Experiences and Recommendations from Industrial Cases (KS, AÖ, AVS, NS, AK), pp. 250–256.

ICEIS-EIS-2007-SomeN #case study #consistency #requirements #verification

Use Case Based Requirements Verification — Verifying the Consistency between Use Cases and Assertions (SSS, DKN), pp. 190–195.

ICEIS-EIS-2007-ValenteS #case study #identification #process

Process Use Cases: Use Cases Identification (PV, PNMS), pp. 301–307.

ICEIS-EIS-2007-VanderfeestenRA #design #evaluation #workflow

An Evaluation of Case Handling Systems for Product Based Workflow Design (ITPV, HAR, WMPvdA), pp. 39–46.

ICEIS-HCI-2007-SallaberryBLG #case study #evaluation #information retrieval #library #towards

Towards an IE and IR System Dealing with Spatial Information in Digital Libraries — Evaluation Case Study (CS, MB, JL, MG), pp. 190–197.

ICEIS-J-2007-VanderfeestenRA07a #design #workflow

Case Handling Systems as Product Based Workflow Design Support (ITPV, HAR, WMPvdA), pp. 187–198.

ICEIS-SAIC-2007-DrumondGL #case study #modelling #recommendation #specification

A Case Study on the Application of the MAAEM Methodology for the Specification Modeling of Recommender Systems in the Legal Domain (LD, RG, AL), pp. 155–160.

KDD-2007-CurryGLVB #case study #detection #scalability #set

Detecting changes in large data sets of payment card data: a case study (CC, RLG, DL, SV, JB), pp. 1018–1022.

KDD-2007-PandeySGGK #case study #interactive #network #predict

Association analysis-based transformations for protein interaction networks: a function prediction case study (GP, MS, RG, TG, VK), pp. 540–549.

MLDM-2007-ChristiansenD #approach #case study #evaluation #generative #machine learning #testing

A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders (HC, CMD), pp. 742–755.

MLDM-2007-MicarelliS #approach #detection

A Case-Based Approach to Anomaly Intrusion Detection (AM, GS), pp. 434–448.

RecSys-2007-LeinoR #recommendation

Case amazon: ratings and reviews as part of recommendations (JL, KJR), pp. 137–140.

SEKE-2007-CangussuCW #component #evaluation #performance #testing

Reducing the Number of Test Cases for Performance Evaluation of Components (JWC, KMLC, WEW), pp. 145–150.

SEKE-2007-ChenKL #adaptation #on the #random testing #testing

On Test Case Distributions of Adaptive Random Testing (TYC, FCK, HL), pp. 141–144.

SEKE-2007-HofmeisterW #architecture #design #independence #using

Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture (HH, GW), pp. 227–231.

SEKE-2007-HuangL07a #composition #reasoning #using

Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.

SEKE-2007-KearneyP #automation #framework #named #reverse engineering #tool support #uml

REM4j — A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools (SK, JFP), pp. 209–214.

SEKE-2007-LeitaoTB #named #natural language #specification #testing

NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.

SEKE-2007-LimCR #automation #case study #diagrams #documentation #generative #specification

Automatic Generation of Use Case Diagrams from English Specifications Document (NRTL, CTC, JAER), pp. 203–208.

SEKE-2007-MizouniSD #case study #composition #requirements #using

Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.

SEKE-2007-PengJRZ #case study #component #database #product line #reuse

Reuse of Database Access Layer Components in JEE Product Lines: Limitations and a Possible Solution (Case Study) (DP, SJ, DCR, HZ), pp. 308–313.

SEKE-2007-SantosRC #case study #development #ontology

MDA-based Ontology Development: A Study Case (ESdS, CGR, HSC), pp. 616–621.

ECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering #validation

Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.

MoDELS-2007-SmialekBNAS #case study

Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.

MoDELS-2007-SmialekBNAS #case study

Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.

PPDP-2007-FischerK #functional #generative #logic programming #source code #testing

Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.

RE-2007-AlvesRD #case study #challenge #development #game studies #mobile #requirements

Challenges in Requirements Engineering for Mobile Games Development: The Meantime Case Study (CFA, GR, ALGD), pp. 275–280.

RE-2007-KaragiannisMS

Business Process-Based Regulation Compliance: The Case of the Sarbanes-Oxley Act (DK, JM, MS), pp. 315–321.

REFSQ-2007-AlkkiomakiS #architecture #case study #functional #integration #modelling #requirements #uml

Integration Use Cases — An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture (VA, KS), pp. 190–202.

SAC-2007-NunesFA #case study #component #framework #multi

Applying a component-based framework to develop multi-agent environments: case study (CN, MF, HOdA), pp. 37–41.

SAC-2007-SilvaNI #automation #case study

A computation environment for automated negotiation: a case study in electronic tourism (AS, JAN, IIB), pp. 654–658.

ESEC-FSE-2007-Baerisch #modelling #testing

Model-driven test-case construction (SB), pp. 587–590.

ESEC-FSE-2007-GrechanikMP #traceability #using

Recovering and using use-case-diagram-to-source-code traceability links (MG, KSM, DEP), pp. 95–104.

ESEC-FSE-2007-HalfondO #automation #generative #interface #testing #using #web

Improving test case generation for web applications using automated interface discovery (WGJH, AO), pp. 145–154.

ESEC-FSE-2007-LeitnerCOMF #contract #development #testing

Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.

ESEC-FSE-2007-NikolovI #ecosystem #education #re-engineering #research

Building a research university ecosystem: the case of software engineering education at Sofia University (RN, SI), pp. 491–500.

ESEC-FSE-2007-PatelBS #capacity #case study #using

A case study in assessing and improving capacity using an anatomy of good practice (MP, AB, KS), pp. 509–512.

GTTSE-2007-Visser #case study #domain-specific language #named

WebDSL: A Case Study in Domain-Specific Language Engineering (EV), pp. 291–373.

ICSE-2007-CarverKSP #case study #development

Software Development Environments for Scientific and Engineering Software: A Series of Case Studies (JCC, RPK, SES, DEP), pp. 550–559.

ICSE-2007-JensenS #case study #comparative #migration #process

Role Migration and Advancement Processes in OSSD Projects: A Comparative Case Study (CJ, WS), pp. 364–374.

ICSE-2007-Jones #analysis #case study #design #implementation #re-engineering

Bringing the Systems Analysis and Design Course into 21^st Century: A Case Study in Implementing Modern Software Engineering Principles (CGJ), pp. 744–747.

ICSE-2007-TrujilloBD #case study #development #modelling

Feature Oriented Model Driven Development: A Case Study for Portlets (ST, DSB, OD), pp. 44–53.

ICSE-2007-YuanM #feedback #runtime #testing #user interface #using

Using GUI Run-Time State as Feedback to Generate Test Cases (XY, AMM), pp. 396–405.

SPLC-2007-BragancaM #automation #case study #diagrams #feature model #modelling #product line

Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines (AB, RJM), pp. 3–12.

SPLC-2007-KastnerAB #aspectj #case study #implementation #using

A Case Study Implementing Features Using AspectJ (CK, SA, DSB), pp. 223–232.

HPDC-2007-MullerGSF #case study #game studies #multi #online #replication #scalability #using

Scaling multiplayer online games using proxy-server replication: a case study of Quake 2 (JM, SG, TS, SF), pp. 219–220.

LCTES-2007-Kastner #abstract interpretation #analysis #execution #worst-case

Safe worst-case execution time analysis by abstract interpretation of executable code (DK), p. 135.

AMOST-2007-Benz #component #generative #integration #testing

Combining test case generation for component and integration testing (SB), pp. 23–33.

AMOST-2007-FraserW #generative #ltl #model checking #performance #testing #using

Using LTL rewriting to improve the performance of model-checker based test-case generation (GF, FW), pp. 64–74.

AMOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #refinement #testing

Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.

AMOST-2007-WijesekeraASF #model checking #specification #testing

Relating counterexamples to test cases in CTL model checking specifications (DW, PA, LS, GF), pp. 75–84.

ISSTA-2007-YooH #multi #performance #testing

Pareto efficient multi-objective test case selection (SY, MH), pp. 140–150.

MBT-2007-LedruBDA #case study #proving

A Case Study in Matching Test and Proof Coverage (YL, LdB, FD, FA), pp. 73–84.

ASE-2006-NeumullerG #automation #case study #lessons learnt #traceability

Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learned (CN, PG), pp. 145–156.

CASE-2006-DotoliFM #case study #identification #online

On-Line Identification of Discrete Event Systems: a Case Study (MD, MPF, AMM), pp. 405–410.

DAC-2006-NahirZEKR #generative #multi #testing #verification

Scheduling-based test-case generation for verification of multimedia SoCs (AN, AZ, RE, TK, NR), pp. 348–351.

DATE-2006-ChenMBR #case study #design #power management

Circuit-aware device design methodology for nanometer technologies: a case study for low power SRAM design (QC, SM, AB, KR), pp. 983–988.

DATE-2006-GrossschadlIPTV #algorithm #case study #design #encryption #set

Combining algorithm exploration with instruction set design: a case study in elliptic curve cryptography (JG, PI, LP, ST, AKV), pp. 218–223.

DATE-2006-MuraliCRGM #multi #network

A methodology for mapping multiple use-cases onto networks on chips (SM, MC, AR, KG, GDM), pp. 118–123.

DATE-2006-ReyesKBAN #case study #design #modelling #simulation

A unified system-level modeling and simulation environment for MPSoC design: MPEG-4 decoder case study (VR, WK, TB, GA, AN), pp. 474–479.

DATE-DF-2006-NogueraBSA #case study #industrial

Software-friendly HW/SW co-simulation: an industrial case study (JN, LB, NS, LA), pp. 100–105.

CSEET-2006-BurgeT #case study #challenge #education #re-engineering #using

Rising to the Challenge: Using Business-Oriented Case Studies in Software Engineering Education (JEB, DT), pp. 43–50.

CSEET-2006-MeadH #case study #education #re-engineering #requirements #security

Security Requirements Engineering for Software Systems: Case Studies in Support of Software Engineering Education (NRM, EDH), pp. 149–158.

ITiCSE-2006-BrusilovskyL #adaptation #visualisation

WADEIn II: a case for adaptive explanatory visualization (PB, TDL), pp. 48–52.

ITiCSE-2006-Utting #education #java #problem #programming #using

Problems in the initial teaching of programming using Java: the case for replacing J2SE with J2ME (IU), pp. 193–196.

FASE-2006-AichernigD #concurrent #fault #testing

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems (BKA, CCD), pp. 324–338.

CSMR-2006-CostagliolaLDGR #case study #design pattern #visual notation

Case Studies of Visual Language Based Design Patterns Recovery (GC, ADL, VD, CG, MR), pp. 165–174.

CSMR-2006-MarchantTT #case study #industrial #legacy #metric #requirements

A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies (JM, CT, MT), pp. 355–361.

CSMR-2006-WierdaDS #architecture #case study #clustering #using

Using Version Information in Architectural Clustering — A Case Study (AW, ED, LJS), pp. 214–228.

ICSM-2006-BouktifAM #assessment #case study #evolution #feedback #open source #quality

A Feedback Based Quality Assessment to Support Open Source Software Evolution: the GRASS Case Study (SB, GA, EM), pp. 155–165.

ICSM-2006-TonellaAS #ranking #testing #using

Using the Case-Based Ranking Methodology for Test Case Prioritization (PT, PA, AS), pp. 123–133.

ICSM-2006-XingS #case study #eclipse #how #refactoring

Refactoring Practice: How it is and How it Should be Supported — An Eclipse Case Study (ZX, ES), pp. 458–468.

WCRE-2006-GanesanMKY #aspect-oriented #case study #product line #source code

Discovering Organizational Aspects from the Source Code History Log during the Product Line Planning Phase — A Case Study (DG, DM, JK, KY), pp. 211–220.

WCRE-2006-LormansGDSS #case study #industrial #monitoring #requirements #using

Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study (ML, HGG, AvD, RvS, AS), pp. 275–284.

WCRE-2006-Sim #case study

Case Studies for Reverse Engineers (SES), p. 319.

WCRE-2006-ZouG #case study #industrial #maintenance

An Industrial Case Study of Program Artifacts Viewed During Maintenance Tasks (LZ, MWG), pp. 71–82.

FLOPS-2006-Roy #convergence #design

Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place (PVR), pp. 2–12.

ICALP-v2-2006-MicciancioP #encryption #multi

Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption (DM, SP), pp. 70–82.

FM-2006-UmenoL #automaton #case study #protocol #proving #safety #theorem proving #using

Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study (SU, NAL), pp. 64–80.

FM-2006-ZhengWWX #approach #case study #development #formal method #object-oriented #using

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach (YZ, JW, KW, JX), pp. 190–204.

ICFP-2006-BlumeAC #programming

Extensible programming with first-class cases (MB, UAA, WC), pp. 239–250.

IFL-2006-BonenfantFHH #execution #functional #worst-case

Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.

ICGT-2006-HolscherKK #semantics

Autonomous Units and Their Semantics — The Sequential Case (KH, HJK, SK), pp. 245–259.

SIGAda-2006-PlantecS #ada #automation #library #refactoring

Refactoring of an Ada 95 library with a Meta CASE tool (AP, FS), pp. 61–70.

EDOC-2006-TaoYJ #case study #collaboration #development

Business Collaboration Development: A Case Study in Capital Market (ATT, JY, HJ), pp. 449–452.

ICEIS-AIDSS-2006-RamezaniM #case study #design #fuzzy #implementation

Design and Implementation of a Fuzzy Expert Decision Support System for Vendor Selection — Case Study in OIEC Iran (Oil Industerial Engineering and Construction) (MR, GAM), pp. 243–248.

ICEIS-AIDSS-2006-Zenzerovic #reasoning

Utilization of Case-Based Reasoning in Auditing — Determining the Audit Fee (RZ), pp. 182–188.

ICEIS-DISI-2006-Abad-GrauAMHH #case study #enterprise #information management #web

Web Knowledge Management for Small and Medium-Size Enterprises — WebTour: A Case Study from the Tourism Sector (MMAG, FA, RM, MVH, MJH), pp. 239–244.

ICEIS-DISI-2006-PatroARMB #case study #database #information management #integration #using

Databases and Information Systems Integration Using CALOPUS: A Case Study (PKP, PA, MR, RMV, SB), pp. 200–207.

ICEIS-DISI-2006-RinderleBR #framework #process #semantics

A Framework for Semantic Recovery Strategies in Case of Process Activity Failures (SR, SB, MR), pp. 136–143.

ICEIS-HCI-2006-MazieroSGE #case study #evaluation #information management #user interface

Evaluation of User Interfaces for Geographic Information Systems: A Case Study (LPM, CRS, LSG, CdPE), pp. 79–86.

ICEIS-ISAS-2006-DubinskyHTK #agile #analysis #design #development #scalability

System Analysis and Design in a Large-Scale Software Project: The Case of Transition to Agile Development (YD, OH, DT, AK), pp. 11–18.

ICEIS-ISAS-2006-GrimanPGR #architecture #case study #collaboration #evaluation #ontology

An Ontology for Architectural Evaluation — Case Study: Collaboration Systems (AG, MAP, JG, MR), pp. 310–315.

ICEIS-ISAS-2006-RinderleBRB #case study #challenge #process #visualisation

Business Process Visualization — Use Cases, Challenges, Solutions (SR, RB, MR, TB), pp. 204–211.

ICPR-v1-2006-QiDZ #analysis #case study #image #semantics

Semantic Analysis on Medical Images: A Case Study (DQ, ERED, RZ), pp. 1260–1263.

ICPR-v2-2006-MatsakisNW #2d #locality

Object Localization Based on Directional Information: Case of 2D Raster Data (PM, JN, XW), pp. 142–146.

ICPR-v3-2006-TaronGP

Uncertainties-driven Surface Morphing: The case of Photo-realistic Transitions between Facial Expressions (MT, CG, NP), pp. 889–892.

ICPR-v4-2006-RathaCBC #case study

Cancelable Biometrics: A Case Study in Fingerprints (NKR, JHC, RMB, SC), pp. 370–373.

KR-2006-ErdoganL

Actions as Special Cases (STE, VL), pp. 377–388.

KR-2006-GhilardiLW #logic #ontology

Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics (SG, CL, FW), pp. 187–197.

SEKE-2006-KhoshgoftaarH #case study #metric #multi

Multiple Imputation of Software Measurement Data: A Case Study (TMK, JVH), pp. 220–226.

SEKE-2006-LeeK #architecture #case study #framework #re-engineering #verification

Verifying a Software Architecture Reconstruction Framework with a Case Study (SL, SK), pp. 102–107.

SEKE-2006-LinWCS #case study #diagrams #modelling #process #uml

UML and Modeling A Use Case Model and its Transformation to Activity Diagram (XYL, CHW, WCC, CS), pp. 556–561.

SEKE-2006-PauliX #case study #composition #consistency

Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems (JJP, DX), pp. 392–397.

SEKE-2006-SongZDASNVSV #case study #named

SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained A Case Study (MAJS, LEZ, SMD, AA, BS, BMN, RV, TRAS, NV), pp. 631–638.

SEKE-2006-SoundarajanH #case study #evolution

Pattern-Based System Evolution: A Case-Study (NS, JOH), pp. 321–326.

SEKE-2006-SridharHS #case study #component #deployment

Container-Based Component Deployment: A Case Study (NS, JOH, PAGS), pp. 274–277.

MoDELS-2006-CeriaC #case study #development

Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.

MoDELS-2006-MustafizSKV #assessment #case study #modelling

Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.

MoDELS-2006-Staron #case study #development #industrial #modelling

Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.

MoDELS-2006-CeriaC #case study #development

Use Case Driven Iterative Development: Hurdles and Solutions (SC, JJC), pp. 73–82.

MoDELS-2006-MustafizSKV #assessment #case study #modelling

Model-Driven Assessment of Use Cases for Dependable Systems (SM, XS, JK, HV), pp. 558–573.

MoDELS-2006-Staron #case study #development #industrial #modelling

Adopting Model Driven Software Development in Industry — A Case Study at Two Companies (MS), pp. 57–72.

GPCE-2006-ApelB #aspect-oriented #case study

When to use features and aspects?: a case study (SA, DSB), pp. 59–68.

PADL-2006-GouraudG #functional #java #testing #using #virtual machine

Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine (SDG, AG), pp. 1–15.

RE-2006-EbnenasirCK #analysis #case study #fault tolerance #modelling

Use Case-Based Modeling and Analysis of Failsafe Fault-Tolerance (AE, BHCC, SK), pp. 336–337.

RE-2006-El-AttarM #case study #modelling #quality

Matching Antipatterns to Improve the Quality of Use Case Models (MEA, JM), pp. 96–105.

RE-2006-JiangTBM #analysis #biology #case study #data transformation #database #design

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management (LJ, TT, AB, JM), pp. 196–204.

RE-2006-PichlerRW #agile #case study #requirements #risk management #social

Agile Requirements Engineering for a Social Insurance for Occupational Risks Organization: A Case Study (MP, HR, WW), pp. 246–251.

RE-2006-TangL #case study #modelling

Improving the Modeling of Use Case Relationship (JT, DL), pp. 348–351.

RE-2006-TormerIP #assessment #case study #empirical #quality

An Empirical Quality Assessment of Automotive Use Cases (FT, MI, FP, PÖ), pp. 86–95.

RE-2006-Wasson #case study #requirements

A Case Study in Systematic Improvement of Language for Requirements (KSW), pp. 6–15.

RE-2006-WhittleJ #case study #generative #state machine

Generating Hierarchical State Machines from Use Case Charts (JW, PKJ), pp. 16–25.

SAC-2006-BreedenM #internet

Investigating “Internet Crimes Against Children” (ICAC) cases in the state of Florida (BB, JM), pp. 288–292.

SAC-2006-SriplakichBG #automation #distributed #integration #tool support

Supporting transparent model update in distributed CASE tool integration (PS, XB, MPG), pp. 1759–1766.

SAC-2006-Wang #case study #domain-specific language #modelling

Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study (BYW), pp. 1773–1778.

FSE-2006-ElbaumCDD #difference #testing

Carving differential unit test cases from system test cases (SGE, HNC, MBD, JD), pp. 253–264.

ICSE-2006-DistanteCTH #case study #legacy #web

Redesigning legacy applications for the web with UWAT+: a case study (DD, GC, SRT, SH), pp. 482–491.

ICSE-2006-GurbaniGH #case study #development #open source

A case study of a corporate open source development model (VKG, AG, JDH), pp. 472–481.

ICSE-2006-KimKPCKG #case study #development #uml

UML-based service robot software development: a case study (MK, SK, SP, MTC, MK, HG), pp. 534–543.

ICSE-2006-PerrySE #case study

Case studies for software engineers (DEP, SES, SME), pp. 1045–1046.

ICSE-2006-Sakamura #case study #challenge #development #embedded #framework #ubiquitous

Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems (KS), pp. 713–720.

ICSE-2006-WillmorE #approach #database #specification #testing

An intensional approach to the specification of test cases for database applications (DW, SME), pp. 102–111.

SPL-BOOK-2006-BertolinoFGL #case study #product line #requirements #specification #testing

Product Line Use Cases: Scenario-Based Specification and Testing of Requirements (AB, AF, SG, GL), pp. 425–445.

SPL-BOOK-2006-NebutTJ #product line #requirements #testing

System Testing of Product Lines: From Requirements to Test Cases (CN, YLT, JMJ), pp. 447–477.

SPLC-2006-BragancaM #case study #metamodelling #specification #uml #variability

Extending UML 2.0 Metamodel for Complementary Usages of the «extend» Relationship within Use Case Variability Specification (AB, RJM), pp. 123–130.

SPLC-2006-Gomaa #architecture #case study #design #product line #uml

Designing Software Product Lines with UML 2.0: From Use Cases to Pattern-Based Software Architectures (HG), p. 218.

HPCA-2006-ChungCMMCKO #behaviour #parallel #source code #thread #transaction

The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.

HPCA-2006-JaleelMJ #case study #data mining #mining #parallel #performance

Last level cache (LLC) performance of data mining workloads on a CMP — a case study of parallel bioinformatics workloads (AJ, MM, BLJ), pp. 88–98.

HPDC-2006-ChungH #automation #case study #performance #scalability #source code #using

A Case Study Using Automatic Performance Tuning for Large-Scale Scientific Programs (IHC, JKH), pp. 45–56.

HPDC-2006-WeinbergS #game studies

When Jobs Play Nice: The Case For Symbiotic Space-Sharing (JW, AS), pp. 361–362.

PPoPP-2006-SharapovKDCR #case study #estimation #parallel #performance #scalability #top-down

A case study in top-down performance estimation for a large-scale parallel application (IS, RK, GD, RC, MR), pp. 81–89.

AMOST-J-2005-Paradkar06 #case study #detection #effectiveness #fault #generative #modelling #testing

A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques (AMP), pp. 949–959.

CAV-2006-BurckhardtAM #bound #case study #concurrent #data type #memory management #model checking #modelling

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study (SB, RA, MMKM), pp. 489–502.

FATES-RV-2006-SatpathyML #modelling #synthesis #testing

Synthesis of Scenario Based Test Cases from B Models (MS, QAM, JL), pp. 133–147.

ISSTA-2006-ZhangKPWJMZ #analysis

The case for analysis preserving language transformation (XZ, LK, MP, SW, TJ, GM, LZ), pp. 191–202.

MBT-2006-NilssonOM #generative #testing

Test Case Generation for Mutation-based Testing of Timeliness (RN, JO,