:facetid:toc:\"db/conf/kbse/ase2017.bht\"OK:facetid:toc:db/conf/kbse/ase2017.bhtMohammad Masudur Rahman 0001Chanchal K. RoyImproved query reformulation for concept location using CodeRank and document structures.ASE428-4392017Conference and Workshop Papersclosedconf/kbse/0001R1710.1109/ASE.2017.8115655https://doi.org/10.1109/ASE.2017.8115655https://dblp.org/rec/conf/kbse/0001R17URL#2963245Alessandro AbateIury BessaDario CattaruzzaLennon C. ChavesLucas C. CordeiroCristina DavidPascal KesseliDaniel KroeningElizabeth PolgreenDSSynth: an automated digital controller synthesis tool for physical plants.ASE919-9242017Conference and Workshop Papersclosedconf/kbse/AbateBCCCDKKP1710.1109/ASE.2017.8115705https://doi.org/10.1109/ASE.2017.8115705https://dblp.org/rec/conf/kbse/AbateBCCCDKKP17URL#2963246Mahmoud AbdelrasoulPromoting secondary orders of event pairs in randomized scheduling using a randomized stride.ASE741-7522017Conference and Workshop Papersclosedconf/kbse/Abdelrasoul1710.1109/ASE.2017.8115685https://doi.org/10.1109/ASE.2017.8115685https://dblp.org/rec/conf/kbse/Abdelrasoul17URL#2963247Toufique AhmedAmiangshu BosuAnindya IqbalShahram RahimiSentiCR: a customized sentiment analysis tool for code review interactions.ASE106-1112017Conference and Workshop Papersclosedconf/kbse/AhmedBIR1710.1109/ASE.2017.8115623https://doi.org/10.1109/ASE.2017.8115623https://dblp.org/rec/conf/kbse/AhmedBIR17URL#2963248Eman AlatawiHarald SøndergaardTim Miller 0001Leveraging abstract interpretation for efficient dynamic symbolic execution.ASE619-6242017Conference and Workshop Papersclosedconf/kbse/AlatawiSM1710.1109/ASE.2017.8115672https://doi.org/10.1109/ASE.2017.8115672https://dblp.org/rec/conf/kbse/AlatawiSM17URL#2963249Muhammad AsaduzzamanChanchal K. RoyKevin A. SchneiderDaqing HouFEMIR: a tool for recommending framework extension examples.ASE967-9722017Conference and Workshop Papersclosedconf/kbse/AsaduzzamanRSH1710.1109/ASE.2017.8115713https://doi.org/10.1109/ASE.2017.8115713https://dblp.org/rec/conf/kbse/AsaduzzamanRSH17URL#2963250Saheed A. BusariTowards search-based modelling and analysis of requirements and architecture decisions.ASE1026-10292017Conference and Workshop Papersclosedconf/kbse/Busari1710.1109/ASE.2017.8115725https://doi.org/10.1109/ASE.2017.8115725https://dblp.org/rec/conf/kbse/Busari17URL#2963251Jeanderson CândidoLuis MeloMarcelo d'AmorimTest suite parallelization in open-source projects: a study on its usage and impact.ASE838-8482017Conference and Workshop Papersclosedconf/kbse/CandidoMd1710.1109/ASE.2017.8115695https://doi.org/10.1109/ASE.2017.8115695https://dblp.org/rec/conf/kbse/CandidoMd17URL#2963252Rodrigo CastañoVíctor A. BrabermanDiego GarbervetskySebastián UchitelModel checker execution reports.ASE200-2052017Conference and Workshop Papersclosedconf/kbse/CastanoBGU1710.1109/ASE.2017.8115633https://doi.org/10.1109/ASE.2017.8115633https://dblp.org/rec/conf/kbse/CastanoBGU17URL#2963253Ahmet ÇelikKarl PalmskogMilos Gligoric 0001iCoq: regression proof selection for large-scale verification projects.ASE171-1822017Conference and Workshop Papersclosedconf/kbse/CelikPG1710.1109/ASE.2017.8115630https://doi.org/10.1109/ASE.2017.8115630https://dblp.org/rec/conf/kbse/CelikPG17URL#2963254Carl ChapmanPeipei WangKathryn T. StoleeExploring regular expression comprehension.ASE405-4162017Conference and Workshop Papersclosedconf/kbse/ChapmanWS1710.1109/ASE.2017.8115653https://doi.org/10.1109/ASE.2017.8115653https://dblp.org/rec/conf/kbse/ChapmanWS17URL#2963255Liushan ChenYu Pei 0001Carlo A. FuriaContract-based program repair without the contracts.ASE637-6472017Conference and Workshop Papersclosedconf/kbse/Chen0F1710.1109/ASE.2017.8115674https://doi.org/10.1109/ASE.2017.8115674https://dblp.org/rec/conf/kbse/Chen0F17URL#2963256Jia ChenOswaldo OlivoIsil DilligCalvin LinStatic detection of asymptotic resource side-channel vulnerabilities in web applications.ASE229-2392017Conference and Workshop Papersclosedconf/kbse/ChenODL1710.1109/ASE.2017.8115636https://doi.org/10.1109/ASE.2017.8115636https://dblp.org/rec/conf/kbse/ChenODL17URL#2963257Lin ChengZijiang Yang 0006Chao Wang 0001Systematic reduction of GUI test sequences.ASE849-8602017Conference and Workshop Papersclosedconf/kbse/ChengYW1710.1109/ASE.2017.8115696https://doi.org/10.1109/ASE.2017.8115696https://dblp.org/rec/conf/kbse/ChengYW17URL#2963258Xi ChengMin Zhou 0001Xiaoyu SongMing Gu 0001Jiaguang Sun 0001IntPTI: automatic integer error repair with proper-type inference.ASE996-10012017Conference and Workshop Papersclosedconf/kbse/ChengZS0S1710.1109/ASE.2017.8115718https://doi.org/10.1109/ASE.2017.8115718https://dblp.org/rec/conf/kbse/ChengZS0S17URL#2963259Emilio CoppaDaniele Cono D'EliaCamil DemetrescuRethinking pointer reasoning in symbolic execution.ASE613-6182017Conference and Workshop Papersclosedconf/kbse/CoppaDD1710.1109/ASE.2017.8115671https://doi.org/10.1109/ASE.2017.8115671https://dblp.org/rec/conf/kbse/CoppaDD17URL#2963260Nicolas CoppikOliver SchwahnStefan Winter 0001Neeraj SuriTrEKer: tracing error propagation in operating system kernels.ASE377-3872017Conference and Workshop Papersclosedconf/kbse/CoppikSWS1710.1109/ASE.2017.8115650https://doi.org/10.1109/ASE.2017.8115650https://dblp.org/rec/conf/kbse/CoppikSWS17URL#2963261Flavio CorradiniFabrizio Fornari 0001Andrea PoliniBarbara Re 0001Francesco Tiezzi 0001Andrea VandinBProVe: a formal verification framework for business process models.ASE217-2282017Conference and Workshop Papersclosedconf/kbse/CorradiniFP0TV1710.1109/ASE.2017.8115635https://doi.org/10.1109/ASE.2017.8115635https://dblp.org/rec/conf/kbse/CorradiniFP0TV17URL#2963262Flavio CorradiniFabrizio Fornari 0001Andrea PoliniBarbara Re 0001Francesco Tiezzi 0001Andrea VandinBProVe: tool support for business process verification.ASE937-9422017Conference and Workshop Papersclosedconf/kbse/CorradiniFP0TV17a10.1109/ASE.2017.8115708https://doi.org/10.1109/ASE.2017.8115708https://dblp.org/rec/conf/kbse/CorradiniFP0TV17aURL#2963263Gwendal DanielFrédéric JouaultGerson SunyéJordi CabotGremlin-ATL: a scalable model transformation framework.ASE462-4722017Conference and Workshop Papersclosedconf/kbse/DanielJSC1710.1109/ASE.2017.8115658https://doi.org/10.1109/ASE.2017.8115658https://dblp.org/rec/conf/kbse/DanielJSC17URL#2963264Arie van DeursenSoftware engineering without borders.ASE32017Conference and Workshop Papersclosedconf/kbse/Deursen1710.1109/ASE.2017.8115612https://doi.org/10.1109/ASE.2017.8115612https://dblp.org/rec/conf/kbse/Deursen17URL#2963265Ferhat ErataClaire GardentBikash GyawaliAnastasia ShimorinaYvan LussaudBedir TekinerdoganGeylani KardasAnne MonceauxModelWriter: text and model-synchronized document engineering platform.ASE907-9122017Conference and Workshop Papersclosedconf/kbse/ErataGGSLTKM1710.1109/ASE.2017.8115703https://doi.org/10.1109/ASE.2017.8115703https://dblp.org/rec/conf/kbse/ErataGGSLTKM17URL#2963266Mattia FazziniAlessandro OrsoAutomated cross-platform inconsistency detection for mobile apps.ASE308-3182017Conference and Workshop Papersclosedconf/kbse/FazziniO1710.1109/ASE.2017.8115644https://doi.org/10.1109/ASE.2017.8115644https://dblp.org/rec/conf/kbse/FazziniO17URL#2963267Anthony Di FrancoHui Guo 0007Cindy Rubio-GonzálezA comprehensive study of real-world numerical bug characteristics.ASE509-5192017Conference and Workshop Papersclosedconf/kbse/FrancoGR1710.1109/ASE.2017.8115662https://doi.org/10.1109/ASE.2017.8115662https://dblp.org/rec/conf/kbse/FrancoGR17URL#2963268Marko GasparicTural GurbanovFrancesco Ricci 0001Context-aware integrated development environment command recommender systems.ASE688-6932017Conference and Workshop Papersclosedconf/kbse/GasparicG01710.1109/ASE.2017.8115679https://doi.org/10.1109/ASE.2017.8115679https://dblp.org/rec/conf/kbse/GasparicG017URL#2963269Mitchell J. GerrardMatthew B. DwyerComprehensive failure characterization.ASE365-3762017Conference and Workshop Papersclosedconf/kbse/GerrardD1710.1109/ASE.2017.8115649https://doi.org/10.1109/ASE.2017.8115649https://dblp.org/rec/conf/kbse/GerrardD17URL#2963270Elaheh GhassabaniAndrew GacekMichael W. WhalenMats Per Erik HeimdahlLucas G. WagnerProof-based coverage metrics for formal verification.ASE194-1992017Conference and Workshop Papersclosedconf/kbse/GhassabaniGWHW1710.1109/ASE.2017.8115632https://doi.org/10.1109/ASE.2017.8115632https://dblp.org/rec/conf/kbse/GhassabaniGWHW17URL#2963271Patrice GodefroidHila PelegRishabh SinghLearn&Fuzz: machine learning for input fuzzing.ASE50-592017Conference and Workshop Papersclosedconf/kbse/GodefroidPS1710.1109/ASE.2017.8115618https://doi.org/10.1109/ASE.2017.8115618https://dblp.org/rec/conf/kbse/GodefroidPS17URL#2963272Julián GrigeraAlejandra Garrido 0001Gustavo RossiKobold: web usability as a service.ASE990-9952017Conference and Workshop Papersclosedconf/kbse/GrigeraGR1710.1109/ASE.2017.8115717https://doi.org/10.1109/ASE.2017.8115717https://dblp.org/rec/conf/kbse/GrigeraGR17URL#2963273Michele GuerrieroPrivacy-aware data-intensive applications.ASE1030-10332017Conference and Workshop Papersclosedconf/kbse/Guerriero1710.1109/ASE.2017.8115726https://doi.org/10.1109/ASE.2017.8115726https://dblp.org/rec/conf/kbse/Guerriero17URL#2963274Jiawei Han 0001Mining structures from massive text data: will it help software engineering?ASE22017Conference and Workshop Papersclosedconf/kbse/Han1710.1109/ASE.2017.8115611https://doi.org/10.1109/ASE.2017.8115611https://dblp.org/rec/conf/kbse/Han17URL#2963275Liang HeYan Cai 0001Hong Hu 0004Purui SuZhenkai LiangYi Yang 0040Huafeng HuangJia YanXiangkun JiaDengguo FengAutomatically assessing crashes from heap overflows.ASE274-2792017Conference and Workshop Papersclosedconf/kbse/HeCHSLYHYJF1710.1109/ASE.2017.8115640https://doi.org/10.1109/ASE.2017.8115640https://dblp.org/rec/conf/kbse/HeCHSLYHYJF17URL#2963276Satia HerfertJibesh PatraMichael PradelAutomatically reducing tree-structured test inputs.ASE861-8712017Conference and Workshop Papersclosedconf/kbse/HerfertPP1710.1109/ASE.2017.8115697https://doi.org/10.1109/ASE.2017.8115697https://dblp.org/rec/conf/kbse/HerfertPP17URL#2963277Yoshiki HigoAkio OhtaniShinji KusumotoGenerating simpler AST edit scripts by considering copy-and-paste.ASE532-5422017Conference and Workshop Papersclosedconf/kbse/HigoOK1710.1109/ASE.2017.8115664https://doi.org/10.1109/ASE.2017.8115664https://dblp.org/rec/conf/kbse/HigoOK17URL#2963278Gerard J. HolzmannCobra - an interactive static code analyzer.ASE12017Conference and Workshop Papersclosedconf/kbse/Holzmann1710.1109/ASE.2017.8115610https://doi.org/10.1109/ASE.2017.8115610https://dblp.org/rec/conf/kbse/Holzmann17URL#2963279Jianjun Huang 0001Yousra AaferDavid Mitchel PerryXiangyu Zhang 0001Chen Tian 0002UI driven Android application reduction.ASE286-2962017Conference and Workshop Papersclosedconf/kbse/HuangAPZT1710.1109/ASE.2017.8115642https://doi.org/10.1109/ASE.2017.8115642https://dblp.org/rec/conf/kbse/HuangAPZT17URL#2963280Emilio IncertoMirco TribastoneCatia TrubianiSoftware performance self-adaptation through efficient model predictive control.ASE485-4962017Conference and Workshop Papersclosedconf/kbse/IncertoTT1710.1109/ASE.2017.8115660https://doi.org/10.1109/ASE.2017.8115660https://dblp.org/rec/conf/kbse/IncertoTT17URL#2963281Pooyan JamshidiNorbert SiegmundMiguel VelezChristian KästnerAkshay PatelYuvraj AgarwalTransfer learning for performance modeling of configurable systems: an exploratory analysis.ASE497-5082017Conference and Workshop Papersclosedconf/kbse/JamshidiSVKPA1710.1109/ASE.2017.8115661https://doi.org/10.1109/ASE.2017.8115661https://dblp.org/rec/conf/kbse/JamshidiSVKPA17URL#2963282Siyuan JiangAmeer ArmalyCollin McMillanAutomatically generating commit messages from diffs using neural machine translation.ASE135-1462017Conference and Workshop Papersclosedconf/kbse/JiangAM1710.1109/ASE.2017.8115626https://doi.org/10.1109/ASE.2017.8115626https://dblp.org/rec/conf/kbse/JiangAM17URL#2963283Bo Jiang 0001Yuxuan WuTeng LiW. K. Chan 0001SimplyDroid: efficient event sequence simplification for Android application.ASE297-3072017Conference and Workshop Papersclosedconf/kbse/JiangWLC1710.1109/ASE.2017.8115643https://doi.org/10.1109/ASE.2017.8115643https://dblp.org/rec/conf/kbse/JiangWLC17URL#2963284Timotej KapusCristian CadarAutomatic testing of symbolic execution engines via program generation and differential testing.ASE590-6002017Conference and Workshop Papersclosedconf/kbse/KapusC1710.1109/ASE.2017.8115669https://doi.org/10.1109/ASE.2017.8115669https://dblp.org/rec/conf/kbse/KapusC17URL#2963285Ulf KargénNahid ShahmehriTowards robust instruction-level trace alignment of binary code.ASE342-3522017Conference and Workshop Papersclosedconf/kbse/KargenS1710.1109/ASE.2017.8115647https://doi.org/10.1109/ASE.2017.8115647https://dblp.org/rec/conf/kbse/KargenS17URL#2963286David KavalerSasha SirovicaVincent J. HellendoornRaúl AranovichVladimir FilkovPerceived language complexity in GitHub issue discussions and their effect on issue resolution.ASE72-832017Conference and Workshop Papersclosedconf/kbse/KavalerSHAF1710.1109/ASE.2017.8115620https://doi.org/10.1109/ASE.2017.8115620https://dblp.org/rec/conf/kbse/KavalerSHAF17URL#2963287Raffi KhatchadourianHidehiko MasuharaDefaultification refactoring: a tool for automatically converting Java methods to default.ASE984-9892017Conference and Workshop Papersclosedconf/kbse/KhatchadourianM1710.1109/ASE.2017.8115716https://doi.org/10.1109/ASE.2017.8115716https://dblp.org/rec/conf/kbse/KhatchadourianM17URL#2963288Soomin Kim 0002Markus FaerevaagMinkyu JungSeungil JungDongYeop OhJongHyup LeeSang Kil ChaTesting intermediate representations for binary analysis.ASE353-3642017Conference and Workshop Papersclosedconf/kbse/KimFJJOLC1710.1109/ASE.2017.8115648https://doi.org/10.1109/ASE.2017.8115648https://dblp.org/rec/conf/kbse/KimFJJOLC17URL#2963289Fredrik KjolstadStephen ChouDavid LugatoShoaib Kamil 0001Saman P. Amarasinghetaco: a tool to generate tensor algebra kernels.ASE943-9482017Conference and Workshop Papersclosedconf/kbse/KjolstadCLKA1710.1109/ASE.2017.8115709https://doi.org/10.1109/ASE.2017.8115709https://dblp.org/rec/conf/kbse/KjolstadCLKA17URL#2963290Rahul KrishnaLearning effective changes for software projects.ASE1002-10052017Conference and Workshop Papersclosedconf/kbse/Krishna1710.1109/ASE.2017.8115719https://doi.org/10.1109/ASE.2017.8115719https://dblp.org/rec/conf/kbse/Krishna17URL#2963291Thomas KrismayerRick RabiserPaul GrünbacherMining constraints for event-based monitoring in systems of systems.ASE826-8312017Conference and Workshop Papersclosedconf/kbse/KrismayerRG1710.1109/ASE.2017.8115693https://doi.org/10.1109/ASE.2017.8115693https://dblp.org/rec/conf/kbse/KrismayerRG17URL#2963292Lisa Maria KritzingerThomas KrismayerMichael VierhauserRick RabiserPaul GrünbacherVisualization support for requirements monitoring in systems of systems.ASE889-8942017Conference and Workshop Papersclosedconf/kbse/KritzingerKVRG1710.1109/ASE.2017.8115700https://doi.org/10.1109/ASE.2017.8115700https://dblp.org/rec/conf/kbse/KritzingerKVRG17URL#2963293Stefan KrügerSarah NadiMichael ReifKarim Ali 0001Mira MeziniEric BoddenFlorian GöpfertFelix Günther 0001Christian WeinertDaniel DemmlerRam KamathCogniCrypt: supporting developers in using cryptography.ASE931-9362017Conference and Workshop Papersclosedconf/kbse/KrugerNRAMBGGWD1710.1109/ASE.2017.8115707https://doi.org/10.1109/ASE.2017.8115707https://dblp.org/rec/conf/kbse/KrugerNRAMBGGWD17URL#2963294Sungho LeeSungjae HwangSukyoung RyuAll about activity injection: threats, semantics, and detection.ASE252-2622017Conference and Workshop Papersclosedconf/kbse/LeeHR1710.1109/ASE.2017.8115638https://doi.org/10.1109/ASE.2017.8115638https://dblp.org/rec/conf/kbse/LeeHR17URL#2963295Youn Kyu LeePeera YoodeeArman ShahbazianDaye NamNenad MedvidovicSEALANT: a detection and visualization tool for inter-app security vulnerabilities in Android.ASE883-8882017Conference and Workshop Papersclosedconf/kbse/LeeYSNM1710.1109/ASE.2017.8115699https://doi.org/10.1109/ASE.2017.8115699https://dblp.org/rec/conf/kbse/LeeYSNM17URL#2963296Owolabi LegunsenAugust ShiDarko MarinovSTARTS: STAtic regression test selection.ASE949-9542017Conference and Workshop Papersclosedconf/kbse/LegunsenSM1710.1109/ASE.2017.8115710https://doi.org/10.1109/ASE.2017.8115710https://dblp.org/rec/conf/kbse/LegunsenSM17URL#2963297Olaf LeßenichSven ApelChristian KästnerGeorg SeibtJanet SiegmundRenaming and shifted code in structured merging: looking ahead for precision and performance.ASE543-5532017Conference and Workshop Papersclosedconf/kbse/LessenichAKSS1710.1109/ASE.2017.8115665https://doi.org/10.1109/ASE.2017.8115665https://dblp.org/rec/conf/kbse/LessenichAKSS17URL#2963298Alan LeungSorin LernerParsimony: an IDE for example-guided synthesis of lexers and parsers.ASE815-8252017Conference and Workshop Papersclosedconf/kbse/LeungL1710.1109/ASE.2017.8115692https://doi.org/10.1109/ASE.2017.8115692https://dblp.org/rec/conf/kbse/LeungL17URL#2963299Yi Li 0008Managing software evolution through semantic history slicing.ASE1014-10172017Conference and Workshop Papersclosedconf/kbse/Li1710.1109/ASE.2017.8115722https://doi.org/10.1109/ASE.2017.8115722https://dblp.org/rec/conf/kbse/Li17URL#2963300Jiaying Li 0001Jun Sun 0001Li Li 0044Quang Loc LeShang-Wei Lin 0001Automatic loop-invariant generation and refinement through selective sampling.ASE782-7922017Conference and Workshop Papersclosedconf/kbse/LiSLLL1710.1109/ASE.2017.8115689https://doi.org/10.1109/ASE.2017.8115689https://dblp.org/rec/conf/kbse/LiSLLL17URL#2963301Daniel LiewDaniel SchemmelCristian CadarAlastair F. DonaldsonRafael ZählKlaus WehrleFloating-point symbolic execution: a case study in n-version programming.ASE601-6122017Conference and Workshop Papersclosedconf/kbse/LiewSCDZW1710.1109/ASE.2017.8115670https://doi.org/10.1109/ASE.2017.8115670https://dblp.org/rec/conf/kbse/LiewSCDZW17URL#2963302Jinfeng LinYalin LiuJin Guo 0004Jane Cleland-HuangWilliam GossWenchuang LiuSugandha LoharNatawut MonaikulAlexander RasinTiQi: a natural language interface for querying software project data.ASE973-9772017Conference and Workshop Papersclosedconf/kbse/LinL0CGLLMR1710.1109/ASE.2017.8115714https://doi.org/10.1109/ASE.2017.8115714https://dblp.org/rec/conf/kbse/LinL0CGLLMR17URL#2963303Yun Lin 0001Guozhu MengYinxing XueZhenchang XingJun Sun 0001Xin Peng 0001Yang Liu 0003Wenyun ZhaoJin Song DongMining implicit design templates for actionable code reuse.ASE394-4042017Conference and Workshop Papersclosedconf/kbse/LinMXXSPLZD1710.1109/ASE.2017.8115652https://doi.org/10.1109/ASE.2017.8115652https://dblp.org/rec/conf/kbse/LinMXXSPLZD17URL#2963304Shang-Wei Lin 0001Jun Sun 0001Hao XiaoYang Liu 0003David SanánHenri HansenFiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.ASE793-8032017Conference and Workshop Papersclosedconf/kbse/LinSXLSH1710.1109/ASE.2017.8115690https://doi.org/10.1109/ASE.2017.8115690https://dblp.org/rec/conf/kbse/LinSXLSH17URL#2963305Zeqi LinYanzhen ZouJunfeng Zhao 0001Bing XieImproving software text retrieval using conceptual knowledge in source code.ASE123-1342017Conference and Workshop Papersclosedconf/kbse/LinZZX1710.1109/ASE.2017.8115625https://doi.org/10.1109/ASE.2017.8115625https://dblp.org/rec/conf/kbse/LinZZX17URL#2963306Ke MaoMark HarmanYue Jia 0001Crowd intelligence enhances automated mobile testing.ASE16-262017Conference and Workshop Papersclosedconf/kbse/MaoHJ1710.1109/ASE.2017.8115614https://doi.org/10.1109/ASE.2017.8115614https://dblp.org/rec/conf/kbse/MaoHJ17URL#2963307Björn MathisVitalii AvdiienkoEzekiel O. SoremekunMarcel BöhmeAndreas ZellerDetecting information flow by mutating input data.ASE263-2732017Conference and Workshop Papersclosedconf/kbse/MathisASBZ1710.1109/ASE.2017.8115639https://doi.org/10.1109/ASE.2017.8115639https://dblp.org/rec/conf/kbse/MathisASBZ17URL#2963308Lakhdar MeftahMaría Gómez 0001Romain RouvoyIsabelle ChrismentANDROFLEET: testing WiFi peer-to-peer mobile apps in the large.ASE961-9662017Conference and Workshop Papersclosedconf/kbse/MeftahGRC1710.1109/ASE.2017.8115712https://doi.org/10.1109/ASE.2017.8115712https://dblp.org/rec/conf/kbse/MeftahGRC17URL#2963309Massimiliano MenariniYan Yan 0021William G. GriswoldSemantics-assisted code review: an efficient toolchain and a user study.ASE554-5652017Conference and Workshop Papersclosedconf/kbse/MenariniYG1710.1109/ASE.2017.8115666https://doi.org/10.1109/ASE.2017.8115666https://dblp.org/rec/conf/kbse/MenariniYG17URL#2963310Patrick MetzlerHabib SaissiPéter BokorNeeraj SuriQuick verification of concurrent programs by iteratively relaxed scheduling.ASE776-7812017Conference and Workshop Papersclosedconf/kbse/MetzlerSBS1710.1109/ASE.2017.8115688https://doi.org/10.1109/ASE.2017.8115688https://dblp.org/rec/conf/kbse/MetzlerSBS17URL#2963311Chris MillsTowards the automatic classification of traceability links.ASE1018-10212017Conference and Workshop Papersclosedconf/kbse/Mills1710.1109/ASE.2017.8115723https://doi.org/10.1109/ASE.2017.8115723https://dblp.org/rec/conf/kbse/Mills17URL#2963312Samim MirhosseiniChris ParninCan automated pull requests encourage software developers to upgrade out-of-date dependencies?ASE84-942017Conference and Workshop Papersclosedconf/kbse/MirhosseiniP1710.1109/ASE.2017.8115621https://doi.org/10.1109/ASE.2017.8115621https://dblp.org/rec/conf/kbse/MirhosseiniP17URL#2963313ThanhVu NguyenMatthew B. DwyerWillem VisserSymInfer: inferring program invariants using symbolic states.ASE804-8142017Conference and Workshop Papersclosedconf/kbse/NguyenDV1710.1109/ASE.2017.8115691https://doi.org/10.1109/ASE.2017.8115691https://dblp.org/rec/conf/kbse/NguyenDV17URL#2963314Truc L. NguyenPeter SchrammelBernd Fischer 0002Salvatore La TorreGennaro ParlatoParallel bug-finding in concurrent programs via reduced interleaving instances.ASE753-7642017Conference and Workshop Papersclosedconf/kbse/NguyenS0TP1710.1109/ASE.2017.8115686https://doi.org/10.1109/ASE.2017.8115686https://dblp.org/rec/conf/kbse/NguyenS0TP17URL#2963315Sebastian Nielebock 0001Towards API-specific automatic program repair.ASE1010-10132017Conference and Workshop Papersclosedconf/kbse/Nielebock1710.1109/ASE.2017.8115721https://doi.org/10.1109/ASE.2017.8115721https://dblp.org/rec/conf/kbse/Nielebock17URL#2963316Frolin S. Ocariza Jr.Karthik PattabiramanAli Mesbah 0001Detecting unknown inconsistencies in web applications.ASE566-5772017Conference and Workshop Papersclosedconf/kbse/OcarizaP01710.1109/ASE.2017.8115667https://doi.org/10.1109/ASE.2017.8115667https://dblp.org/rec/conf/kbse/OcarizaP017URL#2963317Matheus PaixãoJens KrinkeDongGyun HanChaiyong RagkhitwetsagulMark HarmanAre developers aware of the architectural impact of their changes?ASE95-1052017Conference and Workshop Papersclosedconf/kbse/PaixaoKHRH1710.1109/ASE.2017.8115622https://doi.org/10.1109/ASE.2017.8115622https://dblp.org/rec/conf/kbse/PaixaoKHRH17URL#2963318Sara Pérez-SolerEsther GuerraJuan de LaraFrancisco Jurado 0001The rise of the (modelling) bots: towards assisted modelling via social networks.ASE723-7282017Conference and Workshop Papersclosedconf/kbse/Perez-SolerGLJ1710.1109/ASE.2017.8115683https://doi.org/10.1109/ASE.2017.8115683https://dblp.org/rec/conf/kbse/Perez-SolerGLJ17URL#2963319Christopher PietschManuel OhrndorfUdo KelterTimo KehrerIncrementally slicing editable submodels.ASE913-9182017Conference and Workshop Papersclosedconf/kbse/PietschOKK1710.1109/ASE.2017.8115704https://doi.org/10.1109/ASE.2017.8115704https://dblp.org/rec/conf/kbse/PietschOKK17URL#2963320Gustavo Pinto 0001Anthony CaninoFernando CastorGuoqing Xu 0001Yu David LiuUnderstanding and overcoming parallelism bottlenecks in ForkJoin applications.ASE765-7752017Conference and Workshop Papersclosedconf/kbse/PintoCCXL1710.1109/ASE.2017.8115687https://doi.org/10.1109/ASE.2017.8115687https://dblp.org/rec/conf/kbse/PintoCCXL17URL#2963321Wenyi QianXin Peng 0001Jun Sun 0001Yijun YuBashar NuseibehWenyun ZhaoO2O service composition with social collaboration.ASE451-4612017Conference and Workshop Papersclosedconf/kbse/QianP0YNZ1710.1109/ASE.2017.8115657https://doi.org/10.1109/ASE.2017.8115657https://dblp.org/rec/conf/kbse/QianP0YNZ17URL#2963322Yasmin RafiqLuke DickensAlessandra RussoArosha K. BandaraMu YangAvelie StuartMark LevineGul CalikliBlaine A. PriceBashar NuseibehLearning to share: engineering adaptive decision-support for online social networks.ASE280-2852017Conference and Workshop Papersclosedconf/kbse/RafiqDRBYSLCPN1710.1109/ASE.2017.8115641https://doi.org/10.1109/ASE.2017.8115641https://dblp.org/rec/conf/kbse/RafiqDRBYSLCPN17URL#2963323Mona RahimiWandi XiongJane Cleland-HuangRobyn R. LutzDiagnosing assumption problems in safety-critical products.ASE473-4842017Conference and Workshop Papersclosedconf/kbse/RahimiXCL1710.1109/ASE.2017.8115659https://doi.org/10.1109/ASE.2017.8115659https://dblp.org/rec/conf/kbse/RahimiXCL17URL#2963324Inderjot Kaur RatolMartin P. RobillardDetecting fragile comments.ASE112-1222017Conference and Workshop Papersclosedconf/kbse/RatolR1710.1109/ASE.2017.8115624https://doi.org/10.1109/ASE.2017.8115624https://dblp.org/rec/conf/kbse/RatolR17URL#2963325Steven P. ReissQi XinA demonstration of simultaneous execution and editing in a development environment.ASE895-9002017Conference and Workshop Papersclosedconf/kbse/ReissX1710.1109/ASE.2017.8115701https://doi.org/10.1109/ASE.2017.8115701https://dblp.org/rec/conf/kbse/ReissX17URL#2963326Thomas RolfsnesLeon MoonenDavid W. BinkleyPredicting relevance of change recommendations.ASE694-7052017Conference and Workshop Papersclosedconf/kbse/RolfsnesMB1710.1109/ASE.2017.8115680https://doi.org/10.1109/ASE.2017.8115680https://dblp.org/rec/conf/kbse/RolfsnesMB17URL#2963327Thomas RupprechtXi Chen 0038David H. White 0001Jan H. BoockmannGerald LüttgenHerbert BosDSIbin: identifying dynamic data structures in C/C++ binaries.ASE331-3412017Conference and Workshop Papersclosedconf/kbse/RupprechtC0BLB1710.1109/ASE.2017.8115646https://doi.org/10.1109/ASE.2017.8115646https://dblp.org/rec/conf/kbse/RupprechtC0BLB17URL#2963328Jonathan A. SaddlerMyra B. CohenEventFlowSlicer: a tool for generating realistic goal-driven GUI tests.ASE955-9602017Conference and Workshop Papersclosedconf/kbse/SaddlerC1710.1109/ASE.2017.8115711https://doi.org/10.1109/ASE.2017.8115711https://dblp.org/rec/conf/kbse/SaddlerC17URL#2963329Ripon K. SahaYingjun LyuHiroaki YoshidaMukul R. PrasadELIXIR: effective object oriented program repair.ASE648-6592017Conference and Workshop Papersclosedconf/kbse/SahaLYP1710.1109/ASE.2017.8115675https://doi.org/10.1109/ASE.2017.8115675https://dblp.org/rec/conf/kbse/SahaLYP17URL#2963330Simone ScalabrinoGabriele BavotaChristopher VendomeMario Linares VásquezDenys PoshyvanykRocco OlivetoAutomatically assessing code understandability: how far are we?ASE417-4272017Conference and Workshop Papersclosedconf/kbse/ScalabrinoBVVPO1710.1109/ASE.2017.8115654https://doi.org/10.1109/ASE.2017.8115654https://dblp.org/rec/conf/kbse/ScalabrinoBVVPO17URL#2963331Lukas SchmidtApurva NarayanSebastian FischmeisterTREM: a tool for mining timed regular specifications from system traces.ASE901-9062017Conference and Workshop Papersclosedconf/kbse/SchmidtNF1710.1109/ASE.2017.8115702https://doi.org/10.1109/ASE.2017.8115702https://dblp.org/rec/conf/kbse/SchmidtNF17URL#2963332Lin Shi 0006Celia ChenQing Wang 0001Shoubin LiBarry W. BoehmUnderstanding feature requests by leveraging fuzzy method and linguistic analysis.ASE440-4502017Conference and Workshop Papersclosedconf/kbse/ShiCWLB1710.1109/ASE.2017.8115656https://doi.org/10.1109/ASE.2017.8115656https://dblp.org/rec/conf/kbse/ShiCWLB17URL#2963333Ghanem SoltanaMehrdad SabetzadehLionel C. BriandSynthetic data generation for statistical testing.ASE872-8822017Conference and Workshop Papersclosedconf/kbse/SoltanaSB1710.1109/ASE.2017.8115698https://doi.org/10.1109/ASE.2017.8115698https://dblp.org/rec/conf/kbse/SoltanaSB17URL#2963334Wei Song 0003Xiangxing QianJeff Huang 0001EHBDroid: beyond GUI testing for Android applications.ASE27-372017Conference and Workshop Papersclosedconf/kbse/SongQH1710.1109/ASE.2017.8115615https://doi.org/10.1109/ASE.2017.8115615https://dblp.org/rec/conf/kbse/SongQH17URL#2963335Matús SulírJaroslav PorubänRuntimeSearch: Ctrl+F for a running program.ASE388-3932017Conference and Workshop Papersclosedconf/kbse/SulirP1710.1109/ASE.2017.8115651https://doi.org/10.1109/ASE.2017.8115651https://dblp.org/rec/conf/kbse/SulirP17URL#2963336Kazi Zakia SultanaTowards a software vulnerability prediction model using traceable code patterns and software metrics.ASE1022-10252017Conference and Workshop Papersclosedconf/kbse/Sultana1710.1109/ASE.2017.8115724https://doi.org/10.1109/ASE.2017.8115724https://dblp.org/rec/conf/kbse/Sultana17URL#2963337Yan SunCelia ChenQing Wang 0001Barry W. BoehmImproving missing issue-commit link recovery using positive and unlabeled data.ASE147-1522017Conference and Workshop Papersclosedconf/kbse/SunCWB1710.1109/ASE.2017.8115627https://doi.org/10.1109/ASE.2017.8115627https://dblp.org/rec/conf/kbse/SunCWB17URL#2963338Chungha SungMarkus KusanoChao Wang 0001Modular verification of interrupt-driven software.ASE206-2162017Conference and Workshop Papersclosedconf/kbse/SungKW1710.1109/ASE.2017.8115634https://doi.org/10.1109/ASE.2017.8115634https://dblp.org/rec/conf/kbse/SungKW17URL#2963339Cong TianZhao DuanZhenhua DuanC.-H. Luke OngMore effective interpolations in software model checking.ASE183-1932017Conference and Workshop Papersclosedconf/kbse/TianDDO1710.1109/ASE.2017.8115631https://doi.org/10.1109/ASE.2017.8115631https://dblp.org/rec/conf/kbse/TianDDO17URL#2963340Yuan Tian 0008Ferdian ThungAbhishek Sharma 0002David Lo 0001APIBot: question answering bot for API documentation.ASE153-1582017Conference and Workshop Papersclosedconf/kbse/TianTSL1710.1109/ASE.2017.8115628https://doi.org/10.1109/ASE.2017.8115628https://dblp.org/rec/conf/kbse/TianTSL17URL#2963341Luca Della ToffolaCristian-Alexandru StaicuMichael PradelSaying 'hi!' is not enough: mining inputs for effective test generation.ASE44-492017Conference and Workshop Papersclosedconf/kbse/ToffolaSP1710.1109/ASE.2017.8115617https://doi.org/10.1109/ASE.2017.8115617https://dblp.org/rec/conf/kbse/ToffolaSP17URL#2963342Kristín Fjóla TómasdóttirMauricio Finavaro AnicheArie van DeursenWhy and how JavaScript developers use linters.ASE578-5892017Conference and Workshop Papersclosedconf/kbse/TomasdottirAD1710.1109/ASE.2017.8115668https://doi.org/10.1109/ASE.2017.8115668https://dblp.org/rec/conf/kbse/TomasdottirAD17URL#2963343Gias Uddin 0001Foutse KhomhAutomatic summarization of API reviews.ASE159-1702017Conference and Workshop Papersclosedconf/kbse/UddinK1710.1109/ASE.2017.8115629https://doi.org/10.1109/ASE.2017.8115629https://dblp.org/rec/conf/kbse/UddinK17URL#2963344Gias Uddin 0001Foutse KhomhOpiner: an opinion search and summarization engine for APIs.ASE978-9832017Conference and Workshop Papersclosedconf/kbse/UddinK17a10.1109/ASE.2017.8115715https://doi.org/10.1109/ASE.2017.8115715https://dblp.org/rec/conf/kbse/UddinK17aURL#2963345Jie Wang 0035Characterizing and taming non-deterministic bugs in JavaScript applications.ASE1006-10092017Conference and Workshop Papersclosedconf/kbse/Wang1710.1109/ASE.2017.8115720https://doi.org/10.1109/ASE.2017.8115720https://dblp.org/rec/conf/kbse/Wang17URL#2963346Jie Wang 0035Wensheng DouYu Gao 0002Chushu GaoFeng QinKang YinJun Wei 0001A comprehensive study on real world concurrency bugs in Node.js.ASE520-5312017Conference and Workshop Papersclosedconf/kbse/WangDGGQYW1710.1109/ASE.2017.8115663https://doi.org/10.1109/ASE.2017.8115663https://dblp.org/rec/conf/kbse/WangDGGQYW17URL#2963347Weihang Wang 0001Yonghwi Kwon 0001Yunhui ZhengYousra AaferI Luk KimWen-Chuan LeeYingqi LiuWeijie MengXiangyu Zhang 0001Patrick EugsterPAD: programming third-party web advertisement censorship.ASE240-2512017Conference and Workshop Papersclosedconf/kbse/WangKZAKLLMZE1710.1109/ASE.2017.8115637https://doi.org/10.1109/ASE.2017.8115637https://dblp.org/rec/conf/kbse/WangKZAKLLMZE17URL#2963348Zizhe WangHailong Sun 0001Yang FuLuting YeRecommending crowdsourced software developers in consideration of skill improvement.ASE717-7222017Conference and Workshop Papersclosedconf/kbse/WangSFY1710.1109/ASE.2017.8115682https://doi.org/10.1109/ASE.2017.8115682https://dblp.org/rec/conf/kbse/WangSFY17URL#2963349Shuai Wang 0011Dinghao WuIn-memory fuzzing for binary code similarity analysis.ASE319-3302017Conference and Workshop Papersclosedconf/kbse/WangW1710.1109/ASE.2017.8115645https://doi.org/10.1109/ASE.2017.8115645https://dblp.org/rec/conf/kbse/WangW17URL#2963350Yuexing WangMin Zhou 0001Yu Jiang 0001Xiaoyu SongMing Gu 0001Jiaguang Sun 0001A static analysis tool with optimizations for reachability determination.ASE925-9302017Conference and Workshop Papersclosedconf/kbse/WangZJS0S1710.1109/ASE.2017.8115706https://doi.org/10.1109/ASE.2017.8115706https://dblp.org/rec/conf/kbse/WangZJS0S17URL#2963351Aaron WeissArjun GuhaYuriy BrunTortoise: interactive system configuration repair.ASE625-6362017Conference and Workshop Papersclosedconf/kbse/WeissGB1710.1109/ASE.2017.8115673https://doi.org/10.1109/ASE.2017.8115673https://dblp.org/rec/conf/kbse/WeissGB17URL#2963352Qi XinSteven P. ReissLeveraging syntax-related code for automated program repair.ASE660-6702017Conference and Workshop Papersclosedconf/kbse/XinR1710.1109/ASE.2017.8115676https://doi.org/10.1109/ASE.2017.8115676https://dblp.org/rec/conf/kbse/XinR17URL#2963353Bowen XuZhenchang XingXin Xia 0001David Lo 0001AnswerBot: automated generation of answer summary to developersź technical questions.ASE706-7162017Conference and Workshop Papersclosedconf/kbse/XuXXL1710.1109/ASE.2017.8115681https://doi.org/10.1109/ASE.2017.8115681https://dblp.org/rec/conf/kbse/XuXXL17URL#2963354Yixiao YangYu Jiang 0001Ming Gu 0001Jiaguang Sun 0001Jian Gao 0008Han Liu 0010A language model for statements of software code.ASE682-6872017Conference and Workshop Papersclosedconf/kbse/YangJ0SGL1710.1109/ASE.2017.8115678https://doi.org/10.1109/ASE.2017.8115678https://dblp.org/rec/conf/kbse/YangJ0SGL17URL#2963355Shayan ZamaniradBoualem BenatallahMoshe Chai BarukhFabio CasatiCarlos Rodríguez 0001Programming bots by synthesizing natural language expressions into API invocations.ASE832-8372017Conference and Workshop Papersclosedconf/kbse/ZamaniradBBC01710.1109/ASE.2017.8115694https://doi.org/10.1109/ASE.2017.8115694https://dblp.org/rec/conf/kbse/ZamaniradBBC017URL#2963356Chucheng ZhangHaoliang ChengEnyi TangXin Chen 0027Lei BuXuandong LiSketch-guided GUI test generation for mobile applications.ASE38-432017Conference and Workshop Papersclosedconf/kbse/ZhangCTCBL1710.1109/ASE.2017.8115616https://doi.org/10.1109/ASE.2017.8115616https://dblp.org/rec/conf/kbse/ZhangCTCBL17URL#2963357Li Lyna ZhangChieh-Jan Mike LiangYunxin LiuEnhong ChenSystematically testing background services of mobile apps.ASE4-152017Conference and Workshop Papersclosedconf/kbse/ZhangLLC1710.1109/ASE.2017.8115613https://doi.org/10.1109/ASE.2017.8115613https://dblp.org/rec/conf/kbse/ZhangLLC17URL#2963358Yangyang ZhaoAlexander SerebrenikYuming ZhouVladimir FilkovBogdan VasilescuThe impact of continuous integration on other software development practices: a large-scale empirical study.ASE60-712017Conference and Workshop Papersclosedconf/kbse/ZhaoSZFV1710.1109/ASE.2017.8115619https://doi.org/10.1109/ASE.2017.8115619https://dblp.org/rec/conf/kbse/ZhaoSZFV17URL#2963359Hao Zhong 0001Xiaoyin WangBoosting complete-code tool for partial program.ASE671-6812017Conference and Workshop Papersclosedconf/kbse/ZhongW1710.1109/ASE.2017.8115677https://doi.org/10.1109/ASE.2017.8115677https://dblp.org/rec/conf/kbse/ZhongW17URL#2963360Jinpeng ZhouSam SilvestroHongyu Liu 0005Yan Cai 0001Tongping LiuUNDEAD: detecting and preventing deadlocks in production software.ASE729-7402017Conference and Workshop Papersclosedconf/kbse/ZhouSLCL1710.1109/ASE.2017.8115684https://doi.org/10.1109/ASE.2017.8115684https://dblp.org/rec/conf/kbse/ZhouSLCL17URL#2963361Grigore RosuMassimiliano Di PentaTien N. NguyenProceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017ASEIEEE Computer Society2017Editorshipconf/kbse/2017https://ieeexplore.ieee.org/xpl/conhome/8106906/proceedinghttps://dblp.org/rec/conf/kbse/2017URL#3015327