BibSLEIGH — Proceedings of the 32nd International Conference on Software Engineering

Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel
Proceedings of the 32nd International Conference on Software Engineering
ICSE, 2010.

@proceedings{ICSE-2010,
	address       = "Cape Town, South Africa",
	editor        = "Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebastián Uchitel",
	isbn          = "978-1-60558-719-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 32nd International Conference on Software Engineering}",
	year          = 2010,
}

Contents (194 items)

ICSE-2010-Sunter: South Africa and the world beyond 2010: the latest scenarios (CS), p. 1.
ICSE-2010-Schneider #exclamation: Beyond hacking: an SOS! (FBS), p. 2.
ICSE-2010-King: Planning for climate change in the 21st century (DK), p. 3.
ICSE-2010-Bodden #analysis #hybrid #performance #type system: Efficient hybrid typestate analysis by determining continuation-equivalent states (EB), pp. 5–14.
ICSE-2010-GabelS #online: Online inference and enforcement of temporal properties (MG, ZS), pp. 15–24.
ICSE-2010-MisailovicSHR #profiling #quality: Quality of service profiling (SM, SS, HH, MCR), pp. 25–34.
ICSE-2010-ZhengL #collaboration #predict #reliability: Collaborative reliability prediction of service-oriented systems (ZZ, MRL), pp. 35–44.
ICSE-2010-SunLWJK #approach #debugging #retrieval: A discriminative model approach for accurate duplicate bug report retrieval (CS, DL, XW, JJ, SCK), pp. 45–54.
ICSE-2010-GuBHS #debugging #question: Has the bug really been fixed? (ZG, ETB, DJH, ZS), pp. 55–64.
ICSE-2010-FerrariBLGFCLTSSRMBM #aspect-oriented #case study #evolution #source code: An exploratory study of fault-proneness in evolving aspect-oriented programs (FCF, RB, OALL, AG, EF, NC, FL, NT, LS, SS, AR, PCM, TVB, JCM), pp. 65–74.
ICSE-2010-UbayashiNT #architecture #contract #design #named: Archface: a contract place where architectural design and code meet together (NU, JN, TT), pp. 75–84.
ICSE-2010-RuscioMMPP #generative: Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
ICSE-2010-AsuncionAT #modelling #topic #traceability: Software traceability with topic modeling (HUA, AUA, RNT), pp. 95–104.
ICSE-2010-LiebigALKS #analysis #product line #variability: An analysis of the variability in forty preprocessor-based software product lines (JL, SA, CL, CK, MS), pp. 105–114.
ICSE-2010-GorschekTA #concept #empirical #object-oriented #scalability #using: A large-scale empirical study of practitioners’ use of object-oriented concepts (TG, EDT, LA), pp. 115–124.
ICSE-2010-BegelKZ #named #repository: Codebook: discovering and exploiting relationships in software repositories (AB, YPK, TZ), pp. 125–134.
ICSE-2010-MetayerMTMPCFH #approach #case study #overview #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-PentaGGA #case study #evolution: An exploratory study of the evolution of software licensing (MDP, DMG, YGG, GA), pp. 145–154.
ICSE-2010-Cleland-HuangCGE #approach #machine learning #requirements: A machine learning approach for tracing regulatory codes to product specific requirements (JCH, AC, MG, JE), pp. 155–164.
ICSE-2010-WurschGRG #developer #natural language #query: Supporting developers with natural language queries (MW, GG, GR, HG), pp. 165–174.
ICSE-2010-FritzM #developer #using: Using information fragments to answer the questions developers ask (TF, GCM), pp. 175–184.
ICSE-2010-LaTozaM #developer #reachability: Developers ask reachability questions (TDL, BAM), pp. 185–194.
ICSE-2010-ZhongTXZW #api #migration #mining: Mining API mapping for language migration (HZ, ST, TX, LZ, QW), pp. 195–204.
ICSE-2010-NitaN #adaptation #api #source code #using: Using twinning to adapt programs to alternative APIs (MN, DN), pp. 205–214.
ICSE-2010-JhaGST #component #synthesis: Oracle-guided component-based program synthesis (SJ, SG, SAS, AT), pp. 215–224.
ICSE-2010-GligoricGJKKM #generative #programming #testing: Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
ICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread: Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
ICSE-2010-ParkVH #concurrent #fault #locality #named #source code: Falcon: fault localization in concurrent programs (SP, RWV, MJH), pp. 245–254.
ICSE-2010-NainarL #adaptation #debugging: Adaptive bug isolation (PAN, BL), pp. 255–264.
ICSE-2010-ArtziDTP #fault #locality #web: Practical fault localization for dynamic web applications (SA, JD, FT, MP), pp. 265–274.
ICSE-2010-DagenaisOBRV: Moving into a new software project landscape (BD, HO, RKEB, MPR, JdV), pp. 275–284.
ICSE-2010-HodaNM #self: Organizing self-organizing teams (RH, JN, SM), pp. 285–294.
ICSE-2010-LimQF #named #network #scalability #social #using: StakeNet: using social networks to analyse the stakeholders of large-scale software projects (SLL, DQ, AF), pp. 295–304.
ICSE-2010-AdamsJH #identification #using: Identifying crosscutting concerns using historical code changes (BA, ZMJ, AEH), pp. 305–314.
ICSE-2010-NguyenNPAN #debugging #object-oriented #source code: Recurring bug fixes in object-oriented programs (TTN, HAN, NHP, JMAK, TNN), pp. 315–324.
ICSE-2010-WuGAK #approach #evolution #framework #hybrid #identification #named: AURA: a hybrid approach to identify framework evolution (WW, YGG, GA, MK), pp. 325–334.
ICSE-2010-ClassenHSLR #model checking #performance #product line #verification: Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.
ICSE-2010-YangL #approach #bound #verification: A cut-off approach for bounded verification of parameterized systems (QY, ML), pp. 345–354.
ICSE-2010-NoriR #empirical #optimisation: An empirical study of optimizations in YOGI (AVN, SKR), pp. 355–364.
ICSE-2010-TreudeS #developer #using: Awareness 2.0: staying aware of projects, developers and tasks using dashboards and feeds (CT, MADS), pp. 365–374.
ICSE-2010-BacchelliLR #source code: Linking e-mails and source code artifacts (AB, ML, RR), pp. 375–384.
ICSE-2010-FritzOMM #source code: A degree-of-knowledge model to capture source code familiarity (TF, JO, GCM, ERMH), pp. 385–394.
ICSE-2010-DemskyL #concurrent #named: Views: object-inspired concurrency control (BD, PL), pp. 395–404.
ICSE-2010-SchaeferPT #architecture #parallel: Engineering parallel applications with tunable architectures (CAS, VP, WFT), pp. 405–414.
ICSE-2010-BurnimS #named #parallel #source code #specification #thread: DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
ICSE-2010-SteimannT #behaviour #constraints #generative: From behaviour preservation to behaviour modification: constraint-based mutant generation (FS, AT), pp. 425–434.
ICSE-2010-ZhangHHXM #question #random: Is operator-based mutant selection superior to random mutant selection? (LZ, SSH, JJH, TX, HM), pp. 435–444.
ICSE-2010-ReisnerSMFP #behaviour #configuration management #evaluation #symbolic computation #using: Using symbolic evaluation to understand behavior in configurable software systems (ER, CS, KKM, JSF, AP), pp. 445–454.
ICSE-2010-BragdonRZKCKCAL #development #ide #paradigm #user interface: Code bubbles: rethinking the user interface paradigm of integrated development environments (AB, SPR, RCZ, SK, WC, JK, CC, FA, JJLJ), pp. 455–464.
ICSE-2010-HolmesW #recommendation: Customized awareness: recommending relevant external change events (RH, RJW), pp. 465–474.
ICSE-2010-GrechanikFXMPC: A search engine for finding highly relevant applications (MG, CF, QX, CM, DP, CMC), pp. 475–484.
ICSE-2010-SahooCA #automation #debugging #empirical: An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.
ICSE-2010-GuoZNM #debugging #empirical #predict: Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows (PJG, TZ, NN, BM), pp. 495–504.
ICSE-2010-RastkarMM #case study #debugging: Summarizing software artifacts: a case study of bug reports (SR, GCM, GM), pp. 505–514.
ICSE-2010-ClauseO #memory management #named: LEAKPOINT: pinpointing the causes of memory leaks (JAC, AO), pp. 515–524.
ICSE-2010-SumnerZWZ #encoding #precise: Precise calling context encoding (WNS, YZ, DW, XZ), pp. 525–534.
ICSE-2010-TorlakC #detection #effectiveness #interprocedural: Effective interprocedural resource leak detection (ET, SC), pp. 535–544.
ICSE-2010-Padua #complexity #effectiveness #performance: Measuring complexity, effectiveness and efficiency in software course projects (WP), pp. 545–554.
ICSE-2010-NordioMM #distributed #outsourcing #re-engineering: Advanced hands-on training for distributed and outsourced software engineering (MN, RM, BM), pp. 555–558.
ICSE-2010-HazzanD #framework #re-engineering: A HOT --- Human, Organizational and Technological --- framework for a software engineering course (OH, YD), pp. 559–566.
ICSE-2010-HumayunBFLA #analysis #development #education #empirical #overview #quality: An empirical analysis of team review approaches for teaching quality software development (AH, WB, GAF, FL, RA), pp. 567–575.
ICSE-2010-SallehMGB #empirical #programming #using: An empirical study of the effects of conscientiousness in pair programming using the five-factor personality model (NS, EM, JCG, GSJB), pp. 577–586.
ICSE-2010-KitchenhamBB #education #re-engineering: The educational value of mapping studies of software engineering literature (BK, PB, DB), pp. 589–598.
ICSE-2010-FendlerW #education #perspective #re-engineering #towards: Towards contextualised software engineering education: an African perspective (JF, HWT), pp. 599–607.
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-GoldsteinSTU #throughput: Improving throughput via slowdowns (MG, OS, RTB, SU), pp. 11–20.
ICSE-2010-PaulischZ #architecture #case study #certification #experience: A role-based qualification and certification program for software architects: an experience report from Siemens (FP, PZ), pp. 21–27.
ICSE-2010-SalgerEH #development #framework #industrial: Assessments in global software development: a tailorable framework for industrial projects (FS, GE, AH), pp. 29–38.
ICSE-2010-WangZ #case study #development #multi #policy: Penalty policies in professional software development practice: a multi-method field study (YW, MZ), pp. 39–47.
ICSE-2010-AschauerDP #evolution #industrial #interactive #modelling: A modeling language’s evolution driven by tight interaction between academia and industry (TA, GD, WP), pp. 49–58.
ICSE-2010-KornstaedtR #development #eclipse #float #framework #platform: Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development (AK, ER), pp. 59–67.
ICSE-2010-ClavreulBJ #legacy: Integrating legacy systems with MDE (MC, OB, JMJ), pp. 69–78.
ICSE-2010-JurgensDFHSWDS #clone detection #detection #quality #question #requirements #specification: Can clone detection support quality assessments of requirements specifications? (EJ, FD, MF, BH, BS, SW, CD, JS), pp. 79–88.
ICSE-2010-WuYR #dependence: Comprehending module dependencies and sharing (YW, RHCY, RR), pp. 89–98.
ICSE-2010-NandaGSCSB #tool support: Making defect-finding tools work for you (MGN, MG, SS, SC, DS, PB), pp. 99–108.
ICSE-2010-ChiappiniCMRRSTV #formal method #set #validation: Formalization and validation of a subset of the European Train Control System (AC, AC, LM, OR, MR, AS, ST, BV), pp. 109–118.
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-GroceHS #evolution #specification #testing: From scripts to specifications: the evolution of a flight software testing effort (AG, KH, MHS), pp. 129–138.
ICSE-2010-HarperZM #case study #concurrent #experience #research: Experiences in initiating concurrency software research efforts (KEH, JZ, SM), pp. 139–148.
ICSE-2010-CarriereKO #architecture #framework: A cost-benefit framework for making architectural decisions in a business context (SJC, RK, IO), pp. 149–157.
ICSE-2010-EsfahaniM #adaptation #network #paradigm #pervasive #self #social: Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems (NE, SM), pp. 159–162.
ICSE-2010-CeccarelliCCP #approach #impact analysis: An eclectic approach for change impact analysis (MC, LC, GC, MDP), pp. 163–166.
ICSE-2010-GuoSZS #empirical #smell: Domain-specific tailoring of code smells: an empirical study (YG, CBS, NZ, FS), pp. 167–170.
ICSE-2010-ErfurthR #aspect-oriented #named #requirements #uml: CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.
ICSE-2010-KumarSS #for free: Can we certify systems for freedom from malware (NVNK, HJS, RKS), pp. 175–178.
ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using: Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ICSE-2010-MusilSWB #education #game studies #prototype #what: Synthesized essence: what game jams teach about prototyping of new software products (JM, AS, DW, SB), pp. 183–186.
ICSE-2010-CalikliBA #analysis #bias #developer #education #experience: An analysis of the effects of company culture, education and experience on confirmation bias levels of software developers and testers (GÇ, ABB, BA), pp. 187–190.
ICSE-2010-ShonleY #composition: Compose & conquer: modularity for end-users (MS, TTY), pp. 191–194.
ICSE-2010-RungtaM #concurrent #debugging #slicing #source code: Slicing and dicing bugs in concurrent programs (NR, EM), pp. 195–198.
ICSE-2010-BencomoWSFL #requirements #runtime: Requirements reflection: requirements as runtime entities (NB, JW, PS, AF, EL), pp. 199–202.
ICSE-2010-DeursenMCZPG #ide #information management #named: Adinda: a knowledgeable, browser-based IDE (AvD, AM, BC, AZ, MP, AG), pp. 203–206.
ICSE-2010-DeLineR #development #towards: Code canvas: zooming towards better development environments (RD, KR), pp. 207–210.
ICSE-2010-SalgerE #development #information management #specification #testing: Knowledge transfer in global software development: leveraging acceptance test case specifications (FS, GE), pp. 211–214.
ICSE-2010-HussainC #data type: Dynamic symbolic data structure repair (IH, CC), pp. 215–218.
ICSE-2010-ChenM #approach #evolution #monitoring #requirements #safety #towards: Towards better support for the evolution of safety requirements via the model monitoring approach (ZC, GM), pp. 219–222.
ICSE-2010-HaiducAM #comprehension #source code #summary: Supporting program comprehension with source code summarization (SH, JA, AM), pp. 223–226.
ICSE-2010-PhamNNWNN #detection: Detecting recurring and similar software vulnerabilities (NHP, TTN, HAN, XW, ATN, TNN), pp. 227–230.
ICSE-2010-TreudeS10a #category theory #lightweight: Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories (CT, MADS), pp. 231–234.
ICSE-2010-HattoriL #collaboration #development #named: Syde: a tool for collaborative software development (LH, ML), pp. 235–238.
ICSE-2010-LimQF10a #analysis #crowdsourcing #named #network #power of #social: StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis (SLL, DQ, AF), pp. 239–242.
ICSE-2010-BangPEMKRP #collaboration #framework #modelling #named: CoDesign: a highly extensible collaborative software modeling framework (JYB, DP, GE, NM, NNK, GMR, SP), pp. 243–246.
ICSE-2010-DeissenboeckHHJ #architecture #assessment #consistency #flexibility: Flexible architecture conformance assessment with ConQAT (FD, LH, BH, EJ), pp. 247–250.
ICSE-2010-Reiss #java #visualisation: Visualizing the Java heap (SPR), pp. 251–254.
ICSE-2010-SavageRP #feature model #named: FLAT³: feature location and textual tracing tool (TS, MR, DP), pp. 255–258.
ICSE-2010-GrechanikFXMPC10a #execution #named: Exemplar: EXEcutable exaMPLes ARchive (MG, CF, QX, CM, DP, CMC), pp. 259–262.
ICSE-2010-LohK #difference #identification #named: LSdiff: a program differencing tool to identify systematic structural differences (AL, MK), pp. 263–266.
ICSE-2010-HenklerMSDN #component #integration #legacy #realtime: Legacy component integration by the Fujaba real-time tool suite (SH, JM, WS, MvD, UN), pp. 267–270.
ICSE-2010-ZhangYZCY #automation #debugging #generative #named: BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.
ICSE-2010-LewisW #fault #monitoring #runtime #using: Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.
ICSE-2010-BaresiM #automation #generative #java #named #testing: TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICSE-2010-SeyffGM #requirements: End-user requirements blogging with iRequire (NS, FG, NAMM), pp. 285–288.
ICSE-2010-LunguL #ecosystem #reverse engineering: The small project observatory: a tool for reverse engineering software ecosystems (ML, ML), pp. 289–292.
ICSE-2010-BragdonRZKCKCAL10a #research: A research demonstration of code bubbles (AB, SPR, RCZ, SK, WC, JK, CC, FA, JJLJ), pp. 293–296.
ICSE-2010-LunaBGR #agile #development #flexibility #testing #web: A flexible tool suite for change-aware test-driven development of web applications (ERL, JB, JG, GR), pp. 297–298.
ICSE-2010-DettenMT #reverse engineering: Reverse engineering with the reclipse tool suite (MvD, MM, DT), pp. 299–300.
ICSE-2010-BianculliBD #evaluation #middleware #named #performance: SOABench: performance evaluation of service-oriented middleware made easy (DB, WB, MLD), pp. 301–302.
ICSE-2010-SongHCSM #modelling #representation #runtime: SM@RT: representing run-time system data as MOF-compliant models (HS, GH, FC, YS, HM), pp. 303–304.
ICSE-2010-GenevesL #source code #xquery: Eliminating dead-code from XQuery programs (PG, NL), pp. 305–306.
ICSE-2010-KoegelH #emf #modelling #named #repository: EMFStore: a model repository for EMF models (MK, JH), pp. 307–308.
ICSE-2010-Hill #execution #integration #modelling #named #testing: CUTS: a system execution modeling tool for realizing continuous system integration testing (JHH), pp. 309–310.
ICSE-2010-DiosDSBCE #development #modelling #named #user interface: SSG: a model-based development environment for smart, security-aware GUIs (MAGdD, CD, MS, DAB, MC, ME), pp. 311–312.
ICSE-2010-HelmingK #automation: Managing iterations with UNICASE (JH, MK), pp. 313–314.
ICSE-2010-SongWXZM #debugging #detection #named: JDF: detecting duplicate bug reports in Jazz (YS, XW, TX, LZ, HM), pp. 315–316.
ICSE-2010-JilaniMLGM #invariant #using: Using invariant functions and invariant relations to compute loop functions (LLJ, OM, AL, WG, AM), pp. 317–318.
ICSE-2010-DoanLMK #mining #named #specification: LM: a miner for scenario-based specifications (TAD, DL, SM, SCK), pp. 319–320.
ICSE-2010-CarzanigaGPP #automation #named #runtime: RAW: runtime automatic workarounds (AC, AG, NP, MP), pp. 321–322.
ICSE-2010-KourieW #re-engineering: Software engineering in South Africa (DGK, BWW), pp. 323–324.
ICSE-2010-Staite #re-engineering: Portable secure identity management for software engineering (CS), pp. 325–326.
ICSE-2010-May #quality: Dynamic service quality and resource negotiation for high-availability service-oriented systems (NRM), pp. 327–328.
ICSE-2010-Lewis #generative #invariant #named #realtime: Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
ICSE-2010-Magdaleno #collaboration #development #process: Balancing collaboration and discipline in software development processes (AMM), pp. 331–332.
ICSE-2010-Marinho #consistency #modelling #ocl #product line #using: A proposal for consistency checking in dynamic software product line models using OCL (FGM), pp. 333–334.
ICSE-2010-Caso #behaviour #re-engineering #validation: Behavioural validation of software engineering artefacts (GdC), pp. 335–336.
ICSE-2010-Badreddin #named #programming language: Umple: a model-oriented programming language (OBB), pp. 337–338.
ICSE-2010-Meedeniya #architecture #evaluation #incremental #modelling #probability: An incremental methodology for quantitative software architecture evaluation with probabilistic models (IM), pp. 339–340.
ICSE-2010-Zhang #product line: Synthesize software product line (XZ), pp. 341–342.
ICSE-2010-Ntshinga: Choreography of intelligent e-services (WLN), pp. 343–344.
ICSE-2010-Pichler #framework #modelling: A framework for handling variants of software models (CP), pp. 345–346.
ICSE-2010-Wassermann #distributed: Improving wide-area distributed system availability (BW), pp. 347–348.
ICSE-2010-Lima #assessment #distributed #risk management: Risk assessment on distributed software projects (AML), pp. 349–350.
ICSE-2010-Rodrigues #3d #approach #architecture #artificial reality #education #named: VisAr3D: an approach to software architecture teaching based on virtual and augmented reality (CSCR), pp. 351–352.
ICSE-2010-Filho #impact analysis: Change impact analysis from business rules (AOF), pp. 353–354.
ICSE-2010-Brondum #architecture #concept #detection: Software architecture for systems of software intensive systems (S3): the concepts and detection of inter-system relationships (JB), pp. 355–356.
ICSE-2010-Chan #approach #formal method #taxonomy #web #web service: Formal methods for web services: a taxonomic approach (KSMC), pp. 357–360.
ICSE-2010-Cruz #case study #fault #metric #predict #uml: Exploratory study of a UML metric for fault prediction (AECC), pp. 361–364.
ICSE-2010-Shaker #feature model #modelling #requirements: Feature-oriented requirements modelling (PS), pp. 365–368.
ICSE-2010-Mattsson #architecture #automation #design: Automatic enforcement of architectural design rules (AM), pp. 369–372.
ICSE-2010-Cordeiro #bound #concurrent #embedded #model checking #multi #smt #thread: SMT-based bounded model checking for multi-threaded software in embedded systems (LC), pp. 373–376.
ICSE-2010-Hattori #collaboration #developer #multi: Enhancing collaboration of multi-developer projects with synchronous changes (LH), pp. 377–380.
ICSE-2010-Ghezzi #analysis #named: SOFAS: software analysis services (GG), pp. 381–384.
ICSE-2010-Bortis #design #formal method #reuse: Informal software design knowledge reuse (GB), pp. 385–388.
ICSE-2010-Treude #collaboration #development: The role of emergent knowledge structures in collaborative software development (CT), pp. 389–392.
ICSE-2010-Herzig #impact analysis: Capturing the long-term impact of changes (KSH), pp. 393–396.
ICSE-2010-Schroter #recommendation: Failure preventing recommendations (AS), pp. 397–400.
ICSE-2010-Popescu #component #impact analysis: Impact analysis for event-based components and systems (DP), pp. 401–404.
ICSE-2010-Farias #design #empirical #evaluation #modelling: Empirical evaluation of effort on composing design models (KF), pp. 405–408.
ICSE-2010-Nagappan #analysis #execution: Analysis of execution log files (MN), pp. 409–412.
ICSE-2010-Roy #towards #web #web service: Towards end-user enabled web service consumption for Mashups (MR), pp. 413–416.
ICSE-2010-Ma #analysis #constraints #testing #theorem proving: Constraint solving techniques for software testing and analysis (FM), pp. 417–420.
ICSE-2010-Malik #analysis: A methodology to support load test analysis (HM), pp. 421–424.
ICSE-2010-BudnikCK #automation #testing #theory and practice: Bridging the Gap Between the Theory and Practice of Software Test Automation (CJB, WKC, GMK), pp. 445–446.
ICSE-2010-SutcliffeT #people #problem #requirements: Analysing “people” problems in requirements engineering (AGS, ST), pp. 469–470.
ICSE-2010-MedvidovicT #architecture #theory and practice: Software architecture: foundations, theory, and practice (NM, RNT), pp. 471–472.
ICSE-2010-RumpeSVW #development #generative: Generative software development (BR, MS, SV, IW), pp. 473–474.
ICSE-2010-TaiNLK: Cloud service engineering (ST, JN, AL, MK), pp. 475–476.
ICSE-2010-SridharanN #data analysis #re-engineering: Bayesian methods for data analysis in software engineering (MS, ASN), pp. 477–478.
ICSE-2010-Erdogmus #analysis #effectiveness #re-engineering: Cost effectiveness analysis in software engineering (HE), pp. 479–480.
ICSE-2010-HazzanD10a #agile #tutorial: Coaching agile software projects: tutorial proposal — ICSE 2010 (OH, YD), pp. 481–482.
ICSE-2010-TillmannHX #testing #theory and practice: Parameterized unit testing: theory and practice (NT, JdH, TX), pp. 483–484.
ICSE-2010-Moody #approach #design #physics #re-engineering #visual notation: The “physics” of notations: a scientific approach to designing visual notations in software engineering (DLM), pp. 485–486.
ICSE-2010-PankratiusTH #challenge #manycore #re-engineering: Multicore software engineering: the next challenge in software engineering (VP, WFT, PH), p. 487.
ICSE-2010-Firesmith #requirements #summary #tutorial: Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.
ICSE-2010-SharpdD #re-engineering #research #using: Using ethnographic methods in software engineering research (HS, CRBdS, YD), pp. 491–492.
ICSE-2010-Wieringa #design: Design science methodology: principles and practice (RW), pp. 493–494.
ICSE-2010-CohenU #combinator #design: Combinatorial test design in practice (MBC, SU), pp. 495–496.
ICSE-2010-Kruchten #agile #architecture #development #question: Software architecture and agile software development: a clash of two cultures? (PK), pp. 497–498.
ICSE-2010-DeissenboeckHJ #clone detection #detection: Code clone detection in practice (FD, BH, EJ), pp. 499–500.
ICSE-2010-BoehmL #incremental #process: New processes for new horizons: the incremental commitment model (BWB, JAL), pp. 501–502.
ICSE-2010-HassanX #mining #re-engineering: Mining software engineering data (AEH, TX), pp. 503–504.
ICSE-2010-Caso10a #behaviour #re-engineering #validation: Behavioural validation of software engineering artefacts (GdC), pp. 505–506.
ICSE-2010-Elmas #abstraction #concurrent #named #proving #reduction #verification: QED: a proof system based on reduction and abstraction for the static verification of concurrent software (TE), pp. 507–508.
ICSE-2010-Hoste #abstraction #multi #re-engineering: Software engineering abstractions for the multi-touch revolution (LH), pp. 509–510.
ICSE-2010-Schroter10a #developer #interactive #predict: Predicting build outcome with developer interaction in Jazz (AS), pp. 511–512.
ICSE-2010-Gysin #code search #social: Improved social trustability of code search results (FSG), pp. 513–514.
ICSE-2010-Goldman #programming #testing: Test-driven roles for pair programming (MG), pp. 515–516.
ICSE-2010-Malavolta #architecture #generative: Providing support for creating next generation software architecture languages (IM), pp. 517–518.
ICSE-2010-Rakamaric #concurrent #named #source code: STORM: static unit checking of concurrent programs (ZR), pp. 519–520.
ICSE-2010-Soares #refactoring: Making program refactoring safer (GLS), pp. 521–522.
ICSE-2010-Fritz: Staying aware of relevant feeds in context (TF), pp. 523–524.
ICSE-2010-Bragdon: Developing and evaluating the code bubbles metaphor (AB), pp. 525–526.
ICSE-2010-Rastkar: Summarizing software concerns (SR), pp. 527–528.
ICSE-2010-DAmbros #commit #visualisation: Commit 2.0: enriching commit comments with visualization (MD), pp. 529–530.
ICSE-2010-Popescu10a #component #impact analysis #named: Helios: impact analysis for event-based components and systems (DP), pp. 531–532.

Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián UchitelProceedings of the 32nd International Conference on Software EngineeringICSE, 2010.

Contents (194 items)

Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel
Proceedings of the 32nd International Conference on Software Engineering
ICSE, 2010.