BibSLEIGH — automation tag

automation

automation

Tag #automation

5529 papers:

POPL-2020-Jaber #equivalence #higher-order #named #source code: SyTeCi: automating contextual equivalence for higher-order programs with references (GJ), p. 28.
ASPLOS-2020-ApostolakisXCCA #approach #named #parallel: Perspective: A Sensible Approach to Speculative Automatic Parallelization (SA, ZX, GC, SC, DIA), pp. 351–367.
ASPLOS-2020-HildebrandKTLA #integer #linear #memory management #named #programming #using: AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming (MH, JK, ST, JLP, VA), pp. 875–890.
ASPLOS-2020-Zheng0WCS #framework #named #optimisation: FlexTensor: An Automatic Schedule Exploration and Optimization Framework for Tensor Computation on Heterogeneous System (SZ, YL0, SW, RC, KS), pp. 859–873.
CC-2020-ChenKKVH #database #performance #query: Improving database query performance with automatic fusion (HC, AK, BK, CV, LJH), pp. 63–73.
CC-2020-GinsbachCO: Automatically harnessing sparse acceleration (PG, BC, MFPO), pp. 179–190.
CGO-2020-CowanMCBC #generative #kernel #machine learning: Automatic generation of high-performance quantized machine learning kernels (MC, TM, TC, JB, LC), pp. 305–316.
CGO-2020-MatsumuraZWEM #framework #named: AN5D: automated stencil framework for high-degree temporal blocking on GPUs (KM, HRZ, MW, TE, SM), pp. 199–211.
CGO-2020-OjogboTV #bound: Secure automatic bounds checking: prevention is simpler than cure (EJO, MT, TNV), pp. 43–55.
CSL-2020-GanardiK #equivalence #polynomial: Automatic Equivalence Structures of Polynomial Growth (MG, BK), p. 16.
EDM-2019-BoulangerK #process: Shedding Light on the Automated Essay Scoring Process (DB, VK).
EDM-2019-BroisinH #design #evaluation #learning #programming #semantics: Design and evaluation of a semantic indicator for automatically supporting programming learning (JB, CH).
EDM-2019-DicklerLG #approach #assessment #data-driven: A Data-Driven Approach for Automated Assessment of Scientific Explanations in Science Inquiry (RD, HL, JDG).
EDM-2019-HarrakBLB #identification #learning #self: Automatic identification of questions in MOOC forums and association with self-regulated learning (FH, FB, VL, RB).
EDM-2019-PuWJ #education #framework #student: ATC Framework: A fully Automatic Cognitive Tracing Model for Student and Educational Contents (YP, WW0, TJ).
EDM-2019-RabornLM #comparison: A Comparison of Automated Scale Short Form Selection Strategies (AWR, WLL, KMM).
EDM-2019-VaratharajBLH #assessment #tool support: Hao Fa Yin: Developing Automated Audio Assessment Tools for a Chinese Language Course (AV, AFB, XL, NTH).
EDM-2019-Wang: Techniques for Automatically Evaluating Machine-Generated Questions (ZW0).
EDM-2019-WangLWGB #bidirectional: A Meta-Learning Augmented Bidirectional Transformer Model for Automatic Short Answer Grading (ZW0, ASL, AEW, PG, RGB).
ICPC-2019-GaoLLLYLGC #distributed #testing #towards: Towards automated testing of blockchain-based decentralized applications (JG, HL0, YL, CL, ZY, QL, ZG, ZC), pp. 294–299.
ICSME-2019-AlrubayeM0 #detection #java #library #migration #named: MigrationMiner: An Automated Detection Tool of Third-Party Java Library Migration at the Method Level (HA, MWM, AO0), pp. 414–417.
ICSME-2019-AlsharifKM #generative #sql #testing #what: What Factors Make SQL Test Cases Understandable for Testers? A Human Study of Automated Test Data Generation Techniques (AA, GMK, PM), pp. 437–448.
ICSME-2019-AsadGS #impact analysis #program repair #semantics: Impact Analysis of Syntactic and Semantic Similarities on Patch Prioritization in Automated Program Repair (MA, KKG, KS), pp. 328–332.
ICSME-2019-Dobrean #architecture #mobile: Automatic Examining of Software Architectures on Mobile Applications Codebases (DD), pp. 595–599.
ICSME-2019-GonzalezHM: Automated Characterization of Software Vulnerabilities (DG, HH, MM), pp. 135–139.
ICSME-2019-Sae-LimHS #impact analysis #predict #question: Can Automated Impact Analysis Techniques Help Predict Decaying Modules? (NSL, SH, MS), pp. 541–545.
ICSME-2019-ZaidAM #identification: Automated Identification of Over-Privileged SmartThings Apps (AAZ, MHA, AM), pp. 247–251.
ICSME-2019-Zhang00HM: Automatic Discovery and Cleansing of Numerical Metamorphic Relations (BZ, HZ0, JC0, DH, PM), pp. 235–245.
ICSME-2019-Zhang00HM19a #named: AutoMR: Automatic Discovery and Cleansing of Numerical Metamorphic Relations (BZ, HZ0, JC0, DH, PM), p. 246.
MSR-2019-AlqaimiTT #documentation #generative #java: Automatically generating documentation for lambda expressions in Java (AA, PT, CT), pp. 310–320.
MSR-2019-ChrenMB0 #analysis #named #reliability: STRAIT: a tool for automated software reliability growth analysis (SC, RM, BB, BR0), pp. 105–110.
MSR-2019-LeSB #assessment #concept: Automated software vulnerability assessment with concept drift (THML, BS, MAB), pp. 371–382.
MSR-2019-SerraGPFGB #effectiveness #generative #on the #testing #years after: On the effectiveness of manual and automatic unit test generation: ten years later (DS, GG, FP, FF, HCG, AB), pp. 121–125.
SANER-2019-ArcelliCP #detection #modelling #performance #refactoring #uml: Automating Performance Antipattern Detection and Software Refactoring in UML Models (DA, VC, DDP), pp. 639–643.
SANER-2019-DelfimUMM #benchmark #debugging #java #metric #named #program repair: BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies (FM, SU, MdAM, MM), pp. 468–478.
SANER-2019-LiZLFG #android #library #named: APPCOMMUNE: Automated Third-Party Libraries De-duplicating and Updating for Android Apps (BL, YZ0, JL, RF, DG), pp. 344–354.
SCAM-2019-HendersonPK #fault #locality #markov #process #using: Evaluating Automatic Fault Localization Using Markov Processes (TADH, AP, YK), pp. 115–126.
SCAM-2019-KashyapRKTSPHMS #benchmark #generative: Automated Customized Bug-Benchmark Generation (VK, JR, LK, ET, RS, SAP, JH, DM, ES), pp. 103–114.
SCAM-2019-Kessel0 #set: Automatically Curated Data Sets (MK, CA0), pp. 56–61.
SCAM-2019-MarcilioFB0 #analysis #generative: Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings (DM, CAF, RB, GP0), pp. 34–44.
SCAM-2019-MondalRS #analysis #architecture #case study #natural language #using: An Exploratory Study on Automatic Architectural Change Analysis Using Natural Language Processing Techniques (AKM, BR, KAS), pp. 62–73.
SCAM-2019-StorerB #behaviour #development #exclamation #generative #testing: Behave Nicely! Automatic Generation of Code for Behaviour Driven Development Test Suites (TS, RB), pp. 228–237.
IFM-2019-LutebergetCJ #optimisation #satisfiability #using: Automated Drawing of Railway Schematics Using Numerical Optimization in SAT (BL, KC, CJ), pp. 341–359.
IFM-2019-OortwijnH #abstraction #concurrent #message passing #verification: Practical Abstractions for Automated Verification of Message Passing Concurrency (WO, MH), pp. 399–417.
SEFM-2019-BartocciMMMN #continuation #modelling: Automatic Failure Explanation in CPS Models (EB, NM, LM, CM, DN), pp. 69–86.
ICFP-2019-HameerP #case study #education #experience #functional #programming #using: Teaching the art of functional programming using automated grading (experience report) (AH, BP), p. 15.
AIIDE-2019-DiamantiT #abstraction #adaptation #refinement #simulation: Automatic Abstraction and Refinement for Simulations with Adaptive Level of Detail (MD, DT), pp. 17–23.
CoG-2019-AshlockS19a #generative #representation #what: Automatic Generation of Level Maps with the Do What's Possible Representation (DA, CS), pp. 1–8.
CoG-2019-ChangAS #assurance #named #quality #testing #using: Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration (KC, BA, AMS), pp. 1–8.
CoG-2019-CookR #analysis #game studies #graph: Hyperstate Space Graphs for Automated Game Analysis (MC0, AR), pp. 1–8.
CoG-2019-KimLLHK #algorithm #game studies #generative #graph #using: Automatic Generation of Game Content using a Graph-based Wave Function Collapse Algorithm (HK, SL, HL, TH, SK), pp. 1–4.
CoG-2019-KreitzerAP #automaton #generative: Automatic Generation of Diverse Cavern Maps with Morphing Cellular Automata (MK, DA, RP), pp. 1–8.
CoG-2019-MugraiSHT #game studies: Automated Playtesting of Matching Tile Games (LM, FdMS, CH, JT), pp. 1–7.
CoG-2019-SykownikBM #analysis #pipes and filters #sentiment #speech: Can You Hear the Player Experienceƒ A Pipeline for Automated Sentiment Analysis of Player Speech (PS, FB, MM), pp. 1–4.
FDG-2019-LiuLLMHSWCGLDT #generative #using: Automatic generation of tower defense levels using PCG (SCL, CL, YL, HM, XH, YS, LW, ZC, XG, HL, YD, QT), p. 9.
CIKM-2019-0002LMGZZH #chat #generative #interactive: Emotion-aware Chat Machine: Automatic Emotional Response Generation for Human-like Emotional Interaction (WW0, JL, XM, GG, FZ0, PZ, YH), pp. 1401–1410.
CIKM-2019-Han #multi #text-to-text: From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration (JH), pp. 5–6.
CIKM-2019-KawabataMS #data type #mining: Automatic Sequential Pattern Mining in Data Streams (KK, YM, YS), pp. 1733–1742.
CIKM-2019-PratamaZAO0 #multi #network #streaming: Automatic Construction of Multi-layer Perceptron Network from Streaming Examples (MP, CZ, AA, YSO, WD0), pp. 1171–1180.
CIKM-2019-SongS0DX0T #feature model #interactive #learning #named #network #self: AutoInt: Automatic Feature Interaction Learning via Self-Attentive Neural Networks (WS, CS, ZX0, ZD, YX, MZ0, JT), pp. 1161–1170.
CIKM-2019-ZhangYWH #e-commerce #learning #named #ranking #realtime: Autor3: Automated Real-time Ranking with Reinforcement Learning in E-commerce Sponsored Search Advertising (YZ, ZY, LW, LH), pp. 2499–2507.
ECIR-p1-2019-KimY #approach #hybrid #modelling: A Hybrid Modeling Approach for an Automated Lyrics-Rating System for Adolescents (JK, MYY), pp. 779–786.
ECIR-p1-2019-SinghSVGMC #comparative #generative: Automated Early Leaderboard Generation from Comparative Tables (MS0, RS, AV, PG, AM0, SC), pp. 244–257.
ECIR-p1-2019-StorkWHPVW #semantics: Automated Semantic Annotation of Species Names in Handwritten Texts (LS, AW0, HJvdH, AP, FJV, KW), pp. 667–680.
ECIR-p2-2019-ElsayedNBHSMA #exclamation #identification #verification: CheckThat! at CLEF 2019: Automatic Identification and Verification of Claims (TE, PN, ABC, MH, RS, GDSM, PA), pp. 309–315.
ECIR-p2-2019-HurriyetogluYYY #multi #set: A Task Set Proposal for Automatic Protest Information Collection Across Multiple Countries (AH, EY, DY, ÇY, BG, FD, OM), pp. 316–323.
ECIR-p2-2019-PasqualiMCJJ #generative #interactive: Interactive System for Automatically Generating Temporal Narratives (AP, VM, RC0, AMJ, AJ), pp. 251–255.
ECIR-p2-2019-PenhaCCGS #classification #documentation #performance #predict: Document Performance Prediction for Automatic Text Classification (GP, RRC, SDC, MAG, RLTS), pp. 132–139.
ICML-2019-Agarwal: Static Automatic Batching In TensorFlow (AA), pp. 92–101.
ICML-2019-ChaiTOG: Automated Model Selection with Bayesian Quadrature (HC, JFT, MAO, RG), pp. 931–940.
ICML-2019-GreenbergNM: Automatic Posterior Transformation for Likelihood-Free Inference (DSG, MN, JHM), pp. 2404–2414.
ICML-2019-QinCCGR #recognition #robust #speech: Imperceptible, Robust, and Targeted Adversarial Examples for Automatic Speech Recognition (YQ, NC, GWC, IJG, CR), pp. 5231–5240.
ICML-2019-RenTQZZL #recognition #speech: Almost Unsupervised Text to Speech and Automatic Speech Recognition (YR, XT, TQ, SZ, ZZ, TYL), pp. 5410–5419.
ICML-2019-WhitehillR #classification: Automatic Classifiers as Scientific Instruments: One Step Further Away from Ground-Truth (JW, AR), pp. 6757–6765.
KDD-2019-LiuFWWBL #learning #multi: Automating Feature Subspace Exploration via Multi-Agent Reinforcement Learning (KL, YF, PW, LW, RB, XL), pp. 207–215.
KDD-2019-LiuWXLY #generative #summary: Automatic Dialogue Summary Generation for Customer Service (CL, PW, JX, ZL, JY), pp. 1957–1965.
KDD-2019-LuoWZYTCDY #named: AutoCross: Automatic Feature Crossing for Tabular Data in Real-World Applications (YL, MW, HZ, QY, WWT, YC, WD, QY0), pp. 1936–1945.
KDD-2019-YangSZDGDQZ #named: AiAds: Automated and Intelligent Advertising System for Sponsored Search (XY, DS, RZ, TD, ZG, ZD, SQ, YZ0), pp. 1881–1890.
MoDELS-2019-BurduselZ0 #consistency #generative #search-based: Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering (AB, SZ, SJ0), pp. 106–116.
MoDELS-2019-NguyenRRPI #approach #classification #machine learning #metamodelling #repository: Automated Classification of Metamodel Repositories: A Machine Learning Approach (PTN, JDR, DDR, AP, LI), pp. 272–282.
MoDELS-2019-PeldszusT0JS #data flow #modelling: Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings (SP, KT, DS0, JJ, RS), pp. 23–33.
ECOOP-2019-VillazonSRRBDOB #multi #program analysis #scalability: Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) (AV, HS, AR, ER, DB, ID, SO, WB), p. 27.
OOPSLA-2019-BaderSP0 #debugging #learning #named: Getafix: learning to fix bugs automatically (JB, AS, MP, SC0), p. 27.
OOPSLA-2019-PanHXD #regular expression: Automatic repair of regular expressions (RP, QH, GX, LD), p. 29.
OOPSLA-2019-SongLO #detection #fault #functional #logic #programming #scalability: Automatic and scalable detection of logical errors in functional programming assignments (DS, ML, HO), p. 30.
PADL-2019-HippenL #set #source code: Automatic Program Rewriting in Non-Ground Answer Set Programs (NH, YL), pp. 19–36.
PLDI-2019-LiLCGL #debugging #distributed #named: DFix: automatically fixing timing bugs in distributed systems (GL, HL, XC, HSG, SL), pp. 994–1009.
POPL-2019-SaadCSRM #modelling #probability #source code #synthesis: Bayesian synthesis of probabilistic programs for automatic data modeling (FAS, MFCT, US, MCR, VKM), p. 32.
POPL-2019-YiCMJ #fault #float #library #performance: Efficient automated repair of high floating-point errors in numerical libraries (XY, LC, XM, TJ), p. 29.
ASE-2019-BaoLWF #generative #named #network: ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks (LB, XL, FW, BF), pp. 465–476.
ASE-2019-EndresSCJW #named: InFix: Automatically Repairing Novice Program Inputs (ME, GS, BC, RJ, WW), pp. 399–410.
ASE-2019-GaoZX0LK #generative #overview: Automating App Review Response Generation (CG, JZ, XX0, DL0, MRL, IK), pp. 163–175.
ASE-2019-Gerostathopoulos #evaluation: Automated Trainability Evaluation for Smart Software Functions (IG, SK, CS, TB, AK), pp. 998–1001.
ASE-2019-Ghanbari #program repair #towards: Toward Practical Automatic Program Repair (AG), pp. 1262–1264.
ASE-2019-Gladisch0HOVP #experience #search-based #testing: Experience Paper: Search-Based Testing in Automated Driving Control Applications (CG, TH0, CH, JO, AvV, TP), pp. 26–37.
ASE-2019-KohlerS #programming #refactoring: Automated Refactoring to Reactive Programming (MK, GS), pp. 835–846.
ASE-2019-Kolthoff #generative #natural language #prototype #requirements #strict #user interface #visual notation: Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements (KK), pp. 1234–1237.
ASE-2019-Liu0T0L #generative: Automatic Generation of Pull Request Descriptions (ZL, XX0, CT, DL0, SL), pp. 176–188.
ASE-2019-LiuFXLGGY #evaluation #named #performance #simulation #tool support #workflow: FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing (XL, LF, JX, XL, LG, JCG, YY), pp. 1114–1117.
ASE-2019-LiY0C #android #approach #black box #named #testing: Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing (YL, ZY, YG0, XC), pp. 1070–1073.
ASE-2019-PiskachevDJB #detection #named: SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods (GP, LNQD, OJ, EB), pp. 1094–1097.
ASE-2019-Reich #requirements #verification: Inference of Properties from Requirements and Automation of Their Formal Verification (MR), pp. 1222–1225.
ASE-2019-Sharma #adaptation #source code #synthesis #using: Automatically Repairing Binary Programs Using Adapter Synthesis (VS), pp. 1238–1241.
ASE-2019-Soto #component #program repair #quality: Improving Patch Quality by Enhancing Key Components of Automatic Program Repair (MS), pp. 1230–1233.
ASE-2019-SungKKJK #case study #testing: Test Automation and Its Limitations: A Case Study (AS, SK, YK, YJ, JK), pp. 1208–1209.
ASE-2019-WuZ0TZ #program transformation: Automating CUDA Synchronization via Program Transformation (MW, LZ, CL0, SHT, YZ), pp. 748–759.
ASE-2019-YangJ0WSLZX #self #test coverage: Automatic Self-Validation for Code Coverage Profilers (YY, YJ0, ZZ0, YW, HS, HL, YZ, BX), pp. 79–90.
ASE-2019-YuF0Z0 #image #layout #mobile #named #platform #recognition #testing: LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform (SY, CF, YF0, WZ, ZC0), pp. 1066–1069.
ASE-2019-ZhangYD #abstraction #concurrent: Automating Non-Blocking Synchronization In Concurrent Data Abstractions (JZ, QY, DD), pp. 735–747.
ASE-2019-ZhengFXS0HMLSC #game studies #learning #named #online #testing #using: Wuji: Automatic Online Combat Game Testing Using Evolutionary Deep Reinforcement Learning (YZ, CF, XX, TS, LM0, JH, ZM, YL0, RS, YC), pp. 772–784.
ESEC-FSE-2019-AsthanaKBBBMMA #named #scalability: WhoDo: automating reviewer suggestions at scale (SA, RK0, RB, CB, CB, CSM, SM, BA), pp. 937–945.
ESEC-FSE-2019-BavishiYP #data-driven #named #static analysis #synthesis: Phoenix: automated data-driven synthesis of repairs for static analysis violations (RB, HY, MRP), pp. 613–624.
ESEC-FSE-2019-JiaLYLW #detection: Automatically detecting missing cleanup for ungraceful exits (ZJ, SL, TY, XL, JW), pp. 751–762.
ESEC-FSE-2019-MenghiNGB #behaviour #generative #modelling #nondeterminism #online #testing: Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
ESEC-FSE-2019-MiryeganehAH #approach #dataset #integration #towards: An IR-based approach towards automated integration of geo-spatial datasets in map-based software systems (NM, MA, HH), pp. 946–954.
ESEC-FSE-2019-Ren #migration: Automated patch porting across forked projects (LR), pp. 1199–1201.
ESEC-FSE-2019-ShiLOXM #framework #named #testing: iFixFlakies: a framework for automatically fixing order-dependent flaky tests (AS, WL, RO, TX, DM), pp. 545–555.
ESEC-FSE-2019-StahlbauerKF #source code #testing: Testing scratch programs automatically (AS, MK, GF), pp. 165–175.
ESEC-FSE-2019-Wang0LXBXW #approach #documentation #source code #taxonomy: A learning-based approach for automatic construction of domain glossary from source code and documentation (CW, XP0, ML, ZX, XB, BX, TW), pp. 97–108.
ESEC-FSE-2019-YuFMRPC #named #testing #user interface: TERMINATOR: better automated UI test case prioritization (ZY0, FMF, TM, GR, KP, SC), pp. 883–894.
ICSE-2019-ChenFCSLLX #android #generative #named: StoryDroid: automated generation of storyboard for Android apps (SC, LF, CC, TS, WL, YL0, LX), pp. 596–607.
ICSE-2019-HortonP #dependence #named #python: DockerizeMe: automatic inference of environment dependencies for python code snippets (EH, CP), pp. 328–338.
ICSE-2019-KhatchadourianT #java #parallel #refactoring: Safe automated refactoring for intelligent parallelization of Java 8 streams (RK, YT, MB, SA), pp. 619–630.
ICSE-2019-LazregCCH0 #analysis #embedded #multi #variability: Multifaceted automated analyses for variability-intensive embedded systems (SL, MC, PC, PH, SM0), pp. 854–865.
ICSE-2019-MotwaniB #generative #natural language #precise #specification: Automatically generating precise Oracles from structured natural language specifications (MM, YB), pp. 188–199.
ICSE-2019-SainiFLY0SBL #clone detection #detection #precise #towards: Towards automating precision studies of clone detectors (VS, FF, YL, DY, PM0, HS, PB, CVL), pp. 49–59.
ICSE-2019-VassalloPGP #anti #integration: Automated reporting of anti-patterns and decay in continuous integration (CV, SP, HCG, MDP), pp. 105–115.
ICSE-2019-XiaoWCWG #android #classification #identification #named #user interface: IconIntent: automatic identification of sensitive UI widgets based on icon classification for Android apps (XX, XW, ZC, HW, PG), pp. 257–268.
ICSE-2019-ZhaoYSLZZH #android #debugging #named: ReCDroid: automatically reproducing Android application crashes from bug reports (YZ, TY, TS, YL0, WZ, JZ, WGJH), pp. 128–139.
GPCE-2019-NiekeHS #evolution #metamodelling: Automated metamodel augmentation for seamless model evolution tracking and planning (MN, AH, CS), pp. 68–80.
ASPLOS-2019-BaiLTH #detection #fault #kernel #linux #named: DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel (JJB, JL, WT, SMH0), pp. 287–299.
CASE-2019-DongKDBDG #linear #multi: Automating Planar Object Singulation by Linear Pushing with Single-point and Multi-point Contacts (ZD, SK, SD, AB, MD, KG), pp. 1429–1436.
CASE-2019-FoxBSG #learning #multi: Multi-Task Hierarchical Imitation Learning for Home Automation (RF, RB, IS, KG), pp. 1–8.
CASE-2019-GaoLZS: A Screen-Based Method for Automated Camera Intrinsic Calibration on Production Lines (WG, JL, FZ, SS), pp. 392–398.
CASE-2019-Katipamula: Building Automation: Where is it Today and Where it Should be (SK), p. 1.
CASE-2019-KrambergerWRMUS #flexibility #process: Automatic Fingertip Exchange System for Robotic Grasping in Flexible Production Processes (AK, AW, MHR, MM, AU, CS), pp. 1664–1669.
CASE-2019-KrupkeSHPDGLSHK #distributed #retrieval #scalability: Automated Data Retrieval from Large-Scale Distributed Satellite Systems (DK, VS, AH, MP, JD, BG, MKBL, ES, TH, HK, KFP, MC, CS, SPF), pp. 1789–1795.
CASE-2019-LieretKDF: Automated in-house transportation of small load carriers with autonomous unmanned aerial vehicles (ML, VK, SD, JF), pp. 1010–1015.
CASE-2019-MackensenKRS #energy #smarttech #using: Energy autonomous automation of Smart Home applications using the example of a wireless Indoor Smart Gardening system (EM, JK, AR, AS), pp. 1087–1092.
CASE-2019-MatsusawaNK #on-demand: On-demand Trajectory Planning with Load Sway Suppression and Obstacles Avoidance in Automated Overhead Traveling Crane System (KM, YN, AK), pp. 1321–1326.
CASE-2019-PhalenVPCCIT: Mosquito Pick-and-Place: Automating a Key Step in PfSPZ-based Malaria Vaccine Production (HP, PV, MP, SC, GSC, II, RHT), pp. 12–17.
CASE-2019-PirehgalinTOV #analysis #image #using #video #visual notation: Automatic Visual Leakage Inspection by Using Thermographic Video and Image Analysis (MFP, ET, MO, BVH), pp. 1282–1288.
CASE-2019-SchulerS #analysis #modelling #process #towards #using: Spray pattern analysis using wet-mix concrete for model based process control towards automated construction (BS, OS), pp. 661–666.
CASE-2019-SubramanianC #embedded #network #normalisation: Mean Spectral Normalization of Deep Neural Networks for Embedded Automation (AKS, NYC), pp. 249–256.
CASE-2019-SundaresanTCFG: Automated Extraction of Surgical Needles from Tissue Phantoms (PS, BT, JC, DF, KG), pp. 170–177.
CASE-2019-SunZ #flexibility: A New Electrostatic Gripper for Flexible Handling of Fabrics in Automated Garment Manufacturing (BS, XZ), pp. 879–884.
CASE-2019-TaheritanjaniSB #detection #process: Automatic Damage Detection of Fasteners in Overhaul Processes (ST, RS, BB), pp. 1289–1295.
CASE-2019-TengDHWTL #algorithm #design #evolution #novel #scheduling: A Novel Grammatical Evolution Algorithm for Automatic Design of Scheduling Heuristics* (YT, SD, ZH, XW, YT, DL), pp. 579–584.
CASE-2019-TsayL #multi #network #visual notation: Automating Visual Inspection of Lyophilized Drug Products With Multi-Input Deep Neural Networks (CT, ZL), pp. 1802–1807.
CASE-2019-WuMDXTIC #2d #detection #estimation #multi: Multi-Mosquito Object Detection and 2D Pose Estimation for Automation of PfSPZ Malaria Vaccine Production (HW, JM, TD, MX, RHT, II, GSC), pp. 411–417.
CC-2019-KimHLS0K: Spinal code: automatic code extraction for near-user computation in fogs (BK, SH, GL, SS, JK0, HK), pp. 87–98.
CC-2019-SchmittHB #adaptation #approximate: Automatic adaptive approximation for stencil computations (MS, PH, CB), pp. 170–181.
CGO-2019-GomesB #code generation #formal method #modelling: Code Generation from Formal Models for Automatic RTOS Portability (RMG, MB), pp. 271–272.
CGO-2019-GonzaloHGHMH #generative #parallel #performance #reduction: Automatic Generation of Warp-Level Primitives and Atomic Instructions for Fast and Portable Parallel Reduction on GPUs (SGDG, SH, JGL, SDH, OM, WMH), pp. 73–84.
CGO-2019-LimN #assembly #encryption #equivalence #implementation #library: Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries (JPL, SN), pp. 37–49.
CGO-2019-MishraKC #composition #kernel: Kernel Fusion/Decomposition for Automatic GPU-Offloading (AM, MK, BMC), pp. 283–284.
CGO-2019-NethS #parallel: Automatic Parallelization of Irregular x86-64 Loops (BN, MMS), p. 266.
CGO-2019-Zhou0 #named #parallel: Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelisation (RZ, TMJ0), pp. 15–25.
ESOP-2019-FruminGK #c #nondeterminism #reasoning: Semi-automated Reasoning About Non-determinism in C Expressions (DF, LG, RK), pp. 60–87.
ESOP-2019-MartinezADGHHNP #metaprogramming #proving #smt: Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
FASE-2019-BravettiGMTZ #deployment: Optimal and Automated Deployment for Microservices (MB, SG, JM, IT, GZ), pp. 351–368.
FASE-2019-FritscheKST #performance #process: Efficient Model Synchronization by Automatically Constructed Repair Processes (LF, JK, AS, GT), pp. 116–133.
FASE-2019-ParkJR #javascript #modelling #static analysis: Automatic Modeling of Opaque Code for JavaScript Static Analysis (JP, AJ, SR), pp. 43–60.
FASE-2019-PonzioBPAF #api #identification: Automatically Identifying Sufficient Object Builders from Module APIs (PP, VSB, MP, NA, MFF), pp. 427–444.
CADE-2019-GutierrezL #generative #logic #modelling: Automatic Generation of Logical Models with AGES (RG, SL), pp. 287–299.
CADE-2019-LiT #protocol #proving #security #theorem proving #verification: Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (DLL, AT), pp. 354–365.
CADE-2019-ZhaoS #logic #strict: FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions (YZ, RAS), pp. 568–579.
CAV-2019-FarzanV #verification: Automated Hypersafety Verification (AF, AV), pp. 200–218.
CAV-2019-KangLT #framework #platform #synthesis: Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.
CAV-2019-NagarJ #verification: Automated Parameterized Verification of CRDTs (KN, SJ), pp. 459–477.
ICST-2019-AlthomaliKM #layout #verification #visual notation #web: Automatic Visual Verification of Layout Failures in Responsively Designed Web Pages (IA, GMK, PM), pp. 183–193.
ICST-2019-BorgesZ #resource management #why: Why Does this App Need this Data? Automatic Tightening of Resource Access (NPBJ, AZ), pp. 449–456.
ICST-2019-DiniYGK #imperative #testing: Extension-Aware Automated Testing Based on Imperative Predicates (ND, CY, MG, SK), pp. 25–36.
ICST-2019-IwamaF #recognition #speech #testing: Automated Testing of Basic Recognition Capability for Speech Recognition Systems (FI, TF), pp. 13–24.
ICST-2019-JendeleSCJR #composition #performance #scalability: Efficient Automated Decomposition of Build Targets at Large-Scale (LJ, MS, DC, IJ, MR), pp. 457–464.
ICST-2019-KahlesTHJ #agile #analysis #machine learning #testing: Automating Root Cause Analysis via Machine Learning in Agile Software Testing Environments (JK, JT, TH, AJ), pp. 379–390.
ICST-2019-KingRKWS #assessment: Automated Function Assessment in Driving Scenarios (CK, LR, CK, CW, ES), pp. 414–419.
ICST-2019-KooS0B #generative #learning #named #testing #worst-case: PySE: Automatic Worst-Case Test Generation by Reinforcement Learning (JK, CS, MK0, SB), pp. 136–147.
ICST-2019-Lima #distributed #integration #testing: Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems (BL), pp. 486–488.
ICST-2019-LiuKB0KT #benchmark #bias #exclamation #fault #locality #metric #program repair #what: You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems (KL0, AK, TFB, DK0, JK, YLT), pp. 102–113.
ICST-2019-PanarinBIZZMRGT #framework #named #testing: Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System (VP, AB, II, AZ, KZ, MM, AR, AG, ET, ST, RY), pp. 358–362.
ICST-2019-SaumyaK0B #generative #scalability #testing #worst-case: XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions (CS, JK, MK0, SB), pp. 1–12.
ICST-2019-VuottoNPT #consistency #named #requirements: Poster: Automatic Consistency Checking of Requirements with ReqV (SV, MN, LP, AT), pp. 363–366.
ICTSS-2019-SamsonV #architecture #component #generative #testing: Automatic Generation of Test Oracles from Component Based Software Architectures (MS, TV), pp. 261–269.
TAP-2019-LavillonniereMC #algorithm #formal method #generative #performance #search-based #testing: Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods (EL, DM, DC0), pp. 55–63.
VMCAI-2019-NguyenTC #program repair #using #verification: Automatic Program Repair Using Formal Verification and Expression Templates (TTN, QTT, WNC), pp. 70–91.
ECSA-2018-AvritzerFJRSH #approach #architecture #assessment #deployment #performance #testing: A Quantitative Approach for the Assessment of Microservice Architecture Deployment Alternatives by Automated Performance Testing (AA, VF, AJ, BR, HS, AvH), pp. 159–174.
ECSA-2018-BuchgeherWH #architecture #framework #platform #scalability: A Platform for the Automated Provisioning of Architecture Information for Large-Scale Service-Oriented Software Systems (GB, RW, HH), pp. 203–218.
ECSA-2018-Christensen #architecture #assessment #feedback #named: Crunch: Automated Assessment of Microservice Architecture Assignments with Formative Feedback (HBC), pp. 175–190.
ICSA-2018-KoziolekBD #architecture #industrial #process #self: Self-Commissioning Industrial IoT-Systems in Process Automation: A Reference Architecture (HK, AB, JD), pp. 196–205.
ICSA-2018-LiuBDKRRSH #execution #framework #scalability #simulation #workflow: A Generic and Highly Scalable Framework for the Automation and Execution of Scientific Data Processing and Simulation Workflows (JL, EB, CD, PK, DSR, MR, DS, VH), pp. 145–155.
EDM-2018-AungRW #analysis #video: Who are they looking at? Automatic Eye Gaze Following for Classroom Observation Video Analysis (AMA, AR, JW).
EDM-2018-GautamMGR #categorisation #chat #speech: Automated Speech Act Categorization of Chat Utterances in Virtual Internships (DG, NM, AG, VR).
EDM-2018-ManteconGZJM #comparison #student: A Comparison of Features for the Automatic Labeling of Student answers to Open-ended Questions (JGAM, HAG, AZ, JJ, JM).
ICPC-2018-BeyerM0P #category theory #stack overflow: Automatically classifying posts into question categories on stack overflow (SB, CM, MP0, MDP), pp. 211–221.
ICPC-2018-DoiHASK #identification #on the #question: On the naturalness of auto-generated code: can we identify auto-generated code automatically? (MD, YH, RA, KS, SK), pp. 340–343.
ICPC-2018-NaitouTMHKKKT #development #industrial #program repair #towards: Toward introducing automated program repair techniques to industrial software development (KN, AT, SM, YH, SK, HK, TK, HT), pp. 332–335.
ICPC-2018-ParraEH #development #recommendation #video: Automatic tag recommendation for software development video tutorials (EP, JEA, SH), pp. 222–232.
ICSME-2018-AbukwaikBAB #embedded #traceability: Semi-Automated Feature Traceability with Embedded Annotations (HA, AB, BKA, TB), pp. 529–533.
ICSME-2018-ChenDZGH #implementation #named #testing #verification: DRLgencert: Deep Learning-Based Automated Testing of Certificate Verification in SSL/TLS Implementations (CC, WD, YZ, SG, CH), pp. 48–58.
ICSME-2018-FischerBSSV #industrial #variability: A Qualitative Study of Variability Management of Control Software for Industrial Automation Systems (JF, SB, AS, IS, BVH), pp. 615–624.
ICSME-2018-FraczD #assessment #case study #developer #game studies: Developers' Game: A Preliminary Study Concerning a Tool for Automated Developers Assessment (WF, JD), pp. 695–699.
ICSME-2018-GuoMYW #empirical #performance #program repair #slicing: An Empirical Study on the Effect of Dynamic Slicing on Automated Program Repair Efficiency (AG, XM, DY, SW), pp. 554–558.
ICSME-2018-HassanH #java #summary #towards: Toward Automatic Summarization of Arbitrary Java Statements for Novice Programmers (MH, EH0), pp. 539–543.
ICSME-2018-JiarpakdeeTT #correlation #fault #metric #modelling #named: AutoSpearman: Automatically Mitigating Correlated Software Metrics for Interpreting Defect Models (JJ, CT, CT), pp. 92–103.
ICSME-2018-LecerfBGD #approach #pattern matching #program transformation #reflexive: A Reflexive and Automated Approach to Syntactic Pattern Matching in Code Transformations (JL, JB, TG, SD), pp. 426–436.
ICSME-2018-LinanBAL #android #modelling: Automated Extraction of Augmented Models for Android Apps (SL, LBJ, MA, MLV), pp. 549–553.
ICSME-2018-MillsEH #classification #machine learning #maintenance #traceability: Automatic Traceability Maintenance via Machine Learning Classification (CM, JEA, SH), pp. 369–380.
ICSME-2018-Moran #development #mobile #platform: Automating Software Development for Mobile Computing Platforms (KM), pp. 749–754.
ICSME-2018-PalombaZL #detection #information retrieval #smell #using: Automatic Test Smell Detection Using Information Retrieval Techniques (FP, AZ, ADL), pp. 311–322.
ICSME-2018-SabettaB #approach #classification #commit: A Practical Approach to the Automatic Classification of Security-Relevant Commits (AS, MB), pp. 579–582.
ICSME-2018-YueGMXWM #recommendation #refactoring: Automatic Clone Recommendation for Refactoring Based on the Present and the Past (RY, ZG, NM, YX, XW, JDM), pp. 115–126.
MSR-2018-ClaesMKF08 #developer #identification #open source #towards: Towards automatically identifying paid open source developers (MC, MM, MK, UF), pp. 437–441.
MSR-2018-LamotheS08 #android #api #case study #experience #migration #using: Exploring the use of automated API migrating techniques in practice: an experience report on Android (ML, WS), pp. 503–514.
MSR-2018-MaFCAZM08 #classification #open source: Automatic classification of software artifacts in open-source applications (YM, SF, MC, VA, WZ, MM), pp. 414–425.
MSR-2018-SotoG #program repair: Common statement kind changes to inform automatic program repair (MS, CLG), pp. 102–105.
MSR-2018-TrockmanCMNKV #matter #metric: “Automatically assessing code understandability” reanalyzed: combined metrics matter (AT, KC, MM, TN, CK, BV), pp. 314–318.
SANER-2018-ChatleyJ #code review #mining #named #overview #repository: Diggit: Automated code review via software repository mining (RC, LJ), pp. 567–571.
SANER-2018-ChenJLH0 #assessment #crowdsourcing #mobile #quality: Automated quality assessment for crowdsourced test reports of mobile applications (XC, HJ, XL, TH, ZC0), pp. 368–379.
SANER-2018-DantasCMFSLB #empirical #java #program transformation #source code: Reconciling the past and the present: An empirical study on the application of source code transformations to automatically rejuvenate Java programs (RD, AC, DM, LF, US, WL, RB), pp. 497–501.
SANER-2018-GranoCPPG #android #feedback #integration #testing: Exploring the integration of user feedback in automated testing of Android applications (GG, AC, SP, FP, HCG), pp. 72–83.
SANER-2018-LiSS #network #requirements: Extracting features from requirements: Achieving accuracy and automation with neural networks (YL0, SS, GS), pp. 477–481.
SANER-2018-MachoM0: Automatically repairing dependency-related build breakage (CM, SM, MP0), pp. 106–117.
SANER-2018-PaltoglouZGD #javascript #refactoring: Automated refactoring of client-side JavaScript code to ES6 modules (AP, VEZ, EAG, NAD), pp. 402–412.
SANER-2018-Vogel-HeuserFFU #analysis #architecture #composition #industrial: Modularity and architecture of PLC-based software for automated production systems: An analysis in industrial companies (journal-first abstract) (BVH, JF, SF, SU, SR), p. 473.
SANER-2018-Xu0B #design #problem: Automatically exploiting implicit design knowledge when solving the class responsibility assignment problem (YX, PL0, MAB), pp. 197–209.
SCAM-2018-AlreshedyDGSG #classification: [Engineering Paper] SCC: Automatic Classification of Code Snippets (KA, DD, DMG, VS0, TAG), pp. 203–208.
SCAM-2018-KhatchadourianT #java #optimisation #refactoring: [Engineering Paper] A Tool for Optimizing Java 8 Stream Software via Automated Refactoring (RK, YT, MB, SA), pp. 34–39.
SCAM-2018-Larson #regular expression #research: [Research Paper] Automatic Checking of Regular Expressions (EL), pp. 225–234.
SCAM-2018-MostaeenSRRS #design #machine learning #research #tool support #towards #using #validation: [Research Paper] On the Use of Machine Learning Techniques Towards the Design of Cloud Based Automatic Code Clone Validation Tools (GM, JS, BR, CKR, KAS), pp. 155–164.
SCAM-2018-SasBF #detection #java #library #research: [Research Paper] Automatic Detection of Sources and Sinks in Arbitrary Java Libraries (DS, MB, FAF), pp. 103–112.
FM-2018-Boralv #design #proving #using: Interlocking Design Automation Using Prover Trident (AB), pp. 653–656.
SEFM-2018-Choi #generative #source code #validation: Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation (YC), pp. 254–268.
SEFM-2018-SchulzeCL #analysis #specification: Automated Specification Extraction and Analysis with Specstractor (CS0, RC, ML), pp. 37–53.
ICFP-2018-AlmeidaCM0P #assessment #case study #education #experience #functional #game studies #how #using: Teaching how to program using automated assessment and functional glossy games (experience report) (JBA, AC, NM, HP0, JP), p. 17.
ICFP-2018-Elliott #difference: The simple essence of automatic differentiation (CE), p. 29.
AIIDE-2018-GuzdialR #concept #design #game studies: Automated Game Design via Conceptual Expansion (MG, MR), pp. 31–37.
AIIDE-2018-HornMSC #approach #monte carlo: A Monte Carlo Approach to Skill-Based Automated Playtesting (BH, JAM, GS, SC), pp. 166–172.
AIIDE-2018-PartlanCSKSHE #analysis #interactive: Exploratory Automated Analysis of Structural Features of Interactive Narrative (NP, EC, SS, EK, GS, CH, MSEN), pp. 88–94.
CIG-2018-JustesenR #education #learning: Automated Curriculum Learning by Rewarding Temporally Rare Events (NJ, SR), pp. 1–8.
CIG-2018-KaravolosLY #design #using: Using a Surrogate Model of Gameplay for Automated Level Design (DK, AL, GNY), pp. 1–8.
DiGRA-2018-Willumsen #game studies: Is My Avatar MY Avatar? Character Autonomy and Automated Avatar Actions in Digital Games (ECW).
FDG-2018-GreenKBMNT #design #game studies #named: AtDELFI: automatically designing legible, full instructions for games (MCG, AK, GABB, TM, AN, JT), p. 10.
CIKM-2018-PatidarAVS #modelling #using: Automatic Conversational Helpdesk Solution using Seq2Seq and Slot-filling Models (MP, PA, LV, GMS), pp. 1967–1975.
CIKM-2018-VadapalliSPSV #named #towards: Sci-Blogger: A Step Towards Automated Science Journalism (RV, BS, NP, BVS, VV), pp. 1787–1790.
CIKM-2018-VainshteinGKSR #approach #hybrid #recommendation: A Hybrid Approach for Automatic Model Recommendation (RV, AGM, GK, BS, LR), pp. 1623–1626.
CIKM-2018-ZhongS0 #detection #multi #privacy #towards: Toward Automated Multiparty Privacy Conflict Detection (HZ, ACS, DJM0), pp. 1811–1814.
ECIR-2018-0001MPJNJ #documentation #keyword: A Text Feature Based Automatic Keyword Extraction Method for Single Documents (RC0, VM, AP, AMJ, CN, AJ), pp. 684–691.
ECIR-2018-0001MPJNJ18a #exclamation #independence #keyword: YAKE! Collection-Independent Automatic Keyword Extractor (RC0, VM, AP, AMJ, CN, AJ), pp. 806–810.
ECIR-2018-MajumderPVGMBG #approach #e-commerce #retrieval: Automated Assistance in E-commerce: An Approach Based on Category-Sensitive Retrieval (AM, AP, KV, AG, SM, PB, PG), pp. 604–610.
ECIR-2018-Nunzio #case study: A Study of an Automatic Stopping Strategy for Technologically Assisted Medical Reviews (GMDN), pp. 672–677.
ICML-2018-AlaaS18a #kernel #learning #modelling #named #optimisation: AutoPrognosis: Automated Clinical Prognostic Modeling via Bayesian Optimization with Structured Kernel Learning (AMA, MvdS), pp. 139–148.
ICML-2018-FlorensaHGA #generative #learning: Automatic Goal Generation for Reinforcement Learning Agents (CF, DH, XG, PA), pp. 1514–1523.
ICML-2018-Lyu0YZ0 #design #multi #optimisation: Batch Bayesian Optimization via Multi-objective Acquisition Ensemble for Automated Analog Circuit Design (WL, FY0, CY, DZ, XZ0), pp. 3312–3320.
ICML-2018-SheldonWS #difference #integer #learning #modelling: Learning in Integer Latent Variable Models with Nested Automatic Differentiation (DS, KW, DS), pp. 4622–4630.
ICML-2018-TaylorSL #convergence #first-order: Lyapunov Functions for First-Order Methods: Tight Automated Convergence Guarantees (AT, BVS, LL), pp. 4904–4913.
ICPR-2018-AbdeldayemB #detection #using: Automatically Detecting Arrhythmia-related Irregular Patterns using the Temporal and Spectro-Temporal Textures of ECG Signals (SSA, TB), pp. 2301–2307.
ICPR-2018-Bhugra0ACLC #quantifier: Automatic Quantification of Stomata for High-Throughput Plant Phenotyping (SB, DM0, AA, SC, BL, AC), pp. 3904–3910.
ICPR-2018-ChenDHLH #classification #clustering #image #performance: Improving Image Classification Performance with Automatically Hierarchical Label Clustering (ZC, CD, LH, DL, HH), pp. 1863–1868.
ICPR-2018-DongTC #image #using: Automatic Inspection of Aerospace Welds Using X-Ray Images (XD, CJT, TFC), pp. 2002–2007.
ICPR-2018-ElmogyZEE #3d #classification #framework #network: An Automated Classification Framework for Pressure Ulcer Tissues Based on 3D Convolutional Neural Network (ME, BGZ, ASE, AEB), pp. 2356–2361.
ICPR-2018-FasogbonF18a #feature model: Automatic Feature Extraction for Wide-angle and Fish-eye Camera Calibration (PF, LF), pp. 2947–2952.
ICPR-2018-GaolLH0W #learning #multi #predict: Automatic Facial Attractiveness Prediction by Deep Multi-Task Learning (LG, WL, ZH, DH0, YW), pp. 3592–3597.
ICPR-2018-JiQYKZ #image #network #segmentation #using: Automatic Prostate Segmentation on MR Images Using Enhanced Holistically-Nested Networks (DJ, JQ, JY, TK, SZ), pp. 3820–3825.
ICPR-2018-JyotiD #estimation #geometry #network #using: Automatic Eye Gaze Estimation using Geometric & Texture-based Networks (SJ, AD), pp. 2474–2479.
ICPR-2018-ManessiRBNS #network: Automated Pruning for Deep Neural Network Compression (FM, AR, SB, PN, RS), pp. 657–664.
ICPR-2018-NadeemHS #algorithm #detection #image #segmentation #using: An automated airway segmentation algorithm for CT images using topological leakage detection and volume freezing (SAN, EAH, PKS), pp. 1181–1186.
ICPR-2018-SunZY #embedded #generative #network: Pyramid Embedded Generative Adversarial Network for Automated Font Generation (DS, QZ, JY), pp. 976–981.
ICPR-2018-TavakolianH #estimation #representation: Deep Spatiotemporal Representation of the Face for Automatic Pain Intensity Estimation (MT, AH), pp. 350–354.
ICPR-2018-TheagarajanBC #named: DeepDriver: Automated System For measuring Valence and Arousal in Car Driver Videos (RT, BB, ACC), pp. 2546–2551.
ICPR-2018-TheagarajanGB #classification #generative #named: DeephESC: An Automated System for Generating and Classification of Human Embryonic Stem Cells (RT, BXG, BB), pp. 3826–3831.
ICPR-2018-WangM #generative: A method of automatically generating Labanotation from human motion capture data (JW, ZM), pp. 854–859.
ICPR-2018-YangLPKWSLDCTZ #3d #image #network #segmentation: Automatic Segmentation of Kidney and Renal Tumor in CT Images Based on 3D Fully Convolutional Neural Network with Pyramid Pooling Module (GY, GL, TP, YK, JW, HS, LL, JLD, JLC, LT, XZ), pp. 3790–3795.
ICPR-2018-YuanTLDZ #learning #multi #segmentation #using: Fully Automatic Segmentation of the Left Ventricle Using Multi-Scale Fusion Learning (TY, QT, XL, XD, JZ), pp. 3838–3843.
ICPR-2018-ZhangGX #detection #towards: Towards Automatic Detection of Monkey Faces (MZ, SG, XX), pp. 2564–2569.
ICPR-2018-ZhangLWCZ #framework #image #multimodal #set: An Automated Point Set Registration Framework for Multimodal Retinal Image (HZ, XL, GW, YC, WZ), pp. 2857–2862.
ICPR-2018-ZhaoLZTNM #analysis #component #image #multi #robust #segmentation #using: Automatic Multi-Atlas Segmentation for Abdominal Images Using Template Construction and Robust Principal Component Analysis (YZ0, HL0, RZ, GT, MN, BHM), pp. 3880–3885.
KDD-2018-DaltayanniDA #segmentation #using: Automated Audience Segmentation Using Reputation Signals (MD, AD, LdA), pp. 186–195.
KDD-2018-DecroosHD: Automatic Discovery of Tactics in Spatio-Temporal Soccer Match Data (TD, JVH, JD), pp. 223–232.
KDD-2018-HerlandsMWN #design: Automated Local Regression Discontinuity Design Discovery (WH, EMI, AGW, DBN), pp. 1512–1520.
ECMFA-2018-RutleIKD #co-evolution #graph transformation #modelling #traceability #using: Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (AR, LI, HK, ZD), pp. 80–96.
ECMFA-2018-ZolotasWGRKP #editing #generative #papyrus #towards #uml #visual notation: Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.
MoDELS-2018-EderBVIK #architecture #deployment #distributed #framework #hardware #synthesis: From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures (JE, AB, SV, AI, MK), pp. 438–446.
ECOOP-2018-GuM00CL #execution #online #synthesis: Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis (TG, XM, CX0, YJ0, CC, JL0), p. 28.
Onward-2018-GavranMMPZ #collaboration #named #reasoning: Tᴏᴏʟ: accessible automated reasoning for human robot collaboration (IG, OM, RM, RP, DZ), pp. 44–56.
OOPSLA-2018-BarowyBZ #fault #named #spreadsheet: ExceLint: automatically finding spreadsheet formula errors (DWB, EDB, BGZ), p. 26.
OOPSLA-2018-LeeSSO #fault #functional #logic #programming: Automatic diagnosis and correction of logical errors for functional programming assignments (JL, DS, SS, HO), p. 30.
PADL-2018-AnandCN #consistency #detection #logic #nondeterminism #using: An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic (KA, PKC, RN), pp. 80–96.
PADL-2018-NguyenSP #composition #web #web service: Automatic Web Services Composition for Phylotastic (THN, TCS, EP), pp. 186–202.
PLDI-2018-FerlesGDS #reasoning: Symbolic reasoning for automatic signal placement (KF, JVG, ID, YS), pp. 120–134.
PLDI-2018-GulwaniRZ #clustering #program repair #programming: Automated clustering and program repair for introductory programming assignments (SG, IR, FZ), pp. 465–480.
PLDI-2018-VilkB #debugging #memory management #named #web: BLeak: automatically debugging memory leaks in web applications (JV, EDB), pp. 15–29.
POPL-2018-Lee0A #correctness #implementation #on the #proving: On automatically proving the correctness of math.h implementations (WL0, RS0, AA), p. 32.
POPL-2018-TaLKC #logic #synthesis: Automated lemma synthesis in symbolic-heap separation logic (QTT, TCL, SCK, WNC), p. 29.
PPDP-2018-ContrastinOR #data flow #datalog #order #safety: Automatic Reordering for Dataflow Safety of Datalog (MC, DAO, ACR), p. 17.
PPDP-2018-GreweEPM #framework #proving #theorem proving: System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.
ASE-2018-AlmasriTK: Automatically quantifying the impact of a change in systems (journal-first abstract) (NA, LT0, BK), p. 952.
ASE-2018-BaoLXF #distributed #named: AutoConfig: automatic configuration tuning for distributed message systems (LB, XL0, ZX, BF), pp. 29–40.
ASE-2018-BugariuWC0 #abstract domain #implementation #testing: Automatically testing implementations of numerical abstract domains (AB, VW, MC, PM0), pp. 768–778.
ASE-2018-CaoLP #named #verification: L-CMP: an automatic learning-based parameterized verification tool (JC, YL, JP0), pp. 892–895.
ASE-2018-ChenSXHJ #approach #execution #metric #test coverage: An automated approach to estimating code coverage measures via execution logs (BC, JS, PX, XH, ZM(J), pp. 305–316.
ASE-2018-Cleland-Huang #challenge #requirements: Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote) (JCH), p. 3.
ASE-2018-Diarra #kernel #strict #towards: Towards automatic restrictification of CUDA kernel arguments (RD), pp. 928–931.
ASE-2018-GafurovHM #industrial #testing: Achieving test automation with testers without coding skills: an industrial report (DG, AEH, MM), pp. 749–756.
ASE-2018-GharibiTL #generative #graph #named #python #source code: Code2graph: automatic generation of static call graphs for Python source code (GG, RT, YL), pp. 880–883.
ASE-2018-Krismayer #constraints #mining #monitoring: Automatic mining of constraints for monitoring systems of systems (TK), pp. 924–927.
ASE-2018-MoSCRKN #analysis #architecture #case study #experience: Experiences applying automated architecture analysis tool suites (RM, WS, YC, SR, RK, MN), pp. 779–789.
ASE-2018-PatwardhanSSKG #ambiguity #towards #using: Towards automating disambiguation of regulations: using the wisdom of crowds (MP, AS, RS, SK, SG), pp. 850–855.
ASE-2018-UdeshiAC #testing: Automated directed fairness testing (SU, PA, SC0), pp. 98–108.
ASE-2018-WangSK #alloy: Automated model repair for Alloy (KW, AS, SK), pp. 577–588.
ASE-2018-WanZYXY0Y #learning #source code #summary: Improving automatic source code summarization via deep reinforcement learning (YW, ZZ, MY0, GX, HY, JW0, PSY), pp. 397–407.
ESEC-FSE-2018-Afzal #assurance #quality: Quality assurance automation in autonomous systems (AA), pp. 948–951.
ESEC-FSE-2018-AngellJBM #named #testing: Themis: automatically testing software for discrimination (RA, BJ, YB, AM), pp. 871–875.
ESEC-FSE-2018-DongWLGBLXK #android #detection #named: FraudDroid: automated ad fraud detection for Android apps (FD, HW, LL0, YG0, TFB, TL, GX, JK), pp. 257–268.
ESEC-FSE-2018-ErataGKT #first-order #logic #named #reasoning #relational: AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning (FE, AG, IK, BT), pp. 920–923.
ESEC-FSE-2018-Fazzini #maintenance #mobile #testing: Automated support for mobile application testing and maintenance (MF), pp. 932–935.
ESEC-FSE-2018-GulzarWK #big data #data analysis #data-driven #debugging #named #scalability: BigSift: automated debugging of big data analytics in data-intensive scalable computing (MAG, SW, MK), pp. 863–866.
ESEC-FSE-2018-HashimotoMI #debugging #semantics #source code: Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes (MH, AM, TI), pp. 598–609.
ESEC-FSE-2018-HuaZWK #approach #generative #lazy evaluation #named #program repair #sketching #using: SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.
ESEC-FSE-2018-Lima #distributed #integration #testing: Automated scenario-based integration testing of distributed systems (BL), pp. 956–958.
ESEC-FSE-2018-MaLLZG #analysis #debugging #difference #named #network: MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.
ESEC-FSE-2018-SongM0 #approach #estimation #novel: A novel automated approach for software effort estimation based on data augmentation (LS, LLM, XY0), pp. 468–479.
ESEC-FSE-2018-WangGXXNDHX #black box #named #testing: FACTS: automated black-box testing of FinTech systems (QW, LG, MX, LX, WN, LD, LH0, TX), pp. 839–844.
ESEC-FSE-2018-WongMK #configuration management #execution #higher-order #mutation testing #program repair #testing: Beyond testing configurable systems: applying variational execution to automatic program repair and higher order mutation testing (CPW, JM, CK), pp. 749–753.
ESEC-FSE-2018-YangYSLC #detection #ide #named #web: PowerStation: automatically detecting and fixing inefficiencies of database-backed web applications in IDE (JY, CY, PS, SL, AC), pp. 884–887.
ESEC-FSE-2018-ZhangHHZZ #refactoring #spreadsheet: Automated refactoring of nested-IF formulae in spreadsheets (JZ0, SH, DH, LZ0, DZ), pp. 833–838.
ICSE-2018-0002RGCM #traceability: Traceability in the wild: automatically augmenting incomplete trace links (MR0, JR, JLCG, JCH, PM), pp. 834–845.
ICSE-2018-Arcuri18a #case study #experience #generative #industrial #testing: Journal first presentation of an experience report on applying software testing academic results in industry: we need usable automated test generation (AA), p. 1065.
ICSE-2018-BellLHEYM #detection #named #testing: DeFlaker: automatically detecting flaky tests (JB0, OL, MH, LE, TY, DM), pp. 433–444.
ICSE-2018-ChaHLO #generative #heuristic #testing: Automatically generating search heuristics for concolic testing (SC, SH, JL, HO), pp. 1244–1254.
ICSE-2018-ChowdhuryMMGJC #cyber-physical #debugging #development: Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge (SAC, SM, SM, SG, TTJ, CC), pp. 981–992.
ICSE-2018-GazzolaMM #overview: Automatic software repair: a survey (LG, DM, LM), p. 1219.
ICSE-2018-HassanW #approach #named: HireBuild: an automatic approach to history-driven repair of build scripts (FH, XW), pp. 1078–1089.
ICSE-2018-LeTLG #program repair #semantics: Overfitting in semantics-based automated program repair (XBDL, FT, DL0, CLG), p. 163.
ICSE-2018-LuWY0N #constraints #ocl #refactoring: Automated refactoring of OCL constraints with search (HL0, SW0, TY0, SA0, JFN), p. 1243.
ICSE-2018-MahajanAMH #mobile #problem #web: Automated repair of mobile friendly problems in web pages (SM, NA, PM, WGJH), pp. 140–150.
ICSE-2018-MoranLBJP #design #mobile #user interface: Automated reporting of GUI design violations for mobile apps (KM, BL, CBC, DJ, DP), pp. 165–175.
ICSE-2018-MotwaniSJB #debugging #program repair #question: Do automated program repair techniques repair hard and important bugs? (MM, SS, RJ, YB), p. 25.
ICSE-2018-RenJXY #locality: Automated localization for unreproducible builds (ZR, HJ, JX, ZY), pp. 71–81.
ICSE-2018-SemerathNV #consistency #generative #graph #modelling: A graph solver for the automated generation of consistent domain-specific models (OS, ASN, DV), pp. 969–980.
ICSE-2018-TianPJR #named #testing: DeepTest: automated testing of deep-neural-network-driven autonomous cars (YT, KP, SJ, BR), pp. 303–314.
ICSE-2018-TonderG #program repair: Static automated program repair for heap properties (RvT, CLG), pp. 151–162.
ICSE-2018-WenCWHC #generative #program repair: Context-aware patch generation for better automated program repair (MW, JC0, RW, DH, SCC), pp. 1–11.
ICSE-2018-YiTMBR #correlation #metric #program repair #testing: A correlation study between automated program repair and test-suite metrics (JY, SHT, SM, MB, AR), p. 24.
GPCE-2018-LiuAT #constraints #execution #named #realtime #refactoring: RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.
ASPLOS-2018-GinsbachRSBDO #api #approach #legacy: Automatic Matching of Legacy Code to Heterogeneous APIs: An Idiomatic Approach (PG, TR, MS, BB, CD, MFPO), pp. 139–153.
ASPLOS-2018-LiuWLLYT #debugging #detection #named: FCatch: Automatically Detecting Time-of-fault Bugs in Cloud Systems (HL, XW, GL, SL, FY, CT0), pp. 419–431.
ASPLOS-2018-MalekiB #linear #parallel: Automatic Hierarchical Parallelization of Linear Recurrences (SM, MB), pp. 128–138.
ASPLOS-2018-WangMZY: Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules (WW, SM, AZ, PCY), pp. 84–97.
CASE-2018-BasileCM #distributed #generative #simulation: Automated generation of a simulation model for the decentralized control of automated warehouse systems (FB, PC, EDM), pp. 540–546.
CASE-2018-BettaharCBCL #novel #precise #principle: Novel Strategy for High Precision Automated Robotic Positioning based on Fabry-Perot Interferometry Principle (HB, CC, FB, NC, PL), pp. 1441–1447.
CASE-2018-CaoLH #order #problem #scheduling: An Improved MOEA/D for Order Scheduling Problem in Automated Warehouse (ZC, KL, BH), pp. 797–802.
CASE-2018-ChaWUBV #evolution: Achieving delta description of the control software for an automated production system evolution (SC, AW, MU, BB, BVH), pp. 1170–1176.
CASE-2018-Cho #design #fault #performance: CKF-based Fast Error Compensation Filter Design for IR-UWB Indoor Positioning System for Building Automation (SYC), pp. 668–670.
CASE-2018-DingLWL #testing #using: 6-DOF Automated Flight Testing Using a Humanoid Robot Arm (CD, LL0, CW0, JL), pp. 217–222.
CASE-2018-FarooquiFF #learning #modelling #simulation #towards: Towards Automatic Learning of Discrete-Event Models from Simulations (AF, PF, MF), pp. 857–862.
CASE-2018-FleischerBCRKT #behaviour #integration #metric #process: Integration of Electronic Pipettes into a Dual-arm Robotic System for Automated Analytical Measurement Processes Behaviors (HF, DB, XC, TR, MK, KT), pp. 22–27.
CASE-2018-GengenbachUAKRS #component #flexibility #functional #smt #workflow: An Integrated Workflow to Automatically Fabricate Flexible Electronics by Functional Printing and SMT Component Mounting (UG, MU, EA, LK, KMR, PS, VH), pp. 1624–1629.
CASE-2018-GohSHSS #clustering #detection: Semi-Automatic Snore Detection in Polysomnography based on Hierarchical Clustering (CFG, LBS, MHH, GLGS, KS), pp. 1116–1122.
CASE-2018-HaoQ #layout #problem: Solving Unequal-Area Facility Layout Problems with Orbits in Fully Automatic System (XH, MQ), pp. 1183–1188.
CASE-2018-JalalianLWAC #approach #detection #fault #statistics #visual notation: An Automatic Visual Inspection Method based on Statistical Approach for Defect Detection of Ship Hull Surfaces (AJ, WFL, FSW, SMA, CMC), pp. 445–450.
CASE-2018-Lieberoth-Leden #architecture #coordination #flexibility: Control Architecture and Transport Coordination for Autonomous Logistics Modules in Flexible Automated Material Flow Systems (CLL, JF, JF, BVH), pp. 736–743.
CASE-2018-LuPC #identification #process: Automated Process State Identification for Metal Additive Manufacturing based on Power Data (ZL, TP, WC), pp. 1587–1592.
CASE-2018-MaierUG #continuation #implementation #multi #performance: Efficient Implementation of Task Automation to Support Multidisciplinary Engineering of CPS (RM, SU, MG), pp. 1388–1393.
CASE-2018-MuxfeldtS #assembly #industrial: Fusion of Human Demonstrations for Automatic Recovery during Industrial Assembly (AM, JJS), pp. 1493–1500.
CASE-2018-QuirosVERK: Automatic Skill Matching for Production Machines (GQ, AV, PE, FR, PK), pp. 534–539.
CASE-2018-SchedlerFBJT #analysis #evaluation: Evaluation of an Automated Sample Preparation System for Analysis of Methacrylates in Saliva (MS, HF, JB, SJ, KT), pp. 1101–1105.
CASE-2018-StutzM #design #development #how #object-oriented #process #source code: How object-oriented design principles enhance the development of complex automation programs - A Best Practice Paper on how to develop service-interlaces for process modules as defined in VDI/VDE/NAMUR 2658 (AS, MM), pp. 156–159.
CASE-2018-SussDA #approach #classification #component: An approach to automatically assign mechatronic components to an existing or identified classification (SS, CD, FA), pp. 1525–1529.
CASE-2018-TanCPP #analysis #design #learning #visual notation: Transfer Learning with PipNet: For Automated Visual Analysis of Piping Design (WCT, IMC, DP, SJP), pp. 1296–1301.
CASE-2018-TanGCC #analysis #learning: Learning with Corrosion Feature: For Automated Quantitative Risk Analysis of Corrosion Mechanism (WCT, PCG, KHC, IMC), pp. 1290–1295.
CASE-2018-TsengWCMSVVCOG #image #learning #precise #towards: Towards Automating Precision Irrigation: Deep Learning to Infer Local Soil Moisture Conditions from Synthetic Aerial Agricultural Images (DT, DWLW, CC, LM, WS, JV, SV, SC, JAO, KG), pp. 284–291.
CASE-2018-Vogel-Heuser0 #cyber-physical: Bringing Automated Intelligence to Cyber-Physical Production Systems in Factory Automation (BVH, LR0), pp. 347–352.
CASE-2018-Wu #approach #clustering #detection #multi #online: CASE 2018 Special Session Presentation-Only Abstract Submission Form: A Sequential Bayesian Partitioning Approach for Online Steady State Detection of Multivariate Systems (JW), pp. 1308–1309.
CASE-2018-YuYS #assembly: Automated Electric-Field-Based Nanowire Characterization, Manipulation, and Assembly (KY, JY, JWS), pp. 1612–1617.
CASE-2018-ZhouLLC #grid: Single Direction Traffic Rule for GRID System - An Innovative Automated Material Handling System (CZ, HL, LHL, EPC), pp. 843–848.
CASE-2018-ZouOHVC #design #optimisation #parametricity: Design Parameter Optimization of Automated Production Systems (MZ, FO, EH, BVH, CHC), pp. 359–364.
CGO-2018-BaghsorkhiM #performance #power management: Automating efficient variable-grained resiliency for low-power IoT systems (SSB, CM), pp. 38–49.
CGO-2018-BaiWH #generative #named: AutoPA: automatically generating active driver from original passive driver code (JJB, YPW0, SMH0), pp. 288–299.
CAV-2018-CeskaMMSVV #approximate #design #named: ADAC: Automated Design of Approximate Circuits (MC0, JM, VM, LS, ZV, TV), pp. 612–620.
CSL-2018-ZaidKL #complexity: Climbing up the Elementary Complexity Classes with Theories of Automatic Structures (FAZ, DK, PL), p. 16.
ICST-2018-Arcuri #generative #multi #named #testing: EvoMaster: Evolutionary Multi-context Automated System Test Generation (AA), pp. 394–397.
ICST-2018-DebroyBYE #case study #experience #industrial #lessons learnt #testing #web: Automating Web Application Testing from the Ground Up: Experiences and Lessons Learned in an Industrial Setting (VD, LB, MY, AE), pp. 354–362.
ICST-2018-ElerRGF #mobile #testing: Automated Accessibility Testing of Mobile Apps (MME, JMR, YG, GF), pp. 116–126.
ICST-2018-LoscherS #testing: Automating Targeted Property-Based Testing (AL, KS), pp. 70–80.
ICST-2018-MahajanAMH #clustering #search-based #similarity #using #web: Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques (SM, AA, PM, WGJH), pp. 215–226.
ICST-2018-PrauseGG #tool support #verification: Evaluating Automated Software Verification Tools (CP, RG, RG), pp. 343–353.
ICST-2018-RyouR #detection #fault #html #layout #web: Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages (YR, SR), pp. 182–192.
ICST-2018-ShamshiriRGWF #how #maintenance #question #testing: How Do Automatically Generated Unit Tests Influence Software Maintenance? (SS, JMR, JPG, NW, GF), pp. 250–261.
ICST-2018-SullivanWK #alloy #named #testing: AUnit: A Test Automation Tool for Alloy (AS, KW, SK), pp. 398–403.
ICST-2018-Wang #assessment #maturity #testing: Test Automation Maturity Assessment (YW), pp. 424–425.
ICST-2018-WangPB #case study #constraints #generative #specification #testing: Automated Generation of Constraints from Use Case Specifications to Support System Testing (CW, FP, LCB), pp. 23–33.
ICTSS-2018-BordingHJW #contract #java #named #testing: JMCTest: Automatically Testing Inter-Method Contracts in Java (PB, JH, MCJ, HW), pp. 39–55.
IJCAR-2018-HannulaL #reasoning #set: Automated Reasoning About Key Sets (MH, SL), pp. 47–63.
IJCAR-2018-KatelaanJW #logic #modelling: A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.
IJCAR-2018-ZhaoS #logic #named #semantics: FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics (YZ, RAS), pp. 19–27.
TAP-2018-Fuchs #generative #java #testing #web: Automated Test Case Generation for Java EE Based Web Applications (AF), pp. 167–176.
VMCAI-2018-BaumannDMHV #abstraction #source code #verification: Automatic Verification of RMA Programs via Abstraction Extrapolation (CB, AMD, YM, TH, MTV), pp. 47–70.
VMCAI-2018-DahiyaB #verification: Automatic Verification of Intermittent Systems (MD, SB), pp. 161–182.
ECSA-2017-BhatSBHM #approach #design #machine learning: Automatic Extraction of Design Decisions from Issue Management Systems: A Machine Learning Based Approach (MB, KS, AB, UH, FM), pp. 138–154.
ICSA-2017-ErnstBON #design #tool support #what: What to Fix? Distinguishing between Design and Non-design Rules in Automated Tools (NAE, SB, IO, RLN), pp. 165–168.
JCDL-2017-AlawiniCDSS #experience: Automating Data Citation: The eagle-i Experience (AA, LC, SBD, NPDS, GS), pp. 169–178.
JCDL-2017-ToepferS #architecture #invariant: Descriptor-Invariant Fusion Architectures for Automatic Subject Indexing (MT0, CS), pp. 31–40.
CSEET-2017-SteppeCT #dependence #design #education #modelling: Improving the Teaching of Software Design with Automated Modelling of Syntactic Dependencies (KS, SC, WWT), pp. 144–151.
EDM-2017-Crues17a: Automated Extraction of Results from Full Text Journal Articles (RWC).
EDM-2017-DianaESGBB #data-driven: Automatic Peer Tutor Matching: Data-Driven Methods to Enable New Opportunities for Help (ND, ME, JCS, SG, MAB, SB).
EDM-2017-LiGD #assessment #online: Automated Assessment for Scientific Explanations in On-line Science Inquiry (HL, JDG, RD).
EDM-2017-LiuK #data-driven #learning: Closing the loop: Automated data-driven cognitive model discoveries lead to improved instruction and learning (RL0, KRK).
EDM-2017-LuKP #quality #student: Developing Chinese Automated Essay Scoring Model to Assess College Students' Essay Quality (YJL, BCK, KCP).
EDM-2017-RomeroEGGM #classification #learning #towards: Towards Automatic Classification of Learning Objects: Reducing the Number of Used Features (CR, PGE, EG, AZG, VHM).
EDM-2017-SuprajaHTK #learning #towards: Toward the Automatic Labeling of Course Questions for Ensuring their Alignment with Learning Outcomes (SS, KH, ST, AWHK).
EDM-2017-TatoND #detection #network #reasoning: Convolutional Neural Network for Automatic Detection of Sociomoral Reasoning Level (AANT, RN, AD).
EDM-2017-YasudaNKKH #network #using: Automatic Scoring Method for Descriptive Test Using Recurrent Neural Network (KY, IN, HK, HK, MH).
EDM-2017-ZhuLW0 #effectiveness #framework #generative #ranking #topic: An Effective Framework for Automatically Generating and Ranking Topics in MOOC Videos (JZ, XL, ZW, MZ0).
ICPC-2017-JiangM #commit #generative #summary #towards: Towards automatic generation of short summaries of commits (SJ, CM), pp. 320–323.
ICPC-2017-LiPG #detection: Automatically detecting integrity violations in database-centric applications (BL, DP, MG), pp. 251–262.
ICPC-2017-YueFM0TXL #android #detection #named: RepDroid: an automated tool for Android application repackaging detection (SY, WF, JM0, YJ0, XT, CX0, JL0), pp. 132–142.
ICPC-2017-ZhangCJLX #debugging #recommendation: Bug report enrichment with application of automated fixer recommendation (TZ0, JC, HJ, XL, XX0), pp. 230–240.
ICSME-2017-AbidDCM #approach #documentation #evaluation: The Evaluation of an Approach for Automatic Generated Documentation (NJA, ND, MLC, JIM), pp. 307–317.
ICSME-2017-GuC0SDML #android #multi #named #testing: AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications (TG, CC, TL0, CS, JD, XM, JL0), pp. 103–114.
ICSME-2017-Rodeghero #algorithm #behaviour #documentation #generative: Behavior-Informed Algorithms for Automatic Documentation Generation (PR), pp. 660–664.
ICSME-2017-VasquezMP #mobile #scalability #testing: Continuous, Evolutionary and Large-Scale: A New Perspective for Automated Mobile App Testing (MLV, KM, DP), pp. 399–410.
ICSME-2017-WangSYAN #impact analysis #named: RCIA: Automated Change Impact Analysis to Facilitate a Practical Cancer Registry System (SW0, TS, TY0, SA0, JFN), pp. 603–612.
ICSME-2017-YangQM #empirical #fault #locality #program repair: An Empirical Study on the Usage of Fault Localization in Automated Program Repair (DY, YQ, XM), pp. 504–508.
ICSME-2017-YanXZYX #modelling #quality: Automating Aggregation for Software Quality Modeling (MY, XX0, XZ0, DY0, LX), pp. 529–533.
ICSME-2017-YiCMJ #source code: Automated Repair of High Inaccuracies in Numerical Programs (XY, LC, XM, TJ), pp. 514–518.
MSR-2017-IslamZ #analysis #re-engineering #sentiment: Leveraging automated sentiment analysis in software engineering (MRI, MFZ), pp. 203–214.
SANER-2017-BuckersCDGWBZ #multi #named #static analysis #tool support: UAV: Warnings from multiple Automated Static Analysis Tools at a glance (TB, CC, MD, BG, SW, MB, AZ), pp. 472–476.
SANER-2017-EttingerTM #performance: Efficient method extraction for automatic elimination of type-3 clones (RE, SST, SM), pp. 327–337.
SANER-2017-GilO #refactoring: The Spartanizer: Massive automatic refactoring (YG, MO), pp. 477–481.
SANER-2017-Kirda #approach #detection #named #scalability: UNVEIL: A large-scale, automated approach to detecting ransomware (keynote) (EK), p. 1.
SANER-2017-MercierCJ #analysis #memory management #named #reverse engineering: dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis (DM, AC, RJ), pp. 497–501.
SANER-2017-NeubauerBMW #editing #generative: Automated generation of consistency-achieving model editors (PN, RB, TM, MW), pp. 127–137.
SANER-2017-TiellaC #clique #generative #obfuscation #problem: Automatic generation of opaque constants based on the k-clique problem for resilient data obfuscation (RT, MC), pp. 182–192.
SANER-2017-WangPV #generative #natural language #sequence: Automatically generating natural language descriptions for object-related statement sequences (XW, LLP, KVS), pp. 205–216.
SCAM-2017-AtzenhoferP #java #library #static analysis: Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static Analysis (TA, RP), pp. 141–146.
IFM-2017-BeckertBGHLU #named #relational #slicing #verification: SemSlice: Exploiting Relational Verification for Automatic Program Slicing (BB, TB, SG, MH, DL, MU), pp. 312–319.
IFM-2017-KrishnaPS #named #process #verification: VBPMN: Automated Verification of BPMN Processes (Tool Paper) (AK0, PP, GS), pp. 323–331.
SEFM-2017-HillahABDRGLMMM #adaptation #deployment #hybrid #self #towards: Towards Automated Deployment of Self-adaptive Applications on Hybrid Clouds (Short Paper) (LMH, REA, AB, MED, FDR, VCG, FL, APM, LM, EM, BM, AV, JI), pp. 388–393.
SEFM-2017-WiikB #data flow #network #specification #verification: Specification and Automated Verification of Dynamic Dataflow Networks (JW, PB), pp. 136–151.
Haskell-2017-Remy #named #parametricity #reuse: Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) (DR), p. 1.
ICFP-2017-AvanziniL #analysis #complexity #type inference: Automating sized-type inference for complexity analysis (MA, UDL), p. 29.
AIIDE-2017-Winer #towards: Towards Expressive Automated Storytelling Systems (DRW), pp. 304–307.
CIG-2017-HorsleyL #generative #network: Building an automatic sprite generator with deep convolutional generative adversarial networks (LH, DPL), pp. 134–141.
CIG-2017-NguyenRGM #learning #network: Automated learning of hierarchical task networks for controlling minecraft agents (CN, NR, SG, HMA), pp. 226–231.
CIG-2017-OsbornSM #design #game studies #learning: Automated game design learning (JCO, AS, MM), pp. 240–247.
FDG-2017-OsbornSM #game studies: Automatic mapping of NES games with mappy (JCO, AS, MM), p. 9.
FDG-2017-SummervilleOHZ #interactive: Mechanics automatically recognized via interactive observation: jumping (AS, JCO, CH, DWZ), p. 10.
CIKM-2017-FanZYLZ #case study #detection #social #social media #twitter: Social Media for Opioid Addiction Epidemiology: Automatic Detection of Opioid Addicts from Twitter and Case Studies (YF, YZ, YY, XL, WZ), pp. 1259–1267.
CIKM-2017-MandalGPG #documentation #identification: Automatic Catchphrase Identification from Legal Court Case Documents (AM, KG, AP0, SG0), pp. 2187–2190.
CIKM-2017-SinghMTSW #architecture: A Neural Candidate-Selector Architecture for Automatic Structured Clinical Text Annotation (GS, IJM, JT, JST, BCW), pp. 1519–1528.
CIKM-2017-XieCLZXTWW #clustering #generative: Automatic Navbox Generation by Interpretable Clustering over Linked Entities (CX, LC, JL, KZ, YX, HT, HW, WW0), pp. 1857–1865.
ICML-2017-GravesBMMK #education #learning #network: Automated Curriculum Learning for Neural Networks (AG, MGB, JM, RM, KK), pp. 1311–1320.
ICML-2017-LiuZLS #composition #named #sequence: Gram-CTC: Automatic Unit Selection and Target Decomposition for Sequence Labelling (HL, ZZ, XL, SS), pp. 2188–2197.
ICML-2017-ValeraG #dataset #statistics: Automatic Discovery of the Statistical Types of Variables in a Dataset (IV, ZG), pp. 3521–3529.
KDD-2017-DebGIPVYY #learning #named #network #policy #predict: AESOP: Automatic Policy Learning for Predicting and Mitigating Network Service Impairments (SD, ZG, SI, SCP, SV, HY, JY), pp. 1783–1792.
KDD-2017-FuA0TX #detection #interactive #named: REMIX: Automated Exploration for Interactive Outlier Detection (YF, CCA, SP0, DST, HX), pp. 827–835.
KDD-2017-GhoshCLMCBMR #named #open source: GELL: Automatic Extraction of Epidemiological Line Lists from Open Sources (SG, PC, BLL, MSM, EC, JSB, MVM, NR), pp. 1477–1485.
KDD-2017-GhoshDPYG #categorisation #ecosystem: Automated Categorization of Onion Sites for Analyzing the Darkweb Ecosystem (SG, AD, PAP, VY, AG), pp. 1793–1802.
KDD-2017-GuLH #algorithm: Groups-Keeping Solution Path Algorithm for Sparse Regression with Automatic Feature Grouping (BG, GL, HH), pp. 185–193.
KDD-2017-HassanALT #detection #towards: Toward Automated Fact-Checking: Detecting Check-worthy Factual Claims by ClaimBuster (NH, FA, CL, MT), pp. 1803–1812.
KDD-2017-QuR0 #knowledge base: Automatic Synonym Discovery with Knowledge Bases (MQ, XR, JH0), pp. 997–1005.
KDD-2017-SoskaGRC #identification: Automatic Application Identification from Billions of Files (KS, CSG, KAR, NC), pp. 2021–2030.
KDD-2017-SybrandtSS #generative #named: MOLIERE: Automatic Biomedical Hypothesis Generation System (JS, MS, IS), pp. 1633–1642.
ECMFA-2017-Kraas #on the #uml: On the Automated Derivation of Domain-Specific UML Profiles (AK), pp. 3–19.
ICMT-2017-KehrerAH #model transformation #rule-based #specification: Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (TK, AMA, RH), pp. 92–107.
ICMT-2017-NassarRA #approach #emf #interactive #modelling #rule-based: Rule-Based Repair of EMF Models: An Automated Interactive Approach (NN, HR, TA), pp. 171–181.
MoDELS-2017-EgeaD #code generation #named #ocl #sql: SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.
Onward-2017-Newcomb0JSS #calculus #internet: I¿¿¿: a calculus for internet of things automation (JLN, SC0, JBJ, CS, MS), pp. 119–133.
OOPSLA-2017-ChaeOHY #generative #heuristic #learning #program analysis: Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.
OOPSLA-2017-DonaldsonELT #compilation #testing: Automated testing of graphics shader compilers (AFD, HE, AL, PT), p. 29.
OOPSLA-2017-KaminskiKCW #composition #framework #reliability: Reliable and automatic composition of language extensions to C: the ableC extensible language framework (TK, LK, TC, EVW), p. 29.
PLDI-2017-HuD #transducer #using: Automatic program inversion using symbolic transducers (QH, LD), pp. 376–389.
POPL-2017-CiminiS #generative #semantics: Automatically generating the dynamic semantics of gradually typed languages (MC, JGS), pp. 789–803.
POPL-2017-HoffmannDW #analysis #bound #ml #towards: Towards automatic resource bound analysis for OCaml (JH0, AD, SCW), pp. 359–373.
POPL-2017-ScullyC #database #optimisation: A program optimization for automatic database result caching (ZS, AC), pp. 271–284.
POPL-2017-WickersonBSC #consistency #memory management #modelling: Automatically comparing memory consistency models (JW, MB, TS0, GAC), pp. 190–204.
POPL-2017-ZhangK #difference #named #privacy #proving #towards: LightDP: towards automating differential privacy proofs (DZ, DK), pp. 888–901.
ASE-2017-AbateBCCCDKKP #named #physics #synthesis: DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
ASE-2017-ChengZS0S #fault #integer #named #type inference: IntPTI: automatic integer error repair with proper-type inference (XC, MZ0, XS, MG0, JS), pp. 996–1001.
ASE-2017-FazziniO #consistency #detection #mobile #nondeterminism #platform: Automated cross-platform inconsistency detection for mobile apps (MF, AO), pp. 308–318.
ASE-2017-HeCHSLYHYJF: Automatically assessing crashes from heap overflows (LH, YC0, HH, PS, ZL, YY, HH, JY, XJ, DF), pp. 274–279.
ASE-2017-HerfertPP #testing: Automatically reducing tree-structured test inputs (SH, JP, MP), pp. 861–871.
ASE-2017-JiangAM #commit #generative #using: Automatically generating commit messages from diffs using neural machine translation (SJ, AA, CM), pp. 135–146.
ASE-2017-KapusC #difference #execution #generative #symbolic computation #testing: Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
ASE-2017-KhatchadourianM #java #refactoring: Defaultification refactoring: a tool for automatically converting Java methods to default (RK, HM), pp. 984–989.
ASE-2017-LiSLLL #generative #invariant #refinement: Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
ASE-2017-MaoHJ #mobile #testing: Crowd intelligence enhances automated mobile testing (KM, MH, YJ0), pp. 16–26.
ASE-2017-Mills #classification #towards #traceability: Towards the automatic classification of traceability links (CM), pp. 1018–1021.
ASE-2017-MirhosseiniP #dependence #developer #question: Can automated pull requests encourage software developers to upgrade out-of-date dependencies? (SM, CP), pp. 84–94.
ASE-2017-Nielebock #program repair #towards: Towards API-specific automatic program repair (SN0), pp. 1010–1013.
ASE-2017-ScalabrinoBVVPO #how #question: Automatically assessing code understandability: how far are we? (SS, GB, CV, MLV, DP, RO), pp. 417–427.
ASE-2017-UddinK #api #summary: Automatic summarization of API reviews (GU, FK), pp. 159–170.
ASE-2017-XinR #program repair: Leveraging syntax-related code for automated program repair (QX, SPR), pp. 660–670.
ASE-2017-XuXXL #developer #generative #named #summary: AnswerBot: automated generation of answer summary to developersź technical questions (BX, ZX, XX0, DL0), pp. 706–716.
ESEC-FSE-2017-CastelluccioSVP #correlation: Automatically analyzing groups of crashes for finding correlations (MC, CS, LV, GP), pp. 717–726.
ESEC-FSE-2017-ErataGTK #configuration management #reasoning #semantics: A tool for automated reasoning about traces based on configurable formal semantics (FE, AG, BT, GK), pp. 959–963.
ESEC-FSE-2017-GarciaHGM #android #communication #component #generative: Automatic generation of inter-component communication exploits for Android applications (JG, MH, NG, SM), pp. 661–671.
ESEC-FSE-2017-LeeHLKJ #debugging #industrial #learning: Applying deep learning based automatic bug triager to industrial projects (SRL, MJH, CGL, MK, GJ), pp. 926–931.
ESEC-FSE-2017-LongAR #generative: Automatic inference of code transforms for patch generation (FL, PA, MR), pp. 727–739.
ESEC-FSE-2017-MaggioPFH #multi #using: Automated control of multiple software goals using multiple actuators (MM, AVP, AF, HH), pp. 373–384.
ESEC-FSE-2017-MatinnejadNB #case study #hybrid #industrial #testing: Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
ESEC-FSE-2017-Mills #classification #traceability: Automating traceability link recovery through classification (CM), pp. 1068–1070.
ESEC-FSE-2017-PastoreM #detection #fault #named: VART: a tool for the automatic detection of regression faults (FP, LM), pp. 964–968.
ESEC-FSE-2017-RastogiDCJM #named: Cimplifier: automatically debloating containers (VR, DD, LDC, SJ, PDM), pp. 476–486.
ESEC-FSE-2017-Schramm #heuristic #performance #program repair #using: Improving performance of automatic program repair using learned heuristics (LS), pp. 1071–1073.
ESEC-FSE-2017-TianR #c #debugging #fault: Automatically diagnosing and repairing error handling bugs in C (YT, BR), pp. 752–762.
ESEC-FSE-2017-YangZLT #program repair #testing: Better test cases for better automated program repair (JY0, AZ, YL, LT0), pp. 831–841.
ESEC-FSE-2017-YiAKTR #program repair #programming #using: A feasibility study of using automated program repair for introductory programming assignments (JY, UZA, AK, SHT, AR), pp. 740–751.
ESEC-FSE-2017-ZhouS #commit #debugging #identification #security: Automated identification of security issues from commit messages and bug reports (YZ, AS), pp. 914–919.
ICSE-2017-0010ZPZMZ #generative #mobile #testing: Automatic text input generation for mobile testing (PL0, XZ0, MP, YZ, MM, LZ), pp. 643–653.
ICSE-2017-JiangLYX #analysis #integration #testing #what: What causes my test alarm?: automatic cause analysis for test alarms in system and integration testing (HJ, XL, ZY, JX), pp. 712–723.
ICSE-2017-KhatchadourianM #java #legacy #refactoring: Automated refactoring of legacy Java software to default methods (RK, HM), pp. 82–93.
ICSE-2017-SoltaniPD #algorithm #search-based: A guided genetic algorithm for automated crash reproduction (MS, AP, AvD), pp. 209–220.
ICSE-2017-ZhangK #difference #testing: Automated transplantation and differential testing for clones (TZ0, MK), pp. 665–676.
GPCE-2017-MartiniH #case study #experience #generative #learning: Automatic generation of virtual learning spaces driven by CaVaDSL: an experience report (RGM, PRH), pp. 233–245.
SLE-2017-RoychoudhurySKK: A domain-specific controlled English language for automated regulatory compliance (SR, SS, DK, VK), pp. 175–181.
ASPLOS-2017-AkturkK #named: AMNESIAC: Amnesic Automatic Computer (IA, URK), pp. 811–824.
ASPLOS-2017-LiuLLLLGT #concurrent #debugging #detection #distributed #named: DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems (HL, GL, JFL, JL, SL, HSG, CT0), pp. 677–691.
ASPLOS-2017-LustigWPG #memory management #synthesis #testing: Automated Synthesis of Comprehensive Memory Model Litmus Test Suites (DL, AW, AP, OG), pp. 661–675.
CASE-2017-AskinH #estimation #network: Automated lead time estimation for manufacturing networks with dynamic demand (RGA, GJH), pp. 994–999.
CASE-2017-BiancoR: An automatic system for the avoidance of wrist singularities in anthropomorphic manipulators (CGLB, MR), pp. 1302–1309.
CASE-2017-CapitanV #metric #quality #technical debt: Metrics for software quality in automated production systems as an indicator for technical debt (LC, BVH), pp. 709–716.
CASE-2017-ChenOUTO #design #image #parametricity #preprocessor #recognition: Automated design of the field-of-view, illumination, and image pre-processing parameters of an image recognition system (YC, TO, TU, TT, JO), pp. 1079–1084.
CASE-2017-ChenZ #detection #multi #using: An automatic seizure detection method using multi-channel EEG signals (SC, XZ0), pp. 94–95.
CASE-2017-ChoiPR #algorithm #multi #scalability #synthesis: Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming (TC, TPP, AWR), pp. 1522–1527.
CASE-2017-ChuckLKJFG #learning #statistics: Statistical data cleaning for deep learning of automation tasks from demonstrations (CC, ML, SK, RJ, RF, KG), pp. 1142–1149.
CASE-2017-DuHZL #petri net #robust #using: Robust control of automated manufacturing systems with complex structures using Petri Nets (ND, HH, YZ0, YL0), pp. 364–369.
CASE-2017-EhmkeRW #assembly: Single step shimming solution for automated aircraft assembly (FE, SR, JW), pp. 662–667.
CASE-2017-FangM #energy #multi: Energy-efficient elevating transfer vehicle routing for automated multi-level material handling systems (ZF, JM), pp. 249–254.
CASE-2017-GuoYGY #framework: Optimal motion planning and control of a crack filling robot for civil infrastructure automation (CG, KY, YG, JY), pp. 1463–1468.
CASE-2017-HammoucheLR #feedback #robust: Robust feedback control for automated force/position control of piezoelectric tube based microgripper (MH, PL, MR), pp. 598–604.
CASE-2017-JongRANO #big data #estimation #problem #scheduling #towards: Big data in automation: Towards generalized makespan estimation in shop scheduling problems (AWdJ, JIUR, MA, TN, JO), pp. 1516–1521.
CASE-2017-KhanFF #framework #generative #logic #safety: Virtual engineering framework for automatic generation of control logic including safety (AK, PF, MF), pp. 648–653.
CASE-2017-LarsenKSVKK #industrial: Full automatic path planning of cooperating robots in industrial applications (LL, MK, AS, MV, JK, MK), pp. 523–530.
CASE-2017-LiangMLLG #industrial #learning #using: Using dVRK teleoperation to facilitate deep learning of automation tasks for an industrial robot (JL, JM, ML, PL, KG), pp. 1–8.
CASE-2017-QuirosCC #industrial #internet: Dispersed automation for industrial Internet of Things - An enabler for advanced manufacturing (GQ, DC, AC), pp. 269–274.
CASE-2017-TanCT #classification #evaluation #layout #multi: Multiple binary classifiers to analyse decision of non-compliance: For automated evaluation of piping layout (WCT, IMC, HKT), pp. 80–85.
CASE-2017-TanGCCT #detection: Automated vision based detection of blistering on metal surface: For robot (WCT, PCG, AC, IMC, HKT), pp. 74–79.
CASE-2017-TuncaliYPF #functional #generative #optimisation #testing: Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.
CASE-2017-WangHZL #approach #petri net #robust: A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets (XW, HH, YZ0, YL0), pp. 370–375.
CASE-2017-WangJA: A two-stage RRT path planner for automated parking (YW, DKJ, YA), pp. 496–502.
CASE-2017-ZouV #approach #consistency #design #development #nondeterminism: Feature-based systematic approach development for inconsistency resolution in automated production system design (MZ, BVH), pp. 687–694.
CGO-2017-JimboreanWEKR #detection: Automatic detection of extended data-race-free regions (AJ, JW, PE, SK, AR), pp. 14–26.
CGO-2017-SuLX #approach #compilation #generative #performance: Automatic generation of fast BLAS3-GEMM: a portable compiler approach (XS, XL, JX), pp. 122–133.
ESOP-2017-Dinsdale-YoungP #concurrent #fine-grained #verification: Caper - Automatic Verification for Fine-Grained Concurrency (TDY, PdRP, KJA, LB), pp. 420–447.
FASE-2017-UvaPRAF #java #satisfiability #specification: Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.
CADE-2017-TellezB #pointer #proving #source code #verification: Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof (GT, JB), pp. 491–508.
CAV-2017-AbateBCCDKKP #physics #synthesis: Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
CAV-2017-ChatterjeeFM #analysis #bound: Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds (KC, HF0, AM), pp. 118–139.
CAV-2017-Carbonneaux0RS #analysis #coq #proving: Automated Resource Analysis with Coq Proof Objects (QC, JH0, TWR, ZS), pp. 64–85.
CAV-2017-UnnoTS #horn clause #induction: Automating Induction for Solving Horn Clauses (HU0, ST, HS), pp. 571–591.
CSL-2017-ZaidGR: Advice Automatic Structures and Uniformly Automatic Classes (FAZ, EG, FR), p. 20.
ICST-2017-ArcuriFJ #api #functional #generative #testing: Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.
ICST-2017-DarwishGT #empirical #industrial #modelling #testing: A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry (RD, LNG, RT), pp. 546–547.
ICST-2017-DwarakanathEPDP #domain-specific language #testing: Accelerating Test Automation through a Domain Specific Language (AD, DE, AP, ND, SP), pp. 460–467.
ICST-2017-EnoiuSCP #case study #comparative #industrial #testing: A Comparative Study of Manual and Automated Testing for Industrial Control Software (EPE, DS, AC, PP), pp. 412–417.
ICST-2017-LiCWH0WL #evolution #maintenance #mobile #named #testing #user interface: ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications (XL, NC, YW, HH, YP0, LW, XL), pp. 161–171.
ICST-2017-PastoreMM #automaton: Timed k-Tail: Automatic Inference of Timed Automata (FP, DM, LM), pp. 401–411.
ICST-2017-PouldingF17a #multi #random testing #testing: Automated Random Testing in Multiple Dispatch Languages (SMP, RF), pp. 333–344.
ICST-2017-RamlerH #how #locality #testing: How to Test in Sixteen Languages? Automation Support for Localization Testing (RR, RH), pp. 542–543.
ICST-2017-SullivanWZK #alloy #generative #mutation testing #testing: Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.
ICST-2017-TangCZGXHBM #android #detection #named #verification: NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps (JT, XC, ZZ0, SG, XSX, CH, TB, BM), pp. 492–499.
ICST-2017-ZhangYZLCHL #data flow #parallel #source code #testing #thread: Automated Testing of Definition-Use Data Flow for Multithreaded Programs (XZ0, ZY, QZ, PL, JC, YH, TL0), pp. 172–183.
ICTSS-2017-GerettiBCGV #verification: Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne (LG, DB, PC, SZG, TV), pp. 313–319.
ECSA-2016-AbukwaikAR #analysis #api #concept #constraints #documentation #identification #towards: Towards Seamless Analysis of Software Interoperability: Automatic Identification of Conceptual Constraints in API Documentation (HA, MA, HDR), pp. 67–83.
QoSA-2016-BuschK #design #quality: Considering Not-Quantified Quality Attributes in an Automated Design Space Exploration (AB, AK), pp. 50–59.
WICSA-2016-LanghammerSMR #modelling: Automated Extraction of Rich Software Models from Limited System Information (ML, AS, NM, RHR), pp. 99–108.
CSEET-2016-HeroutB #diagrams #student #uml #validation: UML-Test Application for Automated Validation of Students' UML Class Diagram (PH, PB), pp. 222–226.
EDM-2016-BlanchardDOSKSW #detection #education: Semi-Automatic Detection of Teacher Questions from Human-Transcripts of Audio in Live Classrooms (NB, PJD, AO, BS, SK, XS, BW, MN, SKD), pp. 288–291.
EDM-2016-BorgeR #case study #collaboration #experience #feedback #process #quality: Automated Feedback on the Quality of Collaborative Processes: An Experience Report (MB, CPR), pp. 573–574.
EDM-2016-ChaplotYCK #data-driven #graph #induction: Data-driven Automated Induction of Prerequisite Structure Graphs (DSC, YY, JGC, KRK), pp. 318–323.
EDM-2016-ClementOL #comparison #education #student: A Comparison of Automatic Teaching Strategies for Heterogeneous Student Populations (BC, PYO, ML0), pp. 330–335.
EDM-2016-CrossleyKDM #assessment: Automatic Assessment of Constructed Response Data in a Chemistry Tutor (SAC, KK, JLD, DSM), pp. 336–340.
EDM-2016-FeildLZRE #feedback #framework #learning #platform #scalability: A Scalable Learning Analytics Platform for Automated Writing Feedback (JLF, NL, NLZ, MR, AE), pp. 688–693.
EDM-2016-Kyrilov #feedback #programming #reasoning #using: Using Case-Based Reasoning to Automatically Generate High-Quality Feedback for Programming Exercises (AK), pp. 669–671.
EDM-2016-MillsBWD #detection: Automatic Gaze-Based Detection of Mind Wandering during Film Viewing (CM, RB, XW, SKD), pp. 30–37.
EDM-2016-NogaitoYK #case study #similarity #testing #using: Study on Automatic Scoring of Descriptive Type Tests using Text Similarity Calculations (IN, KY, HK), pp. 616–617.
EDM-2016-RawatA #feedback: An Automated Test of Motor Skills for Job Selection and Feedback (BPS, VA), pp. 694–699.
EDM-2016-RitterYFB #towards: Towards Integrating Human and Automated Tutoring Systems (SR, MY, SF, SRB), pp. 626–627.
EDM-2016-RoscoeJAJM #evaluation #feedback #towards: Toward Revision-Sensitive Feedback in Automated Writing Evaluation (RDR, MEJ, LKA, ACJ, DSM), pp. 628–629.
EDM-2016-SabourinKHM #feedback #student #towards: Toward Automated Support for Teacher-Facilitated Formative Feedback on Student Writing (JS, LK, KH, SWM), pp. 703–704.
EDM-2016-WhitmerDO #validation: Validating Automated Triggers and Notifications @ Scale in Blackboard Learn (JW, AD, BO), pp. 648–649.
EDM-2016-ZhangSC #clustering #effectiveness #learning #modelling #student: Deep Learning + Student Modeling + Clustering: a Recipe for Effective Automatic Short Answer Grading (YZ, RS, MC), pp. 562–567.
ICPC-2016-MaZYZ #library #reuse #testing: Retrofitting automatic testing through library tests reusing (LM0, CZ, BY, JZ), pp. 1–4.
ICPC-2016-VasquezHP #android #detection #on the: On automatically detecting similar Android apps (MLV, AH, DP), pp. 1–10.
ICSME-2016-AlghmadiSSH #approach #performance #recommendation #testing: An Automated Approach for Recommending When to Stop Performance Tests (HMA, MDS, WS, AEH), pp. 279–289.
ICSME-2016-ArmalyKM #case study #estimation #feature model #industrial: A Case Study of Automated Feature Location Techniques for Industrial Cost Estimation (AA, JK, CM), pp. 553–562.
ICSME-2016-CharpentierFR #css #mixin: Automated Extraction of Mixins in Cascading Style Sheets (AC, JRF, LR), pp. 56–66.
ICSME-2016-DemuthKEM #case study #consistency #experience #impact analysis #tool support #traceability: Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report (AD, RK, AE, DM), pp. 529–538.
ICSME-2016-Dzakovic #development #industrial #testing: Industrial Application of Automated Regression Testing in Test-Driven ETL Development (MD), pp. 582–585.
ICSME-2016-FontanaPRZ #architecture #detection #smell: Automatic Detection of Instability Architectural Smells (FAF, IP, RR, MZ), pp. 433–437.
ICSME-2016-LeLLG #deduction #program repair #verification: Enhancing Automated Program Repair with Deductive Verification (XBDL, QLL, DL0, CLG), pp. 428–432.
ICSME-2016-Li: Automatically Documenting Software Artifacts (BL), pp. 631–635.
ICSME-2016-MoranVP #android #research #testing #user interface: Automated GUI Testing of Android Apps: From Research to Practice (KM, MLV, DP), p. 648.
ICSME-2016-ThungLLL #linux #recommendation: Recommending Code Changes for Automatic Backporting of Linux Device Drivers (FT, XBDL, DL0, JLL), pp. 222–232.
ICSME-2016-XiaBLL #case study #debugging #fault #harmful #locality #scalability #user study #using: “Automated Debugging Considered Harmful” Considered Harmful: A User Study Revisiting the Usefulness of Spectra-Based Fault Localization Techniques with Professionals Using Real Bugs from Large Systems (XX0, LB, DL0, SL), pp. 267–278.
MSR-2016-GomezRAS #android #detection #mining #performance #repository #user interface: Mining test repositories for automatic detection of UI performance regressions in Android apps (MG0, RR, BA, LS), pp. 13–24.
MSR-2016-KreutzerDREP #clustering: Automatic clustering of code changes (PK, GD, MR, BME, MP), pp. 61–72.
SANER-2016-CaraccioloALN #dependence #named: Marea: A Semi-Automatic Decision Support System for Breaking Dependency Cycles (AC, BA, ML, ON), pp. 482–492.
SANER-2016-MolderezR #refinement: Automated Generalization and Refinement of Code Templates with Ekeko/X (TM, CDR), pp. 669–672.
SANER-2016-Ostberg0 #static analysis: At Ease with Your Warnings: The Principles of the Salutogenesis Model Applied to Automatic Static Analysis (JPO, SW0), pp. 629–633.
SANER-2016-RahmanRL #api #crowdsourcing #named #recommendation #using: RACK: Automatic API Recommendation Using Crowdsourced Knowledge (MMR0, CKR, DL0), pp. 349–359.
SANER-2016-RoyHAWD #metadata #scalability #set #spreadsheet: Evaluating Automatic Spreadsheet Metadata Extraction on a Large Set of Responses from MOOC Participants (SR, FH, EA, JW, AvD), pp. 135–145.
SANER-2016-SzokeNFG #case study #design #experience #refactoring: Designing and Developing Automated Refactoring Transformations: An Experience Report (GS, CN0, RF, TG), pp. 693–697.
DLT-2016-Berdinsky #transducer: Cayley Automatic Groups and Numerical Characteristics of Turing Transducers (DB), pp. 26–37.
FM-2016-LiSD #protocol #security #verification: Automated Verification of Timed Security Protocols with Clock Drift (LL0, JS0, JSD), pp. 513–530.
FM-2016-TaLKC #induction #logic #proving: Automated Mutual Explicit Induction Proof in Separation Logic (QTT, TCL, SCK, WNC), pp. 659–676.
FSCD-2016-RappM #first-order #linear #term rewriting: Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems (FR, AM), p. 12.
IFM-2016-Kovacs #program analysis #reasoning #symbolic computation: Symbolic Computation and Automated Reasoning for Program Analysis (LK), pp. 20–27.
SEFM-2016-ArcainiGR #proving #refinement #smt: SMT-Based Automatic Proof of ASM Model Refinement (PA, AG, ER), pp. 253–269.
SEFM-2016-SchwarzD #framework #platform: Automatic Derivation of Platform Noninterference Properties (OS, MD), pp. 27–44.
Haskell-2016-GriecoCB #fuzzing #named #random: QuickFuzz: an automatic random fuzzer for common file formats (GG, MC, PB), pp. 13–20.
ICFP-2016-WatanabeST0 #functional #higher-order #source code #termination: Automatically disproving fair termination of higher-order functional programs (KW, RS, TT, NK0), pp. 243–255.
AIIDE-2016-HarderBD #implementation: Implementation of an Automated Fire Support Planner (BRH, IB, CJD), pp. 51–57.
CIG-2016-BeauB #game studies #symmetry #video: Automated game balancing of asymmetric video games (PB, SB), pp. 1–8.
CIG-2016-CookGC #generative #optimisation #towards: Towards the automatic optimisation of procedural content generators (MC0, JG, SC), pp. 1–8.
CIG-2016-PowleyCGSN #design #game studies: Semi-automated level design via auto-playtesting for handheld casual game creation (EJP, SC, SEG, RS, MJN), pp. 1–8.
CIKM-2016-LiKR #generative #roadmap #set #validation: Automatic Generation and Validation of Road Maps from GPS Trajectory Data Sets (HL, LK, KR), pp. 1523–1532.
CIKM-2016-SongRVJ: To Click or Not To Click: Automatic Selection of Beautiful Thumbnails from Videos (YS, MR, JV, AJ), pp. 659–668.
ICML-2016-HwangTC #modelling #multi #parametricity #relational: Automatic Construction of Nonparametric Relational Regression Models for Multiple Time Series (YH, AT, JC), pp. 3030–3039.
ICPR-2016-Al-DulaimiBTC #geometry #image #segmentation #set #using: Automatic segmentation of HEp-2 cell Fluorescence microscope images using level set method via geometric active contours (KAD, JB, ITR, VC), pp. 81–83.
ICPR-2016-AugereauFK #analysis #estimation #towards: Towards an automated estimation of English skill via TOEIC score based on reading analysis (OA, HF, KK), pp. 1285–1290.
ICPR-2016-AydinKAA #predict #random #using: Automatic personality prediction from audiovisual data using random forest regression (BA, AAK, OA, LA), pp. 37–42.
ICPR-2016-CarvajalWSL #contest #predict #towards: Towards Miss Universe automatic prediction: The evening gown competition (JC, AW, CS, BCL), pp. 1089–1094.
ICPR-2016-ComiterCKT #clustering #distributed #implementation #parametricity: Lambda means clustering: Automatic parameter search and distributed computing implementation (MZC, MC, HTK, ST), pp. 2331–2337.
ICPR-2016-HuangWLLBC #clustering #estimation #learning #parametricity: Ensemble-driven support vector clustering: From ensemble learning to automatic parameter estimation (DH, CDW, JHL, YL0, SB, YC), pp. 444–449.
ICPR-2016-JermanPLSC #analysis #identification: Automatic cutting plane identification for computer-aided analysis of intracranial aneurysms (TJ, FP, BL, ZS, AC), pp. 1484–1489.
ICPR-2016-KannappanLT #evaluation #summary #video: A pertinent evaluation of automatic video summary (SK, YL, BT), pp. 2240–2245.
ICPR-2016-KondratevS #constraints #detection #geometry #image #using: Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints (AYK, DVS), pp. 331–336.
ICPR-2016-LiuNZWL #clustering #multi: Unsupervised automatic attribute discovery method via multi-graph clustering (LL, FN, TZ, AW, BCL), pp. 1713–1718.
ICPR-2016-MinciulloC #analysis #detection: Fully automated shape analysis for detection of Osteoarthritis from lateral knee radiographs (LM, TFC), pp. 3787–3791.
ICPR-2016-Nguyen #generative #image #using: Automatic generation of a realistic looking single image stereogram using stereo vision (MN), pp. 3826–3831.
ICPR-2016-OlivaresVG: Automatic leaf shape category discovery (LO, JV, FG), pp. 1023–1028.
ICPR-2016-PironkovDD #learning #multi #recognition #speech: Speaker-aware Multi-Task Learning for automatic speech recognition (GP, SD, TD), pp. 2900–2905.
ICPR-2016-RichterLB #visual notation #word: Knowing when you don't: Bag of visual words with reject option for automatic visual inspection of bulk materials (MR0, TL, JB), pp. 3079–3084.
ICPR-2016-SagawaSHOKF #feature model #robust #using: Automatic feature extraction using CNN for robust active one-shot scanning (RS, YS, TH, SO, HK, RF), pp. 234–239.
ICPR-2016-SagonasPARZ #robust: Back to the future: A fully automatic method for robust age progression (CS, YP, SA, NR, SZ), pp. 4226–4231.
ICPR-2016-SahooA0 #approach #clustering #generative #multi #using: Automatic generation of biclusters from gene expression data using multi-objective simulated annealing approach (PS, SA, SS0), pp. 2174–2179.
ICPR-2016-SatoMKTKT #gesture: Automated help system for novice older users from touchscreen gestures (DS0, TM, TK, YT, TK, HT), pp. 3073–3078.
ICPR-2016-SunSH #image: Automatic building extraction from oblique aerial images (XS, SS, ZH), pp. 663–668.
ICPR-2016-VargaS #image #network: Fully automatic image colorization based on Convolutional Neural Network (DV, TS), pp. 3691–3696.
ICPR-2016-ZamzamiPGKAS #analysis #approach #multimodal: An approach for automated multimodal analysis of infants' pain (GZ, CYP, DBG, RK, TA, YS0), pp. 4148–4153.
ICPR-2016-ZhangT #encoding #generative #video: Automatic video description generation via LSTM with joint two-stream encoding (CZ, YT), pp. 2924–2929.
KDD-2016-KannanKRKTMCLGY #email: Smart Reply: Automated Response Suggestion for Email (AK, KK, SR, TK, AT, BM, GC, LL, MG, PY, VR), pp. 955–964.
KDD-2016-SarafR: EMBERS AutoGSR: Automated Coding of Civil Unrest Events (PS, NR), pp. 599–608.
KDD-2016-SunLGXX #data-driven #development #recommendation: Data-driven Automatic Treatment Regimen Development and Recommendation (LS, CL, CG, HX, YX), pp. 1865–1874.
BX-2016-KramerR #bidirectional #model transformation: Automated Inversion of Attribute Mappings in Bidirectional Model Transformations (MEK, KR), pp. 61–76.
ECMFA-2016-KessentiniSW #approach #co-evolution #metamodelling #multi #optimisation #using: Automated Metamodel/Model Co-evolution Using a Multi-objective Optimization Approach (WK, HAS, MW), pp. 138–155.
ECMFA-2016-WangLYAN #framework #modelling #named: MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System (SW, HL, TY, SA, JN), pp. 191–204.
ICMT-2016-KehrerTRK #editing #metamodelling #specification: Automatically Deriving the Specification of Model Editing Operations from Meta-Models (TK, GT, MR, UK), pp. 173–188.
MoDELS-2016-AlkhaziRKWG #approach #atl #model transformation #refactoring #search-based: Automated refactoring of ATL model transformations: a search-based approach (BA, TR, MK, MW, WIG), pp. 295–304.
MoDELS-2016-DeVriesC #analysis #detection #requirements: Automatic detection of incomplete requirements via symbolic analysis (BD, BHCC), pp. 385–395.
MoDELS-2016-FangLDE #industrial #modelling #multi #variability: Multi-variability modeling and realization for software derivation in industrial automation management (MF, GL, JD, CE), pp. 2–12.
MoDELS-2016-RueggLPKSH #diagrams #incremental #layout #migration: Incremental diagram layout for automated model migration (UR, RL, AP, AK, CDS, RvH), pp. 185–195.
MoDELS-2016-RuscioMPT #generative: Automatic generation of detailed flight plans from high-level mission descriptions (DDR, IM, PP, MT), pp. 45–55.
MoDELS-2016-TuchschererWT #c++ #collaboration #modelling: Modern C++ as a modeling language for automated driving and human-robot collaboration (DT, AW, FT), pp. 136–142.
OOPSLA-2016-BarmanCBG #named #web: Ringer: web automation by demonstration (SB, SC, RB, SG), pp. 748–764.
OOPSLA-2016-GollamudiC #policy #security #using: Automatic enforcement of expressive security policies using enclaves (AG, SC), pp. 494–513.
OOPSLA-2016-KimK0KPZR #fault #named #programming: Apex: automatic programming assignment error explanation (DK, YK, PL0, ILK, DMP, XZ0, GRR), pp. 311–327.
OOPSLA-2016-PanchekhaT #layout #reasoning #web: Automated reasoning for web page layout (PP, ET), pp. 181–194.
OOPSLA-2016-SurendranS #parallel #synthesis: Automatic parallelization of pure method calls via conditional future synthesis (RS, VS), pp. 20–38.
OOPSLA-2016-ZuoFKXL #abstraction #debugging #refinement #statistics: Low-overhead and fully automated statistical debugging with abstraction refinement (ZZ0, LF, SCK, G(X, SL), pp. 881–896.
PLDI-2016-HeuleS0A #learning #set #synthesis: Stratified synthesis: automatically learning the x86-64 instruction set (SH, ES, RS0, AA), pp. 237–250.
PLDI-2016-ZhuPJ #learning #specification: Automatically learning shape specifications (HZ0, GP, SJ), pp. 491–507.
POPL-2016-LongR #generative #learning: Automatic patch generation by learning correct code (FL, MR), pp. 298–312.
SAS-2016-AbdullaJT #policy #verification: Automated Verification of Linearization Policies (PAA, BJ, CQT), pp. 61–83.
SAS-2016-MenendezNG #float #named #optimisation #verification: Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM (DM, SN, AG), pp. 317–337.
ASE-2016-BaekB #android #comparison #modelling #multi #testing #user interface #using: Automated model-based Android GUI testing using multi-level GUI comparison criteria (YMB, DHB), pp. 238–249.
ASE-2016-CeccatoNAB #black box #injection #named #security #testing: SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities (MC, CDN, DA, LCB), pp. 167–177.
ASE-2016-ChenX #library #named #programming language #recommendation: SimilarTech: automatically recommend analogical libraries across different programming languages (CC, ZX), pp. 834–839.
ASE-2016-GaoWL #named: BovInspector: automatic inspection and repair of buffer overflow vulnerabilities (FG, LW, XL), pp. 786–791.
ASE-2016-GuSMLS #fault #runtime #synthesis: Automatic runtime recovery via error handler synthesis (TG, CS, XM, JL, ZS), pp. 684–695.
ASE-2016-HannebauerPSG #code review #comparison #empirical #recommendation: Automatically recommending code reviewers based on their expertise: an empirical comparison (CH, MP, SS, VG), pp. 99–110.
ASE-2016-KangRJ #api #c #fault #named #specification: APEx: automated inference of error specifications for C APIs (YJK, BR, SJ), pp. 472–482.
ASE-2016-Keng #behaviour #mobile #privacy #testing: Automated testing and notification of mobile app privacy leak-cause behaviours (JCJK), pp. 880–883.
ASE-2016-KrishnaMF #learning: Too much automation? the bellwether effect and its implications for transfer learning (RK, TM, WF), pp. 122–131.
ASE-2016-Le #effectiveness #performance #program repair #towards: Towards efficient and effective automatic program repair (XBDL), pp. 876–879.
ASE-2016-LiuGAA #integration #named #testing #tool support: TeeVML: tool support for semi-automatic integration testing environment emulation (JL, JCG, IA, MAA), pp. 840–845.
ASE-2016-MoketarKSRG #collaboration #requirements #validation: An automated collaborative requirements engineering tool for better validation of requirements (NAM, MK, SS, MR, JCG), pp. 864–869.
ASE-2016-PatrickCSG #generative #image #using: Automatic test image generation using procedural noise (MP, MDC, ROJHS, CAG), pp. 654–659.
ASE-2016-RahmanR #concept #crowdsourcing #named #query #using: QUICKAR: automatic query reformulation for concept location using crowdsourced knowledge (MMR, CKR), pp. 220–225.
ASE-2016-RazaF #analysis #development #named #performance #recommendation: ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development (MR, JPF), pp. 798–803.
ASE-2016-Rodriguez-Cancio #benchmark #constant #generative: Automatic microbenchmark generation to prevent dead code elimination and constant folding (MRC, BC, BB), pp. 132–143.
ASE-2016-ZhangHC #generative #testing #towards: Towards automatically generating descriptive names for unit tests (BZ, EH, JC), pp. 625–636.
FSE-2016-Luo16a #performance #profiling #testing #using: Automatic performance testing using input-sensitive profiling (QL), pp. 1139–1141.
FSE-2016-Nandi #generative: Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.
FSE-2016-NejatiS0BM #design #impact analysis #modelling #requirements: Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
FSE-2016-Rolim #using: Automating repetitive code changes using examples (RR), pp. 1063–1065.
FSE-2016-ZengLZXDLYX #android #case study #generative #industrial #question: Automated test input generation for Android: are we really there yet in an industrial case? (XZ, DL0, WZ, FX, YD, WL, WY0, TX0), pp. 987–992.
ICSE-2016-ArztB #android #data flow #framework #named #precise #summary: StubDroid: automatic inference of precise data-flow summaries for the android framework (SA, EB), pp. 725–735.
ICSE-2016-CheungCLX #clustering #detection #named #smell #spreadsheet #using: CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features (SCC, WC, YL, CX0), pp. 464–475.
ICSE-2016-LiLGH #energy #mobile #optimisation: Automated energy optimization of HTTP requests for mobile applications (DL, YL, JG, WGJH), pp. 249–260.
ICSE-2016-MatinnejadNBB #generative #modelling #testing: Automated test suite generation for time-continuous simulink models (RM, SN, LCB, TB), pp. 595–606.
ICSE-2016-RubinovRMR #android #clustering #execution: Automated partitioning of android applications for trusted execution environments (KR, LR, TM, AR), pp. 923–934.
ICSE-2016-Tantithamthavorn #classification #fault #modelling #optimisation #parametricity #predict: Automated parameter optimization of classification techniques for defect prediction models (CT, SM, AEH, KM), pp. 321–332.
ICSE-2016-WangLT #fault #learning #predict #semantics: Automatically learning semantic features for defect prediction (SW0, TL, LT0), pp. 297–308.
ICSE-2016-XieLSCXX #analysis #debugging: Revisit of automatic debugging via human focus-tracking analysis (XX, ZL, SS, ZC0, JX, BX), pp. 808–819.
ICSE-2016-YuQC #framework #named #testing: VDTest: an automated framework to support testing for virtual devices (TY, XQ, MBC), pp. 583–594.
ICSE-2016-ZhaiHMZTZQ #api #documentation #generative #java: Automatic model generation from documentation for Java API functions (JZ, JH0, SM, XZ0, LT0, JZ, FQ), pp. 380–391.
GPCE-2016-AdamKS #case study #code generation #embedded #experience: Automatic code generation in practice: experiences with embedded robot controllers (SA, MK, UPS), pp. 104–108.
GPCE-2016-BoussaaBBS #code generation #non-functional #product line #testing: Automatic non-functional testing of code generators families (MB, OB, BB, GS), pp. 202–212.
GPCE-2016-MakkiLJ #delivery #framework #process #testing: Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery (MM, DVL, WJ), pp. 178–189.
SLE-2016-MeyersDDV #domain-specific language #modelling #testing: Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
CASE-2016-BasileCC #cyber-physical: A cyber-physical view of automated warehouse systems (FB, PC, JC), pp. 407–412.
CASE-2016-BocaFSZCMERN: Ultra-flexible production systems for automated factories (RB, TAF, HS, GZ, SC, CM, WE, GFR, SN), pp. 614–619.
CASE-2016-Csiszar #approach #combinator #equation #generative: A combinatorial approach to the automated generation of inverse kinematics equations for robot arms (AC), pp. 984–989.
CASE-2016-DoliotisMCMR #3d: A 3D perception-based robotic manipulation system for automated truck unloading (PD, CDM, AC, MBM, STR), pp. 262–267.
CASE-2016-FeldmannWKV #approach #consistency #nondeterminism: A comprehensive approach for managing inter-model inconsistencies in automated production systems engineering (SF, MW, KK, BVH), pp. 1120–1127.
CASE-2016-FriedrichLV #generative #maintenance #sequence: A planning system for generating manipulation sequences for the automation of maintenance tasks (CF, AL, AV), pp. 843–848.
CASE-2016-GargSKJMMG #adaptation #locality #process #using: Tumor localization using automated palpation with Gaussian Process Adaptive Sampling (AG, SS, RK, YJ, SM, LM, KG), pp. 194–200.
CASE-2016-GealyMGMVVCG #named #precise: DATE: A handheld co-robotic device for automated tuning of emitters to enable precision irrigation (DVG, SM, MG, LM, SV, JV, SC, KG), pp. 922–927.
CASE-2016-GrayCCS: Graduated automation for humanoid manipulation (SG, RC, BC, JS), pp. 1366–1373.
CASE-2016-HuYLD #identification #petri net #scalability: Critical stages and their identification in large scale automated manufacturing systems via Petri nets (HH, YY, YL0, ND), pp. 413–420.
CASE-2016-JanSFF #performance #scalability: Fast automatic seat assignment for large-scale passengers reservation systems (GEJ, CCS, CTFT, KF), pp. 239–244.
CASE-2016-KlunderSF: Increasing spatial resolution through automated catheter rotation in high definition urethral pressure profilometry (MK, OS, RF), pp. 174–179.
CASE-2016-MavrommatiM #policy #synthesis: Automatic synthesis of control alphabet policies (AM, TDM), pp. 313–320.
CASE-2016-McKinleyGSGMJGB #multi: An interchangeable surgical instrument system with application to supervised automation of multilateral tumor resection (SM, AG, SS, DVG, JPM, YJ, MG, WDB, KG), pp. 821–826.
CASE-2016-PosadaDOKHV #generative #process: Automatic optimal motion generation for robotic manufacturing processes: Optimal collision avoidance in robotic welding (JRDP, TD, PO, AK, MH, AV), pp. 154–161.
CASE-2016-RegulinSAV #configuration management #design #knowledge base #modelling #multi: Model based design of knowledge bases in multi agent systems for enabling automatic reconfiguration capabilities of material flow modules (DR, DS, TA, BVH), pp. 133–140.
CASE-2016-RehbergerSV #approach #flexibility #reasoning: An agent approach to flexible automated production systems based on discrete and continuous reasoning (SR, LS, BVH), pp. 1249–1256.
CASE-2016-TanCPT #design #diagrams #evaluation #layout #using: Automated design evaluation on layout of Piping and Instrumentation Diagram using Histogram of Connectivity (WCT, IMC, SJP, HKT), pp. 1295–1300.
CASE-2016-TanCT #component #diagrams #identification #preprocessor: Automated identification of components in raster piping and instrumentation diagram with minimal pre-processing (WCT, IMC, HKT), pp. 1301–1306.
CASE-2016-Wason #communication #internet: Robot Raconteur® version 0.8: An updated communication system for robotics, automation, building control, and the Internet of Things (JDW), pp. 595–602.
CASE-2016-WiebeRRV #approach #composition #delivery #fault #generative #injection #simulation #testing #using: Automated test suite generation to test modular designed packaging machines using Fault Injection and a simulink-based simulation approach (FW, SR, SR, BVH), pp. 758–765.
CC-2016-MajetiMBS #architecture #cpu #generative #gpu #kernel #layout: Automatic data layout generation and kernel mapping for CPU+GPU architectures (DM, KSM, RB, VS), pp. 240–250.
CC-2016-MurphyJMC #data flow #dependence #performance: Performance implications of transient loop-carried data dependences in automatically parallelized loops (NM, TMJ0, RDM, SC), pp. 23–33.
CC-2016-SinghGN #data type #fault: Automatic fault location for data structures (VS, RG0, IN), pp. 99–109.
CGO-2016-ChenLM #named #optimisation: AutoFDO: automatic feedback-directed optimization for warehouse-scale applications (DC, DXL, TM), pp. 12–23.
CGO-2016-VassiliadisRDPA #analysis #approximate #towards: Towards automatic significance analysis for approximate computing (VV, JR, JD, KP, CDA, NB, SL, UN), pp. 182–193.
ESOP-2016-FeltmanAAF #λ-calculus: Automatically Splitting a Two-Stage Lambda Calculus (NF, CA, UAA, KF), pp. 255–281.
ESOP-2016-MalechaB #performance: Extensible and Efficient Automation Through Reflective Tactics (GM, JB), pp. 532–559.
FASE-2016-0001RACTP #model transformation #named #variability: RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (DS0, JR, TA, MC, GT, JP), pp. 122–140.
FASE-2016-BasuB: Automated Choreography Repair (SB0, TB), pp. 13–30.
FASE-2016-DebreceniRVCMT #design: Automated Model Merge by Design Space Exploration (CD, IR, DV, XDC, XM, ST), pp. 104–121.
FASE-2016-WeckesserLSRS #bound #detection #exclamation #feature model #modelling: Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models (MW, ML, TS, BR, AS), pp. 158–175.
CAV-2016-ElkaderGPS #composition #reasoning #refinement: Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (KAE, OG, CSP, SS), pp. 329–351.
CAV-2016-FanQM0D #analysis #hybrid #modelling #reachability: Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
CAV-2016-MuellerSS #execution #symbolic computation #using #verification: Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution (PM, MS, AJS), pp. 405–425.
CAV-2016-GarioCMTR #design #model checking #scalability: Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (MG, AC, CM, ST, KYR), pp. 3–22.
CAV-2016-SantolucitoZP #learning #probability: Probabilistic Automated Language Learning for Configuration Files (MS, EZ, RP), pp. 80–87.
CSL-2016-Muscholl #distributed #synthesis: Automated Synthesis: Going Distributed (AM), p. 2.
ICST-2016-ArcainiGV #consistency #detection #fault #feature model #modelling: Automatic Detection and Removal of Conformance Faults in Feature Models (PA, AG, PV), pp. 102–112.
ICST-2016-Lima #distributed #testing: Automated Scenario-Based Testing of Distributed and Heterogeneous Systems (BL), pp. 383–384.
ICST-2016-LiVVPK #testing: Automatically Documenting Unit Test Cases (BL, CV, MLV, DP, NAK), pp. 341–352.
ICST-2016-MoranVBVP #android: Automatically Discovering, Reporting and Reproducing Android Application Crashes (KM, MLV, CBC, CV, DP), pp. 33–44.
ICTSS-2016-MartinezERVO #industrial #locality #testing: Automated Localisation Testing in Industry with Test ^* ∗ (MM, AEA, UR, TEJV, CO), pp. 241–248.
ICTSS-2016-SipplBWAG #simulation #testing: From Simulation Data to Test Cases for Fully Automated Driving and ADAS (CS, FB, DW, HA, RG), pp. 191–206.
IJCAR-2016-ZoharZ #calculus #named #satisfiability: Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (YZ, AZ), pp. 487–495.
TAP-2016-Slama #certification #exclamation #testing #what: Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! (FS), pp. 191–198.
VMCAI-2016-BrainHKM #encoding #generative #satisfiability: Automatic Generation of Propagation Complete SAT Encodings (MB, LH, DK, RM), pp. 536–556.
VMCAI-2016-RepsT #abstract interpretation: Automating Abstract Interpretation (TWR, AVT), pp. 3–40.
ECSA-2015-HansenM #community #composition #detection #using: (Automated) Software Modularization Using Community Detection (KMH, KM), pp. 95–102.
ECSA-2015-KallelTTDK #architecture #component #constraints #specification: Automatic Translation of Architecture Constraint Specifications into Components (SK, BT, CT, CD, AHK), pp. 322–338.
QoSA-2015-HofigZS #dependence #using: Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.
WICSA-2015-MoCKX #architecture #detection #smell: Hotspot Patterns: The Formal Definition and Automatic Detection of Architecture Smells (RM, YC, RK, LX), pp. 51–60.
DocEng-2015-BatistaFTFLSSR #assessment #summary: A Quantitative and Qualitative Assessment of Automatic Text Summarization Systems (JB, RF, HT, RF, RDL, SJS, GPeS, MR), pp. 65–68.
DocEng-2015-ChoudhuryMG #documentation: Automatic Extraction of Figures from Scholarly Documents (SRC, PM, CLG), pp. 47–50.
DocEng-2015-FerreiraLCFSR #classification #documentation #summary #using: Automatic Document Classification using Summarization Strategies (RF, RDL, LdSC, FF, SJS, MR), pp. 69–72.
DocEng-2015-HassanH #documentation #flexibility #layout: Knuth-Plass Revisited: Flexible Line-Breaking for Automatic Document Layout (TH, AH), pp. 17–20.
DocEng-2015-KidoYTA #documentation #layout #optimisation: Document Layout Optimization with Automated Paraphrasing (YK, HY, GT, AA), pp. 13–16.
DocEng-2015-LiangWWWPBSWBG #framework #named: BBookX: An Automatic Book Creation Framework (CL, SW, ZW, KW, BP, BB, SS, HW, KB, CLG), pp. 121–124.
DocEng-2015-MarriottSW #documentation #editing #named #visual notation: VEDD: A Visual Editor for Creation and Semi-Automatic Update of Derived Documents (KM, MS, MW), pp. 125–128.
DocEng-2015-SilvaFLCOSR #documentation #machine learning #summary: Automatic Text Document Summarization Based on Machine Learning (GPeS, RF, RDL, LdSC, HO, SJS, MR), pp. 191–194.
DRR-2015-ChandnaTJSKVBP #image #workflow: Software workflow for the automatic tagging of medieval manuscript images (SWATI) (SC, DT, TJ, RS, CK, PV, HB, AP), p. 940206.
DRR-2015-ClawsonB: Intelligent indexing: a semi-automated, trainable system for field labeling (RC, WAB).
HT-2015-Jain #platform #social: Automated Methods for Identity Resolution across Heterogeneous Social Platforms (PJ), pp. 307–310.
JCDL-2015-FerreiraGL #repository: Automatic Methods for Disambiguating Author Names in Bibliographic Data Repositories (AAF, MAG, AHFL), pp. 297–298.
SIGMOD-2015-El-RobyA #linked data #named #open data: ALEX: Automatic Link Exploration in Linked Data (AER, AA), pp. 1839–1853.
SIGMOD-2015-HuLWTGY #documentation #named #social #social media #using: DocRicher: An Automatic Annotation System for Text Documents Using Social Media (QH, QL, XW, AKHT, SG, JY), pp. 901–906.
SIGMOD-2015-UpadhyayaBS #policy: Automatic Enforcement of Data Use Policies with DataLawyer (PU, MB, DS), pp. 213–225.
VLDB-2015-DiaoDLLPPP #data analysis #interactive #named #navigation: AIDE: An Automatic User Navigation System for Interactive Data Exploration (YD, KD, ZL, WL, OP, KP, LP), pp. 1964–1975.
VLDB-2015-PotharajuCHNWZJ #detection #knowledge base #named: ConfSeer: Leveraging Customer Support Knowledge Bases for Automated Misconfiguration Detection (RP, JC, LH, CNR, MW, LZ, NJ), pp. 1828–1839.
EDM-2015-AlHarbiH #modelling #segmentation #topic #using: Using Topic Segmentation Models for the Automatic Organisation of MOOCs resources (GA, TH), pp. 524–527.
EDM-2015-BlanchardDON #analysis #education #speech #towards: Classifying Q&A from Teachers' Speech: Moving Toward an Automated System of Dialogic Analysis (NB, SKD, AO, MN), pp. 282–288.
EDM-2015-Jing #clustering #documentation: Automatic Grading of Short Answers for MOOC via Semi-supervised Document Clustering (SJ), pp. 554–555.
EDM-2015-MatsudaFBF #data-driven #modelling #online #refinement: Machine Beats Experts: Automatic Discovery of Skill Models for Data-Driven Online Courseware Refinement (NM, TF, NB, CF), pp. 101–108.
EDM-2015-MostowGEG #identification #learning #word: Automatic Identification of Nutritious Contexts for Learning Vocabulary Words (JM, DG, RE, RG), pp. 266–273.
EDM-2015-NyeMS #assessment: Automated Session-Quality Assessment for Human Tutoring Based on Expert Ratings of Tutoring Success (BN, DMM, BS), pp. 195–202.
EDM-2015-RamineniCL #evaluation #process: Integrating Process and Product Data: The Case of an Automated Writing Evaluation System (CR, TC, CL), pp. 626–627.
EDM-2015-WhitehillWLCR #predict #student #towards: Beyond Prediction: Towards Automatic Intervention in MOOC Student Stop-out (JW, JJW, GL, CAC, JR), pp. 171–178.
ITiCSE-2015-AntonucciENPM #incremental #programming: An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
ITiCSE-2015-BlauM #feedback #java #student: FrenchPress Gives Students Automated Feedback on Java Program Flaws (HB, JEBM), pp. 15–20.
ITiCSE-2015-InsaS #assessment #domain-specific language #java #library: Semi-Automatic Assessment of Unrestrained Java Code: A Library, a DSL, and a Workbench to Assess Exams and Exercises (DI, JS), pp. 39–44.
ITiCSE-2015-Rubio #analysis #categorisation #clustering #programming #student #using: Automatic Categorization of Introductory Programming Students using Cluster Analysis (MAR), p. 340.
ICPC-2015-HauptmannJW #generative #refactoring #testing: Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPC-2015-LeVLP #commit #information management #named: RCLinker: automated linking of issue reports and commits leveraging rich contextual information (TDBL, MLV, DL, DP), pp. 36–47.
ICSME-2015-AbidDCM #c++ #generative #natural language #summary #using: Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
ICSME-2015-LuciaDGR #behaviour #design pattern #detection #dynamic analysis #towards: Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.
ICSME-2015-SumiHHK #program repair #towards: Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.
ICSME-2015-SzokeNHFG #case study #industrial #maintenance #refactoring: Do automatic refactorings improve maintainability? An industrial case study (GS, CN, PH, RF, TG), pp. 429–438.
ICSME-2015-Vogel-HeuserFRF #case study #challenge #hardware #industrial #maintenance: Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies (BVH, JF, SR, SF, SU), pp. 362–371.
MSR-2015-ErcanSB #predict #stack overflow: Automatic Assessments of Code Explanations: Predicting Answering Times on Stack Overflow (SE, QS, AB), pp. 442–445.
MSR-2015-VeenGZ: Automatically Prioritizing Pull Requests (EvdV, GG, AZ), pp. 357–361.
SANER-2015-Morales #anti #framework #towards: Towards a framework for automatic correction of anti-patterns (RM), pp. 603–604.
SANER-2015-RoehmNB #interactive: Automated extraction of failure reproduction steps from user interaction traces (TR, SN, BB), pp. 121–130.
SANER-2015-SharmaTL #identification #named #twitter: NIRMAL: Automatic identification of software relevant tweets leveraging language model (AS, YT, DL), pp. 449–458.
SANER-2015-WongLT #generative #mining #named #source code: CloCom: Mining existing source code for automatic comment generation (EW, TL, LT), pp. 380–389.
SCAM-2015-GhafariGR #identification #testing: Automatically identifying focal methods under test in unit test cases (MG, CG, KR), pp. 61–70.
SCAM-2015-GhanavatiA #memory management #testing: Automated memory leak diagnosis by regression testing (MG, AA), pp. 191–200.
SCAM-2015-PintoKT #analysis #multi #performance: Automating the performance deviation analysis for multiple system releases: An evolutionary study (FP, UK, CT), pp. 201–210.
SCAM-2015-SzokeNFFG #named #refactoring #smell #tool support: FaultBuster: An automatic code smell refactoring toolset (GS, CN, LJF, RF, TG), pp. 253–258.
ICALP-v2-2015-Muscholl #distributed #synthesis: Automated Synthesis of Distributed Controllers (AM), pp. 11–27.
LATA-2015-AutiliIMST #specification #synthesis: Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
LATA-2015-FarzanHHKP #verification: Automated Program Verification (AF, MH, JH, ZK, AP), pp. 25–46.
FM-2015-Damm #analysis #lessons learnt #named #verification: AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned (WD), pp. 18–19.
FM-2015-ElkaderGPS #reasoning: Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.
FM-2015-FernandezAKK #verification: Automated Verification of RPC Stub Code (MF, JA, GK, IK), pp. 273–290.
FM-2015-MirandaMR #design #generative #testing #using #verification: Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
RTA-2015-NageleFM #analysis #confluence #term rewriting: Improving Automatic Confluence Analysis of Rewrite Systems by Redundant Rules (JN, BF, AM), pp. 257–268.
ICFP-2015-RendelTO #pattern matching #problem: Automatic refunctionalization to a language with copattern matching: with applications to the expression problem (TR, JT, KO), pp. 269–279.
AIIDE-2015-EngelsTC #game studies #generative #music #realtime: Automatic Real-Time Music Generation for Games (SE, TT, FC), pp. 220–222.
AIIDE-2015-HalldorssonB #composition #game studies: Automated Decomposition of Game Maps (KH, YB), pp. 122–127.
AIIDE-2015-RobertsonY #declarative #generative: Automated Gameplay Generation from Declarative World Representations (JR, RMY), pp. 72–78.
AIIDE-2015-SchwabH #behaviour #generative #modelling #towards: Capturing the Essence: Towards the Automated Generation of Transparent Behavior Models (PS, HH), pp. 184–190.
AIIDE-2015-UriarteO #game studies #learning #modelling: Automatic Learning of Combat Models for RTS Games (AU, SO), pp. 212–219.
CIG-2015-Garcia-SanchezT #generative #programming #search-based #towards #using: Towards automatic StarCraft strategy generation using genetic programming (PGS, APT, AMM, GS, JJMG), pp. 284–291.
CIG-2015-KampmannSHBB #behaviour #parametricity #simulation: Automatic mapping of human behavior data to personality model parameters for traffic simulations in virtual environments (SK, SS, RH, PB0, CB), pp. 336–343.
CIG-2015-KreveldLM #estimation: Automated puzzle difficulty estimation (MJvK, ML, PM), pp. 415–422.
CIG-2015-NetoJ #elicitation #learning #named: ACE-RL-Checkers: Improving automatic case elicitation through knowledge obtained by reinforcement learning in player agents (HCN, RMdSJ), pp. 328–335.
FDG-2015-CookS #design #formal method #game studies: Formalizing Non-Formalism: Breaking the Rules of Automated Game Design (MC0, GS).
FDG-2015-KaoH #generative #named: Exigent: An Automatic Avatar Generation System (DK, DFH).
FDG-2015-ReuterGS #detection #game studies #multi #petri net #using: Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets (CR0, SG0, RS).
VS-Games-2015-HeinimakiE #tool support: Augmenting Technology Trees: Automation and Tool Support (TJH, TE), pp. 1–8.
CHI-2015-ButlerASGP #analysis #design #game studies: Automatic Game Progression Design through Analysis of Solution Features (EB, EA, AMS, SG, ZP), pp. 2407–2416.
CHI-2015-DehaisPSFG #realtime: “Automation Surprise” in Aviation: Real-Time Solutions (FD, VP, SS, JF, TG), pp. 2525–2534.
CHI-2015-GaoYHF #collaboration #game studies #how #multi: Improving Multilingual Collaboration by Displaying How Non-native Speakers Use Automated Transcripts and Bilingual Dictionaries (GG, NY, AMJH, SRF), pp. 3463–3472.
CHI-2015-KonradBCTNDPW #adaptation #reduction: Finding the Adaptive Sweet Spot: Balancing Compliance and Achievement in Automated Stress Reduction (AK, VB, NC, ST, LN, HD, PP, SW), pp. 3829–3838.
CHI-2015-KosmallaDK #metric #named #recognition #using: ClimbSense: Automatic Climbing Route Recognition using Wrist-worn Inertia Measurement Units (FK, FD, AK), pp. 2033–2042.
CHI-2015-MaurielloNF #comprehension #energy: Understanding the Role of Thermography in Energy Auditing: Current Practices and the Potential for Automated Solutions (MLM, LN, JEF), pp. 1993–2002.
CHI-2015-ORourkeAGP #framework #generative #interactive: A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
CHI-2015-SutherlandHY #predict: The Role of Environmental Predictability and Costs in Relying on Automation (SCS, CH, MEY), pp. 2535–2544.
CHI-2015-TungCYWC #interactive #named: FlickBoard: Enabling Trackpad Interaction with Automatic Mode Switching on a Capacitive-sensing Keyboard (YCT, TYC, NHY, CW, MYC), pp. 1847–1850.
CHI-2015-YunASLZL #online: Beyond Eco-Feedback: Adding Online Manual and Automated Controls to Promote Workplace Sustainability (RY, AA, PS, BL, CZ, VL), pp. 1989–1992.
DHM-EH-2015-ColomboFRV15a #identification: Automatic Identification of Below-Knee Residuum Anatomical Zones (GC, GF, CR, AV), pp. 327–335.
DUXU-DD-2015-FilhoPV15b #mobile #testing #usability: Emotions Logging in Automated Usability Tests for Mobile Devices (JFF, WP, TV), pp. 428–435.
DUXU-IXD-2015-GoncalvesQ #behaviour #case study #interactive: Drivers and Automation: A Study About Cultural and Behavioral Influence in the Interaction with Driver Assistants (RCG, MQ), pp. 462–472.
HCI-DE-2015-Semnani-AzadN #behaviour: Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
HCI-IT-2015-DibitontoM #performance: Improving User Performance in a Smart Surveillance Scenario through Different Levels of Automation (MD, CMM), pp. 706–716.
HCI-IT-2015-EskerudSOH #approach #design #interface: Controlling the Home — A User Participatory Approach to Designing a Simple Interface for a Complex Home Automation System (ME, AS, CSO, HH), pp. 717–728.
HCI-IT-2015-SatoAOO #analysis #classification #image: Automatic Classification Between Involuntary and Two Types of Voluntary Blinks Based on an Image Analysis (HS, KA, SO, MO), pp. 140–149.
HCI-UC-2015-SanchezA #detection #interface #internet: Automatic Deformations Detection in Internet Interfaces: ADDII (LS, PTAJ), pp. 43–53.
HCI-UC-2015-Wittenberg #industrial #question #requirements #user interface: Cause the Trend Industry 4.0 in the Automated Industry to New Requirements on User Interfaces? (CW), pp. 238–245.
HIMI-IKC-2015-MatsudaOHT #analysis #generative #multi #problem #testing #using: Analysis of Multiple-Choice Tests Through Erroneous Choices Using a Technique of Automatic Problem Generation (NM, HO, TH, HT), pp. 362–369.
HIMI-IKC-2015-MayerBPGV #generative #process #using #visualisation: Automatic Generation of Integrated Process Data Visualizations Using Human Knowledge (FM, UB, DP, DG, BVH), pp. 488–498.
LCT-2015-Ai #detection #fault #feedback #generative: Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
CAiSE-2015-LeopoldMFPSM #modelling #process #towards: Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
CAiSE-2015-MrasekMB #declarative #generative #modelling #process #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
ICEIS-v1-2015-PfaffK #benchmark #classification #documentation #identification #metric #natural language: Natural Language Processing Techniques for Document Classification in IT Benchmarking — Automated Identification of Domain Specific Terms (MP, HK), pp. 360–366.
ICEIS-v2-2015-CostaMAO #consistency #detection #named #nondeterminism: Fixture — A Tool for Automatic Inconsistencies Detection in Context-aware SPL (PAdSC, FGM, RMdCA, TO), pp. 114–125.
ICEIS-v2-2015-IanzenFPMR #product line: Scoping Automation in Software Product Lines (AI, RMF, MAP, AM, SSR), pp. 82–91.
ICEIS-v3-2015-IatskiuGC #generative: Automatic Generation of LIBRAS Signs by Graphic Symbols of SignWriting (CEAI, LSG, RdPC), pp. 71–78.
CIKM-2015-BerardiEMO0 #classification #identification: Semi-Automated Text Classification for Sensitivity Identification (GB, AE, CM, IO, FS0), pp. 1711–1714.
CIKM-2015-CeroniGF #detection: Improving Event Detection by Automatically Assessing Validity of Event Occurrence in Text (AC, UKG, MF), pp. 1815–1818.
CIKM-2015-FetahuMA #wiki: Automated News Suggestions for Populating Wikipedia Entity Pages (BF, KM, AA), pp. 323–332.
CIKM-2015-HuLGKJ #framework #maturity #mobile #rating: Protecting Your Children from Inappropriate Content in Mobile Apps: An Automatic Maturity Rating Framework (BH0, BL0, NZG, DK, HJ), pp. 1111–1120.
CIKM-2015-SellamMK: Semi-Automated Exploration of Data Warehouses (TS, EM, MLK), pp. 1321–1330.
ECIR-2015-DehghaniAMK: Sources of Evidence for Automatic Indexing of Political Texts (MD, HA, MM, JK), pp. 568–573.
ECIR-2015-Dori-HacohenA #detection #web: Automated Controversy Detection on the Web (SDH, JA), pp. 423–434.
ECIR-2015-LiTWLR #network #quality #wiki: Automatically Assessing Wikipedia Article Quality by Exploiting Article-Editor Networks (XL, JT, TW, ZL, MdR), pp. 574–580.
KDD-2015-BerralPCCRG #framework #information management #named: ALOJA-ML: A Framework for Automating Characterization and Knowledge Discovery in Hadoop Deployments (JLB, NP, DC, AC, RR, DG), pp. 1701–1710.
KDD-2015-LaptevAF #detection #framework #scalability: Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.
KDD-2015-RenEWH #approach #corpus #mining #network #recognition #type system: Automatic Entity Recognition and Typing from Massive Text Corpora: A Phrase and Network Mining Approach (XR, AEK, CW, JH), pp. 2319–2320.
MLDM-2015-Perner #feature model #image #mining: Automatic Cell Tracking and Kinetic Feature Description of Cell Paths for Image Mining (PP), pp. 441–451.
RecSys-2015-ElsweilerH #recommendation #towards: Towards Automatic Meal Plan Recommendations for Balanced Nutrition (DE, MH), pp. 313–316.
RecSys-2015-HarveyE #personalisation #recommendation: Automated Recommendation of Healthy, Personalised Meal Plans (MH, DE), pp. 327–328.
RecSys-2015-KaragiannakisGS #category theory #recommendation: OSMRec Tool for Automatic Recommendation of Categories on Spatial Entities in OpenStreetMap (NK, GG, DS, SA), pp. 337–338.
RecSys-2015-Stock #persuasion #speech: A (Persuasive?) Speech on Automated Persuasion (OS), pp. 1–2.
RecSys-2015-Vall #generative #music: Listener-Inspired Automated Music Playlist Generation (AV), pp. 387–390.
SEKE-2015-FiondellaGL #predict: A Smartphone-based System for Automated Congestion Prediction (LF, SSG, NL), pp. 195–200.
SEKE-2015-KinneerKMW #database #generative #performance #relational #search-based #testing: Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
SEKE-2015-LinHX #framework #statistics #testing #user interface: An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SEKE-2015-LinYX #detection #generative #parametricity #testing: Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKE-2015-TakahashiNT #elicitation #feedback #requirements #topic #towards #using: Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA (HT, HN, TT), pp. 489–494.
SIGIR-2015-GuoL #generative #graph #music #recommendation: Automatic Feature Generation on Heterogeneous Graph for Music Recommendation (CG, XL), pp. 807–810.
SIGIR-2015-SallesGRR #classification #effectiveness #fault #named #random: BROOF: Exploiting Out-of-Bag Errors, Boosting and Random Forests for Effective Automated Classification (TS, MAG, VR, LCdR), pp. 353–362.
SKY-2015-FragaMRM #analysis #assessment #generative #health #natural language: Natural Language Processing System Applied in Public Health for Assessment of an Automatic Analysis of Patterns Generator (AF, JLM, VR, VM), pp. 31–38.
MoDELS-J-2011-JacksonLB15 #metamodelling #reasoning: Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
ECMFA-J-2012-PuissantSM15 #consistency #nondeterminism #using: Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
AMT-2015-DyckGLSG #behaviour #model transformation #towards #verification: Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
MoDELS-2015-IftikharIKM #approach #framework #game studies #modelling #platform #testing: An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
SPLC-2015-FangLDEZ #industrial #modelling #towards: Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
SPLC-2015-FontBHC #formal method #product line #variability: Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
SPLC-2015-HotzWRGL #evaluation #multi: Evaluation across multiple views for variable automation systems (LH, YW, MR, OG, JL), pp. 311–315.
SPLC-2015-PatelS #as a service #testing #using #variability: Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
ECOOP-2015-SchwerhoffS #lightweight #verification: Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
OOPSLA-2015-CohenP #data type #memory management: Automatic memory reclamation for lock-free data structures (NC, EP), pp. 260–279.
OOPSLA-2015-FuBS #analysis #fault: Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
OOPSLA-2015-MadhavanMGK #comparison: Automating grammar comparison (RM, MM, SG, VK), pp. 183–200.
OOPSLA-2015-OuD #memory management #named #order #parametricity: AutoMO: automatic inference of memory order parameters for C/C++11 (PO, BD), pp. 221–240.
OOPSLA-2015-UrecheBSO #ad hoc #data transformation #representation: Automating ad hoc data representation transformations (VU, AB, YS, MO), pp. 801–820.
LOPSTR-2015-CaballeroMKH #generative #java #testing #using: Checking Java Assertions Using Automated Test-Case Generation (RC0, MM, HK, VvH), pp. 221–226.
PEPM-2015-BinsbergenBD #attribute grammar #dependence #order: Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.
PLDI-2015-ChuJT #imperative #induction #proving #source code: Automatic induction proofs of data-structures in imperative programs (DHC, JJ, MTT), pp. 457–466.
PLDI-2015-PanchekhaSWT #float: Automatically improving accuracy for floating point expressions (PP, ASS, JRW, ZT), pp. 1–11.
PLDI-2015-PrountzosMP #graph #parallel #source code: Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.
PLDI-2015-Sidiroglou-Douskos #fault #multi: Automatic error elimination by horizontal code transfer across multiple applications (SSD, EL, FL, MR), pp. 43–54.
POPL-2015-Gulwani: Automating Repetitive Tasks for the Masses (SG), pp. 1–2.
PPDP-2015-ChenLJZL #declarative #network #safety #source code #verification: Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
PPDP-2015-Hofmann #analysis: Automatic amortized analysis (MH), p. 5.
ASE-2015-ChoudharyGO #android #generative: Automated Test Input Generation for Android: Are We There Yet? (E) (SRC, AG, AO), pp. 429–440.
ASE-2015-FudabaOANHSTN #named #pseudo #source code: Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code (HF, YO, KA, GN, HH, SS, TT, SN), pp. 824–829.
ASE-2015-MaAZSGR15a #generative #named #program analysis #using: GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.
ASE-2015-MartinezZBKT #modelling #product line: Automating the Extraction of Model-Based Software Product Lines from Model Variants (T) (JM, TZ, TFB, JK, YLT), pp. 396–406.
ASE-2015-ShamshiriJRFMA #challenge #effectiveness #empirical #fault #testing: Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T) (SS, RJ, JMR, GF, PM, AA), pp. 201–211.
ASE-2015-SohanAM #api #documentation #named #rest #using: SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N) (SMS, CA, FM), pp. 271–276.
ASE-2015-SohanAM15a #api #documentation #rest: SpyREST in Action: An Automated RESTful API Documentation Tool (SMS, CA, FM), pp. 813–818.
ASE-2015-Vargas-Baldrich #bytecode #dependence #using: Automated Tagging of Software Projects Using Bytecode and Dependencies (N) (SVB, MLV, DP), pp. 289–294.
ASE-2015-WalshMK #detection #fault #layout #web: Automatic Detection of Potential Layout Faults Following Changes to Responsive Web Pages (N) (TAW, PM, GMK), pp. 709–714.
ASE-2015-ZhangHC #generative: Automatically Generating Test Templates from Test Names (N) (BZ, EH, JC), pp. 506–511.
ASE-2015-ZimmermanR #framework #recommendation: An Automated Framework for Recommending Program Elements to Novices (N) (KZ, CRR), pp. 283–288.
ESEC-FSE-2015-0002SGBZ #impact analysis #named #natural language #requirements: NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ESEC-FSE-2015-ArcuriFG #generative #network #testing: Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSE-2015-BangAB #complexity #source code: Automatically computing path complexity of programs (LB, AA, TB), pp. 61–72.
ESEC-FSE-2015-FilieriHM #adaptation #design #multi #self: Automated multi-objective control for self-adaptive software design (AF, HH, MM), pp. 13–24.
ESEC-FSE-2015-FuLB #analysis #memory dump #memory management #pointer: Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.
ESEC-FSE-2015-GhaisasMBGKV #security #towards: Towards automating the security compliance value chain (SG, MM, BB, AG, RK, HMV), pp. 1014–1017.
ESEC-FSE-2015-Jain #generative #programming language: Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSE-2015-PhamSS #developer #recommendation: Automatically recommending test code examples to inexperienced developers (RP, YS, KS), pp. 890–893.
ESEC-FSE-2015-RuscioKKMV #framework #metric #named #open source #platform: OSSMETER: a software measurement platform for automatically analysing open source software projects (DDR, DSK, IK, NDM, JJV), pp. 970–973.
ESEC-FSE-2015-Shamshiri #evolution #generative #testing: Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSE-2015-SmithBGB #program repair: Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
ESEC-FSE-2015-Theisen #approximate: Automated attack surface approximation (CT), pp. 1063–1065.
ESEC-FSE-2015-WangPGBI #case study #named #specification #testing #tool support: UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ICSE-v1-2015-BarnettBBL #code review #composition #developer #overview: Helping Developers Help Themselves: Automatic Decomposition of Code Review Changesets (MB, CB, JB, SKL), pp. 134–144.
ICSE-v1-2015-DeweyNH #data type #generative: Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ICSE-v1-2015-FazziniSO #csp #named #web: AutoCSP: Automatically Retrofitting CSP to Web Applications (MF, PS, AO), pp. 336–346.
ICSE-v1-2015-HuaKM #editing #question #refactoring: Does Automated Refactoring Obviate Systematic Editing? (LH, MK, KSM), pp. 392–402.
ICSE-v1-2015-TanR #named: relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.
ICSE-v1-2015-VakilianSMM #composition: Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.
ICSE-v1-2015-WongZWLT #execution #named #symbolic computation #testing: DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSE-v1-2015-YandrapallySS #composition #testing #user interface: Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
ICSE-v2-2015-Caracciolo #approach #architecture #constraints #testing: A Unified Approach to Automatic Testing of Architectural Constraints (AC), pp. 871–874.
ICSE-v2-2015-Escobar-Avila #bytecode #categorisation #library #using: Automatic Categorization of Software Libraries Using Bytecode (JEA), pp. 784–786.
ICSE-v2-2015-FooJAHZF #case study #detection #industrial #performance: An Industrial Case Study on the Automated Detection of Performance Regressions in Heterogeneous Environments (KCF, ZMJ, BA, AEH, YZ, PF), pp. 159–168.
ICSE-v2-2015-Gil #adaptation #self: Automated Planning for Self-Adaptive Systems (RG), pp. 839–842.
ICSE-v2-2015-GoldsteinS #architecture #validation: Automatic and Continuous Software Architecture Validation (MG, IS), pp. 59–68.
ICSE-v2-2015-McBurney #documentation #generative #source code #summary: Automatic Documentation Generation via Source Code Summarization (PWM), pp. 903–906.
ICSE-v2-2015-PeiFNM #development #ide #program repair: Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
ICSE-v2-2015-TannoZHS #enterprise #generative #modelling #testing #tool support: TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
ICSE-v2-2015-VasquezCAP #commit #generative #named: ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
SAC-2015-BolockA #constraints #generative #towards #using: Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
SAC-2015-ByunC #constraints #operating system #safety #testing #using: Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SAC-2015-LeottaSRT #generative #testing #visual notation #web: Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
SAC-2015-MalechaGS: Automated software winnowing (GM, AG, NS), pp. 1504–1511.
SAC-2015-ManhaesCZ #performance #predict #source code #student #towards: Towards automatic prediction of student performance in STEM undergraduate degree programs (LMBM, SMSdC, GZ), pp. 247–253.
SAC-2015-MateCEL #multi #video: Automatic multi-camera remix from single video (SM, IDDC, AJE, AL), pp. 1270–1277.
SAC-2015-Morelli #generative #modelling: Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SAC-2015-RaniseTV #analysis #constraints #policy: Automated analysis of RBAC policies with temporal constraints and static role hierarchies (SR, ATT, LV), pp. 2177–2184.
SAC-2015-Usener #assessment #data type #education #named: EASy-DSBuilder: automated assessment of tree data structures in computer science teaching (CAU), pp. 220–226.
GPCE-2015-ByalikCT #named #platform #programming #synthesis: Native-2-native: automated cross-platform code synthesis from web-based programming resources (AB, SC, ET), pp. 99–108.
ASPLOS-2015-MullapudiVB #image #named #optimisation #pipes and filters: PolyMage: Automatic Optimization for Image Processing Pipelines (RTM, VV, UB), pp. 429–443.
ASPLOS-2015-Sidiroglou-Douskos #branch #integer #using: Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.
ASPLOS-2015-XuLWZ #power management #runtime: Automated OS-level Device Runtime Power Management (CX, FXL, YW, LZ), pp. 239–252.
CASE-2015-AicherRV #abstraction #simulation #towards #verification: Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.
CASE-2015-BergagardF #on the #using: On restart of automated manufacturing systems using restart states (PB, MF), pp. 166–167.
CASE-2015-CarliDEAV #evaluation #using: Automated evaluation of urban traffic congestion using bus as a probe (RC, MD, NE, BA, AV), pp. 967–972.
CASE-2015-ChengHL #petri net #robust #synthesis #using: Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
CASE-2015-ChenH #assembly #distributed #petri net #using: Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASE-2015-ChenN: A cascade control for Sander automation system (ZC, BN), pp. 894–899.
CASE-2015-CheongSB #ad hoc #optimisation: Ad-hoc automated teller machine failure forecast and field service optimization (MLFC, KPS, BCB), pp. 1427–1433.
CASE-2015-CheungWCP #parametricity: Optimization-based automatic parameter tuning for stereo vision (ECHC, JW, JC, JP), pp. 855–861.
CASE-2015-ChuFRSKT #approach #hardware #integration: A LC-MS integration approach in life science automation: Hardware integration and software integration (XC, HF, TR, NS, MK, KT), pp. 979–984.
CASE-2015-ClevelandTDPKDB #programming #recognition #segmentation #semantics: An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CASE-2015-DamesK #detection #locality #multi #smarttech: Automated detection, localization, and registration of smart devices with multiple robots (PD, VK), pp. 564–571.
CASE-2015-DasCQMTMK #monitoring #precise: Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.
CASE-2015-DijkmanRB #how: How to assess sustainability in automated manufacturing (TJD, JMR, NB), pp. 1351–1356.
CASE-2015-FerrerALVLH #approach #assembly #process: An approach for knowledge-driven product, process and resource mappings for assembly automation (BRF, BA, AL, DAV, JLML, RH), pp. 1104–1109.
CASE-2015-FleischerAT #composition #evaluation #platform: A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
CASE-2015-GleesonBBCL #code generation #optimisation: Optimizing robot trajectories for automatic robot code generation (DG, SB, RB, JSC, BL), pp. 495–500.
CASE-2015-GoeckeE #robust #towards: Towards a more robust automated MAG welding (SFG, MES), pp. 417–418.
CASE-2015-HagqvistCH: Automation of a laser welding system for additive manufacturing (PH, AKC, AH), pp. 900–905.
CASE-2015-JiYA #mobile #network #re-engineering: Automatic calibration and trajectory reconstruction of mobile robot in camera sensor network (YJ, AY, HA), pp. 206–211.
CASE-2015-KaipaTSKLG #using: Resolving automated perception system failures in bin-picking tasks using assistance from remote human operators (KNK, SSTK, SS, AMK, JDL, SKG), pp. 1453–1458.
CASE-2015-KanCLY #health #internet #mobile #network #towards: Mobile sensing and network analytics for realizing smart automated systems towards health Internet of Things (CK, YC, FL, HY), pp. 1072–1077.
CASE-2015-KreutzerRREL #detection #metric #using: Automatically detecting fluid intake using conductivity measurements of beverages in a cup (JFK, SR, SMFR, KE, TCL), pp. 1546–1551.
CASE-2015-LennvallRS #scheduling: Scheduling of electrical loads in home automation systems (TL, LR, PS), pp. 1307–1312.
CASE-2015-LiLFZT: Vision-based intelligent forklift Automatic Guided Vehicle (AGV) (LL, YL, MF, ZZ, HT), pp. 264–265.
CASE-2015-MicioFMBL #mining #process #towards: RTLS-based Process Mining: Towards an automatic process diagnosis in healthcare (RM, FF, GM, PB, ML), pp. 1397–1402.
CASE-2015-NelaturiB0K: Automatic spatial planning for machining operations (SN, GB, CF, TK), pp. 677–682.
CASE-2015-RacchettiTF #documentation #generative #lifecycle #usability: Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
CASE-2015-SaksenaNKK #2d #assembly #parametricity #using: Automatic tuning of impedance parameter using configuration space for two dimensional assembly system (AS, TN, JK, KK), pp. 1110–1117.
CASE-2015-SrinivasanBSSR #machine learning #modelling #network #using: Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques (SS, FB, GS, BS, SR), pp. 362–368.
CASE-2015-WangTG #performance: Automated performance tracking for heat exchangers in HVAC (PW, XT, RG), pp. 949–954.
CASE-2015-YangH0 #assembly #distributed #petri net: A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CGO-2015-LiYLZ #gpu #memory management: Automatic data placement into GPU on-chip memory resources (CL, YY, ZL, HZ), pp. 23–33.
CGO-2015-PorpodasMJ #named: PSLP: padded SLP automatic vectorization (VP, AM, TMJ), pp. 190–201.
DAC-2015-BuiniPG #cyber-physical #design #modelling #physics #variability: Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DAC-2015-LiZHLHX #compilation #performance #stack: Compiler directed automatic stack trimming for efficient non-volatile processors (QL, MZ, JH, YL, YH, CJX), p. 6.
DAC-2015-PapamichaelMH #algorithm #design #named #performance #search-based #using: Nautilus: fast automated IP design space search using guided genetic algorithms (MKP, PM, JCH), p. 6.
DAC-2015-PolianF #architecture #challenge #design #quantum #scalability: Design automation challenges for scalable quantum architectures (IP, AGF), p. 6.
DAC-2015-SchatzVZ #component #deployment: Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context (BS, SV, SZ), p. 6.
DAC-2015-WangLPC #hybrid: Joint automatic control of the powertrain and auxiliary systems to enhance the electromobility in hybrid electric vehicles (YW, XL, MP, NC), p. 6.
DATE-2015-BerryhillV #functional: Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.
DATE-2015-DaneseGP #behaviour #execution #modelling: Automatic extraction of assertions from execution traces of behavioural models (AD, TG, GP), pp. 67–72.
DATE-2015-JoostenS #architecture #communication #design #modelling: Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs (SJCJ, JS), pp. 1413–1418.
DATE-2015-RiefertCSRB #generative #on the #source code: On the automatic generation of SBST test programs for in-field test (AR, RC, MS, MSR, BB), pp. 1186–1191.
DATE-2015-SonghoriMLK #data analysis #framework #hardware #named: AHEAD: automated framework for hardware accelerated iterative data analysis (EMS, AM, XL, FK), pp. 942–947.
DATE-2015-StoppeWD #design #locality: Automated feature localization for dynamically generated SystemC designs (JS, RW, RD), pp. 277–280.
DATE-2015-TaatizadehN #design #detection #embedded #validation: A methodology for automated design of embedded bit-flips detectors in post-silicon validation (PT, NN), pp. 73–78.
HPDC-2015-RothMV #communication #parallel: Automated Characterization of Parallel Application Communication Patterns (PCR, JSM, JSV), pp. 73–84.
HPDC-2015-WahibM #gpu #kernel #scalability: Automated GPU Kernel Transformations in Large-Scale Production Stencil Applications (MW, NM), pp. 259–270.
PDP-2015-EvrardL #code generation #concurrent #distributed #formal method #modelling #process: Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes (HE, FL), pp. 459–466.
PPoPP-2015-Golan-GuetaRSY #scalability #semantics: Automatic scalable atomicity via semantic locking (GGG, GR, MS, EY), pp. 31–41.
PPoPP-2015-JinLMLLPCK #benchmark #generative #identification #metric #modelling #parallel #statistics: Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
SOSP-2015-KasikciSPPC #sketching: Failure sketching: a technique for automated root cause diagnosis of in-production failures (BK, BS, CP, GP, GC), pp. 344–360.
ESOP-2015-0002S #cost analysis #parallel #source code: Automatic Static Cost Analysis for Parallel Programs (JH, ZS), pp. 132–157.
ESOP-2015-FetscherCPHF #generative #random #type system: Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
CADE-2015-AlamaOZ #concept: Automating Leibniz’s Theory of Concepts (JA, PEO, ENZ), pp. 73–97.
CADE-2015-DSilvaU #abstract interpretation #deduction: Abstract Interpretation as Automated Deduction (VD, CU), pp. 450–464.
CADE-2015-FurbachPS #reasoning: Automated Reasoning in the Wild (UF, BP, CS), pp. 55–72.
CADE-2015-HouGT #logic #proving #theorem proving: Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.
CADE-2015-Plaisted #deduction #first-order: History and Prospects for First-Order Automated Deduction (DAP), pp. 3–28.
CAV-2015-CookKP #infinity #on the #verification: On Automation of CTL* Verification for Infinite-State Systems (BC, HK, NP), pp. 13–29.
CAV-2015-LahiriSH #equivalence: Automatic Rootcausing for Program Equivalence Failures in Binaries (SKL, RS, CH), pp. 362–379.
CAV-2015-AlurRSTU #distributed #protocol #symmetry: Automatic Completion of Distributed Protocols with Symmetry (RA, MR, CS, ST, AU), pp. 395–412.
CAV-2015-ErezN #bound #graph #smt #using: Finding Bounded Path in Graph Using SMT for Automatic Clock Routing (AE, AN), pp. 20–36.
CAV-2015-HawblitzelPQT #composition #concurrent #reasoning #refinement #source code: Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
CAV-2015-ZouFZM #difference #equation #safety #verification: Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
ICLP-2015-LeeWZ #programming #reasoning #set #using: Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ), pp. 247–259.
ICST-2015-ErmanTBRA #approach #clustering #development #information management #multi #navigation #testing: Navigating Information Overload Caused by Automated Testing — a Clustering Approach in Multi-Branch Development (NE, VT, MB, PR, AA), pp. 1–9.
ICST-2015-KochharTNZL #comprehension #developer #testing: Understanding the Test Automation Culture of App Developers (PSK, FT, NN, TZ, DL), pp. 1–10.
ICST-2015-Mirshokraie0P #generative #javascript #named #testing: JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICST-2015-TokcanOT #development #framework #multi #named #testing: MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.
ICTSS-2015-WeisslederWL #bound #design #product line: Automated Test Design for Boundaries of Product Line Variants (SW, FW, HL), pp. 86–101.
ISSTA-2015-BarrHJMP: Automated software transplantation (ETB, MH, YJ, AM, JP), pp. 257–269.
ISSTA-2015-CongLYX #fault #injection #robust #testing: Automatic fault injection for driver robustness testing (KC, LL, ZY, FX), pp. 361–372.
ISSTA-2015-DhokMR #named #parallel #thread: Pegasus: automatic barrier inference for stable multithreaded systems (MD, RM, MKR), pp. 153–164.
ISSTA-2015-Hothersall-Thomas #named #security #testing: BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.
ISSTA-2015-RojasFA #development #empirical #generative #testing: Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ISSTA-2015-ShenLPG #detection #performance #profiling #search-based #using: Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.
ISSTA-2015-WangPGBI #case study #generative #specification #testing: Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
ISSTA-2015-XieLLLC #multi #named #string #summary: S-looper: automatic summarization for multipath string loops (XX, YL, WL, XL, HC), pp. 188–198.
ISSTA-2015-YueAZ #framework #generative #named #natural language #testing: RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
SAT-2015-FalknerLH #analysis #named #performance #satisfiability: SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (SF, MTL, FH), pp. 215–222.
TAP-2015-BloemHRS #case study #generative #implementation #testing: Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
VMCAI-2015-AdjeG #invariant #linear #polynomial #source code #synthesis: Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
VMCAI-2015-Ferrara0N: Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
ECSA-2014-AnvaariZ #architecture #design #development #framework: Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development (MA, OZ), pp. 41–49.
QoSA-2014-WertOHF #anti #component #detection #performance: Automatic detection of performance anti-patterns in inter-component communications (AW, MO, CH, RF), pp. 3–12.
WICSA-2014-UusitaloRKMM #architecture #lessons learnt #safety: Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants (EJU, MR, MK, VM, TM), pp. 45–48.
WICSA-2014-WeinreichB #architecture #consistency: Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems (RW, GB), pp. 95–104.
DocEng-2014-BoschGL #css #reduction #refactoring: Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.
DocEng-2014-DadachevBB #on the #segmentation: On automatic text segmentation (BD, AB, HB), pp. 73–80.
DocEng-2014-SchmitzPD #collaboration #metadata #tool support: DH-CASE II: collaborative annotations in shared environments: metadata, tools and techniques in the digital humanities (PS, LP, QD), pp. 211–212.
DRR-2014-DiemKFS #clustering #documentation #image #retrieval: Semi-automated document image clustering and retrieval (MD, FK, SF, RS), p. ?–10.
DRR-2014-LiuWTLG #analysis #comprehension #image: Automatic comic page image understanding based on edge segment analysis (DL, YW, ZT, LL, LG), p. ?–12.
HT-2014-ThomeeM #equivalence: Automatic discovery of global and local equivalence relationships in labeled geo-spatial data (BT, GDFM), pp. 158–168.
JCDL-2014-ChoiLD #classification #using #what: What is this song about anyway?: Automatic classification of subject using user interpretations and lyrics (KC, JHL, JSD), pp. 453–454.
JCDL-2014-KargakisT #information management #named #reasoning: Epimenides: An information system offering automated reasoning for the needs of digital preservation (YK, YT), pp. 411–412.
JCDL-2014-LiWGTS #adaptation #named: Comic2CEBX: A system for automatic comic content adaptation (LL, YW, LG, ZT, CYS), pp. 299–308.
JCDL-2014-SultanBS #concept #education #identification #towards: Towards automatic identification of core concepts in educational resources (MAS, SB, TS), pp. 379–388.
SIGMOD-2014-DimitriadouPD #data analysis #framework #interactive #named #query: Explore-by-example: an automatic query steering framework for interactive data exploration (KD, OP, YD), pp. 517–528.
SIGMOD-2014-MatsubaraSF #co-evolution #mining #named #sequence: AutoPlait: automatic mining of co-evolving time sequences (YM, YS, CF), pp. 193–204.
SIGMOD-2014-TaoBHJWNELRS #named #network: NewsNetExplorer: automatic construction and exploration of news information networks (FT, GB, JH, HJ, CW, BN, AEK, JL, XR, YS), pp. 1091–1094.
VLDB-2014-ConwayAAH #distributed #named #programming: Edelweiss: Automatic Storage Reclamation for Distributed Programming (NC, PA, EA, JMH), pp. 481–492.
VLDB-2014-HassanSWZLYY #monitoring: Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.
VLDB-2014-VartakMPP #generative #named #query #visualisation: SEEDB: Automatically Generating Query Visualizations (MV, SM, AGP, NP), pp. 1581–1584.
CSEET-2014-BoeschS #learning: Automated mentor assignment in blended learning environments (CB, KS), pp. 94–98.
EDM-2014-0001RRM #algorithm #comparison #modelling: Comparison of Algorithms for Automatically Building Example-Tracing Tutor Models (RK0, MER, RBR, JM), pp. 217–220.
EDM-2014-MintzSFDG #assessment #comprehension #student #summary: Automatic assessment of student reading comprehension from short summaries (LM, DS, SF, SKD, ACG), pp. 333–334.
EDM-2014-RoweBAKH #detection #learning: Building Automated Detectors of Gameplay Strategies to Measure Implicit Science Learning (ER, RSB, JAC, EK, WJH), pp. 337–338.
EDM-2014-ToussaintLT #behaviour #detection #similarity #towards #using: Towards Using Similarity Measure for Automatic Detection of Significant Behaviors from Continuous Data (BMT, VL, JT), pp. 427–428.
EDM-2014-YudelsonHVB #java #modelling #student: Investigating Automated Student Modeling in a Java MOOC (MY, RH, AV, PB), pp. 261–264.
ITiCSE-2014-DadicGR #evaluation #source code #student: Automatic evaluation of students’ programs (TD, VG, MR), p. 328.
ITiCSE-2014-HakulinenM #assessment #programming: QR code programming tasks with automated assessment (LH, LM), pp. 177–182.
ITiCSE-2014-MornarGM #algorithm #generative #pseudo #visualisation: System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
ITiCSE-2014-StrieweG #assessment #diagrams #process #uml: Automated assessment of UML activity diagrams (MS, MG), p. 336.
SIGITE-2014-IhantolaSV #detection #programming: Automatically detectable indicators of programming assignment difficulty (PI, JS, AV), pp. 33–38.
CSMR-WCRE-2014-LiH #fortran #matlab #named: Mc2FOR: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 234–243.
CSMR-WCRE-2014-LiH14a #fortran #matlab: Mc2FOR demo: A tool for automatically translating MATLAB to FORTRAN 95 (XL, LJH), pp. 458–463.
CSMR-WCRE-2014-MondalRS #mining #ranking #refactoring: Automatic ranking of clones for refactoring through mining association rules (MM, CKR, KAS), pp. 114–123.
CSMR-WCRE-2014-TianLL #database #similarity #word: Automated construction of a software-specific word similarity database (YT, DL, JLL), pp. 44–53.
CSMR-WCRE-2014-TomassettiRT: Spotting automatically cross-language relations (FT, GR, MT), pp. 338–342.
CSMR-WCRE-2014-VosTPKBHS #internet #named #process #testing: FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
ICPC-2014-McBurneyM #documentation #generative #source code #summary: Automatic documentation generation via source code summarization of method context (PWM, CM), pp. 279–290.
ICPC-2014-SilvaTV #recommendation #refactoring: Recommending automated extract method refactorings (DS, RT, MTV), pp. 146–156.
ICSME-2014-AlalfiRSSDC #identification #modelling #representation #variability: Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
ICSME-2014-AlvesSD #process #quality #standard: Applying ISO/IEC 25010 Standard to Prioritize and Solve Quality Issues of Automatic ETL Processes (TLA, PS, MSD), pp. 573–576.
ICSME-2014-ChristopheSRM #functional #maintenance #testing #web: Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
ICSME-2014-HallKWM #source code #tool support: Establishing the Source Code Disruption Caused by Automated Remodularisation Tools (MH, MAK, NW, PM), pp. 466–470.
ICSME-2014-KerzaziKA #empirical #why: Why Do Automated Builds Break? An Empirical Study (NK, FK, BA), pp. 41–50.
ICSME-2014-ZhangHD #parallel #scalability #simulation #tool support #validation: Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
MSR-2014-LemosPZL #code search #interface #query: Thesaurus-based automatic query expansion for interface-driven code search (OALL, ACdP, FCZ, CVL), pp. 212–221.
MSR-2014-NguyenNHNF #case study #identification #industrial #performance: An industrial case study of automatically identifying performance regression-causes (THDN, MN, AEH, MNN, PF), pp. 232–241.
SCAM-2014-Cortes-CoyVAP #commit #generative #on the #source code #summary: On Automatically Generating Commit Messages via Summarization of Source Code Changes (LFCC, MLV, JA, DP), pp. 275–284.
SCAM-2014-MondalRS #identification #refactoring: Automatic Identification of Important Clones for Refactoring and Tracking (MM, CKR, KAS), pp. 11–20.
SCAM-2014-MurtazaHKC #detection: Total ADS: Automated Software Anomaly Detection System (SSM, AHL, WK, MC), pp. 83–88.
DLT-J-2013-GocRRS14 #on the #word: On the number of Abelian Bordered Words (with an Example of Automatic Theorem-Proving) (DG, NR, MR, PS), pp. 1097–1110.
DLT-2014-BerdinskyK #graph #on the #transitive: On Automatic Transitive Graphs (DB, BK), pp. 1–12.
FM-2014-BonakdarpourHK #authentication #knowledge-based #protocol: Knowledge-Based Automated Repair of Authentication Protocols (BB, RH, SSK), pp. 132–147.
FM-2014-DammF #composition #distributed #synthesis: Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
FM-2014-DenmanM #proving: Automated Real Proving in PVS via MetiTarski (WD, CAM), pp. 194–199.
FM-2014-LeinoM #induction #proving #verification: Co-induction Simply — Automatic Co-inductive Proofs in a Program Verifier (KRML, MM), pp. 382–398.
IFM-2014-ChaudhariD #proving #theorem proving: Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.
RTA-TLCA-2014-CreusG #context-free grammar #evaluation: Automatic Evaluation of Context-Free Grammars (CC, GG), pp. 139–148.
RTA-TLCA-2014-HirokawaM #analysis #complexity: Automated Complexity Analysis Based on Context-Sensitive Rewriting (NH, GM), pp. 257–271.
SEFM-2014-AlrajehC #composition #detection #specification: Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
Haskell-2014-Pike #named #performance #reduction: SmartCheck: automatic and efficient counterexample reduction and generalization (LP), pp. 53–64.
AIIDE-2014-Valls-VargasZO #identification #towards: Toward Automatic Role Identification in Unannotated Folk Tales (JVV, JZ, SO).
CIG-2014-AshlockM #game studies #generative: Automatic generation of fantasy role-playing modules (DAA, CM), pp. 1–8.
CIG-2014-LabrancheSCB #game studies #simulation #using: Using partial satisfaction planning to automatically select NPCs' goals and generate plans in a simulation game (SL, NS, SC, EB), pp. 1–8.
CIG-2014-LimH #approach #evaluation #game studies #generative #using: An approach to general videogame evaluation and automatic generation using a description language (CUL, DFH), pp. 1–8.
CIG-2014-WatsonBV #design #game studies: Automated design for playability in computer game agents (SW, WB, AV), pp. 1–8.
FDG-2014-SiPT #analysis #game studies #realtime: Automated terrain analysis in real-time strategy games (CS, YP, CTT).
FDG-2014-ZookFR #game studies #learning #parametricity: Automatic playtesting for game parameter tuning via active learning (AZ, EF, MOR).
CHI-2014-GaoHAHD #named #pipes and filters #visualisation: NewsViews: an automated pipeline for creating custom geovisualizations for news (TG, JH, EA, BH, ND), pp. 3005–3014.
CHI-2014-GaoYHEF #communication #multi: Effects of public vs. private automated transcripts on multiparty communication between native and non-native english speakers (GG, NY, AMJH, AE, SRF), pp. 843–852.
CHI-2014-GouZY #comprehension #social #social media: KnowMe and ShareMe: understanding automatically discovered personality traits from social media and user sharing preferences (LG, MXZ, HY), pp. 955–964.
CHI-2014-LiuMBP #education #towards: Towards automatic experimentation of educational knowledge (YEL, TM, EB, ZP), pp. 3349–3358.
CHI-2014-OrtegaV #3d: Direct drawing on 3D shapes with automated camera control (MO, TV), pp. 2047–2050.
CHI-2014-Oulasvirta #human-computer #modelling: Automated nonlinear regression modeling for HCI (AO), pp. 3899–3902.
CHI-2014-SavvaCMH #generative #keyword #named: TransPhoner: automated mnemonic keyword generation (MS, AXC, CDM, PH), pp. 3725–3734.
CHI-2014-SetlurM #encoding #generative #semantics #visualisation: Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
CHI-2014-Vosoughi #recognition #speech #visual notation: Improving automatic speech recognition through head pose driven visual grounding (SV), pp. 3235–3238.
CHI-2014-WangCCHC #interactive #named #smarttech: EverTutor: automatically creating interactive guided tutorials on smartphones by user demonstration (CYW, WCC, HRC, CYH, MYC), pp. 4027–4036.
HCI-AS-2014-JanssonSBAT #design: Authority and Level of Automation — Lessons to Be Learned in Design of In-vehicle Assistance Systems (AJ, PS, IB, AA, ST), pp. 413–424.
HCI-AS-2014-NiedoberHMKSCJL #case study #trust: Influence of Cultural, Organizational and Automation Factors on Human-Automation Trust: A Case Study of Auto-GCAS Engineers and Developmental History (DJN, NTH, GM, KK, MS, AC, WJ, JBL), pp. 473–484.
HCI-TMT-2014-MatsumotoKKA #adaptation #delivery #learning #student #word: Evaluating an Automatic Adaptive Delivery Method of English Words Learning Contents for University Students in Science and Technology (SM, TK, TK, MA), pp. 510–520.
HCI-TMT-2014-RaneburgerPKAS #design #generative #incremental #interactive #process #user interface: An Iterative and Incremental Process for Interaction Design through Automated GUI Generation (DR, RP, HK, AA, VS), pp. 373–384.
HCI-TMT-2014-SiliMMGP #generative #question #user interface #what: A Practical Solution for the Automatic Generation of User Interfaces — What Are the Benefits of a Practical Solution for the Automatic Generation of User Interfaces? (MS, CCM, MM, MG, MP), pp. 445–456.
CAiSE-2014-0001PBKLSFW #process: Automating Data Exchange in Process Choreographies (AM, LP, KB, SK, TL, TS, DF, MW), pp. 316–331.
CAiSE-2014-NobauerSG #analysis #approach #evaluation #product line #similarity: Similarity Analysis within Product Line Scoping: An Evaluation of a Semi-automatic Approach (MN, NS, IG), pp. 165–179.
EDOC-2014-FlorezSV #analysis #approach #enterprise #modelling: Extensible Model-Based Approach for Supporting Automatic Enterprise Analysis (HF, MES, JV), pp. 32–41.
ICEIS-v2-2014-DingTZ #c #c++ #source code: Automatic Removal of Buffer Overflow Vulnerabilities in C/C++ Programs (SD, HBKT, HZ), pp. 49–59.
ICEIS-v2-2014-SarmientoLRS #approach #concurrent #generative #requirements #testing: An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
ICEIS-v2-2014-Silva #framework #quality #requirements #specification #validation: Quality of Requirements Specifications — A Framework for Automatic Validation of Requirements (ARdS), pp. 96–107.
ICEIS-v3-2014-BernardoSB #recognition #spreadsheet: Automatic Interpretation Biodiversity Spreadsheets Based on Recognition of Construction Patterns (IRB, AS, MCCB), pp. 57–68.
CIKM-2014-KangKL #owl #performance: A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
CIKM-2014-YangLLLH #clustering #detection #multi #social #using: Automatic Social Circle Detection Using Multi-View Clustering (YY, CL, XL, BL, JH), pp. 1019–1028.
ECIR-2014-AlbornozASG #monitoring #named #online #twitter: ORMA: A Semi-automatic Tool for Online Reputation Monitoring in Twitter (JCdA, EA, DS, JG), pp. 742–745.
ECIR-2014-CeroniF #towards #validation: Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.
ECIR-2014-KimJHLY #classification: Quality-Based Automatic Classification for Presentation Slides (SK, WJ, KH, JGL, MYY), pp. 638–643.
ECIR-2014-KumarBP: Automatically Retrieving Explanatory Analogies from Webpages (VK, SB, NP), pp. 481–486.
ICML-c2-2014-DasL #interactive: Automated inference of point of view from user interactions in collective intelligence venues (SD, AL), pp. 82–90.
ICPR-2014-AfridiLM #rating: An Automated System for Plant-Level Disease Rating in Real Fields (MJA, XL, JMM), pp. 148–153.
ICPR-2014-AndreuLMG #analysis #classification #gender #image: Analysis of the Effect of Image Resolution on Automatic Face Gender Classification (YA, JLC, RAM, PGS), pp. 273–278.
ICPR-2014-AytekinKG #quantum #segmentation: Automatic Object Segmentation by Quantum Cuts (ÇA, SK, MG), pp. 112–117.
ICPR-2014-BanerjeeCM #classification #game studies #generative #wiki: Playscript Classification and Automatic Wikipedia Play Articles Generation (SB, CC, PM), pp. 3630–3635.
ICPR-2014-BruneauPO #algorithm #clustering #heuristic: A Heuristic for the Automatic Parametrization of the Spectral Clustering Algorithm (PB, OP, BO), pp. 1313–1318.
ICPR-2014-DengXWWCW: Automatic Gait Motion Capture with Missing-Marker Fillings (XD, SX, WW, ZW, LC, HW), pp. 2507–2512.
ICPR-2014-EikvilH #evaluation #identification #performance: Evaluation of Binary Descriptors for Fast and Fully Automatic Identification (LE, MH), pp. 154–159.
ICPR-2014-EnsafiLKT #classification #image: Automatic CAD System for HEp-2 Cell Image Classification (SE, SL, AAK, CLT), pp. 3321–3326.
ICPR-2014-EnzbergA #fault #recognition: A Defect Recognition System for Automated Inspection of Non-rigid Surfaces (SvE, AAH), pp. 1812–1816.
ICPR-2014-GuoCLHS #ambiguity #identification #multi: Multi-shot Person Re-identification with Automatic Ambiguity Inference and Removal (CCG, SZC, JHL, XJH, SCS), pp. 3540–3545.
ICPR-2014-HaoXPSK #semantics #topic #using: Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing (SH, YX, HP, KS, DK), pp. 3092–3097.
ICPR-2014-JangLSK #classification #multi #using #video: Automatic Video Genre Classification Using Multiple SVM Votes (WDJ, CL, JYS, CSK), pp. 2655–2660.
ICPR-2014-JoshiGG #predict #using #visual notation: Automatic Prediction of Perceived Traits Using Visual Cues under Varied Situational Context (JJ, HG, RG), pp. 2855–2860.
ICPR-2014-LiuWCL #category theory #image #learning: Automatic Image Attribute Selection for Zero-Shot Learning of Object Categories (LL, AW, SC, BCL), pp. 2619–2624.
ICPR-2014-MavadatiM #metric #modelling: Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
ICPR-2014-MolderCCH #detection #reduction #using: Automatic Detection of Embryo Location in Medical Imaging Using Trigonometric Rotation for Noise Reduction (ALM, SC, NC, GH), pp. 3239–3244.
ICPR-2014-NathLHWBS #behaviour #recognition #social: Automated Social Behaviour Recognition at Low Resolution (TN, GL, BH, BW, SDB, PS), pp. 2323–2328.
ICPR-2014-OnoKKF #2d #recognition #robust: A Two-Dimensional Barcode with Robust Decoding against Distortion and Occlusion for Automatic Recognition of Garbage Bags (SO, YK, HK, SF), pp. 2879–2884.
ICPR-2014-OrriteRHRV #recognition #segmentation #sequence: Automatic Segmentation and Recognition of Human Actions in Monocular Sequences (CO, MR, EH, GR, SAV), pp. 4218–4223.
ICPR-2014-PanagiotakisK #detection #fault: Automatic Enhancement and Detection of Active Sea Faults from Bathymetry (CP, EK), pp. 855–860.
ICPR-2014-RaghavendraRYB #assessment #empirical #matrix #quality #using #video: Automatic Face Quality Assessment from Video Using Gray Level Co-occurrence Matrix: An Empirical Study on Automatic Border Control System (RR, KBR, BY, CB), pp. 438–443.
ICPR-2014-SuDAGSLLPLLT #predict: Automated Prediction of Glasgow Outcome Scale for Traumatic Brain Injury (BS, TAD, AKA, TG, TS, SL, CCTL, BCP, CKL, TYL, CLT), pp. 3245–3250.
ICPR-2014-TanYZBYMM #framework #quantifier #robust: An Automated and Robust Framework for Quantification of Muscle and Fat in the Thigh (CT, ZY, SZ, BB, HJY, CM, DNM), pp. 3173–3178.
ICPR-2014-WangS #dataset #multi #segmentation #using: Automatic Multi-organ Segmentation in Non-enhanced CT Datasets Using Hierarchical Shape Priors (CW, ÖS), pp. 3327–3332.
ICPR-2014-WernerANWGT #recognition #video: Automatic Pain Recognition from Video and Biomedical Signals (PW, AAH, RN, SW, SG, HCT), pp. 4582–4587.
ICPR-2014-WilliamsCD #human-computer #on the #recognition: On Human Perception and Automatic Target Recognition: Strategies for Human-Computer Cooperation (DPW, MC, SD), pp. 4690–4695.
ICPR-2014-XianCZ #approach #image #segmentation: A Fully Automatic Breast Ultrasound Image Segmentation Approach Based on Neutro-Connectedness (MX, HDC, YZ), pp. 2495–2500.
ICPR-2014-YanTZZBYMM #assessment #segmentation: Automatic Liver Segmentation and Hepatic Fat Fraction Assessment in MRI (ZY, CT, SZ, YZ, BB, HJY, CM, DNM), pp. 3280–3285.
ICPR-2014-YuncuHB #modelling #recognition #speech #using: Automatic Speech Emotion Recognition Using Auditory Models with Binary Decision Tree and SVM (EY, HH, CB), pp. 773–778.
KDD-2014-MatsubaraSPF #mining #named: FUNNEL: automatic mining of spatially coevolving epidemics (YM, YS, WGvP, CF), pp. 105–114.
KDD-2014-Melli #parsing #semantics: Shallow semantic parsing of product offering titles (for better automatic hyperlink insertion) (GM), pp. 1670–1678.
KDD-2014-PolozovG #named #web: LaSEWeb: automating search strategies over semi-structured web data (OP, SG), pp. 741–750.
KDD-2014-SpanglerWBNDHRPCMSKLLPLDCL #generative #mining: Automated hypothesis generation based on mining scientific literature (WSS, ADW, BJB, MN, TD, PJH, SR, CRP, AC, JNM, IS, LK, AL, JJL, NP, AML, LAD, YC, OL), pp. 1877–1886.
KDIR-2014-FouratiJG #documentation: Automatic Audiovisual Documents Genre Description (MF, AJ, FG), pp. 538–543.
KDIR-2014-HaraSOM #information management #towards: Annotating Cohesive Statements of Anatomical Knowledge Toward Semi-automated Information Extraction (KH, IS, KO, IM), pp. 342–347.
KDIR-2014-OliveiraBSC #classification #clustering #twitter: Combining Clustering and Classification Approaches for Reducing the Effort of Automatic Tweets Classification (EO, HGB, MRS, PMC), pp. 465–472.
KEOD-2014-HarzallahBGK #experience #ontology #problem #quality: Ontology Quality Problems — An Experience with Automatically Generated Ontologies (MH, GB, TG, PK), pp. 120–129.
KEOD-2014-NefziFFS #ontology #process: A Semi-automatic Mapping Selection in the Ontology Alignment Process (HN, MF, IRF, BS), pp. 459–466.
KEOD-2014-TakahashiTTL #industrial #standard #web: An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard — Open to the Public on the Web (KT, HT, ST, WL), pp. 369–375.
KMIS-2014-WitschelTL #navigation #topic: Where Did I(T) Put It? — A Holistic Solution to the Automatic Construction of Topic Trees for Navigation (HFW, BT, JL), pp. 194–202.
KR-2014-DiakidoyKM0 #approach #comprehension: A Psychology-Inspired Approach to Automated Narrative Text Comprehension (IAD, ACK, LM, RM).
MLDM-2014-MalenichevSKMM: An Automatic Matching Procedure of Ultrasonic Railway Defectograms (AM, VS, OK, VM, AM), pp. 315–327.
RecSys-2014-BadenesBCGHMNPSSXYZ #people #recommendation #social #social media: System U: automatically deriving personality traits from social media for people recommendation (HB, MNB, JC, LG, EMH, JM, JWN, AP, JS, BAS, YX, HY, MXZ), pp. 373–374.
RecSys-2014-PeraN14a #recommendation: Automating readers’ advisory to make book recommendations for K-12 readers (MSP, YKN), pp. 9–16.
SEKE-2014-ChenX #consistency #mobile #towards #web: Towards Automatic Consistency Checking between Web Application and its Mobile Application (XC, ZX), pp. 53–58.
SEKE-2014-ChourabiA #process #specification: Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKE-2014-LiLWC #data access #generative #policy #testing: Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SEKE-2014-RodriguesPTZOS #component #design #on the #requirements: On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment (EMR, LTP, LT, AFZ, FMdO, RSS), pp. 402–407.
SEKE-2014-ShankarN #metric #tool support: Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SEKE-2014-XuL #approach #architecture #synthesis #using: Automated Software Architectural Synthesis using Patterns: A Cooperative Coevolution Approach (YX, PL), pp. 174–180.
SEKE-2014-XuS #effectiveness #petri net #testing: Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
SIGIR-2014-GuptaBV #named: CharBoxes: a system for automatic discovery of character infoboxes from books (MG, PB, VV), pp. 1255–1256.
SIGIR-2014-McParlaneJ14a #image #novel: A novel system for the semi automatic annotation of event images (PJM, JMJ), pp. 1269–1270.
AMT-2014-RentschlerWNHR #clustering #legacy #model transformation: Remodularizing Legacy Model Transformations with Automatic Clustering Techniques (AR, DW, QN, LH, RR), pp. 4–13.
ICMT-2014-WieberAS #graph grammar #model transformation #on the #testing: On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MoDELS-2014-BascianiRIP #metamodelling #model transformation: Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
SPLC-2014-MennickeLSW #feature model #petri net #process #verification #workflow: Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
SPLC-2014-Reinhartz-Berger #domain model #modelling: Can domain modeling be automated?: levels of automation in domain modeling (IRB), p. 359.
SPLC-2014-VacchiCCA #component #implementation #model inference #variability: Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLC-2014-YuZZJ #case study #feature model #named: TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.
ECOOP-2014-MayerS #domain-specific language #framework #java #multi #refactoring: Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.
OOPSLA-2014-GligoricSPVNL #dynamic analysis #migration #refactoring #search-based #using: Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
OOPSLA-2014-HoltBCO #locality #migration #named: Alembic: automatic locality extraction via migration (BH, PB, LC, MO), pp. 879–894.
OOPSLA-2014-ToschB #debugging #named #programming: SurveyMan: programming and automatically debugging surveys (ET, EDB), pp. 197–211.
PEPM-2014-LiTSF #evolution #testing #web #web service: Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
PLDI-2014-LongSR #fault #runtime: Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
PLDI-2014-RickettsRJTL #proving: Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.
SAS-2014-CoxCR #analysis #source code: Automatic Analysis of Open Objects in Dynamic Language Programs (AC, BYEC, XR), pp. 134–150.
SAS-2014-SamantaOE #cost analysis #program repair: Cost-Aware Automatic Program Repair (RS, OO, EAE), pp. 268–284.
RE-2014-AdedjoumaSB #approach #case study #detection: Automated detection and resolution of legal cross references: Approach and a study of Luxembourg’s legislation (MA, MS, LCB), pp. 63–72.
RE-2014-BhowmikNMS #requirements: Automated support for combinational creativity in requirements engineering (TB, NN, AM, JS), pp. 243–252.
RE-2014-NguyenGA #analysis #named #ontology #requirements: GUITAR: An ontology-based automated requirements analysis tool (THN, JCG, MA), pp. 315–316.
RE-2014-RahimiMC #quality #requirements #specification #visualisation: Automated extraction and visualization of quality concerns from requirements specifications (MR, MM, JCH), pp. 253–262.
RE-2014-RiazKSW #identification #natural language #requirements #security: Hidden in plain sight: Automatically identifying security requirements from natural language artifacts (MR, JTK, JS, LAW), pp. 183–192.
REFSQ-2014-KnaussO #categorisation #natural language #requirements: (Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
ASE-2014-ArcuriFG #dependence #generative #testing: Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASE-2014-AzimNM #self #smarttech #towards: Towards self-healing smartphone software via automated patching (TA, IN, LMM), pp. 623–628.
ASE-2014-BasuB #bound #interactive #verification: Automatic verification of interactions in asynchronous systems with unbounded buffers (SB, TB), pp. 743–754.
ASE-2014-BecanSABBB #comparison #formal method #matrix: Automating the formalization of product comparison matrices (GB, NS, MA, OB, AB, BB), pp. 433–444.
ASE-2014-CamposAFA #generative #integration #testing: Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASE-2014-CosmoLTZZEA #deployment #synthesis: Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
ASE-2014-EllisHKLLLMM #analysis #requirements: Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
ASE-2014-FardMM #generative #testing #web: Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASE-2014-FelsingGKRU #verification: Automating regression verification (DF, SG, VK, PR, MU), pp. 349–360.
ASE-2014-GayRH: Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.
ASE-2014-GligoricNLM #comparison #empirical #evaluation #testing: An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.
ASE-2014-KuchtaCCC #documentation #named #towards: Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
ASE-2014-LiuSLZWDW #case study #detection #documentation #fault: Automatic early defects detection in use case documents (SL, JS, YL, YZ, BW, JSD, XW), pp. 785–790.
ASE-2014-MakhdoomKS #execution #incremental #maintenance #symbolic computation #testing: Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASE-2014-Mohr #composition: Issues of automated software composition in AI planning (FM), pp. 895–898.
ASE-2014-MolotnikovVR #c #verification: Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.
ASE-2014-RahimiC: Personas in the middle: automated support for creating personas as focal points in feature gathering forums (MR, JCH), pp. 479–484.
ASE-2014-SeguraSC #analysis #case study #e-commerce #experience #testing #variability: Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.
ASE-2014-TarvoR #analysis #modelling #parallel #performance #source code #thread: Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
ASE-2014-TillmannHX #generative #testing: Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
FSE-2014-BohmeP #on the #performance #testing: On the efficiency of automated testing (MB, SP), pp. 632–642.
FSE-2014-KrkaBM #invariant #mining #specification: Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
FSE-2014-LiAG #javascript #named #testing #web: SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
FSE-2014-MorenoBPOMC #generative: Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.
FSE-2014-TaoKKX #debugging: Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.
ICSE-2014-BagheriTS #dynamic analysis #named: TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
ICSE-2014-DegiovanniAAU #satisfiability: Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
ICSE-2014-FilieriHM #adaptation #design #self: Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
ICSE-2014-GeM #refactoring #validation: Manual refactoring changes with automated refactoring validation (XG, ERMH), pp. 1095–1105.
ICSE-2014-JungLRP #detection #memory management: Automated memory leak detection for production use (CJ, SL, ER, SP), pp. 825–836.
ICSE-2014-KaleeswaranTKO #named #synthesis: MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.
ICSE-2014-Monperrus #evaluation #generative #overview #problem: A critical review of “automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair (MM), pp. 234–242.
ICSE-2014-QiMLDW #program repair #random: The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
ICSE-2014-RodegheroMMBD #source code #summary: Improving automated source code summarization via an eye-tracking study of programmers (PR, CM, PWM, NB, SKD), pp. 390–401.
ICSE-2014-YuSR #framework #named #testing: SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SAC-2014-BertoutFO #clustering #heuristic #realtime #set: A heuristic to minimize the cardinality of a real-time task set by automated task clustering (AB, JF, RO), pp. 1431–1436.
SAC-2014-CamposM #categorisation: Automatic categorization of questions from Q&A sites (ECC, MdAM), pp. 641–643.
SAC-2014-CaniGSST #code generation #integration #towards: Towards automated malware creation: code generation and code integration (AC, MG, ES, GS, APT), pp. 157–160.
SAC-2014-GriebeG #approach #mobile #modelling #testing: A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SAC-2014-HundtSSGD #invariant #named #similarity: GEM: an elastic and translation-invariant similarity measure with automatic trend adjustment (CH, BS, ES, HG, HVD), pp. 105–112.
SAC-2014-KleffmannBHG #interactive #navigation #scalability #sketching #version control: Automated versioning and temporal navigation for model sketches on large interactive displays (MK, MB, EH, VG), pp. 161–168.
SAC-2014-LopezTCC #algorithm #design: Design of an automatic demand-side management system based on evolutionary algorithms (EGL, AT, SC, VC), pp. 525–530.
SAC-2014-MitranCB #image #ranking: GeoTime-based tag ranking model for automatic image annotation (MM, GC, MB), pp. 896–901.
SAC-2014-NguyenJ0B #diagrams #embedded #modelling #realtime #uml: Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SAC-2014-ParraJGI #approach #product line: An SOA approach for automating software product line adoption (CP, DJ, LG, AI), pp. 1231–1238.
SAC-2014-RaneburgerKPSA #design #generative #interactive #process #user interface: A process for facilitating interaction design through automated GUI generation (DR, HK, RP, VS, AA), pp. 1324–1330.
SAC-2014-SantannaSB #image #retrieval #towards: Content-based image retrieval towards the automatic characterization of soybean seed vigor (MGFS, PTMS, PHB), pp. 964–969.
SAC-2014-Silva #approach #overview #quality #requirements #specification #validation: Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.
SAC-2014-VidalCNM #approach #generative: A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.
GPCE-2014-HessGP #interface: Automatic locality-friendly interface extension of numerical functions (BH, TRG, MP), pp. 83–92.
GPCE-2014-RuprechtHL #feature model #product line #scalability: Automatic feature selection in large-scale system-software product lines (AR, BH, DL), pp. 39–48.
ASPLOS-2014-WaterlandAAAS #named #scalability: ASC: automatically scalable computation (AW, EA, RPA, JA, MIS), pp. 575–590.
CASE-2014-CanaliCCSEC #assembly #detection #industrial: An automatic assembly parts detection and grasping system for industrial manufacturing (CC, FC, FC, GS, AE, DGC), pp. 215–220.
CASE-2014-GargSYPCHPAG #analysis #reachability: Exact reachability analysis for planning skew-line needle arrangements for automated brachytherapy (AG, TS, GY, SP, JAMC, ICH, JP, AA, KYG), pp. 524–531.
CASE-2014-HuCLY #approach #comparative #petri net #using: A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.
CASE-2014-HuYLC #analysis #modelling #multi #petri net: Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
CASE-2014-LeeSP: Automatic optimal control of Field Assisted Sintering Technology (JL, JS, VP), pp. 764–769.
CASE-2014-RenfrewHHC #image #segmentation: Automated segmentation and characterization of ion-abrasion scanning electron microscopy fuel cell images (MR, NH, AH, MCC), pp. 56–60.
CASE-2014-TanHZ #development #validation: Development and validation of an automated steering control system for bus revenue service (HST, JH, WBZ), pp. 31–36.
CGO-2014-JuegaGTC #adaptation #code generation #parametricity: Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs (JCJ, JIG, CT, FC), p. 251.
CGO-2014-SureshS #algorithm #detection #fault #grid #problem: Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection (AS, JS), p. 240.
DAC-2014-KrautzPAKPB #float #verification: Automatic Verification of Floating Point Units (UK, VP, AA, SK, SP, TB), p. 6.
DAC-2014-Rodriguez-NavasSHNLL #approach #functional #safety #specification #verification: Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.
DAC-2014-Rutenbar #design #education: The First EDA MOOC: Teaching Design Automation to Planet Earth (RAR), p. 6.
DAC-2014-XiaCK #algorithm #detection #development: An Automobile Detection Algorithm Development for Automated Emergency Braking System (LX, TDC, KAAK), p. 6.
DATE-2014-AfacanAFDB #design #modelling #optimisation: Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATE-2014-CanedoFR #cyber-physical #design #multi: Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.
DATE-2014-CasparLH #strict #testing #using: Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATE-2014-GuoWWH #effectiveness #named #test coverage: EATBit: Effective automated test for binary translation with high code coverage (HG, ZW, CW, RH), pp. 1–6.
DATE-2014-KimH #generative #parallel: Automatic generation of custom SIMD instructions for Superword Level Parallelism (TK, YH), pp. 1–6.
DATE-2014-MeeusS #reuse #synthesis: Automating data reuse in High-Level Synthesis (WM, DS), pp. 1–4.
DATE-2014-MunirK #design #named: D2Cyber: A design automation tool for dependable cybercars (AM, FK), pp. 1–4.
DATE-2014-MurilloWCLA #concurrent #constraints #debugging #detection: Automatic detection of concurrency bugs through event ordering constraints (LGM, SW, JC, RL, GA), pp. 1–6.
DATE-2014-NepalLBR #approximate #behaviour #named #synthesis: ABACUS: A technique for automated behavioral synthesis of approximate computing circuits (KN, YL, RIB, SR), pp. 1–6.
DATE-2014-RiefertCSBRB #approach #effectiveness #fault #functional #generative #testing: An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATE-2014-ZhangS #design #specification: Automatic specification granularity tuning for design space exploration (JZ, GS), pp. 1–6.
LCTES-2014-RoyRWW #analysis #approximate #named: ASAC: automatic sensitivity analysis for approximate computing (PR, RR, CW, WFW), pp. 95–104.
OSDI-2014-HawblitzelHLNPZZ #security #verification: Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
OSDI-2014-MullerAAC #manycore #named #parallel: Pydron: Semi-Automatic Parallelization for Multi-Core and the Cloud (SCM, GA, AA, AC), pp. 645–659.
PDP-2014-BaiardiCTS: A Scenario Method to Automatically Assess ICT Risk (FB, FC, FT, DS), pp. 544–551.
PDP-2014-BoobGP #cpu #gpu #parallel #performance: Automated Instantiation of Heterogeneous Fast Flow CPU/GPU Parallel Pattern Applications in Clouds (SB, HGV, AMP), pp. 162–169.
PPoPP-2014-Golan-GuetaRSY #semantics: Automatic semantic locking (GGG, GR, MS, EY), pp. 385–386.
ESOP-2014-KuwaharaTU0 #functional #higher-order #source code #termination #verification: Automatic Termination Verification for Higher-Order Functional Programs (TK, TT, HU, NK), pp. 392–411.
FASE-2014-PeiFNM #contract #program repair: Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
TACAS-2014-HuthK #named #reasoning #trust: PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.
CAV-2014-AlglaveKNP #approach #static analysis: Don’t Sit on the Fence — A Static Analysis Approach to Automatic Fence Insertion (JA, DK, VN, DP), pp. 508–524.
CAV-2014-ChengHRS #generative #named #source code: G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
CAV-2014-LesaniMP #concurrent #data type #verification: Automatic Atomicity Verification for Clients of Concurrent Data Structures (ML, TDM, JP), pp. 550–567.
CAV-2014-Nadel #generative: Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
CAV-2014-PiskacWZ #logic: Automating Separation Logic with Trees and Data (RP, TW, DZ), pp. 711–728.
ICST-2014-AssiriB #assessment #quality: An Assessment of the Quality of Automated Program Operator Repair (FYA, JMB), pp. 273–282.
ICST-2014-AydinAB #generative #testing: Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICST-2014-DemuthLE #incremental #optimisation #product line: Automatic and Incremental Product Optimization for Software Product Lines (AD, RELH, AE), pp. 31–40.
ICST-2014-HuntBF #testing #user interface: Automatic Testing of Natural User Interfaces (CJH, GB, GF), pp. 123–132.
ICST-2014-Marin #approach #database #multi #testing: A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases (MM), pp. 133–142.
ICST-2014-MiicBT #analysis #multi #platform #test coverage #testing: Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ICST-2014-PouldingW #probability: Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles (SMP, HW), pp. 293–302.
ICST-2014-TokumotoSSUW #industrial #locality: Semi-automatic Incompatibility Localization for Re-engineered Industrial Software (ST, KS, KS, TU, HW), pp. 91–94.
ICST-2014-VarvaressosLMGH #case study #debugging #game studies #monitoring #runtime #video: Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.
ICST-2014-WiklundSEL #analysis #empirical #testing: Impediments for Automated Testing — An Empirical Analysis of a User Support Discussion Board (KW, DS, SE, KL), pp. 113–122.
ICST-2014-ZaeemPK #generative #mobile #testing: Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSS-2014-AbdelmoulaGA #embedded #generative #named #testing: AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSS-2014-Bures #detection #maintenance #testing: Change Detection System for the Maintenance of Automated Testing (MB), pp. 192–197.
ICTSS-2014-PalmieriCO #testing: Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, AÖ), pp. 129–144.
ICTSS-2014-WotawaB #exclamation #security #testing: Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
IJCAR-2014-GieslBEFFOPSSST #proving #source code #termination: Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
IJCAR-2014-NigamRL #named #permutation #proving: Quati: An Automated Tool for Proving Permutation Lemmas (VN, GR, LL), pp. 255–261.
ISSTA-2014-AppeltNBA #approach #injection #sql #testing: Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTA-2014-LinK #concurrent #multi #satisfiability #source code #thread #using: Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability (YL, SSK), pp. 237–247.
ISSTA-2014-LoyolaSKR #named #set: Dodona: automated oracle data set selection (PL, MS, IYK, GR), pp. 193–203.
ISSTA-2014-YandrapallyTSC #robust #testing #using: Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.
ISSTA-2014-ZhangC #detection #exception #information management #lightweight: Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.
SAT-2014-CreusFG #evaluation #problem #reduction: Automatic Evaluation of Reductions between NP-Complete Problems (CC, PF, GG), pp. 415–421.
SMT-2014-Melquiond #algorithm #float #verification: Automating the Verification of Floating-Point Algorithms (GM), p. 63.
TAP-2014-BardinCDK #testing #tool support: An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
TAP-2014-KahkonenH #lightweight #parallel #source code #testing #thread: Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
CBSE-2013-CiccozziSCS #assessment #component #deployment #embedded #towards: An automated round-trip support towards deployment assessment in component-based embedded systems (FC, MS, AC, MS), pp. 179–188.
ECSA-2013-ChristensenH #architecture #prototype #slicing #towards: Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes (HBC, KMH), pp. 316–319.
ECSA-2013-SilvaB #architecture #consistency #named: PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
ECSA-2013-ZouariR #adaptation #deployment #distributed #towards: Towards Automated Deployment of Distributed Adaptation Systems (MZ, IBR), pp. 336–339.
DocEng-2013-AzevedoSASN #authoring #multi: Multimedia authoring based on templates and semi-automatic generated wizards (RGDAA, RCMS, ECA, LFGS, CdSSN), pp. 205–214.
DocEng-2013-PiccoliO #documentation #flexibility #layout: Balancing font sizes for flexibility in automated document layout (RFBP, JBSdO), pp. 151–160.
DocEng-2013-TomasiV #collaboration #metadata: Collaborative annotations in shared environments: metadata, vocabularies and techniques in the digital humanities (DH-CASE 2013) (FT, FV), pp. 283–284.
DocEng-2013-TruranSGC #generative #guidelines: Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
DRR-2013-AriesON #algorithm #classification #clustering #summary #using: Using clustering and a modified classification algorithm for automatic text summarization (AA, HO, ON).
DRR-2013-ClawsonBCPKRB #recognition: Automated recognition and extraction of tabular fields for the indexing of census records (RC, KB, GC, MP, DJK, JR, WAB).
DRR-2013-SalahRP #adaptation #assessment #detection #quality: Adaptive detection of missed text areas in OCR outputs: application to the automatic assessment of OCR quality in mass digitization projects (ABS, NR, TP).
ICDAR-2013-AhmedKILD #documentation #generative #image #retrieval #using: Automatic Ground Truth Generation of Camera Captured Documents Using Document Image Retrieval (SA, KK, MI, ML, AD), pp. 528–532.
ICDAR-2013-ChattopadhyayRG #robust: Automatic Selection of Binarization Method for Robust OCR (TC, VRR, UG), pp. 1170–1174.
ICDAR-2013-ChherawalaRC #design #question #recognition: Feature Design for Offline Arabic Handwriting Recognition: Handcrafted vs Automated? (YC, PPR, MC), pp. 290–294.
ICDAR-2013-HaoGZXPSK #detection #fault #finite #transducer: Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer (SH, ZG, MZ, YX, HP, KS, DK), pp. 763–767.
ICDAR-2013-IwamuraTK #database: Automatic Labeling for Scene Text Database (MI, MT, KK), pp. 1365–1369.
ICDAR-2013-LuoOWK #approach #classification #using: Automatic Chinese Text Classification Using Character-Based and Word-Based Approach (XL, WO, TW, FK), pp. 329–333.
ICDAR-2013-MalikLD #comparison #forensics #verification: Part-Based Automatic System in Comparison to Human Experts for Forensic Signature Verification (MIM, ML, AD), pp. 872–876.
ICDAR-2013-MaW #component #database #online #optimisation #segmentation: Semi-automatic Tibetan Component Annotation from Online Handwritten Tibetan Character Database by Optimizing Segmentation Hypotheses (LLM, JW), pp. 1340–1344.
ICDAR-2013-MoghaddamMC #documentation #framework #image: Unsupervised Ensemble of Experts (EoE) Framework for Automatic Binarization of Document Images (RFM, FFM, MC), pp. 703–707.
ICDAR-2013-ParkerFF #documentation #image: Automatic Enhancement and Binarization of Degraded Document Images (JP, OF, GF), pp. 210–214.
ICDAR-2013-ThadchanamoorthyKPPK #database #development #recognition: Tamil Handwritten City Name Database Development and Recognition for Postal Automation (ST, NDK, HLP, UP, FK), pp. 793–797.
ICDAR-2013-TuarobBMG #detection #documentation #machine learning #pseudo #using: Automatic Detection of Pseudocodes in Scholarly Documents Using Machine Learning (ST, SB, PM, CLG), pp. 738–742.
JCDL-2013-OkoyeSB #generative #learning #library #sequence: Automatic extraction of core learning goals and generation of pedagogical sequences through a collection of digital library resources (IO, TS, SB), pp. 67–76.
JCDL-2013-RahnemoonfarP #documentation #evaluation #performance #scalability: Automatic performance evaluation of dewarping methods in large scale digitization of historical documents (MR, BP), pp. 331–334.
JCDL-2013-SchneiderM #mobile #web: First steps in archiving the mobile web: automated discovery of mobile websites (RS, FM), pp. 53–56.
JCDL-2013-TuarobPG #metadata #modelling #probability #recommendation #topic #using: Automatic tag recommendation for metadata annotation using probabilistic topic modeling (ST, LCP, CLG), pp. 239–248.
SIGMOD-2013-KlonatosNSKK #algorithm #synthesis: Automatic synthesis of out-of-core algorithms (YK, AN, AS, CK, VK), pp. 133–144.
SIGMOD-2013-YakoutBE #bound #scalability: Don’t be SCAREd: use SCalable Automatic REpairing with maximal likelihood and bounded changes (MY, LBE, AKE), pp. 553–564.
TPDL-2013-AgirreBFMOS #named #prototype #web #web service: PATHSenrich: A Web Service Prototype for Automatic Cultural Heritage Item Enrichment (EA, AB, KF, EM, AO, AS), pp. 462–465.
VLDB-2013-Hoppe #big data #learning #ontology #web: Automatic ontology-based User Profile Learning from heterogeneous Web Resources in a Big Data Context (AH), pp. 1428–1433.
VLDB-2013-LiWC #framework #monitoring #platform #social #topic #towards #twitter: Towards Social Data Platform: Automatic Topic-focused Monitor for Twitter Stream (RL, SW, KCCC), pp. 1966–1977.
CSEET-2013-JezekMP #evaluation #experience #question: Automated evaluation of regular lab assignments: A bittersweet experience? (PJ, MM, TP), pp. 249–258.
ITiCSE-2013-KyrilovN #assessment #first-order #information management #logic #representation: Automatic formative assessment of exercises on knowledge representation in first-order logic (AK, DCN), p. 343.
CSMR-2013-AbebeT #identifier: Automated Identifier Completion and Replacement (SLA, PT), pp. 263–272.
CSMR-2013-DuclosDGA #c++ #named #testing: ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
ICPC-2013-MorenoASMPV #generative #java #natural language #summary: Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
ICPC-2013-MorenoMPV #generative #java #named #natural language #summary: JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
ICSM-2013-DasguptaGMDP #corpus #documentation #traceability: Enhancing Software Traceability by Automatically Expanding Corpora with Relevant Documentation (TD, MG, EM, BD, DP), pp. 320–329.
ICSM-2013-Karus #development #identification: Automatic Means of Identifying Evolutionary Events in Software Development (SK), pp. 412–415.
ICSM-2013-Kwon #distributed #energy #execution #fault tolerance #re-engineering: Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
ICSM-2013-LeL #approach #effectiveness #fault #locality #predict #tool support: Will Fault Localization Work for These Failures? An Automated Approach to Predict Effectiveness of Fault Localization Tools (TDBL, DL), pp. 310–319.
ICSM-2013-MartinezDM #abstract syntax tree #analysis: Automatically Extracting Instances of Code Change Patterns with AST Analysis (MM, LD, MM), pp. 388–391.
ICSM-2013-QiML #performance #program repair #testing: Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ICSM-2013-ShahDM #java #on the #refactoring: On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.
ICSM-2013-WrightJKCW #refactoring #scalability #using: Large-Scale Automated Refactoring Using ClangMR (HKW, DJ, MK, CC, ZW), pp. 548–551.
ICSM-2013-YukselS #analysis #case study #classification: Automated Classification of Static Code Analysis Alerts: A Case Study (UY, HS), pp. 532–535.
MSR-2013-HowardGPV #mining #semantics #word: Automatically mining software-based, semantically-similar words from comment-code mappings (MJH, SG, LLP, KVS), pp. 377–386.
MSR-2013-SahaSS #approach #stack overflow: A discriminative model approach for suggesting tags automatically for stack overflow questions (AKS, RKS, KAS), pp. 73–76.
MSR-2013-SismanK #code search #debugging #locality #query: Assisting code search with automatic query reformulation for bug localization (BS, ACK), pp. 309–318.
PASTE-2013-DingesCA #concurrent #execution #set: Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.
PASTE-2013-Lu #mining: Automatically mining program build information via signature matching (CDL), pp. 25–32.
WCRE-2013-AbdeenSSAD #design #towards: Towards automatically improving package structure while respecting original design decisions (HA, HAS, OS, NA, SD), pp. 212–221.
WCRE-2013-IshioHKO #effectiveness #feature model #on the: On the effectiveness of accuracy of automated feature location technique (TI, SH, HK, TO), pp. 381–390.
WCRE-2013-TeytonFB #library: Automatic discovery of function mappings between similar libraries (CT, JRF, XB), pp. 192–201.
WCRE-2013-ThungLJ: Automatic recovery of root causes from bug-fixing changes (FT, DL, LJ), pp. 92–101.
WCRE-2013-ThungLL #library #recommendation: Automated library recommendation (FT, DL, JLL), pp. 182–191.
CIAA-J-2012-GocHS13 #combinator #word: Automatic Theorem-Proving in Combinatorics on Words (DG, DH, JS), pp. 781–798.
LATA-2013-GocSS #sequence #word: Primitive Words and Lyndon Words in Automatic and Linearly Recurrent Sequences (DG, KS, JS), pp. 311–322.
IFM-2013-Ciobaca #semantics: From Small-Step Semantics to Big-Step Semantics, Automatically (SC), pp. 347–361.
IFM-2013-MoranHS #verification: Automated Anonymity Verification of the ThreeBallot Voting System (MM, JH, SS), pp. 94–108.
IFM-2013-TaylorBD #behaviour #erlang: Automatic Inference of Erlang Module Behaviour (RT, KB, JD), pp. 253–267.
RTA-2013-TushkanovaRGK #calculus #decidability: Automatic Decidability: A Schematic Calculus for Theories with Counting Operators (ET, CR, AG, OK), pp. 303–318.
RTA-2013-WinklerZM #proving #sequence #termination: Beyond Peano Arithmetic — Automatically Proving Termination of the Goodstein Sequence (SW, HZ, AM), pp. 335–351.
SEFM-2013-BennaceurCIJ #behaviour #ontology #reasoning #synthesis: Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.
SEFM-2013-KeshishzadehMM #debugging #detection #domain-specific language #fault #smt #using: Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.
SFM-2013-KopfR #analysis #data flow: Automation of Quantitative Information-Flow Analysis (BK, AR), pp. 1–28.
ICFP-2013-LorenzenE #composition #verification: Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.
ICFP-2013-PetersenOG #haskell: Automatic SIMD vectorization for Haskell (LP, DAO, NG), pp. 25–36.
AIIDE-2013-ComanM #generative #nondeterminism #using: Automated Generation of Diverse NPC-Controlling FSMs Using Nondeterministic Planning Techniques (AC, HMA).
AIIDE-2013-LlansoGGG #architecture #component #empirical #evaluation #game studies #generative: Empirical Evaluation of the Automatic Generation of a Component-Based Software Architecture for Games (DL, PPGM, MAGM, PAGC).
CIG-2013-ShakerSNST #analysis #game studies #generative: Automatic generation and analysis of physics-based puzzle games (MS, MHS, OAN, NS, JT), pp. 1–8.
FDG-2013-BauerCP: Automated redesign of local playspace properties (AWB, SC, ZP), pp. 190–197.
FDG-2013-FontMMT #game studies #generative #programming #search-based #towards: Towards the automatic generation of card games through grammar-guided genetic programming (JMF, TM, DM, JT), pp. 360–363.
VS-Games-2013-HerpersSVSFHSH #evaluation #safety #tool support: Vr-Based Safety Evaluation of Automatically Controlled Machine Tools (RH, DS, MV, TS, SF, TH, MS, MH), pp. 1–4.
VS-Games-2013-SeebauerBKM #feedback #game studies #integration #social: Green Gang Vs. Captain Carbon. Integration of Automated Data Collection and Ecological Footprint Feedback in a Smartphone-Based Social Game for Carbon Saving (SS, MB, KHK, MM), pp. 1–2.
CHI-2013-ChengLWHLLCLC13a #mobile #named: IrotateGrasp: automatic screen rotation based on grasp of mobile devices (LPC, MHL, CYW, FIH, YTL, HSL, YCC, MSL, MYC), pp. 3051–3054.
CHI-2013-FlatlaRGG13a #named: SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring (DRF, KR, CG, KZG), pp. 2069–2078.
CHI-2013-GartenbergBPMT #adaptation #fault: Adaptive automation and cue invocation: the effect of cue timing on operator error (DG, LAB, JP, JMM, JGT), pp. 3121–3130.
CHI-2013-HullmanDA #generative #named #visualisation: Contextifier: automatic generation of annotated stock visualizations (JH, ND, EA), pp. 2707–2716.
CHI-2013-Ortega #3d #using: 3D object position using automatic viewpoint transitions (MO), pp. 193–196.
CHI-2013-ZhuZ #agile #low cost #named #prototype #tool support: AutoGami: a low-cost rapid prototyping toolkit for automated movable paper craft (KZ, SZ), pp. 661–670.
DHM-HB-2013-ColomboFRVZ #3d #image #re-engineering: Automatic 3D Reconstruction of Transfemoral Residual Limb from MRI Images (GC, GF, CR, AV, AZ), pp. 324–332.
DHM-SET-2013-MamessierF #interactive #modelling #simulation: Simulating the Impact of Mental Models on Human Automation Interaction in Aviation (SM, KMF), pp. 61–69.
DUXU-WM-2013-SchutzOV #approach #development #evaluation #usability: SysML-Based Approach for Automation Software Development — Explorative Usability Evaluation of the Provided Notation (DS, MO, BVH), pp. 568–574.
HCI-AMTE-2013-ColetiMN #evaluation #recognition #speech #usability: Analyzing Face and Speech Recognition to Create Automatic Information for Usability Evaluation (TAC, MM, FdLdSN), pp. 184–192.
HCI-AMTE-2013-EngelMHF #generative #specification #user interface: Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation (JE, CM, CH, PF), pp. 300–309.
HCI-AMTE-2013-MartinHE #modelling #user interface: Patterns and Models for Automated User Interface Construction — In Search of the Missing Links (CM, CH, JE), pp. 401–410.
HCI-AMTE-2013-SantosM #design #identification #implementation #interactive: Design and Implementation of ErgoIdentifier: A Tool for Automated Identification of Websites Interaction Elements (OFdS, MM), pp. 249–255.
HCI-III-2013-BockLSWW #classification: Audio-Based Pre-classification for Semi-automatic Facial Expression Coding (RB, KLE, IS, SW, AW), pp. 301–309.
HCI-III-2013-RukavinaGTHWTJ #classification #gender: The Impact of Gender and Sexual Hormones on Automated Psychobiological Emotion Classification (SR, SG, JWT, DH, SW, HCT, LJB), pp. 474–482.
HCI-UC-2013-BergmannMSO #case study #generative #layout #user study: Automatic Layout Generation for Digital Photo Albums: A User Study (FBB, IHM, MSS, JBSdO), pp. 117–126.
HIMI-D-2013-ChenTWCXY #generative #named #social #social media: EventLens: An Automatic Magazine Generating System for Social Media (HC, HT, ZW, PC, YX, SY), pp. 177–186.
HIMI-HSM-2013-BattisteCMSVCS #student #tool support: The Effects of Early Training with Automation Tools on the Air Traffic Management Strategies of Student ATCos (HB, WC, TM, KS, KPLV, DC, TZS), pp. 13–21.
HIMI-HSM-2013-HighamVMSB #trust: Training Air Traffic Controller Trust in Automation within a NextGen Environment (TMH, KPLV, JM, TZS, VB), pp. 76–84.
HIMI-HSM-2013-MoreiraB #interface: A Semiotic Based Method for Evaluating Automated Cockpit Interfaces (WM, RB), pp. 530–539.
HIMI-LCCB-2013-MantheyHRSE #framework #multi #video #workflow: A Support Framework for Automated Video and Multimedia Workflows for Production and Archive (RM, RH, MR, MS, ME), pp. 336–341.
HIMI-LCCB-2013-TachizawaOM #classification #overview: An Automatic Classification of Product Review into Given Viewpoints (YT, MO, HM), pp. 598–606.
VISSOFT-2013-ReissT #behaviour #categorisation #visualisation: Automatic categorization and visualization of lock behavior (SPR, AT), pp. 1–10.
CAiSE-2013-AgtK #modelling #network #scalability #semantics: Automated Construction of a Large Semantic Network of Related Terms for Domain-Specific Modeling (HA, RDK), pp. 610–625.
CAiSE-2013-CardosoBBKL #in the cloud: Cloud Computing Automation: Integrating USDL and TOSCA (JC, TB, UB, OK, FL), pp. 1–16.
CAiSE-2013-MethME #elicitation #information management #requirements: Is Knowledge Power? The Role of Knowledge in Automated Requirements Elicitation (HM, AM, ME), pp. 578–593.
ICEIS-J-2013-PintoKG13a #analysis #approach #architecture #evaluation #metadata: An Automated Architectural Evaluation Approach Based on Metadata and Code Analysis (FP, UK, EMG), pp. 490–505.
ICEIS-v1-2013-PuyanaQ #generative #named #summary: GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.
ICEIS-v3-2013-PintoKG #architecture #enterprise #evaluation #information management: Automating the Architecture Evaluation of Enterprise Information Systems (FP, UK, EMG), pp. 333–340.
CIKM-2013-BrossE #mining #overview #sentiment: Automatic construction of domain and aspect specific sentiment lexicons for customer review mining (JB, HE), pp. 1077–1086.
CIKM-2013-ReisDPSR #adaptation #ontology: Mapping adaptation actions for the automatic reconciliation of dynamic ontologies (JCdR, DD, CP, MDS, CRD), pp. 599–608.
CIKM-2013-XuXWW #feedback #image #ranking: A heterogenous automatic feedback semi-supervised method for image reranking (XCX, XSX, YW, XW), pp. 999–1008.
ECIR-2013-McParlaneJ #image: Exploiting Time in Automatic Image Tagging (PJM, JMJ), pp. 520–531.
ECIR-2013-PritsosS #classification #identification: Open-Set Classification for Automated Genre Identification (DAP, ES), pp. 207–217.
ICML-c2-2013-DasBBG #modelling #topic: Subtle Topic Models and Discovering Subtly Manifested Software Concerns Automatically (MKD, SB, CB, KG), pp. 253–261.
KDD-2013-BaiJS #generative #set: Exploiting user clicks for automatic seed set generation for entity matching (XB, FPJ, SHS), pp. 980–988.
KDD-2013-KongY #classification #distance #learning: Discriminant malware distance learning on structural information for automated malware classification (DK, GY), pp. 1357–1365.
KDD-2013-StajnerTPPJ #social #social media: Automatic selection of social media responses to news (TS, BT, AMP, MP, AJ), pp. 50–58.
KDD-2013-TangLSPG #framework #monitoring #optimisation #scalability: An integrated framework for optimizing automatic monitoring systems in large IT infrastructures (LT, TL, LS, FP, GG), pp. 1249–1257.
KDIR-KMIS-2013-MelnichenkoB #image #low level #random: Automatic Image Annotation with Low-level Features and Conditional Random Fields (AM, AB), pp. 197–201.
KDIR-KMIS-2013-NartTF #personalisation #recommendation #using: Personalized Recommendation and Explanation by using Keyphrases Automatically extracted from Scientific Literature (DDN, CT, FF), pp. 96–103.
KEOD-2013-AlirezaieL #abduction #data type #reasoning #using: Automatic Annotation of Sensor Data Streams using Abductive Reasoning (MA, AL), pp. 345–354.
KEOD-2013-ChulyadyoHB #approach #ontology: Core Ontology based Approach for Treating the Flatness of Automatically Built Ontology (RC, MH, GB), pp. 316–323.
KEOD-2013-HafnerHWO #ontology: Semi-automated Ontology Population from Building Construction Drawings (PH, VH, HW, JO), pp. 379–386.
KEOD-2013-LinnenbergMCSF #energy #evaluation #lightweight #named #ontology #performance: OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.
KEOD-2013-WohlgenanntBS #evolution #learning #ontology #prototype: A Prototype for Automating Ontology Learning and Ontology Evolution (GW, SB, MS), pp. 407–412.
KEOD-2013-ZouhaierDA #generative #reasoning #using: Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning (LZ, YBH, LJBA), pp. 413–418.
MLDM-2013-CastroSAE #classification #database #using #web: Automatic Classification of Web Databases Using Domain-Dictionaries (HMMC, VJSS, ILA, HJEB), pp. 340–351.
MLDM-2013-PohlZ #n-gram #recognition #speech #using: Using Part of Speech N-Grams for Improving Automatic Speech Recognition of Polish (AP, BZ), pp. 492–504.
SEKE-2013-DiaoSYG #semantics: A Semantic-based Semi-automated Role Mapping Mechanism (LD, WS, ILY, JG), pp. 14–17.
SEKE-2013-FreireCNMKAS #overview #perspective #re-engineering: Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (MAF, DAdC, ECN, TM, UK, EA, SS), pp. 504–509.
SEKE-2013-JulianoTSM #assessment #case study #complexity #similarity: Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (RCJ, BANT, MSS, MdAM), pp. 494–499.
SEKE-2013-MolleriSB #approach #overview #process: Proposal of an Automated Approach to Support the Systematic Review of Literature Process (JSM, LEdS, FBVB), pp. 488–493.
SEKE-2013-MoshirpourEF #approach #ontology #using: Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (MM, AE, BHF), pp. 63–66.
SEKE-2013-SilvaBLDP #generative #semantics #web #web service: Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
SIGIR-2013-CuiMLWR #image #nearest neighbour: Ranking-oriented nearest-neighbor based method for automatic image annotation (CC, JM, TL, XW, ZR), pp. 957–960.
SIGIR-2013-Ekstrand-AbuegPA: Live nuggets extractor: a semi-automated system for text extraction and test collection creation (MEA, VP, JAA), pp. 1087–1088.
SIGIR-2013-Ekstrand-AbuegPKSYI #evaluation: Exploring semi-automatic nugget extraction for Japanese one click access evaluation (MEA, VP, MPK, TS, TY, MI), pp. 749–752.
SIGIR-2013-LiLSLC #novel #topic: A novel topic model for automatic term extraction (SL, JL, TS, WL, BC), pp. 885–888.
SIGIR-2013-MehrotraSBX #microblog #modelling #topic #twitter: Improving LDA topic models for microblogs via tweet pooling and automatic labeling (RM, SS, WLB, LX), pp. 889–892.
SIGIR-2013-Ruiz-RicoRTG #categorisation #multi #wiki: A portable multilingual medical directory by automatic categorization of Wikipedia articles (FRR, MCRS, DT, JLVG), pp. 1099–1100.
SKY-2013-SuarezMFM #generative #natural language #semantics #using: Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
AMT-2013-AgirreES #architecture #development #impact analysis #migration #modelling: Automatic Impact Analysis of Software Architecture Migration on Model Driven Software Development (JAA, LE, GS), pp. 52–61.
ICMT-2013-HermannGNBMPE #graph grammar #on the #using: On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
ICMT-2013-HildebrandtLG #consistency #graph grammar #implementation #specification #testing: Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
MoDELS-2013-FaunesCBSC #metamodelling: Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
MoDELS-2013-NieYAZF #constraints #cyber-physical #named: Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
MoDELS-2013-SelimBCDW #industrial #model transformation #verification: Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
MoDELS-2013-WangGAL #case study #feature model #industrial #testing #using: Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
ECOOP-2013-NegaraCVJD #case study #comparative #refactoring: A Comparative Study of Manual and Automated Refactorings (SN, NC, MV, REJ, DD), pp. 552–576.
ECOOP-2013-TrudelFNM #object-oriented #re-engineering #scalability: Really Automatic Scalable Object-Oriented Reengineering (MT, CAF, MN, BM), pp. 477–501.
ECOOP-2013-VakilianCMNJ #composition #paradigm #refactoring: A Compositional Paradigm of Automating Refactorings (MV, NC, RZM, SN, REJ), pp. 527–551.
OOPSLA-2013-FeldthausM #javascript #refactoring: Semi-automatic rename refactoring for JavaScript (AF, AM), pp. 323–338.
HILT-2013-Alagic #interactive #verification: Automatic versus interactive program verification (SA), pp. 87–88.
PADL-2013-LiangK #logic programming #named #scalability #source code: Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs (SL, MK), pp. 173–189.
PEPM-2013-AlpuenteFV #logic #specification #using: Automatic inference of specifications using matching logic (MA, MAF, AV), pp. 127–136.
PEPM-2013-CominiT #equivalence #linear #named #term rewriting: TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems (MC, LT), pp. 67–70.
PLDI-2013-SinghGS #feedback #generative #programming: Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
POPL-2013-BarrVLS #detection #exception #float: Automatic detection of floating-point exceptions (ETB, TV, VL, ZS), pp. 549–560.
POPL-2013-LivshitsC #classification #security #towards: Towards fully automatic placement of security sanitizers and declassifiers (BL, SC), pp. 385–398.
POPL-2013-UnnoTK #functional #higher-order #source code #verification: Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.
SAS-2013-DOsualdoKO #concurrent #verification: Automatic Verification of Erlang-Style Concurrency (ED, JK, CHLO), pp. 454–476.
SAS-2013-RaychevVY #concurrent #synthesis: Automatic Synthesis of Deterministic Concurrency (VR, MTV, EY), pp. 283–303.
ER-BR-2013-SoaresPSCV #modelling #process: Automatic Models Transformation for the STREAM process (MS, JP, CTLLS, JC, JV).
RE-2013-DwarakanathRS #natural language #requirements #taxonomy: Automatic extraction of glossary terms from natural language requirements (AD, RRR, SS), pp. 314–319.
RE-2013-MasseyEAS #analysis #documentation #mining #policy #requirements: Automated text mining for requirements analysis of policy documents (AKM, JE, AIA, PPS), pp. 4–13.
REFSQ-2013-Ott #categorisation #natural language #overview #scalability #specification: Automatic Requirement Categorization of Large Natural Language Specifications at Mercedes-Benz for Review Improvements (DO), pp. 50–64.
ASE-2013-AvazpourGG #model transformation #specification #tool support #using #visualisation: Tool support for automatic model transformation specification using concrete visualisations (IA, JG, LG), pp. 718–721.
ASE-2013-BarnesPG #architecture #evolution: Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.
ASE-2013-DhunganaTWW #interactive #rule-based #verification: Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
ASE-2013-Frank #challenge #validation #verification: The challenges of verification and validation of automated planning systems (JF), p. 2.
ASE-2013-GambiHD #testing: Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASE-2013-KimKKLJK #embedded #industrial #scalability #testing #using: Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASE-2013-MaezawaWTH #ajax #interactive #invariant #verification: Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
ASE-2013-NguyenT #classification #combinator #dependence #testing: Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASE-2013-SagdeoEPV #debugging #invariant #locality #testing #using: Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
ASE-2013-TasharofiPLJ #named #source code #testing: Bita: Coverage-guided, automatic testing of actor programs (ST, MP, YL, REJ), pp. 114–124.
ASE-2013-ThungWLL #api #feature model #recommendation: Automatic recommendation of API methods from feature requests (FT, SW, DL, JLL), pp. 290–300.
ASE-2013-TillmannHXB #education #game studies #generative #named #testing: Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ASE-2013-WongYT #generative #mining #named: AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.
ASE-2013-Wu0LD #analysis #component #dependence #using: Automatically partition software into least privilege components using dynamic data dependency analysis (YW, JS, YL, JSD), pp. 323–333.
ASE-2013-WuestSG #generative #metamodelling #sketching: Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
ASE-2013-Zhang0SLMD #constraints #detection #symmetry: Constraint-based automatic symmetry detection (SJZ, JS, CS, YL, JM, JSD), pp. 15–25.
ASE-2013-ZhangS #query #sql: Automatically synthesizing SQL queries from input-output examples (SZ, YS), pp. 224–234.
ESEC-FSE-2013-AroraSBZG #consistency #flexibility #named: RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
ESEC-FSE-2013-DiGiuseppe #fault: Automatically describing software faults (ND), pp. 711–714.
ESEC-FSE-2013-JensenMS #interface #javascript #testing #web: Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSE-2013-Nenashev #hardware #named #programmable #re-engineering: PHRT: a model and programmable tool for hardware reengineering automation (ON), pp. 719–722.
ESEC-FSE-2013-NguyenMT #effectiveness #empirical: Automated oracles: an empirical study on cost and effectiveness (CDN, AM, PT), pp. 136–146.
ICSE-2013-AlmorsyGI #analysis #architecture #security #using: Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
ICSE-2013-Balachandran #code review #quality #recommendation #static analysis #using: Reducing human effort and improving quality in peer code reviews using automatic static analysis and reviewer recommendation (VB), pp. 931–940.
ICSE-2013-CarzanigaGMPP #runtime: Automatic recovery from runtime failures (AC, AG, AM, NP, MP), pp. 782–791.
ICSE-2013-FranklinGLD #functional #imperative #named #programming #refactoring: LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.
ICSE-2013-GhoshSLC #generative #industrial #java #named #string #testing: JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
ICSE-2013-HaiducBMOLM #query #re-engineering #retrieval: Automatic query reformulations for text retrieval in software engineering (SH, GB, AM, RO, ADL, TM), pp. 842–851.
ICSE-2013-HenardPPKT #feature model #modelling #testing #towards: Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
ICSE-2013-InverardiT #composition #protocol #synthesis: Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
ICSE-2013-KimNSK #generative: Automatic patch generation learned from human-written patches (DK, JN, JS, SK), pp. 802–811.
ICSE-2013-MalikHH #detection #performance #scalability #testing: Automatic detection of performance deviations in the load testing of large scale systems (HM, HH, AEH), pp. 1012–1021.
ICSE-2013-MemonC #modelling #testing #tool support #user interface: Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSE-2013-PaveseBU #estimation #reliability: Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
ICSE-2013-PradelG #concurrent #testing: Automatic testing of sequential and concurrent substitutability (MP, TRG), pp. 282–291.
ICSE-2013-ThummalapentaDSCGNS #case study #industrial #performance #testing: Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
ICSE-2013-WertHH #performance #problem: Supporting swift reaction: automatically uncovering performance problems by systematic experiments (AW, JH, LH), pp. 552–561.
ICSE-2013-Zhang04a #fault #java #named: ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSE-2013-ZhangE #fault: Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
SAC-2013-AlnusairZY #design #recognition #semantics #using: Automatic recognition of design motifs using semantic conditions (AA, TZ, GY), pp. 1062–1067.
SAC-2013-BerralGT #machine learning: Empowering automatic data-center management with machine learning (JLB, RG, JT), pp. 170–172.
SAC-2013-FuriaMOTW #random testing #testing: The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
SAC-2013-HerzogKHFK #identification #web: Feature-based object identification for web automation (CH, IK, WH, RRF, BKS), pp. 742–749.
SAC-2013-JungWKO #architecture #interactive #using: Heterogeneous device interaction using an IPv6 enabled service-oriented architecture for building automation systems (MJ, JW, WK, AO), pp. 1939–1941.
SAC-2013-MeloC #case study #difference #evolution #generative: Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.
SAC-2013-WestermannHF #empirical #performance #specification: An experiment specification language for goal-driven, automated performance evaluations (DW, JH, RF), pp. 1043–1048.
GPCE-2013-AnKGTS #framework #generative #in the cloud #modelling #performance #testing: Model-driven generative framework for automated OMG DDS performance testing in the cloud (KA, TK, ASG, ST, AS), pp. 179–182.
SLE-2013-BatoryGMS #design #graph grammar: Dark Knowledge and Graph Grammars in Automated Software Design (DSB, RG, BM, JS), pp. 1–18.
ASPLOS-2013-GiuffridaKT #operating system: Safe and automatic live update for operating systems (CG, AK, AST), pp. 279–292.
ASPLOS-2013-OhKJLA: Practical automatic loop specialization (TO, HK, NPJ, JWL, DIA), pp. 419–430.
ASPLOS-2013-SahooCGA #fault #invariant #locality #using: Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
ASPLOS-2013-SchulteDWF #assembly #embedded #source code: Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CASE-2013-ChenCLZZF #assembly #performance #process: Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASE-2013-ChenHCHW #maintenance #predict: Automatic baseline-sample-selection scheme for baseline predictive maintenance (CFC, YSH, FTC, HCH, SCW), pp. 183–188.
CASE-2013-Fries #agile #fault #fuzzy #multi #using: Automation of rapid fault diagnosis in manufacturing systems using multiple fuzzy agents (TPF), pp. 65–70.
CASE-2013-Holzmuller-LaueGT #modelling #workflow: Model-driven complex workflow automation for laboratories (SHL, BG, KT), pp. 758–763.
CASE-2013-HuMW #energy: Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.
CASE-2013-HuZL #performance #petri net #synthesis #using: Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.
CASE-2013-HuZL13a #distributed #petri net #scalability: Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASE-2013-JunKZRK: Automation for individualization of Kinect-based quantitative progressive exercise regimen (SkJ, SK, XZ, DKR, VNK), pp. 243–248.
CASE-2013-LanzaKPSS #analysis #detection #fault #using: Automated optical detection of particles and defects on a Li-Ion-cell surface using a single-point analysis (GL, AK, SP, AS, SS), pp. 675–680.
CASE-2013-LiK #generative #novel #reachability #reduction #testing: Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
CASE-2013-LiSZL #assessment #difference #quality #simulation: Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
CASE-2013-LuSLL #bibliography #recognition: Automatic recognition of spurious surface in building exterior survey (YL, DS, HL, JL), pp. 1047–1052.
CASE-2013-LuSXPO #graph #multi #using: Automatic building exterior mapping using multilayer feature graphs (YL, DS, YX, AGAP, SO), pp. 162–167.
CASE-2013-MashaeiL #concurrent #design: Concurrent design and control of automated material handling systems (MM, BL), pp. 292–299.
CASE-2013-Nieves-RiveraXJMZ #development: Development of a position sensitive device and control method for automated robot calibration (ENR, NX, YJ, CM, GZ), pp. 1127–1132.
CASE-2013-PerinF #modelling: Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
CASE-2013-RajaramanDSB #locality: Automated workpiece localization for robotic welding (MR, MDH, KS, DAB), pp. 681–686.
CASE-2013-SilvaCTS #linear #optimisation #programming: A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
CASE-2013-ZenobioCTS #architecture #named: EDISON: An innovative lighting architecture facilitating building automation (DDZ, NDC, ST, KS), pp. 231–236.
CC-2013-MooreC #generative #machine learning #policy #using: Automatic Generation of Program Affinity Policies Using Machine Learning (RWM, BRC), pp. 184–203.
CGO-2013-DuchateauPB #algebra #algorithm #equation #linear #named: Hydra: Automatic algorithm exploration from linear algebra equations (AD, DAP, DB), p. 10.
CGO-2013-HomescuNLBF: Profile-guided automated software diversity (AH, SN, PL, SB, MF), p. 11.
CGO-2013-HuangJBJA #parallel #runtime #using: Automatically exploiting cross-invocation parallelism using runtime information (JH, TBJ, SRB, NPJ, DIA), p. 11.
CGO-2013-KulkarniCWS #heuristic #machine learning #using: Automatic construction of inlining heuristics using machine learning (SK, JC, CW, DS), p. 12.
DAC-2013-Miskov-ZivanovMF #analysis #behaviour #design #network: Dynamic behavior of cell signaling networks: model design and analysis automation (NMZ, DM, JRF), p. 6.
DAC-2013-SalodkarRBB #design #multi: Automatic design rule correction in presence of multiple grids and track patterns (NS, SR, SB, SHB), p. 6.
DAC-2013-SchurmansZALACW #architecture #communication #modelling #using: Creation of ESL power models for communication architectures using automatic calibration (SS, DZ, DA, RL, GA, XC, LW), p. 58.
DAC-2013-ZhangLSSR #clustering: Automatic clustering of wafer spatial signatures (WZ, XL, SS, AJS, RAR), p. 6.
DATE-2013-AlieeGRT #analysis #fault #reliability<