X-PERT: Accurate identification of cross-browser issues in web applications (Englisch)
- Neue Suche nach: Choudhary, Shauvik Roy
- Neue Suche nach: Prasad, Mukul R.
- Neue Suche nach: Orso, Alessandro
- Neue Suche nach: Choudhary, Shauvik Roy
- Neue Suche nach: Prasad, Mukul R.
- Neue Suche nach: Orso, Alessandro
In:
2013 35th International Conference on Software Engineering (ICSE)
;
702-711
;
2013
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:X-PERT: Accurate identification of cross-browser issues in web applications
-
Beteiligte:
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.05.2013
-
Format / Umfang:917107 byte
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
[Front cover]| 2013
- 1
-
[Front matter]| 2013
- 1
-
Contents| 2013
- 3
-
Automatic synthesis of modular connectors via composition of protocol mediation patternsInverardi, Paola / Tivoli, Massimo et al. | 2013
- 13
-
Robust reconfigurations of component assembliesBoyer, Fabienne / Gruber, Olivier / Pous, Damien et al. | 2013
- 23
-
Drag-and-drop refactoring: Intuitive and efficient program transformationLee, Yun Young / Chen, Nicholas / Johnson, Ralph E. et al. | 2013
- 33
-
Managing non-functional uncertainty via model-driven adaptivityGhezzi, Carlo / Pinto, Leandro Sales / Spoletini, Paola / Tamburrelli, Giordano et al. | 2013
- 43
-
GuideArch: Guiding the exploration of architectural solution space under uncertaintyEsfahani, Naeem / Malek, Sam / Razavi, Kaveh et al. | 2013
- 53
-
Coupling software architecture and human architecture for collaboration-aware system adaptationDorn, Christoph / Taylor, Richard N. et al. | 2013
- 63
-
Learning revised models for planning in adaptive systemsSykes, Daniel / Corapi, Domenico / Magee, Jeff / Kramer, Jeff / Russo, Alessandra / Inoue, Katsumi et al. | 2013
- 72
-
RERAN: Timing- and touch-sensitive record and replay for AndroidGomez, Lorenzo / Neamtiu, Iulian / Azim, Tanzirul / Millstein, Todd et al. | 2013
- 82
-
Inferring likely mappings between APIsGokhale, Amruta / Ganapathy, Vinod / Padmanaban, Yogesh et al. | 2013
- 92
-
Estimating mobile application energy consumption using program analysisHao, Shuai / Li, Ding / Halfond, William G. J. / Govindan, Ramesh et al. | 2013
- 102
-
Observable modified condition/decision coverageWhalen, Michael / Gay, Gregory / You, Dongjiang / Heimdahl, Mats P. E. / Staats, Matt et al. | 2013
- 112
-
Creating a shared understanding of testing culture on a social coding sitePham, Raphael / Singer, Leif / Liskin, Olga / Filho, Fernando Figueira / Schneider, Kurt et al. | 2013
- 122
-
Billions and billions of constraints: Whitebox fuzz testing in productionBounimova, Ella / Godefroid, Patrice / Molnar, David et al. | 2013
- 132
-
Feedback-directed unit test generation for C/C++ using concolic executionGarg, Pranav / Ivancic, Franjo / Balakrishnan, Gogul / Maeda, Naoto / Gupta, Aarti et al. | 2013
- 142
-
A learning-based method for combining testing techniquesCotroneo, Domenico / Pietrantuono, Roberto / Russo, Stefano et al. | 2013
- 152
-
Human performance regression testingSwearngin, Amanda / Cohen, Myra B. / John, Bonnie E. / Bellamy, Rachel K. E. et al. | 2013
- 162
-
Guided test generation for web applicationsThummalapenta, Suresh / Lakshmi, K. Vasanta / Sinha, Saurabh / Sinha, Nishant / Chandra, Satish et al. | 2013
- 172
-
Comparing Multi-Point Stride Coverage and dataflow coverageHassan, Mohammad Mahdi / Andrews, James H. et al. | 2013
- 182
-
Interaction-based test-suite minimizationBlue, Dale / Segall, Itai / Tzoref-Brill, Rachel / Zlotnick, Aviad et al. | 2013
- 192
-
Bridging the gap between the total and additional test-case prioritization strategiesZhang, Lingming / Hao, Dan / Zhang, Lu / Rothermel, Gregg / Mei, Hong et al. | 2013
- 202
-
Detecting spurious counterexamples efficiently in abstract model checkingTian, Cong / Duan, Zhenhua et al. | 2013
- 212
-
Segmented symbolic analysisLe, Wei et al. | 2013
- 222
-
Explicating symbolic execution (xSymExe): An evidence-based verification frameworkHatcliff, John / Chalin, Patrice / Belt, Jason et al. | 2013
- 232
-
Aluminum: Principled scenario exploration through minimalityNelson, Tim / Saghafi, Salman / Dougherty, Daniel J. / Fisler, Kathi / Krishnamurthi, Shriram et al. | 2013
- 242
-
Counter play-out: Executing unrealizable scenario-based specificationsMaoz, Shahar / Sa'ar, Yaniv et al. | 2013
- 252
-
Unifying FSM-inference algorithms through declarative specificationBeschastnikh, Ivan / Brun, Yuriy / Abrahamson, Jenny / Ernst, Michael D. / Krishnamurthy, Arvind et al. | 2013
- 262
-
What good are strong specifications?Polikarpova, Nadia / Furia, Carlo A. / Pei, Yu / Wei, Yi / Meyer, Bertrand et al. | 2013
- 272
-
Comparative causality: Explaining the differences between executionsSumner, William N. / Zhang, Xiangyu et al. | 2013
- 282
-
Automatic testing of sequential and concurrent substitutabilityPradel, Michael / Gross, Thomas R. et al. | 2013
- 292
-
Data clone detection and visualization in spreadsheetsHermans, Felienne / Sedee, Ben / Pinzger, Martin / van Deursen, Arie et al. | 2013
- 302
-
Partition-based regression verificationBohme, Marcel / Oliveira, Bruno C. D. S. / Roychoudhury, Abhik et al. | 2013
- 312
-
Automated diagnosis of software configuration errorsZhang, Sai / Ernst, Michael D. et al. | 2013
- 322
-
Detecting deadlock in programs with data-centric synchronizationMarino, Daniel / Hammer, Christian / Dolby, Julian / Vaziri, Mandana / Tip, Frank / Vitek, Jan et al. | 2013
- 332
-
The design of bug fixesMurphy-Hill, Emerson / Zimmermann, Thomas / Bird, Christian / Nagappan, Nachiappan et al. | 2013
- 342
-
PorchLight: A tag-based approach to bug triagingBortis, Gerald / van der Hoek, Andre et al. | 2013
- 352
-
Expositor: Scriptable time-travel debugging with first-class tracesPhang, Khoo Yit / Foster, Jeffrey S. / Hicks, Michael et al. | 2013
- 362
-
Chronicler: Lightweight recording to reproduce field failuresBell, Jonathan / Sarda, Nikhil / Kaiser, Gail et al. | 2013
- 372
-
Does bug prediction support human developers? Findings from a Google case studyLewis, Chris / Lin, Zhongpeng / Sadowski, Caitlin / Zhu, Xiaoyan / Ou, Rong / Whitehead, E. James et al. | 2013
- 382
-
Transfer defect learningNam, Jaechang / Pan, Sinno Jialin / Kim, Sunghun et al. | 2013
- 392
-
It's not a bug, it's a feature: How misclassification impacts bug predictionHerzig, Kim / Just, Sascha / Zeller, Andreas et al. | 2013
- 402
-
Assisting developers of Big Data Analytics Applications when deploying on Hadoop cloudsShang, Weiyi / Jiang, Zhen Ming / Hemmati, Hadi / Adams, Brain / Hassan, Ahmed E. / Martin, Patrick et al. | 2013
- 412
-
Broken sets in software repository evolutionVouillon, Jerome / Di Cosmo, Roberto et al. | 2013
- 422
-
Boa: A language and infrastructure for analyzing ultra-large-scale software repositoriesDyer, Robert / Nguyen, Hoan Anh / Rajan, Hridesh / Nguyen, Tien N. et al. | 2013
- 432
-
How, and why, process metrics are betterRahman, Foyzur / Devanbu, Premkumar et al. | 2013
- 442
-
The role of domain knowledge and cross-functional communication in socio-technical coordinationDamian, Daniela / Helms, Remko / Kwan, Irwin / Marczak, Sabrina / Koelewijn, Benjamin et al. | 2013
- 452
-
Dual ecological measures of focus in software developmentPosnett, Daryl / D'Souza, Raissa / Devanbu, Premkumar / Filkov, Vladimir et al. | 2013
- 462
-
Not going to take this anymore: Multi-objective overtime planning for Software Engineering projectsFerrucci, Filomena / Harman, Mark / Ren, Jian / Sarro, Federica et al. | 2013
- 472
-
Beyond Boolean product-line model checking: Dealing with feature attributes and multi-featuresCordy, Maxime / Schobbens, Pierre-Yves / Heymans, Patrick / Legay, Axel et al. | 2013
- 482
-
Strategies for product-line verification: Case studies and experimentsApel, Sven / von Rhein, Alexander / Wendler, Philipp / Groslinger, Armin / Beyer, Dirk et al. | 2013
- 492
-
On the value of user preferences in search-based software engineering: A case study in software product linesSayyad, Abdel Salam / Menzies, Tim / Ammar, Hany et al. | 2013
- 502
-
Lase: Locating and applying systematic edits by learning from examplesMeng, Na / Kim, Miryung / McKinley, Kathryn S. et al. | 2013
- 512
-
Search-based genetic optimization for deployment and reconfiguration of software in the cloudFrey, Soren / Fittkau, Florian / Hasselbring, Wilhelm et al. | 2013
- 522
-
How to effectively use topic models for software engineering tasks? An approach based on Genetic AlgorithmsPanichella, Annibale / Dit, Bogdan / Oliveto, Rocco / Di Penta, Massimilano / Poshynanyk, Denys / De Lucia, Andrea et al. | 2013
- 532
-
Green Streams for data-intensive softwareBartenstein, Thomas W. / David Liu, Yu et al. | 2013
- 542
-
Dynamic synthesis of local time requirement for service compositionTan, Tian Huat / Andre, Etienne / Sun, Jun / Liu, Yang / Dong, Jin Song / Chen, Manman et al. | 2013
- 552
-
Supporting swift reaction: Automatically uncovering performance problems by systematic experimentsWert, Alexander / Happe, Jens / Happe, Lucia et al. | 2013
- 562
-
Toddler: Detecting performance problems via similar memory-access patternsNistor, Adrian / Song, Linhai / Marinov, Darko / Lu, Shan et al. | 2013
- 572
-
Departures from optimality: Understanding human analyst's information foraging in assisted requirements tracingNiu, Nan / Mahmoud, Anas / Chen, Zhangji / Bradshaw, Gary et al. | 2013
- 582
-
Analysis of user comments: An approach for software requirements evolutionCarreno, Laura V. Galvis / Winbladh, Kristina et al. | 2013
- 592
-
Requirements modelling by synthesis of deontic input-output automataLetier, Emmanuel / Heaven, William et al. | 2013
- 602
-
Automated reliability estimation over partial systematic explorationsPavese, Esteban / Braberman, Victor / Uchitel, Sebastian et al. | 2013
- 612
-
Safe software updates via multi-version executionHosek, Petr / Cadar, Cristian et al. | 2013
- 622
-
Reliability analysis in Symbolic PathFinderFilieri, Antonio / Pasareanu, Corina S. / Visser, Willem et al. | 2013
- 632
-
Engineering adaptive privacy: On the role of privacy awareness requirementsOmoronyia, Inah / Cavallaro, Luca / Salehie, Mazeiar / Pasquale, Liliana / Nuseibeh, Bashar et al. | 2013
- 642
-
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysisShar, Lwin Khin / Beng Kuan Tan, Hee / Briand, Lionel C. et al. | 2013
- 652
-
Path sensitive static analysis of web applications for remote code execution vulnerability detectionZheng, Yunhui / Zhang, Xiangyu et al. | 2013
- 662
-
Automated software architecture security risk analysis using formalized signaturesAlmorsy, Mohamed / Grundy, John / Ibrahim, Amani S. et al. | 2013
- 672
-
Why don't software developers use static analysis tools to find bugs?Johnson, Brittany / Song, Yoonki / Murphy-Hill, Emerson / Bowdidge, Robert et al. | 2013
- 682
-
Exploring the impact of inter-smell relations on software maintainability: An empirical studyYamashita, Aiko / Moonen, Leon et al. | 2013
- 692
-
An empirical study on the developers' perception of software couplingBavota, Gabriele / Dit, Bogdan / Oliveto, Rocco / Di Penta, Massimilano / Poshyvanyk, Denys / De Lucia, Andrea et al. | 2013
- 702
-
X-PERT: Accurate identification of cross-browser issues in web applicationsChoudhary, Shauvik Roy / Prasad, Mukul R. / Orso, Alessandro et al. | 2013
- 712
-
Expectations, outcomes, and challenges of modern code reviewBacchelli, Alberto / Bird, Christian et al. | 2013
- 722
-
UML in practicePetre, Marian et al. | 2013
- 732
-
Cassandra: Proactive conflict minimization through optimized task schedulingKasi, Bakhtiar Khan / Sarma, Anita et al. | 2013
- 742
-
Are your incoming aliases really necessary? Counting the cost of object ownershipPotanin, Alex / Damitio, Monique / Noble, James et al. | 2013
- 752
-
Efficient construction of approximate call graphs for JavaScript IDE servicesFeldthaus, Asger / Schafer, Max / Sridharan, Manu / Dolby, Julian / Tip, Frank et al. | 2013
- 762
-
Improving feature location practice with multi-faceted interactive explorationWang, Jinshui / Peng, Xin / Xing, Zhenchang / Zhao, Wenyun et al. | 2013
- 772
-
SemFix: Program repair via semantic analysisNguyen, Hoang Duong Thien / Qi, Dawei / Roychoudhury, Abhik / Chandra, Satish et al. | 2013
- 782
-
Automatic recovery from runtime failuresCarzaniga, Antonio / Gorla, Alessandra / Mattavelli, Andrea / Perino, Nicolo / Pezze, Mauro et al. | 2013
- 792
-
Program transformations to fix C integersCoker, Zack / Hafiz, Munawar et al. | 2013
- 802
-
Automatic patch generation learned from human-written patchesKim, Dongsun / Nam, Jaechang / Song, Jaewoo / Kim, Sunghun et al. | 2013
- 812
-
Reverb: Recommending code-related web pagesSawadsky, Nicholas / Murphy, Gail C. / Jiresal, Rahul et al. | 2013
- 822
-
Dynamic injection of sketching features into GEF based diagram editorsScharf, Andreas / Amma, Till et al. | 2013
- 832
-
Discovering essential code elements in informal documentationRigby, Peter C. / Robillard, Martin P. et al. | 2013
- 842
-
Automatic query reformulations for text retrieval in software engineeringHaiduc, Sonia / Bavota, Gabriele / Marcus, Andrian / Oliveto, Rocco / De Lucia, Andrea / Menzies, Tim et al. | 2013
- 855
-
Are software patents bad? (Keynote)Samuelson, Pamela et al. | 2013
- 856
-
The connection between movie making and software development (Keynote)DeRose, Tony et al. | 2013
- 857
-
Does scale really matter? Ultra-Large-Scale Systems seven years after the study (Keynote)Northrop, Linda et al. | 2013
- 861
-
Technical Debt: Past, present, and future (Panel)Fraser, Steven / Bishop, Judith / Boehm, Barry / Kathail, Pradeep / Kruchten, Philippe / Ozkaya, Ipek / Szynkarski, Alexandra et al. | 2013
- 863
-
Scaling agile methods to regulated environments: An industry case studyFitzgerald, Brian / Stol, Klaas-Jan / O'Sullivan, Ryan / O'Brien, Donal et al. | 2013
- 873
-
Agility at scale: Economic governance, measured improvement, and disciplined deliveryBrown, Alan W. / Ambler, Scott / Royce, Walker et al. | 2013
- 882
-
Distributed development considered harmful?Kocaguneli, Ekrem / Zimmermann, Thomas / Bird, Christian / Nagappan, Nachiappan / Menzies, Tim et al. | 2013
- 891
-
Measuring architecture quality by structure plus history analysisSchwanke, Robert / Xiao, Lu / Cai, Yuanfang et al. | 2013
- 901
-
Obtaining ground-truth software architecturesGarcia, Joshua / Krka, Ivo / Mattmann, Chris / Medvidovic, Nenad et al. | 2013
- 911
-
MIDAS: A design quality assessment method for industrial softwareSamarthyam, Ganesh / Suryanarayana, Girish / Sharma, Tushar / Gupta, Shrinath et al. | 2013
- 921
-
Evaluating usefulness of software metrics: An industrial experience reportBouwers, Eric / van Deursen, Arie / Visser, Joost et al. | 2013
- 931
-
Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendationBalachandran, Vipin et al. | 2013
- 941
-
Estimating software-intensive projects in the absence of historical dataDagnino, Aldo et al. | 2013
- 951
-
Pathways to technology transfer and adoption: Achievements and challenges (mini-tutorial)Zhang, Dongmei / Xie, Tao et al. | 2013
- 953
-
User involvement in software evolution practice: A case studyPagano, Dennis / Bruegge, Bernd et al. | 2013
- 963
-
A characteristic study on failures of production distributed data-parallel programsLi, Sihan / Zhou, Hucheng / Lin, Haoxiang / Xiao, Tian / Lin, Haibo / Lin, Wei / Xie, Tao et al. | 2013
- 973
-
Is time-zone proximity an advantage for software development? The case of the Brazilian IT industryPrikladnicki, Rafael / Carmel, Erran et al. | 2013
- 982
-
A study of enabling factors for rapid fielding combined practices to balance speed and stabilityBellomo, Stephany / Nord, Robert L. / Ozkaya, Ipek et al. | 2013
- 992
-
JST: An automatic test generation tool for industrial Java applications with stringsGhosh, Indradeep / Shafiei, Nastaran / Li, Guodong / Chiang, Wei-Fan et al. | 2013
- 1002
-
Efficient and change-resilient test automation: An industrial case studyThummalapenta, Suresh / Devaki, Pranavadatta / Sinha, Saurabh / Chandra, Satish / Gnanasundaram, Sivagami / Nagaraj, Deepa D. / Kumar, Sampath / Kumar, Sathish et al. | 2013
- 1012
-
Automatic detection of performance deviations in the load testing of Large Scale SystemsMalik, Haroon / Hemmati, Hadi / Hassan, Ahmed E. et al. | 2013
- 1022
-
Detecting inconsistencies in wrappers: A case studyFemmer, Henning / Ganesan, Dharmalingam / Lindvall, Mikael / McComas, David et al. | 2013
- 1032
-
Categorizing bugs with social networks: A case study on four open source software communitiesZanetti, Marcelo Serrano / Scholtes, Ingo / Tessone, Claudio Juan / Schweitzer, Frank et al. | 2013
- 1042
-
Predicting bug-fixing time: An empirical study of commercial software projectsZhang, Hongyu / Gong, Liang / Versteeg, Steve et al. | 2013
- 1055
-
Authentic assessment in Software Engineering education based on PBL principles a case study in the telecom marketdos Santos, Simone C. / Soares, Felipe S. F. et al. | 2013
- 1063
-
Studios in software engineering education: Towards an evaluable modelBull, Christopher N. / Whittle, Jon / Cruickshank, Leon et al. | 2013
- 1073
-
Enabling a classroom design studio with a collaborative sketch design toolLoksa, Dastyni / Mangano, Nicolas / LaToza, Thomas D. / van der Hoek, Andre et al. | 2013
- 1083
-
A framework to evaluate software engineering student contests: Evaluation and integration with academic programsZeid, Amir et al. | 2013
- 1090
-
An evaluation of interactive test-driven labs with WebIDE in CS0Janzen, David S. / Clements, John / Hilton, Michael et al. | 2013
- 1099
-
POPT: A Problem-Oriented Programming and Testing approach for novice studentsNeto, Vicente Lustosa / Coelho, Roberta / Leite, Larissa / Guerrero, Dalton S. / Mendonca, Andrea P. et al. | 2013
- 1109
-
Teaching developer skills in the first software engineering courseRajlich, Vaclav et al. | 2013
- 1117
-
Teaching and learning programming and software engineering via interactive gamingTillmann, Nikolai / de Halleux, Jonathan / Xie, Tao / Gulwani, Sumit / Bishop, Judith et al. | 2013
- 1127
-
Town hall discussion of SE 2004 revisions (panel)Ardis, Mark / Budgen, David / Hislop, Gregory W. / Offutt, Jeff / Sebern, Mark / Visser, Willem et al. | 2013
- 1128
-
Teaching students global software engineering skills using distributed ScrumPaasivaara, Maria / Lassenius, Casper / Damian, Daniela / Raty, Petteri / Schroter, Adrian et al. | 2013
- 1138
-
Teaching software process modelingKuhrmann, Marco / Fernandez, Daniel Mendez / Munch, Jurgen et al. | 2013
- 1148
-
Industry involvement in ICT curriculum: A comparative surveyPilgrim, Chris J. et al. | 2013
- 1154
-
Vulnerability of the Day: Concrete demonstrations for software engineering undergraduatesMeneely, Andrew / Lucidi, Samuel et al. | 2013
- 1161
-
Eliminative induction: A basis for arguing system confidenceGoodenough, John B. / Weinstock, Charles B. / Klein, Ari Z. et al. | 2013
- 1165
-
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inferenceGivens, Paul / Chakarov, Aleksandar / Sankaranarayanan, Sriram / Yeh, Tom et al. | 2013
- 1169
-
Semantic smells and errors in access control models: A case study in PHPGauthier, Francois / Merlo, Ettore et al. | 2013
- 1173
-
Practical semantic test simplificationZhang, Sai et al. | 2013
- 1177
-
Understanding regression failures through test-passing and test-failing code changesSukkerd, Roykrong / Beschastnikh, Ivan / Wuttke, Jochen / Zhang, Sai / Brun, Yuriy et al. | 2013
- 1181
-
Temporal code completion and navigationLee, Yun Young / Harwell, Sam / Khurshid, Sarfraz / Marinov, Darko et al. | 2013
- 1185
-
Situational awareness: Personalizing issue tracking systemsBaysal, Olga / Holmes, Reid / Godfrey, Michael W. et al. | 2013
- 1189
-
GROPG: A graphical on-phone debuggerNguyen, Tuan Anh / Csallner, Christoph / Tillmann, Nikolai et al. | 2013
- 1193
-
Why did this code change?Rastkar, Sarah / Murphy, Gail C. et al. | 2013
- 1197
-
Deciphering the story of software development through frequent pattern miningBettenburg, Nicolas / Begel, Andrew et al. | 2013
- 1201
-
Liberating pair programming research from the oppressive driver/observer regimeSalinger, Stephan / Zieris, Franz / Prechelt, Lutz et al. | 2013
- 1205
-
Pricing crowdsourcing-based software development tasksMao, Ke / Yang, Ye / Li, Mingshu / Harman, Mark et al. | 2013
- 1209
-
Building test suites in social coding sites by leveraging drive-by commitsPham, Raphael / Singer, Leif / Schneider, Kurt et al. | 2013
- 1213
-
Supporting application development with structured queries in the cloudSmit, Michael / Simmons, Bradley / Shtern, Mark / Litoiu, Marin et al. | 2013
- 1217
-
Hunting for smells in natural language testsHauptmann, Benedikt / Heinemann, Lars / Vaas, Rudolf / Braun, Peter et al. | 2013
- 1221
-
Bottom-up model-driven developmentBagheri, Hamid / Sullivan, Kevin et al. | 2013
- 1225
-
An approach for restructuring text contentAversano, Lerina / Canfora, Gerardo / De Ruvo, Giuseppe / Tortorella, Maria et al. | 2013
- 1229
-
A case for human-driven software developmentBalland, Emilie / Consel, Charles / N'Kaoua, Bernard / Sauzeon, Helene et al. | 2013
- 1233
-
A framework for managing cloned product variantsRubin, Julia / Chechik, Marsha et al. | 2013
- 1237
-
Sketching software in the wildSocha, David / Tenenberg, Josh et al. | 2013
- 1241
-
On extracting unit tests from interactive live programming sessionsKuhn, Adrian et al. | 2013
- 1245
-
Towards automated testing and fixing of re-engineered Feature ModelsHenard, Christopher / Papadakis, Mike / Perrouin, Gilles / Klein, Jacques / Le Traon, Yves et al. | 2013
- 1249
-
Computational alignment of goals and scenarios for complex systemsAlrajeh, Dalai / Russo, Alessandra / Lockerbie, James / Maiden, Neil / Mavin, Alistair / Novak, Mark et al. | 2013
- 1253
-
Service networks for development communitiesTamburri, Damian A. / Lago, Patricia / van Vliet, Hans et al. | 2013
- 1257
-
Formal specifications better than function points for code sizingStaples, Mark / Kolanski, Rafal / Klein, Gerwin / Lewis, Corey / Andronick, June / Murray, Toby / Jeffery, Ross / Bass, Len et al. | 2013
- 1261
-
Using mutation analysis for a model-clone detector comparison frameworkStephan, Matthew / Alafi, Manar H. / Stevenson, Andrew / Cordy, James R. et al. | 2013
- 1265
-
On the relationships between domain-based coupling and code clones: An exploratory studyRahman, Md Saidur / Aryani, Amir / Roy, Chanchal K. / Perin, Fabrizio et al. | 2013
- 1269
-
Quantitative program slicing: Separating statements by relevanceSantelices, Raul / Zhang, Yiji / Jiang, Siyuan / Cai, Haipeng / Zhang, Ying-jie et al. | 2013
- 1273
-
Example-Driven Modeling: Model = Abstractions + ExamplesBak, Kacper / Zayan, Dina / Czarnecki, Krzysztof / Antkiewicz, Michal / Diskin, Zinovy / Wasowski, Andrzej / Rayside, Derek et al. | 2013
- 1277
-
Towards recognizing and rewarding efficient developer work patternsSnipes, Will / Augustine, Vinay / Nair, Anil R. / Murphy-Hill, Emerson et al. | 2013
- 1281
-
Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processesLiu, Xiao / Yang, Yun / Cao, Dahai / Yuan, Dong et al. | 2013
- 1287
-
LambdaFicator: From imperative to functional programming through automated refactoringFranklin, Lyle / Gyori, Alex / Lahoda, Jan / Dig, Danny et al. | 2013
- 1291
-
JITTAC: A Just-in-Time tool for architectural consistencyBuckley, Jim / Mooney, Sean / Rosik, Jacek / Ali, Nour et al. | 2013
- 1295
-
Seahawk: Stack Overflow in the IDEPonzanelli, Luca / Bacchelli, Alberto / Lanza, Michele et al. | 2013
- 1299
-
DRC: A detection tool for dangling references in PHP-based web applicationsNguyen, Hung Viet / Nguyen, Hoan Anh / Nguyen, Tung Thanh / Nguyen, Tien N. et al. | 2013
- 1303
-
TestEvol: A tool for analyzing test-suite evolutionPinto, Leandro Sales / Sinha, Saurabh / Orso, Alessandro et al. | 2013
- 1307
-
Query quality prediction and reformulation for source code search: The Refoqus toolHaiduc, Sonia / De Rosa, Giuseppe / Bavota, Gabriele / Oliveto, Rocco / de Lucia, Andrea / Marcus, Andrian et al. | 2013
- 1311
-
A large scale Linux-Kernel based benchmark for feature location researchXing, Zhenchang / Xue, Yinxing / Jarzabek, Stan et al. | 2013
- 1315
-
NavClus: A graphical recommender for assisting code explorationLee, Seonah / Kang, Sungwon / Staats, Matt et al. | 2013
- 1319
-
LASE: An example-based program transformation tool for locating and applying systematic editsJacobellis, John / Meng, Na / Kim, Miryung et al. | 2013
- 1323
-
CEL: Modeling everywhereLemma, Remo / Lanza, Michele / Olivero, Fernando et al. | 2013
- 1327
-
V:Issue:lizer: Exploring requirements clarification in online communication over timeKnauss, Eric / Damian, Daniela et al. | 2013
- 1331
-
YODA: Young and newcOmer Developer AssistantCanfora, Gerardo / Di Penta, Massimiliano / Giannantonio, Stefano / Oliveto, Rocco / Panichella, Sebastiano et al. | 2013
- 1335
-
RADAR: A tool for debugging regression problems in C/C++ SoftwarePastore, Fabrizio / Mariani, Leonardo / Goffi, Alberto et al. | 2013
- 1339
-
MCT: A tool for commenting programs by multimedia commentsHao, Yiyang / Li, Ge / Mou, Lili / Zhang, Lu / Jin, Zhi et al. | 2013
- 1343
-
Memoise: A tool for memoized symbolic executionYang, Guowei / Khurshid, Sarfraz / Pasareanu, Corina S. et al. | 2013
- 1347
-
Controller synthesis: From modelling to enactmentBraberman, Victor / D'Ippolito, Nicolas / Piterman, Nir / Sykes, Daniel / Ucriitel, Sebastian et al. | 2013
- 1353
-
A study of variability spaces in open source softwareNadi, Sarah et al. | 2013
- 1357
-
Implementing database access control policy from unconstrained natural language textSlankas, John et al. | 2013
- 1361
-
Increasing anomaly handling efficiency in large organizations using applied machine learningJonsson, Leif et al. | 2013
- 1365
-
Analyzing the change-proneness of service-oriented systems from an industrial perspectiveRomano, Daniele et al. | 2013
- 1369
-
Supporting maintenance tasks on transformational code generation environmentsGuana, Victor et al. | 2013
- 1373
-
An approach to documenting and evolving architectural design decisionsChe, Meiru et al. | 2013
- 1377
-
An observable and controllable testing framework for modern systemsYu, Tingting et al. | 2013
- 1381
-
Toward a software product line for affective-driven self-adaptive systemsGonzalez-Sanchez, Javier et al. | 2013
- 1385
-
Normalizing source code vocabulary to support program comprehension and software qualityGuerrouj, Latifa et al. | 2013
- 1389
-
Integrating Systematic exploration, analysis, and maintenance in software developmentMuslu, Kivanc et al. | 2013
- 1393
-
Fostering software quality assessmentBrandtner, Martin et al. | 2013
- 1397
-
A framework for self-healing software systemsPerino, Nicolo et al. | 2013
- 1401
-
Building high assurance secure applications using security patterns for capability-based platformsRimba, Paul et al. | 2013
- 1405
-
Systematically selecting a software module during opportunistic reuseKulkarni, Naveen et al. | 2013
- 1407
-
Informing development decisions: From data to informationBaysal, Olga et al. | 2013
- 1411
-
Understanding and simulating software evolutionLin, Zhongpeng et al. | 2013
- 1415
-
An ontology toolkit for problem domain concept location in program comprehensionCarvalho, Nuno Ramos et al. | 2013
- 1419
-
Measuring the forensic-ability of audit logs for nonrepudiationKing, Jason et al. | 2013
- 1423
-
SNIPR: Complementing code search with code retargeting capabilitiesSanchez, Huascar A. et al. | 2013
- 1429
-
Supporting incremental programming with ghostsCallau, Oscar et al. | 2013
- 1432
-
Novice understanding of program analysis tool notificationsJohnson, Brittany et al. | 2013
- 1435
-
Energy aware self-adaptation in mobile systemsArdito, Luca et al. | 2013
- 1438
-
ConfDiagnoser: An automated configuration error diagnosis tool for Java softwareZhang, Sai et al. | 2013
- 1441
-
Reproducing and debugging field failures in houseJin, Wei et al. | 2013
- 1444
-
Fault comprehension for concurrent programsPark, Sangmin et al. | 2013
- 1447
-
A proposal for the improvement of project's cost predictability using EVM and historical data of costDiniz de Souza, Adler et al. | 2013
- 1450
-
Studying the effect of co-change dispersion on software qualityKouroshfar, Ehsan et al. | 2013
- 1453
-
A roadmap for software maintainability measurementSaraiva, Juliana et al. | 2013
- 1456
-
Reasoning with qualitative preferences to develop optimal component-based systemsOster, Zachary J. et al. | 2013
- 1459
-
From models to code and back: Correct-by-construction code from UML and ALFCiccozzi, Federico et al. | 2013
- 1462
-
Mitigating the obsolescence of specification models of service-based systemsTorres, Romina et al. | 2013
- 1465
-
Decision theoretic requirements prioritization A two-step approach for sliding towards value realizationKukreja, Nupul et al. | 2013
- 1468
-
Changeset based developer communication to detect software failuresSimpson, Braden et al. | 2013
- 1471
-
Identifying failure inducing developer pairs within developer networksEll, Jordan et al. | 2013
- 1474
-
On identifying user complaints of iOS appsKhalid, Hammad et al. | 2013
- 1479
-
Automated testing of GUI applications: Models, tools, and controlling flakinessMemon, Atif M. / Cohen, Myra B. et al. | 2013
- 1481
-
Build your own model checker in one monthDong, Jin Song / Sun, Jun / Liu, Yang et al. | 2013
- 1484
-
Data science for software engineeringMenzies, Tim / Kocaguneli, Ekrem / Peters, Fayola / Turhan, Burak / Minku, Leandro L. et al. | 2013
- 1487
-
Software analytics: Achievements and challengesZhang, Dongmei / Xie, Tao et al. | 2013
- 1488
-
Developing verified programs with DafnyLeino, K. Rustan M. et al. | 2013
- 1491
-
Software metrics: Pitfalls and best practicesBouwers, Eric / van Deursen, Arie / Visser, Joost et al. | 2013
- 1493
-
A hands-on Java Pathfinder tutorialMehlitz, Peter / Rungta, Neha / Visser, Willem et al. | 2013
- 1496
-
Efficient quality assurance of variability-intensive systemsHeymans, Patrick / Legay, Axel / Cordy, Maxime et al. | 2013
- 1499
-
Software requirement patternsFranch, Xavier et al. | 2013
- 1505
-
1st International workshop on assurance cases for software-intensive systems (ASSURE 2013)Denney, Ewen / Pai, Ganesh / Habli, Ibrahim / Kelly, Tim / Knight, John et al. | 2013
- 1508
-
8th International Workshop on Automation of Software Test (AST 2013)Zhu, Hong / Muccini, Henry / Chen, Zhenyu et al. | 2013
- 1509
-
1st International workshop on conducting empirical studies in industry (CESI 2013)Franch, Xavier / Madhavji, Nazim H. / Curtis, Bill / Votta, Larry et al. | 2013
- 1511
-
6th International workshop on cooperative and human aspects of software engineering (CHASE 2013)Prikladnicki, Rafael / Sharp, Helen / Hoda, Rashina / Dittrich, Yvonne / Cataldo, Marcelo / de Souza, Cleidson R. B. et al. | 2013
- 1513
-
1st International workshop on combining modelling and search-based software engineering (CMSBSE 2013)Harman, Mark / Paige, Richard F. / Williams, James R. et al. | 2013
- 1515
-
3rd International workshop on collaborative teaching of globally distributed software development (CTGDSD 2013)Faulk, Stuart / Young, Michal / Prikladnicki, Rafael / Weiss, David M. / Yu, Lian et al. | 2013
- 1517
-
1st International workshop on data analysis patterns in software engineering (DAPSE 2013)Bird, Christian / Menzies, Tim / Zimmermann, Thomas et al. | 2013
- 1519
-
1st FME workshop on formal methods in software engineering (FormaliSE 2013)Gnesi, Stefania / Plat, Nico et al. | 2013
- 1521
-
3rd International workshop on games and software engineering: Engineering computer games to Enable Positive, Progressive Change (GAS 2013)Cooper, Kendra M. L. / Scacchi, Walt / Wang, Alf Inge et al. | 2013
- 1523
-
2nd International workshop on green and sustainable software (GREENS 2013)Lago, Patricia / Meyer, Niklaus / Morisio, Maurizio / Muller, Hausi A. / Scanniello, Giuseppe et al. | 2013
- 1525
-
2nd SEMAT workshop on a general theory of software engineering (GTSE 2013)Johnson, Pontus / Goedicke, Michael / Jacobson, Ivar / Kajko-Mattsson, Mira et al. | 2013
- 1527
-
7th International Workshop on Software Clones (IWSC 2013)Koschke, Rainer / Juergens, Elmar / Rilling, Juergen et al. | 2013
- 1529
-
1st International workshop on live programming (LIVE 2013)Burg, Brian / Kuhn, Adrian / Parnin, Chris et al. | 2013
- 1531
-
5th International workshop on Modeling in Software Engineering (MiSE 2013)Atlee, Joanne M. / France, Robert B. / Baillargeon, Robert / Gray, Jeff / Rumpe, Bernhard / Chechik, Marsha / Paige, Richard F. et al. | 2013
- 1533
-
1st International workshop on the engineering of mobile-enabled systems (MOBS 2013)Lewis, Grace A. / Muccini, Henry / Rosenblum, David / Gray, Jeff / Nagappan, Nachiappan / Shihab, Emad et al. | 2013
- 1535
-
4th International workshop on managing technical debt (MTD 2013)Kruchten, Philippe / Nord, Robert L. / Ozkaya, Ipek et al. | 2013
- 1537
-
1st International workshop on natural language analysis in software engineering (NaturaLiSE 2013)Pollock, Lori / Binkley, David / Lawrie, Dawn / Hill, Emily / Oliveto, Rocco / Bavota, Gabriele / Bacchelli, Alberto et al. | 2013
- 1539
-
5th International workshop on principles of engineering service-oriented systems (PESOS 2013)Bianculli, Domenico / Lewis, Grace A. / Lago, Patricia / Paik, Hye-Young et al. | 2013
- 1541
-
4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE 2013)Rubin, Julia / Pleuss, Andreas / Botterweck, Goetz / Weiss, David M. et al. | 2013
- 1543
-
2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)Harrison, Rachel / Mernik, Marjan / Henriques, Pedro / da Cruz, Daniela / Menzies, Tim / Rodriguez, Daniel et al. | 2013
- 1545
-
1st International Workshop on Release Engineering (RELENG 2013)Adams, Bram / Bird, Christian / Khomh, Foutse / Moir, Kim et al. | 2013
- 1547
-
5th International workshop on software engineering for Computational Science and Engineering (SE-CSE 2013)Carver, Jeffrey C. / Epperly, Thomas / Hochstein, Lorin / Maxville, Valerie / Pfahl, Dietmar / Sillito, Jonathan et al. | 2013
- 1549
-
5th International workshop on Software Engineering in Health Care (SEHC 2013)Kuziemsky, Craig E. / Knight, John et al. | 2013
- 1551
-
4th International Workshop on Software Engineering for sensor network applications (SESENA 2013)Julien, Christine / Wehrle, Klaus et al. | 2013
- 1553
-
2nd International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG 2013)Gorton, Ian / Koziolek, Heiko / Liu, Yan / Koziolek, Anne / Salehie, Mazeiar et al. | 2013
- 1555
-
3rd International workshop on developing tools as plug-ins (TOPI 2013)Barnett, Michael / Nordio, Martin / Bishop, Judith / Breitman, Karin K. / Garbervetsky, Diego et al. | 2013
- 1556
-
2nd International workshop on the twin peaks of requirements and architecture (TwinPeaks 2013)Avgeriou, Paris / Franch, Xavier / Burge, Janet E. / Galster, Matthias / Roshandel, Roshanak / Cleland-Huang, Jane / Mirakhorli, Mehdi et al. | 2013
- 1558
-
2nd International workshop on user evaluations for software engineering researchers (USER 2013)Begel, Andrew / Sadowski, Caitlin et al. | 2013
- 1560
-
4th International workshop on Emerging Trends in Software Metrics (WETSoM 2013)Counsell, Steven / Tempero, Ewan / Marchesi, Michele L. / Visaggio, Aaron et al. | 2013
- v
-
Message from the chairsNotkin, David / Cheng, Betty H.C. / Pohl, Klaus et al. | 2013
- xii
-
Organization committee| 2013
- xvii
-
Sponsors and supporters| 2013