Proceedings of the 32nd International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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 (, 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
FLAT3: 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.