BibSLEIGH — generative tag

generative

generative

Tag #generative

3276 papers:

CC-2020-PizzutiSD #functional #information retrieval #matrix #multi #performance: Generating fast sparse matrix vector multiplication from a high level generic functional IR (FP, MS, CD), pp. 85–95.
CGO-2020-CowanMCBC #automation #kernel #machine learning: Automatic generation of high-performance quantized machine learning kernels (MC, TM, TC, JB, LC), pp. 305–316.
CGO-2020-KrugerAB #api #named: CogniCryptGEN: generating code for the secure usage of crypto APIs (SK, KA0, EB), pp. 185–198.
CGO-2020-LeonardC #compilation #pseudo: Introducing the pseudorandom value generator selection in the compilation toolchain (ML, SC), pp. 256–267.
EDM-2019-UnnamTA #email #feedback: Grading emails and generating feedback (AU, RT, VA).
ICSME-2019-AlsharifKM #automation #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-ThungKJ0 #android #api #towards: Towards Generating Transformation Rules without Examples for Android API Replacement (FT, HJK, LJ, DL0), pp. 213–217.
MSR-2019-AlqaimiTT #automation #documentation #java: Automatically generating documentation for lambda expressions in Java (AA, PT, CT), pp. 310–320.
MSR-2019-LiuLZFDQ #commit #network #using: Generating commit messages from diffs using pointer-generator network (QL, ZL, HZ, HF, BD, YQ), pp. 299–309.
MSR-2019-SerraGPFGB #automation #effectiveness #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-GaoCXMSL #functional: A Neural Model for Method Name Generation from Functional Description (SG, CC, ZX, YM, WS, SWL), pp. 411–421.
SANER-2019-WangWSZ #contract #effectiveness #testing #towards: Towards Generating Cost-Effective Test-Suite for Ethereum Smart Contract (XW, HW, WS, YZ), pp. 549–553.
SCAM-2019-KashyapRKTSPHMS #automation #benchmark: Automated Customized Bug-Benchmark Generation (VK, JR, LK, ET, RS, SAP, JH, DM, ES), pp. 103–114.
SCAM-2019-MarcilioFB0 #analysis #automation: Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings (DM, CAF, RB, GP0), pp. 34–44.
SCAM-2019-StorerB #automation #behaviour #development #exclamation #testing: Behave Nicely! Automatic Generation of Code for Behaviour Driven Development Test Suites (TS, RB), pp. 228–237.
FM-2019-SogokonMTCP #framework #invariant #named: Pegasus: A Framework for Sound Continuous Invariant Generation (AS, SM, YKT, KC, AP), pp. 138–157.
AIIDE-2019-Makhmutov #adaptation #game studies #music: Adaptive Game Soundtrack Generation Based on Music Transcription (MM), pp. 216–218.
AIIDE-2019-OsbornDASDTWM #game studies: Is Your Game Generator Working? Evaluating Gemini, an Intentional Generator (JCO, MD, BRA, AS, JD, DT, NWF, MM), pp. 59–65.
CoG-2019-AbdullahPTHB: An Angry Birds Level Generator with Rube Goldberg Machine Mechanisms (FA, PP, RT, TH, FAB), pp. 1–8.
CoG-2019-AbuzuraiqFP #clustering #framework #graph #named: Taksim: A Constrained Graph Partitioning Framework for Procedural Content Generation (AMA, AF, PP), pp. 1–8.
CoG-2019-AshlockS19a #automation #representation #what: Automatic Generation of Level Maps with the Do What's Possible Representation (DA, CS), pp. 1–8.
CoG-2019-CookCGS: General Analytical Techniques For Parameter-Based Procedural Content Generators (MC0, SC, JG, GS), pp. 1–8.
CoG-2019-DragesetWGL #game studies #optimisation #video: Optimising Level Generators for General Video Game AI (OD, MHMW, RDG, DPL), pp. 1–8.
CoG-2019-GiacomelloLL #network: Searching the Latent Space of a Generative Adversarial Network to Generate DOOM Levels (EG, PLL, DL), pp. 1–8.
CoG-2019-GravinaKLTY #quality: Procedural Content Generation through Quality Diversity (DG, AK, AL, JT, GNY), pp. 1–8.
CoG-2019-IshiiITH #game studies #using: A Fighting Game AI Using Highlight Cues for Generation of Entertaining Gameplay (RI, SI, RT, TH), pp. 1–6.
CoG-2019-JaschekBGR: Mysterious Murder - MCTS-driven Murder Mystery Generation (CJ, TB, JAG, WLR), pp. 1–8.
CoG-2019-KimLLHK #algorithm #automation #game studies #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 #automation #automaton: Automatic Generation of Diverse Cavern Maps with Morphing Cellular Automata (MK, DA, RP), pp. 1–8.
CoG-2019-LipinskiSRA #graph #incremental #using: Level Graph - Incremental Procedural Generation of Indoor Levels using Minimum Spanning Trees (BvRL, SS, JR, DA), pp. 1–7.
CoG-2019-NamI #game studies #learning #using: Generation of Diverse Stages in Turn-Based Role-Playing Game using Reinforcement Learning (SN, KI), pp. 1–8.
CoG-2019-ParkMMBWL #education #game studies #multi #network: Generating Educational Game Levels with Multistep Deep Convolutional Generative Adversarial Networks (KP, BWM, WM, KEB, ENW, JCL), pp. 1–8.
CoG-2019-SpickCW #learning #using: Procedural Generation using Spatial GANs for Region-Specific Learning of Elevation Data (RJS, PC, JAW), pp. 1–8.
CoG-2019-ThakkarCWCT #algorithm: Autoencoder and Evolutionary Algorithm for Level Generation in Lode Runner (ST, CC, LW, TJC, JT), pp. 1–4.
FDG-2019-Al-NajjarH: A creative dialog generator for fallout 4 (KAN, MH), p. 4.
FDG-2019-BalintB #representation #semantics: A generalized semantic representation for procedural generation of rooms (JTB, RB), p. 8.
FDG-2019-GandhiH #modelling #probability #using #visual notation: Guided open story generation using probabilistic graphical models (SG, BH), p. 7.
FDG-2019-GarbeKSWM #named: StoryAssembler: an engine for generating dynamic choice-driven narratives (JG, MK, BS, NWF, MM), p. 10.
FDG-2019-GreenKASLT: Two-step constructive approaches for dungeon generation (MCG, AK, AA, DS, AL, JT), p. 7.
FDG-2019-GreenST: Organic building generation in minecraft (MCG, CS, JT), p. 7.
FDG-2019-JuradoGM #social: Non-player character personality and social connection generation (EJ, KEG, JM), p. 7.
FDG-2019-KimGWC: Design-centric maze generation (PHK, JG, SW, RC), p. 9.
FDG-2019-KoonsH #game studies #music: Intrinsically musical game worlds: abstract music generation as a result of gameplay (NK, MH), p. 4.
FDG-2019-KreminskiKW: Generators that read (MK, IK, NWF), p. 7.
FDG-2019-KreminskiW #game studies: Generative games as storytelling partners (MK, NWF), p. 8.
FDG-2019-LaBouveMK #semantics #web: Enhancing story generation with the semantic web (EL, EM, FK), p. 11.
FDG-2019-LiGH #game studies #multi #using #video: End-to-end let's play commentary generation using multi-modal video representations (CL0, SG, BH), p. 7.
FDG-2019-LiuLLMHSWCGLDT #automation #using: Automatic generation of tower defense levels using PCG (SCL, CL, YL, HM, XH, YS, LW, ZC, XG, HL, YD, QT), p. 9.
FDG-2019-MasonSW #named: Lume: a system for procedural story generation (SM, CS, NWF), p. 9.
FDG-2019-MobramaeinW #design #interface #natural language: A methodology for designing natural language interfaces for procedural content generation (AM, JW), p. 9.
FDG-2019-SongW #evolution #named #network: TownSim: agent-based city evolution for naturalistic road network generation (AS, JW), p. 9.
ICGJ-2019-GamaRGGCFS #crowdsourcing: Mapathons and Hackathons to Crowdsource the Generation and Usage of Geographic Data (KG, VR, CG, BAG, SC, NF, NS), p. 5.
CIKM-2019-0002LMGZZH #automation #chat #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-ChenWCKQ #dataset #query #towards: Towards More Usable Dataset Search: From Query Characterization to Snippet Generation (JC, XW, GC0, EK, YQ), pp. 2445–2448.
CIKM-2019-KangM #recommendation #scalability: Candidate Generation with Binary Codes for Large-Scale Top-N Recommendation (WCK, JJM), pp. 1523–1532.
CIKM-2019-LiuD0SGWZRXCM #persuasion #visual notation: Generating Persuasive Visual Storylines for Promotional Videos (CL0, YD, HY0, ZS, ZG, PW, CZ, PR, XX, LC, CM), pp. 901–910.
CIKM-2019-LiuLLD0 #information management #topic: Generating Paraphrase with Topic as Prior Knowledge (YL, ZL, FL, QD, WW0), pp. 2381–2384.
CIKM-2019-LiuZYCY #learning #refinement: Generative Question Refinement with Deep Reinforcement Learning in Retrieval-based QA System (YL, CZ, XY, YC, PSY), pp. 1643–1652.
CIKM-2019-PangWZG0 #design #named #network: NAD: Neural Network Aided Design for Textile Pattern Generation (ZP, SW, DZ, YG, GC0), pp. 2081–2084.
CIKM-2019-ZhangLY #towards: Towards the Gradient Vanishing, Divergence Mismatching and Mode Collapse of Generative Adversarial Nets (ZZ, CL, JY), pp. 2377–2380.
ECIR-p1-2019-MisawaMTO #multi: Multiple Keyphrase Generation Model with Diversity (SM, YM, MT, TO), pp. 869–876.
ECIR-p1-2019-SinghSVGMC #automation #comparative: Automated Early Leaderboard Generation from Comparative Tables (MS0, RS, AV, PG, AM0, SC), pp. 244–257.
ECIR-p2-2019-GavrilovKM #self: Self-attentive Model for Headline Generation (DG, PK, VM), pp. 87–93.
ECIR-p2-2019-NayeemFC: Neural Diverse Abstractive Sentence Compression Generation (MTN, TAF, YC), pp. 109–116.
ECIR-p2-2019-PasqualiMCJJ #automation #interactive: Interactive System for Automatically Generating Temporal Narratives (AP, VM, RC0, AMJ, AJ), pp. 251–255.
ICML-2019-AlbuquerqueMDCF #multi #network: Multi-objective training of Generative Adversarial Networks with multiple discriminators (IA, JM, TD, BC, THF, IM), pp. 202–211.
ICML-2019-BunneA0J #learning #modelling: Learning Generative Models across Incomparable Spaces (CB, DAM, AK0, SJ), pp. 851–861.
ICML-2019-Chen0LJQS #learning #recommendation: Generative Adversarial User Model for Reinforcement Learning Based Recommendation System (XC, SL0, HL, SJ, YQ, LS), pp. 1052–1061.
ICML-2019-ChenTZB00 #approach #network: A Gradual, Semi-Discrete Approach to Generative Network Training via Explicit Wasserstein Minimization (YC, MT, CZ, BB, DH0, JP0), pp. 1071–1080.
ICML-2019-DuklerLLM #learning #modelling: Wasserstein of Wasserstein Loss for Learning Generative Models (YD, WL, ATL, GM), pp. 1716–1725.
ICML-2019-FuLTL #black box #metric #named #network #optimisation #speech: MetricGAN: Generative Adversarial Networks based Black-box Metric Scores Optimization for Speech Enhancement (SWF, CFL, YT0, SDL), pp. 2031–2041.
ICML-2019-GaoJWWYZ #learning: Deep Generative Learning via Variational Gradient Flow (YG, YJ, YW, YW0, CY, SZ), pp. 2093–2101.
ICML-2019-GroverZE #graph #modelling #named: Graphite: Iterative Generative Modeling of Graphs (AG, AZ, SE), pp. 2434–2444.
ICML-2019-HoCSDA #architecture #design #modelling: Flow++: Improving Flow-Based Generative Models with Variational Dequantization and Architecture Design (JH, XC0, AS, YD, PA), pp. 2722–2730.
ICML-2019-HoogeboomBW #normalisation: Emerging Convolutions for Generative Normalizing Flows (EH, RvdB, MW), pp. 2771–2780.
ICML-2019-HsiehLC #nash #network: Finding Mixed Nash Equilibria of Generative Adversarial Networks (YPH, CL, VC), pp. 2810–2819.
ICML-2019-HwangJY #classification #named: HexaGAN: Generative Adversarial Nets for Real World Classification (UH, DJ, SY), pp. 2921–2930.
ICML-2019-KimLSKY: FloWaveNet : A Generative Flow for Raw Audio (SK, SgL, JS, JK, SY), pp. 3370–3378.
ICML-2019-LeeYLLLS #classification #robust: Robust Inference via Generative Classifiers for Handling Noisy Labels (KL, SY, KL, HL, BL, JS), pp. 3763–3772.
ICML-2019-LiBS #classification #question #robust: Are Generative Classifiers More Robust to Adversarial Attacks? (YL, JB, YS), pp. 3804–3814.
ICML-2019-LiutkusSMDS #modelling #parametricity: Sliced-Wasserstein Flows: Nonparametric Generative Modeling via Optimal Transport and Diffusions (AL, US, SM, AD, FRS), pp. 4104–4113.
ICML-2019-LucicTRZBG #image: High-Fidelity Image Generation With Fewer Labels (ML, MT, MR, XZ, OB, SG), pp. 4183–4192.
ICML-2019-LuYFZ0 #modelling #named: CoT: Cooperative Training for Generative Modeling of Discrete Data (SL, LY, SF, YZ, WZ0), pp. 4164–4172.
ICML-2019-MarafiotiPHM #synthesis: Adversarial Generation of Time-Frequency Features with application in audio synthesis (AM, NP, NH, PM), pp. 4352–4362.
ICML-2019-MatteiF #modelling #named #semistructured data #set: MIWAE: Deep Generative Modelling and Imputation of Incomplete Data Sets (PAM, JF), pp. 4413–4423.
ICML-2019-MollenhoffC #metric #modelling: Flat Metric Minimization with Applications in Generative Modeling (TM, DC), pp. 4626–4635.
ICML-2019-PappasH: Deep Residual Output Layers for Neural Language Generation (NP0, JH), pp. 5000–5011.
ICML-2019-RatzlaffL #named #network: HyperGAN: A Generative Model for Diverse, Performant Neural Networks (NR, FL), pp. 5361–5369.
ICML-2019-SimonWR #modelling #precise: Revisiting precision recall definition for generative modeling (LS, RW, JR), pp. 5799–5808.
ICML-2019-SinghTJGB #network #parametricity: Non-Parametric Priors For Generative Adversarial Networks (RS, PKT, SJ, RG, MWB), pp. 5838–5847.
ICML-2019-SongTQLL #named #sequence: MASS: Masked Sequence to Sequence Pre-training for Language Generation (KS, XT, TQ, JL, TYL), pp. 5926–5936.
ICML-2019-SternCKU #flexibility #sequence: Insertion Transformer: Flexible Sequence Generation via Insertion Operations (MS, WC, JK, JU), pp. 5976–5985.
ICML-2019-TranDRC #learning: Bayesian Generative Active Deep Learning (TT, TTD, IDR0, GC), pp. 6295–6304.
ICML-2019-TurnerHFSY #network: Metropolis-Hastings Generative Adversarial Networks (RDT, JH, EF, YS, JY), pp. 6345–6353.
ICML-2019-WeiYW #modelling #on the #statistics: On the statistical rate of nonlinear recovery in generative models with heavy-tailed data (XW, ZY, ZW), pp. 6697–6706.
ICML-2019-WelleckBDC: Non-Monotonic Sequential Text Generation (SW, KB, HDI, KC), pp. 6716–6726.
ICML-2019-YoungBN #learning #modelling #synthesis: Learning Neurosymbolic Generative Models via Program Synthesis (HY, OB, MN), pp. 7144–7153.
ICML-2019-YuanLX #composition #infinity #modelling #representation: Generative Modeling of Infinite Occluded Objects for Compositional Scene Representation (JY, BL, XX), pp. 7222–7231.
ICML-2019-ZhangGMO #network #self: Self-Attention Generative Adversarial Networks (HZ0, IJG, DNM, AO), pp. 7354–7363.
ICML-2019-ZhouLSYW00Z: Lipschitz Generative Adversarial Nets (ZZ, JL, YS, LY, HW, WZ0, YY0, ZZ), pp. 7584–7593.
KDD-2019-ChenHXGGSLPZZ #named #personalisation #recommendation: POG: Personalized Outfit Generation for Fashion Recommendation at Alibaba iFashion (WC, PH, JX, XG, CG, FS, CL, AP, HZ, BZ), pp. 2662–2670.
KDD-2019-ChenLZYZ0 #e-commerce #knowledge-based #personalisation #towards: Towards Knowledge-Based Personalized Product Description Generation in E-commerce (QC, JL, YZ, HY, JZ, JT0), pp. 3040–3050.
KDD-2019-FanGZMSL #named #towards: MOBIUS: Towards the Next Generation of Query-Ad Matching in Baidu's Sponsored Search (MF, JG, SZ, SM, MS, PL0), pp. 2509–2517.
KDD-2019-GaoPH19a #named #network #proximity: ProGAN: Network Embedding via Proximity Generative Adversarial Network (HG, JP, HH), pp. 1308–1316.
KDD-2019-HanNCLHX #approach #recommendation: A Deep Generative Approach to Search Extrapolation and Recommendation (FXH, DN, HC, KL, YH, YX), pp. 1771–1779.
KDD-2019-HughesCZ #learning: Generating Better Search Engine Text Advertisements with Deep Reinforcement Learning (JWH, KhC, RZ), pp. 2269–2277.
KDD-2019-JhaXWZ #co-evolution #concept: Hypothesis Generation From Text Based On Co-Evolution Of Biomedical Concepts (KJ, GX, YW, AZ), pp. 843–851.
KDD-2019-LiuWXLY #automation #summary: Automatic Dialogue Summary Generation for Customer Service (CL, PW, JX, ZL, JY), pp. 1957–1965.
KDD-2019-Nemani: Earth Observations from a New Generation of Geostationary Satellites (RRN), p. 3171.
KDD-2019-WangYWNHC #collaboration: Enhancing Collaborative Filtering with Generative Augmentation (QW, HY, HW, QVHN, ZH, LC), pp. 548–556.
MoDELS-2019-BurduselZ0 #automation #consistency #search-based: Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering (AB, SZ, SJ0), pp. 106–116.
MoDELS-2019-GarciaDLSKB #development: Bootstrapping MDE Development from ROS Manual Code - Part 2: Model Generation (NHG, LD, ML, AS, BK, MB), pp. 95–105.
ECOOP-2019-GilR #api: Fling - A Fluent API Generator (YG, OR), p. 25.
OOPSLA-2019-BavishiLFSS #named #synthesis: AutoPandas: neural-backed generators for program synthesis (RB, CL, RF, KS, IS), p. 27.
OOPSLA-2019-RahmaniNDJ #consistency #database #named #testing: CLOTHO: directed test generation for weakly consistent database systems (KR, KN, BD, SJ), p. 28.
OOPSLA-2019-WuCHS0 #approach #fault #learning #precise #specification: Generating precise error specifications for C: a zero shot learning approach (BW, JPCI, YH, AS, SC0), p. 30.
OOPSLA-2019-YamazakiNIC #api #lr #syntax: Generating a fluent API with syntax checking from an LR grammar (TY, TN, KI, SC), p. 24.
PADL-2019-NguyenSP #natural language #ontology: Natural Language Generation from Ontologies (VN, TCS, EP), pp. 64–81.
PEPM-2019-YallopK #recursion: Generating mutually recursive definitions (JY, OK), pp. 75–81.
PLDI-2019-AstorgaMSWX #learning: Learning stateful preconditions modulo a test generator (AA, PM, SS, SW, TX0), pp. 775–787.
PLDI-2019-AugustineSP0: Generating piecewise-regular code from irregular structures (TA, JS, LNP, GR0), pp. 625–639.
PLDI-2019-CampagnaXMSL #named #natural language #parsing #semantics: Genie: a generator of natural language semantic parsers for virtual assistant commands (GC, SX, MM, RS, MSL), pp. 394–410.
PLDI-2019-FremontDGYSS #named #specification: Scenic: a language for scenario specification and scene generation (DJF, TD, SG, XY, ALSV, SAS), pp. 63–78.
POPL-2019-WangH #worst-case: Type-guided worst-case input generation (DW, JH0), p. 30.
ASE-2019-AfzalACCDDKV #abstraction #testing #verification: VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.
ASE-2019-AhmedSSK #compilation #fault: Targeted Example Generation for Compilation Errors (UZA, RS, NS, AK), pp. 327–338.
ASE-2019-BaoLWF #automation #named #network: ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks (LB, XL, FW, BF), pp. 465–476.
ASE-2019-ChenSHWL #behaviour #case study #experience #testing #using: An Experience Report of Generating Load Tests Using Log-Recovered Workloads at Varying Granularities of User Behaviour (JC, WS, AEH, YW, JL), pp. 669–681.
ASE-2019-ChenWHXZZ #compilation: History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
ASE-2019-Escobar-Velasquez #android #named: MutAPK: Source-Codeless Mutant Generation for Android Apps (CEV, MOR, MLV), pp. 1090–1093.
ASE-2019-GaoZX0LK #automation #overview: Automating App Review Response Generation (CG, JZ, XX0, DL0, MRL, IK), pp. 163–175.
ASE-2019-GodioBPAF #performance #test coverage #testing: Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASE-2019-Jiang #analysis #commit #semantics: Boosting Neural Commit Message Generation with Code Semantic Analysis (SJ), pp. 1280–1282.
ASE-2019-Kolthoff #automation #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 #automation: Automatic Generation of Pull Request Descriptions (ZL, XX0, CT, DL0, SL), pp. 176–188.
ASE-2019-Lukasczyk #dynamic typing #source code #testing: Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
ASE-2019-Wei: Retrieve and Refine: Exemplar-Based Neural Comment Generation (BW), pp. 1250–1252.
ASE-2019-Yu19a #comprehension #crowdsourcing #debugging: Crowdsourced Report Generation via Bug Screenshot Understanding (SY), pp. 1277–1279.
ESEC-FSE-2019-BabicBCIKKLSW #named #scalability: FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.
ESEC-FSE-2019-BiagiolaSRT #testing #web: Diversity-based web test generation (MB, AS, FR, PT), pp. 142–153.
ESEC-FSE-2019-CaiWXH00X #named #stack overflow #summary: AnswerBot: an answer summary generation tool based on stack overflow (LC, HW, BX, QH, XX0, DL0, ZX), pp. 1134–1138.
ESEC-FSE-2019-ChekamPT #named: Mart: a mutant generation tool for LLVM (TTC, MP, YLT), pp. 1080–1084.
ESEC-FSE-2019-ChenHSZHZ #compilation #debugging #effectiveness: Compiler bug isolation via effective witness test program generation (JC, JH, PS, LZ, DH, LZ0), pp. 223–234.
ESEC-FSE-2019-GambiHF #effectiveness #self #testing: Generating effective test cases for self-driving cars from police reports (AG, TH, GF), pp. 257–267.
ESEC-FSE-2019-JinWXPDQ0X #named #testing: FinExpert: domain-specific test generation for FinTech systems (TJ, QW, LX, CP, LD, HQ, LH0, TX), pp. 853–862.
ESEC-FSE-2019-LinCLLZ #algorithm #combinator #metaheuristic #performance #testing #towards: Towards more efficient meta-heuristic algorithms for combinatorial test generation (JL, SC, CL, QL, HZ0), pp. 212–222.
ESEC-FSE-2019-Liu0MXXXL #api #summary: Generating query-specific class API summaries (ML, XP0, AM, ZX, WX, SX, YL), pp. 120–130.
ESEC-FSE-2019-MenghiNGB #automation #behaviour #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.
ICSE-2019-ChenFCSLLX #android #automation #named: StoryDroid: automated generation of storyboard for Android apps (SC, LF, CC, TS, WL, YL0, LX), pp. 596–607.
ICSE-2019-LeClairJM #natural language #summary: A neural model for generating natural language summaries of program subroutines (AL, SJ, CM), pp. 795–806.
ICSE-2019-MotwaniB #automation #natural language #precise #specification: Automatically generating precise Oracles from structured natural language specifications (MM, YB), pp. 188–199.
GPCE-2019-ShaikhhaJK #compilation #domain-specific language #embedded: Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
SLE-2019-PacakE #incremental: Generating incremental type services (AP, SE), pp. 197–201.
SLE-2019-RaselimoTF #fault #parsing #source code #syntax: Breaking parsers: mutation-based generation of programs with guaranteed syntax errors (MR, JT, BF0), pp. 83–87.
CASE-2019-AhlersWH0 #3d: 3D Printing of Nonplanar Layers for Smooth Surface Generation (DA, FW, NH, JZ0), pp. 1737–1743.
CASE-2019-AhmedG0 #approach #detection #named #online: O-LoMST: An Online Anomaly Detection Approach And Its Application In A Hydropower Generation Plant (IA, TG, YD0), pp. 762–767.
CASE-2019-CarliDP #approach #distributed #energy #game studies #scheduling: A Distributed Control Approach Based on Game Theory for the Optimal Energy Scheduling of a Residential Microgrid with Shared Generation and Storage (RC, MD, VP), pp. 960–965.
CASE-2019-EdmondsYSW #multi: Generation of High-Density Hyperspectral Point Clouds of Crops with Robotic Multi-Camera Planning (ME, JY, NKS, LMW), pp. 1475–1480.
CASE-2019-KuoCCTHLCWHS #fault #industrial: A Labor-Efficient GAN-based Model Generation Scheme for Deep-Learning Defect Inspection among Dense Beans in Coffee Industry (CJK, CCC, TTC, ZJT, MHH, YCL, YCC, DCW, GJH, WTS), pp. 263–270.
CASE-2019-NiuLNLW #detection #fault #named #network #using: DefectGAN: Weakly-Supervised Defect Detection using Generative Adversarial Network (SN, HL, TN, BL, XW), pp. 127–132.
CASE-2019-WindRS: Time-Optimal Playback Trajectory Generation for Hydraulic Material Handling Excavator (HW, AR, OS), pp. 1315–1320.
CGO-2019-GonzaloHGHMH #automation #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-KimK #hardware #using: Translating CUDA to OpenCL for Hardware Generation using Neural Machine Translation (YK, HK), pp. 285–286.
CGO-2019-RodriguesGP #array #bound #in memory: Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages (MR, BG, FMQP), pp. 136–148.
FASE-2019-ZweihoffNS #collaboration #modelling #named #online: Pyro: Generating Domain-Specific Collaborative Online Modeling Environments (PZ, SN, BS), pp. 101–115.
CADE-2019-GutierrezL #automation #logic #modelling: Automatic Generation of Logical Models with AGES (RG, SL), pp. 287–299.
CAV-2019-EmmiE #concurrent #named #refinement #testing: Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.
ICST-2019-KooS0B #automation #learning #named #testing #worst-case: PySE: Automatic Worst-Case Test Generation by Reinforcement Learning (JK, CS, MK0, SB), pp. 136–147.
ICST-2019-SaumyaK0B #automation #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-TerragniPB #dependence #parallel #testing #thread: Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies (VT, MP, FAB), pp. 264–275.
ICTSS-2019-BombardaBGRDL #consistency #protocol #refinement #state machine #testing #using: Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines (AB, SB, AG, MR, FD, YL), pp. 67–85.
ICTSS-2019-NakajimaC #dataset #machine learning #source code #testing: Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs (SN0, TYC), pp. 56–64.
ICTSS-2019-SamsonV #architecture #automation #component #testing: Automatic Generation of Test Oracles from Component Based Software Architectures (MS, TV), pp. 261–269.
TAP-2019-AngelisFPPP #for free #testing: Property-Based Test Case Generators for Free (EDA, FF, AP, AP, MP), pp. 186–206.
TAP-2019-LavillonniereMC #algorithm #automation #formal method #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.
EDM-2018-TranLCGSBM #design #documentation #learning: Document Chunking and Learning Objective Generation for Instruction Design (KNT, JHL, DC, UG, BS, CJB, MKM).
ICPC-2018-HuLXLJ: Deep code comment generation (XH, GL, XX0, DL0, ZJ), pp. 200–210.
ICSME-2018-FrickG0P #difference #using: Generating Accurate and Compact Edit Scripts Using Tree Differencing (VF, TG, FB0, MP0), pp. 264–274.
ICSME-2018-KrasniqiM #component #developer #speech: TraceLab Components for Generating Speech Act Types in Developer Question/Answer Conversations (RK, CM), p. 713.
SANER-2018-LiuZFJ #crowdsourcing #testing: Generating descriptions for screenshots to assist crowdsourced testing (DL, XZ, YF, JAJ), pp. 492–496.
FM-2018-PutterW #analysis #composition: To Compose, or Not to Compose, That Is the Question: An Analysis of Compositional State Space Generation (SdP, AW), pp. 485–504.
IFM-2018-SchmidtKL #formal method #modelling #synthesis #using: Repair and Generation of Formal Models Using Synthesis (JS, SK, ML), pp. 346–366.
SEFM-2018-Choi #automation #source code #validation: Automated Validation of IoT Device Control Programs Through Domain-Specific Model Generation (YC), pp. 254–268.
Haskell-2018-MistaRH #branch #process #quickcheck: Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
AIIDE-2018-Azad #towards: Towards Generating Narratives for the Real World (SA), pp. 282–284.
AIIDE-2018-BeaupreWBS #approach #design pattern #multi: A Design Pattern Approach for Multi-Game Level Generation (SB, TW, SB, GS), pp. 145–151.
AIIDE-2018-ChenG #domain-specific language #named: GIGL: A Domain Specific Language for Procedural Content Generation with Grammatical Representations (TC, SJG), pp. 9–16.
AIIDE-2018-ScurtiV: Generating Paths with WFC (HS, CV), pp. 271–274.
AIIDE-2018-SturtevantO: Exhaustive and Semi-Exhaustive Procedural Content Generation (NRS, MJO), pp. 109–115.
AIIDE-2018-Summerville #evaluation: Expanding Expressive Range: Evaluation Methodologies for Procedural Content Generation (AS), pp. 116–122.
AIIDE-2018-SummervilleMSOW #analysis #bidirectional #game studies #named: Gemini: Bidirectional Generation and Analysis of Games via ASP (AS, CM, BS, JCO, NWF, MM), pp. 123–129.
CHI-PLAY-2018-EllisPA: Toddler Techie Touch Generation (KE, MP, DWA), pp. 127–139.
CIG-2018-KowalskiMPPPS: Strategic Features and Terrain Generation for Balanced Heroes of Might and Magic III Maps (JK, RM, PP, MP, KP, JS), pp. 1–8.
CIG-2018-KraaijerKMR #game studies #geometry #graph: Geometry and Generation of a New Graph Planarity Game (RK, MJvK, WM, AvR), pp. 1–8.
CIG-2018-RuelaD: Scale-Free Evolutionary Level Generation (ASR, KVD), pp. 1–8.
CIG-2018-SilvaTLN #heuristic: Generating Novice Heuristics for Post-Flop Poker (FdMS, JT, FL, AN), pp. 1–8.
DiGRA-2018-Karth #game studies: Preliminary Poetics of Procedural Generation in Games (IK).
FDG-2018-BichoM #modelling #multi: Multi-dimensional player skill progression modelling for procedural content generation (FB, CM), p. 10.
FDG-2018-GreenKBNT #education: Generating levels that teach mechanics (MCG, AK, GABB, AN, JT), p. 8.
FDG-2018-RozenH #quality: Measuring quality of grammars for procedural level generation (RvR, QH), p. 8.
FDG-2018-SalgeGCT #contest #design: Generative design in minecraft (GDMC): settlement generation competition (CS, MCG, RC, JT), p. 10.
FDG-2018-SmithPV #graph #programming #set #using: Graph-based generation of action-adventure dungeon levels using answer set programming (TS0, JAP, AV), p. 10.
FDG-2018-StegerenT #game studies #towards: Towards generating textual game assets from real-world data (JvS, MT), p. 4.
FDG-2018-SullivanEC: Tarot-based narrative generation (AS, MPE, MC0), p. 7.
FDG-2018-ZhuWZ #analysis #game studies #similarity: Exploring the similarity between game events for game level analysis and generation (TZ0, BW, MZ), p. 7.
CIKM-2018-ANR #algorithm #higher-order #scalability #using: A Scalable Algorithm for Higher-order Features Generation using MinHash (PA, NN, RR), pp. 1213–1222.
CIKM-2018-ChaeKKL #collaboration #framework #named #network: CFGAN: A Generic Collaborative Filtering Framework based on Generative Adversarial Networks (DKC, JSK, SWK, JTL), pp. 137–146.
CIKM-2018-DingTZ #graph #learning: Semi-supervised Learning on Graphs with Generative Adversarial Nets (MD, JT, JZ), pp. 913–922.
CIKM-2018-JinLRCLZY: Explicit State Tracking with Semi-Supervisionfor Neural Dialogue Generation (XJ, WL, ZR, HC, SL, YZ, DY), pp. 1403–1412.
CIKM-2018-LiuPZJH #keyword #natural language #problem #query: Generating Keyword Queries for Natural Language Queries to Alleviate Lexical Chasm Problem (XL, SP, QZ0, YGJ, XH), pp. 1163–1172.
CIKM-2018-LiWZ #estimation: Weakly-Supervised Generative Adversarial Nets with Auxiliary Information for Wireless Coverage Estimation (ZL, HW, MZ), pp. 1851–1854.
CIKM-2018-ZhangGFLXCC: Question Headline Generation for News Articles (RZ, JG, YF, YL, JX0, HC, XC), pp. 617–626.
ECIR-2018-AsgharPHJM: Affective Neural Response Generation (NA, PP, JH, XJ, LM), pp. 154–166.
ECIR-2018-DingZGB #query: Generating High-Quality Query Suggestion Candidates for Task-Based Search (HD, SZ0, DG, KB), pp. 625–631.
ECIR-2018-SamantaM: Generating Adversarial Text Samples (SS, SM), pp. 744–749.
ICML-2018-AchlioptasDMG #3d #learning #modelling: Learning Representations and Generative Models for 3D Point Clouds (PA, OD, IM, LJG), pp. 40–49.
ICML-2018-AdelGW #modelling: Discovering Interpretable Representations for Both Deep Generative and Discriminative Models (TA, ZG, AW), pp. 50–59.
ICML-2018-BacciuEM #approach #graph #markov: Contextual Graph Markov Model: A Deep and Generative Approach to Graph Processing (DB, FE, AM), pp. 304–313.
ICML-2018-BangS #network #using: Improved Training of Generative Adversarial Networks using Representative Features (DB, HS), pp. 442–451.
ICML-2018-BojanowskiJLS #network #optimisation: Optimizing the Latent Space of Generative Networks (PB, AJ, DLP, AS), pp. 599–608.
ICML-2018-BojchevskiSZG #graph #named #random: NetGAN: Generating Graphs via Random Walks (AB, OS, DZ, SG), pp. 609–618.
ICML-2018-ChenMRA #named: PixelSNAIL: An Improved Autoregressive Generative Model (XC0, NM, MR, PA), pp. 863–871.
ICML-2018-ChePLJL #modelling #multi: Hierarchical Deep Generative Models for Multi-Rate Multivariate Time Series (ZC, SP, MGL, BJ, YL0), pp. 783–792.
ICML-2018-DentonF #probability #video: Stochastic Video Generation with a Learned Prior (ED, RF), pp. 1182–1191.
ICML-2018-DharGE #modelling #using: Modeling Sparse Deviations for Compressed Sensing using Generative Models (MD, AG, SE), pp. 1222–1231.
ICML-2018-FlorensaHGA #automation #learning: Automatic Goal Generation for Reinforcement Learning Agents (CF, DH, XG, PA), pp. 1514–1523.
ICML-2018-FraccaroRZPEV #memory management #modelling: Generative Temporal Models with Spatial Memory for Partially Observed Environments (MF, DJR, YZ, AP, SMAE, FV), pp. 1544–1553.
ICML-2018-JinBJ #graph: Junction Tree Variational Autoencoder for Molecular Graph Generation (WJ, RB, TSJ), pp. 2328–2337.
ICML-2018-Johnson0 #functional #learning #modelling: Composite Functional Gradient Learning of Generative Adversarial Models (RJ, TZ0), pp. 2376–2384.
ICML-2018-KhrulkovO #geometry #network: Geometry Score: A Method For Comparing Generative Adversarial Networks (VK, IVO), pp. 2626–2634.
ICML-2018-OdenaBOBORG #performance #question: Is Generator Conditioning Causally Related to GAN Performance? (AO, JB, CO, TBB, CO, CR, IJG), pp. 3846–3855.
ICML-2018-OstrovskiDM #modelling #network: Autoregressive Quantile Networks for Generative Modeling (GO, WD, RM), pp. 3933–3942.
ICML-2018-PuDGWWZHC #learning #multi #named: JointGAN: Multi-Domain Joint Distribution Learning with Generative Adversarial Nets (YP, SD, ZG, WW, GW0, YZ, RH, LC), pp. 4148–4157.
ICML-2018-RavuriMRV #learning #modelling: Learning Implicit Generative Models with the Method of Learned Moments (SVR, SM, MR, OV), pp. 4311–4320.
ICML-2018-SewardUBJH #first-order #network: First Order Generative Adversarial Networks (CS, TU, UB, NJ, SH), pp. 4574–4583.
ICML-2018-TaoCHFC #network: Chi-square Generative Adversarial Network (CT, LC, RH, JF, LC), pp. 4894–4903.
ICML-2018-YaratsL: Hierarchical Text Generation and Planning for Strategic Dialogue (DY, ML), pp. 5587–5595.
ICML-2018-YoonJS #named #using: GAIN: Missing Data Imputation using Generative Adversarial Nets (JY, JJ, MvdS), pp. 5675–5684.
ICML-2018-YoonJS18a #dataset #modelling #multi #named #network #predict #using: RadialGAN: Leveraging multiple datasets to improve target-specific predictive models using Generative Adversarial Networks (JY, JJ, MvdS), pp. 5685–5693.
ICML-2018-YouYRHL #graph #modelling #named: GraphRNN: Generating Realistic Graphs with Deep Auto-regressive Models (JY, RY, XR, WLH, JL), pp. 5694–5703.
ICPR-2018-BhuniaBBKB0P18a #image #network #using #word: Word Level Font-to-Font Image Translation using Convolutional Recurrent Generative Adversarial Networks (AKB, AKB, PB, AK, AB, PPR0, UP0), pp. 3645–3650.
ICPR-2018-ChenDCWL: Joint Denoising and Super-Resolution via Generative Adversarial Training (LC, WD, LC, CW0, JL), pp. 2753–2758.
ICPR-2018-DingLXKS #network #recognition #robust #speech #towards: Mutual-optimization Towards Generative Adversarial Networks For Robust Speech Recognition (KD, NL, YX, DK, KS), pp. 2699–2704.
ICPR-2018-HanXW #learning #multi #network #representation: Learning Multi-view Generator Network for Shared Representation (TH0, XX, YNW), pp. 2062–2068.
ICPR-2018-KingkanH: Generating Mesh-based Shapes From Learned Latent Spaces of Point Clouds with VAE-GAN (CK, KH), pp. 308–313.
ICPR-2018-KonwerBBBB0P #network #using: Staff line Removal using Generative Adversarial Networks (AK, AKB, AB, AKB, PB, PPR0, UP0), pp. 1103–1108.
ICPR-2018-LiCY #classification #feature model #image: Generative Band Feature Enhancement for Hyperspectral Image Classification (JL, FC, DY), pp. 1918–1923.
ICPR-2018-LiHLHS #consistency #network: Global and Local Consistent Age Generative Adversarial Networks (PL, YH, QL0, RH, ZS), pp. 1073–1078.
ICPR-2018-LiuGCL #network: An Extensive Study of Cycle-Consistent Generative Networks for Image-to-Image Translation (YL0, YG, WC, MSL), pp. 219–224.
ICPR-2018-LuoKW #image #network #synthesis: Traffic Sign Image Synthesis with Generative Adversarial Networks (HL, QK, FW), pp. 2540–2545.
ICPR-2018-MaH #network #using: Perceptual Face Completion using a Local-Global Generative Adversarial Network (RM, HH0), pp. 1670–1675.
ICPR-2018-MaXYL #image: Face Image Illumination Processing Based on Generative Adversarial Nets (WM, XX, CY, JL), pp. 2558–2563.
ICPR-2018-OuyangZMA #image #sequence: Generating Image Sequence from Description with LSTM Conditional GAN (XO, XZ, DM, GA), pp. 2456–2461.
ICPR-2018-ParkAMLCP0PK #named #network: MMGAN: Manifold-Matching Generative Adversarial Networks (NP, AA, JRAM, KL, JC, DKP, TC0, HP, YK), pp. 1343–1348.
ICPR-2018-PereraAP #multi #named #network #using: In2I: Unsupervised Multi-Image-to-Image Translation Using Generative Adversarial Networks (PP, MA, VMP), pp. 140–146.
ICPR-2018-SantacruzS #distance #edit distance #graph #testing: Graph Edit Distance Testing through Synthetic Graphs Generation (PS, FS), pp. 572–577.
ICPR-2018-ShiWDYL #network: Data Augmentation with Improved Generative Adversarial Networks (HS, LW, GD, FY, XL), pp. 73–78.
ICPR-2018-SunZY #automation #embedded #network: Pyramid Embedded Generative Adversarial Network for Automated Font Generation (DS, QZ, JY), pp. 976–981.
ICPR-2018-TheagarajanGB #automation #classification #named: DeephESC: An Automated System for Generating and Classification of Human Embryonic Stem Cells (RT, BXG, BB), pp. 3826–3831.
ICPR-2018-WangBZZ #network: Generating Facial Line-drawing with Convolutional Neural Networks (YW, XB, LZ, SZ), pp. 513–516.
ICPR-2018-WangM #automation: A method of automatically generating Labanotation from human motion capture data (JW, ZM), pp. 854–859.
ICPR-2018-WangSH #algorithm #black box #using: Universal Perturbation Generation for Black-box Attack Using Evolutionary Algorithms (SW, YS, YH), pp. 1277–1282.
ICPR-2018-WangZL #detection #network: Anomaly Detection via Minimum Likelihood Generative Adversarial Networks (CW, YMZ, CLL), pp. 1121–1126.
ICPR-2018-WuZ #network: Deep Generative Adversarial Networks for the Sparse Signal Denoising (KW, CZ), pp. 1127–1132.
ICPR-2018-Yang0K #multi #network: Multi-scale Generative Adversarial Networks for Crowd Counting (JY, YZ0, SYK), pp. 3244–3249.
ICPR-2018-YanJY #3d #detection #network: 3D Convolutional Generative Adversarial Networks for Detecting Temporal Irregularities in Videos (MY, XJ, JY), pp. 2522–2527.
ICPR-2018-YuS0: Generating Adversarial Examples With Conditional Generative Adversarial Net (PY, KS, JL0), pp. 676–681.
ICPR-2018-ZhangFQS #image #network: Wasserstein Generative Recurrent Adversarial Networks for Image Generating (CZ, YF, BQ, JS), pp. 242–247.
ICPR-2018-ZouZLLH #image #lens: Generation Textured Contact Lenses Iris Images Based on 4DCycle-GAN (HZ, HZ, XL, JL, ZH), pp. 3561–3566.
KDD-2018-DizajiWH #network: Semi-Supervised Generative Adversarial Network for Gene Expression Inference (KGD, XW, HH), pp. 1435–1444.
KDD-2018-LeeGZ #network #query: Rare Query Expansion Through Generative Adversarial Networks in Search Advertising (MCL, BG, RZ), pp. 500–508.
KDD-2018-ZhangLDFY #on the: On the Generative Discovery of Structured Medical Knowledge (CZ, YL, ND, WF0, PSY), pp. 2720–2728.
KDD-2018-ZhuLYQLZZWXC #framework #music: XiaoIce Band: A Melody and Arrangement Generation Framework for Pop Music (HZ, QL0, NJY, CQ, JL, KZ, GZ, FW, YX, EC), pp. 2837–2846.
ECMFA-2018-ZolotasWGRKP #automation #editing #papyrus #towards #uml #visual notation: Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.
ECOOP-2018-LiHA #testing: Targeted Test Generation for Actor Systems (SL, FH, GA), p. 31.
OOPSLA-2018-SelakovicPKT #higher-order #testing: Test generation for higher-order functions in dynamic languages (MS, MP, RK, FT), p. 27.
PEPM-2018-WatanabeK #ml: Program generation for ML modules (short paper) (TW, YK), pp. 60–66.
PLDI-2018-WangSS #data-driven #feedback #programming: Search, align, and repair: data-driven feedback generation for introductory programming exercises (KW0, RS, ZS), pp. 481–495.
POPL-2018-LampropoulosPP #induction: Generating good generators for inductive relations (LL, ZP, BCP), p. 30.
ASE-2018-BajammalM0 #component #reuse #web: Generating reusable web components from mockups (MB, DM, AM0), pp. 601–611.
ASE-2018-BorgesHZ #android #framework #named #platform #testing: DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASE-2018-GharibiTL #automation #graph #named #python #source code: Code2graph: automatic generation of static call graphs for Python source code (GG, RT, YL), pp. 880–883.
ASE-2018-HuangCPZWLZ #difference #named: ClDiff: generating concise linked code differences (KH, BC0, XP0, DZ, YW, YL0, WZ), pp. 679–690.
ASE-2018-LiuXHLXW #commit #how #question: Neural-machine-translation-based commit message generation: how far are we? (ZL, XX0, AEH, DL0, ZX, XW0), pp. 373–384.
ASE-2018-ScalabrinoGNGLG #c #named #search-based #testing: OCELOT: a search-based test-data generation tool for C (SS, GG, DDN, MG, ADL, HCG, RO), pp. 868–871.
ASE-2018-TerragniP #challenge #concurrent #effectiveness #testing #thread: Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
ASE-2018-WangLYCZDX #android #case study #empirical #industrial #testing #tool support: An empirical study of Android test generation tools in industrial cases (WW, DL0, WY0, YC, ZZ, YD, TX0), pp. 738–748.
ESEC-FSE-2018-HuaZWK #approach #automation #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.
ICSE-2018-Arcuri18a #automation #case study #experience #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-CasteleinASPD #query #search-based #sql #testing: Search-based test data generation for SQL queries (JC, MFA, MS, AP, AvD), pp. 1120–1230.
ICSE-2018-ChaHLO #automation #heuristic #testing: Automatically generating search heuristics for concolic testing (SC, SH, JL, HO), pp. 1244–1254.
ICSE-2018-HuaZWK #on-demand #program repair #towards: Towards practical program repair with on-demand candidate generation (JH, MZ, KW, SK), pp. 12–23.
ICSE-2018-MarianiPZ #named #semantics #testing #user interface: Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles (LM, MP, DZ), pp. 280–290.
ICSE-2018-SemerathNV #automation #consistency #graph #modelling: A graph solver for the automated generation of consistent domain-specific models (OS, ASN, DV), pp. 969–980.
ICSE-2018-WenCWHC #automation #program repair: Context-aware patch generation for better automated program repair (MW, JC0, RW, DH, SCC), pp. 1–11.
GPCE-2018-Binsbergen #metaprogramming: Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.
GPCE-2018-RadanneT #named #regular expression: Regenerate: a language generator for extended regular expressions (GR, PT), pp. 202–214.
SLE-2018-MerinoVS #named #parametricity: Bacatá: a language parametric notebook generator (MVM, JJV, TvdS), pp. 210–214.
CASE-2018-AhmedDB0 #detection: Outlier Detection for Hydropower Generation Plant (IA, AD, AB, YD0), pp. 193–198.
CASE-2018-BasileCM #automation #distributed #simulation: Automated generation of a simulation model for the decentralized control of automated warehouse systems (FB, PC, EDM), pp. 540–546.
CASE-2018-CaoWLG #fault #network: Application of Generative Adversarial Networks for Intelligent Fault Diagnosis (SC, LW, XL, LG0), pp. 711–715.
CASE-2018-HidakaK #algorithm #hybrid: Hybrid Sensor-Based and Frontier-Based Exploration Algorithm for Autonomous Transport Vehicle Map Generation (KH, NK), pp. 994–999.
CASE-2018-HujoSB #modelling #runtime #standard: Dynamic Generation of Shop Floor Gateway Configurations from Standard System Engineering Models during Runtime (DH, DS, BB), pp. 630–633.
CC-2018-NeykovaHYA #api #distributed #f# #protocol: A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.
CGO-2018-BaiWH #automation #named: AutoPA: automatically generating active driver from original passive driver code (JJB, YPW0, SMH0), pp. 288–299.
CGO-2018-SpampinatoFBP #algebra #linear: Program generation for small-scale linear algebra applications (DGS, DFT, PB, MP), pp. 327–339.
FASE-2018-SemerathV #domain-specific language #modelling #specification #testing #tool support: Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.
CAV-2018-FarinierBBP #approach #quantifier: Model Generation for Quantified Formulas: A Taint-Based Approach (BF, SB, RB, MLP), pp. 294–313.
ICST-2018-AlsharifKM #database #effectiveness #named #performance #relational #testing: DOMINO: Fast and Effective Test Data Generation for Relational Database Schemas (AA, GMK, PM), pp. 12–22.
ICST-2018-Arcuri #automation #multi #named #testing: EvoMaster: Evolutionary Multi-context Automated System Test Generation (AA), pp. 394–397.
ICST-2018-PiresA #information management #metamodelling #testing: Knowledge Discovery Metamodel-Based Unit Test Cases Generation (JPP, FBeA), pp. 432–433.
ICST-2018-WangPB #automation #case study #constraints #specification #testing: Automated Generation of Constraints from Use Case Specifications to Support System Testing (CW, FP, LCB), pp. 23–33.
ICTSS-2018-DesaiG #behaviour #constraints #ocl #testing: Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (ND0, MG), pp. 62–68.
IJCAR-2018-EchenimPS #framework #modulo theories: A Generic Framework for Implicate Generation Modulo Theories (ME, NP, YS), pp. 279–294.
TAP-2018-Fuchs #automation #java #testing #web: Automated Test Case Generation for Java EE Based Web Applications (AF), pp. 167–176.
TAP-2018-JulliandKMV #approximate: Under-Approximation Generation Driven by Relevance Predicates and Variants (JJ, OK, PAM, GV), pp. 63–82.
VMCAI-2018-HumenbergerJK #invariant #multi #polynomial: Invariant Generation for Multi-Path Loops with Polynomial Assignments (AH, MJ, LK), pp. 226–246.
VMCAI-2018-PelegRY #testing: Generating Tests by Example (HP, DR, EY), pp. 406–429.
EDM-2017-ZhuLW0 #automation #effectiveness #framework #ranking #topic: An Effective Framework for Automatically Generating and Ranking Topics in MOOC Videos (JZ, XL, ZW, MZ0).
ICPC-2017-JiangM #automation #commit #summary #towards: Towards automatic generation of short summaries of commits (SJ, CM), pp. 320–323.
ICSME-2017-KrasniqiJM #component #summary: TraceLab Components for Generating Extractive Summaries of User Stories (RK, SJ, CM), p. 658.
ICSME-2017-Rodeghero #algorithm #automation #behaviour #documentation: Behavior-Informed Algorithms for Automatic Documentation Generation (PR), pp. 660–664.
SANER-2017-DurieuxCSM #exception #metaprogramming #null #pointer #using: Dynamic patch generation for null pointer exceptions using metaprogramming (TD, BC, LS, MM), pp. 349–358.
SANER-2017-MoonSLK #analysis #behaviour #how #what: Log generation for coding behavior analysis: For focusing on how kids are coding not what they are coding (RJM, KMS, HYL, HJK), pp. 575–576.
SANER-2017-MoserPP #documentation #reverse engineering #towards: Towards reverse engineering of intermediate code for documentation generators (MM, MP, JP), pp. 553–554.
SANER-2017-NeubauerBMW #automation #editing: Automated generation of consistency-achieving model editors (PN, RB, TM, MW), pp. 127–137.
SANER-2017-TiellaC #automation #clique #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 #automation #natural language #sequence: Automatically generating natural language descriptions for object-related statement sequences (XW, LLP, KVS), pp. 205–216.
SEFM-2017-KumarS #data access #modelling: A Complete Generative Label Model for Lattice-Based Access Control Models (NVNK, RKS), pp. 35–53.
AIIDE-2017-BahamonY #empirical #evaluation: An Empirical Evaluation of a Generative Method for the Expression of Personality Traits through Action Choice (JCB, RMY), pp. 144–150.
AIIDE-2017-DongB #education #evaluation #game studies #programming: Evaluation of a Template-Based Puzzle Generator for an Educational Programming Game (YD, TB), pp. 172–178.
AIIDE-2017-Horn #education #framework #game studies: A Skill-Based Framework for the Generation and Presentation of Educational Videogame Content (BH), pp. 292–294.
AIIDE-2017-JuniorMMP #music #novel: Emerging Sounds Through Implicit Cooperation: A Novel Model for Dynamic Music Generation (MEJ, GRM, LSM, YTdP), pp. 186–192.
AIIDE-2017-MazeikaW #3d #game studies: Solving for Bespoke Game Assets: Applying Style to 3D Generative Artifacts (JM, JW), pp. 73–79.
AIIDE-2017-Smith #challenge #design: Generative Design for Textiles: Opportunities and Challenges for Entertainment AI (GS), pp. 115–121.
AIIDE-2017-SnodgrassSO #machine learning: Studying the Effects of Training Data on Machine Learning-Based Procedural Content Generation (SS, AS, SO), pp. 122–128.
CIG-2017-BaldwinDFH #design pattern #game studies #using: Mixed-initiative procedural generation of dungeons using game design patterns (AB0, SD, JMF, JH), pp. 25–32.
CIG-2017-HorsleyL #automation #network: Building an automatic sprite generator with deep convolutional generative adversarial networks (LH, DPL), pp. 134–141.
CIG-2017-JiangHT #using: Procedural generation of angry birds fun levels using pattern-struct and preset-model (YJ0, TH, RT), pp. 154–161.
CIG-2017-KhalifaGLT #game studies #video: General video game rule generation (AK, MCG, DPL, JT), pp. 170–177.
CIG-2017-SnodgrassO #multi #using: Procedural level generation using multi-layer level representations with MdMCs (SS, SO), pp. 280–287.
CIG-2017-StephensonR #game studies #physics: Generating varied, stable and solvable levels for angry birds style physics games (MS, JR), pp. 288–295.
CIG-2017-UriarteO #game studies #realtime: Single believe state generation for partially observable real-time strategy games (AU, SO), pp. 296–303.
FDG-2017-Abuzuraiq #clustering #constraints #graph #morphism #on the #using: On using graph partitioning with isomorphism constraint in procedural content generation (AMA), p. 10.
FDG-2017-BaldwinDFH #towards: Towards pattern-based mixed-initiative dungeon generation (AB0, SD, JMF, JH), p. 10.
FDG-2017-ButlerSZ #synthesis: Program synthesis as a generative method (EB, KS, AZ), p. 10.
FDG-2017-ChakraborttiFW #game studies #modelling #towards: Towards generative emotions in games based on cognitive modeling (CC, LNF, JW), p. 2.
FDG-2017-Compton #game studies #people: Little procedural people: playing politics with generators (KC), p. 2.
FDG-2017-DongB #education #evaluation #game studies #programming: Evaluation of a template-based puzzle generator for an educational programming game (YD, TB), p. 4.
FDG-2017-GrinblatB: Subverting historical cause & effect: generation of mythic biographies in Caves of Qud (JG, CBB), p. 7.
FDG-2017-LessardBGJPT: Striving for author-friendly procedural dialogue generation (JL, EBL, TG, MAJL, OP, CT), p. 6.
FDG-2017-Mawhorter #case study #performance #product line #representation #using: Efficiency, realism, and representation in generated content: a case study using family tree generation (PAM), p. 4.
FDG-2017-MazeikaW #3d #graph #modelling #named: Solusforge: controlling the generation of the 3D models with spatial relation graphs (JM, JW), p. 4.
FDG-2017-MorrisonM: A generative model of group conversation (HM, CM), p. 7.
FDG-2017-Smith #question #what: What do we value in procedural content generation? (GS), p. 2.
FDG-2017-TengB #approach #network #semantics: A semantic approach to patch-based procedural generation of urban road networks (ET, RB), p. 10.
FDG-2017-Valls-VargasZO #game studies #grammarware #graph grammar #learning #parallel #programming: Graph grammar-based controllable generation of puzzles for a learning game about parallel programming (JVV, JZ, SO), p. 10.
FDG-2017-Valls-VargasZO17a #analysis #overview #perspective: From computational narrative analysis to generation: a preliminary review (JVV, JZ, SO), p. 4.
CIKM-2017-NayeemC #multi: Paraphrastic Fusion for Abstractive Multi-Sentence Compression Generation (MTN, YC), pp. 2223–2226.
CIKM-2017-XieCLZXTWW #automation #clustering: Automatic Navbox Generation by Interpretable Clustering over Linked Entities (CX, LC, JL, KZ, YX, HT, HW, WW0), pp. 1857–1865.
CIKM-2017-ZhengSWH #identification #keyword #twitter: Semi-Supervised Event-related Tweet Identification with Dynamic Keyword Generation (XZ, AS, SW0, JH), pp. 1619–1628.
CIKM-2017-ZhengWWYJ #memory management #modelling #sequence: Sequence Modeling with Hierarchical Deep Generative Models with Dual Memory (YZ, LW, JW0, JY0, LJ), pp. 1369–1378.
CIKM-2017-Zhu0SL #knowledge-based: Knowledge-based Question Answering by Jointly Generating, Copying and Paraphrasing (SZ, XC0, SS, SL), pp. 2439–2442.
ECIR-2017-VoskaridesMR: Generating Descriptions of Entity Relationships (NV, EM, MdR), pp. 317–330.
ICML-2017-ArjovskyCB #network: Wasserstein Generative Adversarial Networks (MA, SC, LB), pp. 214–223.
ICML-2017-Arora0LMZ #equilibrium: Generalization and Equilibrium in Generative Adversarial Nets (GANs) (SA, RG0, YL, TM, YZ), pp. 224–232.
ICML-2017-BachHRR #learning #modelling: Learning the Structure of Generative Models without Labeled Data (SHB, BDH, AR, CR), pp. 273–282.
ICML-2017-BoraJPD #modelling #using: Compressed Sensing using Generative Models (AB, AJ, EP, AGD), pp. 537–546.
ICML-2017-DaiGKHS #probability: Stochastic Generative Hashing (BD, RG, SK, NH, LS), pp. 913–922.
ICML-2017-DengKLR: Image-to-Markup Generation with Coarse-to-Fine Attention (YD, AK, JL, AMR), pp. 980–989.
ICML-2017-EcksteinGK #using: Rule-Enhanced Penalized Regression by Column Generation using Rectangular Maximum Agreement (JE, NG, AK), pp. 1059–1067.
ICML-2017-HadjeresPN #named: DeepBach: a Steerable Model for Bach Chorales Generation (GH, FP, FN), pp. 1362–1371.
ICML-2017-HuRC #modelling #relational: Deep Generative Models for Relational Data with Side Information (CH, PR, LC), pp. 1578–1586.
ICML-2017-HuYLSX #towards: Toward Controlled Generation of Text (ZH, ZY, XL, RS, EPX), pp. 1587–1596.
ICML-2017-JainMR #learning #modelling #multi #scalability: Scalable Generative Models for Multi-label Learning with Missing Labels (VJ, NM, PR), pp. 1636–1644.
ICML-2017-JaquesGBHTE #modelling #sequence: Sequence Tutor: Conservative Fine-Tuning of Sequence Generation Models with KL-control (NJ, SG, DB, JMHL, RET, DE), pp. 1645–1654.
ICML-2017-JiHS #image #parametricity: From Patches to Images: A Nonparametric Generative Model (GJ0, MCH, EBS), pp. 1675–1683.
ICML-2017-KanskySMELLDSPG #network #physics: Schema Networks: Zero-shot Transfer with a Generative Causal Model of Intuitive Physics (KK, TS, DAM, ME, MLG, XL, ND, SS, DSP, DG), pp. 1809–1818.
ICML-2017-KimCKLK #learning #network: Learning to Discover Cross-Domain Relations with Generative Adversarial Networks (TK, MC, HK, JKL, JK), pp. 1857–1865.
ICML-2017-MeschederNG #network: Adversarial Variational Bayes: Unifying Variational Autoencoders and Generative Adversarial Networks (LMM, SN, AG), pp. 2391–2400.
ICML-2017-ZhangGFCHSC: Adversarial Feature Matching for Text Generation (YZ, ZG, KF, ZC, RH, DS, LC), pp. 4006–4015.
ICML-2017-ZhaoSE #learning #modelling: Learning Hierarchical Features from Deep Generative Models (SZ, JS, SE), pp. 4091–4099.
KDD-2017-SybrandtSS #automation #named: MOLIERE: Automatic Biomedical Hypothesis Generation System (JS, MS, IS), pp. 1633–1642.
KDD-2017-VandalKGMNG #image #named: DeepSD: Generating High Resolution Climate Change Projections through Single Image Super-Resolution (TV, EK, SG, ARM, RRN, ARG), pp. 1663–1672.
ECMFA-2017-KlugeSGSM #c #embedded #modelling #named #network: cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks (RK, MS, DG, AS, MM), pp. 109–125.
ICMT-2017-Strueber #modelling #performance #search-based: Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.
ECOOP-2017-BergerTU #metaprogramming #modelling: Modelling Homogeneous Generative Meta-Programming (MB, LT, CU), p. 23.
Onward-2017-LamZC #interactive #named #random #testing: ChimpCheck: property-based randomized test generation for interactive apps (ESLL, PZ, BYEC), pp. 58–77.
Onward-2017-VaziriMSSH #api #chat #specification #web: Generating chat bots from web API specifications (MV, LM, AS, JS, MH), pp. 44–57.
OOPSLA-2017-CelikPKG #bound: Bounded exhaustive test-input generation on GPUs (AÇ, SP, SK, MG), p. 25.
OOPSLA-2017-ChaeOHY #automation #heuristic #learning #program analysis: Automatically generating features for learning program analysis heuristics for C-like languages (KC, HO, KH, HY), p. 25.
OOPSLA-2017-RingerGST: A solver-aided language for test input generation (TR, DG, DSN, ST), p. 24.
LOPSTR-2017-AlbertGI #concurrent #detection #effectiveness: Generation of Initial Contexts for Effective Deadlock Detection (EA, MGZ, MI), pp. 3–19.
LOPSTR-2017-AlbertiS #analysis #c #specification #tool support: Context Generation from Formal Specifications for C Analysis Tools (MA, JS), pp. 93–111.
LOPSTR-2017-Barany #random: Liveness-Driven Random Program Generation (GB), pp. 112–127.
POPL-2017-CiminiS #automation #semantics: Automatically generating the dynamic semantics of gradually typed languages (MC, JGS), pp. 789–803.
POPL-2017-LampropoulosGHH: Beginner's luck: a language for property-based generators (LL, DGW, CH, JH, BCP, LyX), pp. 114–129.
POPL-2017-YingYW #invariant #quantum #source code: Invariants of quantum programs: characterisations and generation (MY, SY, XW), pp. 818–832.
ASE-2017-HigoOK #abstract syntax tree: Generating simpler AST edit scripts by considering copy-and-paste (YH, AO, SK), pp. 532–542.
ASE-2017-JiangAM #automation #commit #using: Automatically generating commit messages from diffs using neural machine translation (SJ, AA, CM), pp. 135–146.
ASE-2017-KapusC #automation #difference #execution #symbolic computation #testing: Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
ASE-2017-LiSLLL #automation #invariant #refinement: Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
ASE-2017-SaddlerC #named #testing #user interface: EventFlowSlicer: a tool for generating realistic goal-driven GUI tests (JAS, MBC), pp. 955–960.
ASE-2017-SoltanaSB #statistics #testing: Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.
ASE-2017-ToffolaSP #effectiveness #exclamation #mining #testing: Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
ASE-2017-XuXXL #automation #developer #named #summary: AnswerBot: automated generation of answer summary to developersź technical questions (BX, ZX, XX0, DL0), pp. 706–716.
ASE-2017-ZhangCTCBL #mobile #sketching #testing #user interface: Sketch-guided GUI test generation for mobile applications (CZ, HC, ET, XC0, LB, XL), pp. 38–43.
ESEC-FSE-2017-CaiCZ #adaptation #quality: Adaptively generating high quality fixes for atomicity violations (YC0, LC, JZ), pp. 303–314.
ESEC-FSE-2017-GarciaHGM #android #automation #communication #component: Automatic generation of inter-component communication exploits for Android applications (JG, MH, NG, SM), pp. 661–671.
ESEC-FSE-2017-LongAR #automation: Automatic inference of code transforms for patch generation (FL, PA, MR), pp. 727–739.
ICSE-2017-0010ZPZMZ #automation #mobile #testing: Automatic text input generation for mobile testing (PL0, XZ0, MP, YZ, MM, LZ), pp. 643–653.
ICSE-2017-ChoudharyLP #concurrent #detection #performance #safety #testing #thread: Efficient detection of thread safety violations via coverage-guided generation of concurrent tests (AC, SL, MP), pp. 266–277.
GPCE-2017-MartiniH #automation #case study #experience #learning: Automatic generation of virtual learning spaces driven by CaVaDSL: an experience report (RGM, PRH), pp. 233–245.
GPCE-2017-NakamaruIYC #api #named: Silverchain: a fluent API generator (TN, KI, TY, SC), pp. 199–211.
GPCE-2017-SusungiRCHCTSF #composition #optimisation #towards: Towards compositional and generative tensor optimizations (AS, NAR, JC, IH, AC, CT, JS, JF), pp. 169–175.
GPCE-2017-Zaytsev #legacy #parsing #pattern matching: Parser generation by example for legacy pattern languages (VZ), pp. 212–218.
CASE-2017-CecilCG #collaboration #distributed #framework #physics: Foundational elements of next generation cyber physical and IoT frameworks for distributed collaboration (JC, ACX, AG), pp. 789–794.
CASE-2017-KhanFF #automation #framework #logic #safety: Virtual engineering framework for automatic generation of control logic including safety (AK, PF, MF), pp. 648–653.
CASE-2017-LiPSN #flexibility: Analyzing sensitivity of power system wind penetration to thermal generation flexibility (ML, JP, QS, YN), pp. 1628–1632.
CASE-2017-LyuSDLL #constraints #energy: Time-optimal and energy-efficient trajectory generation for robot manipulator with kinematic constraints (HL, XS, DD, JL, ZL), pp. 503–508.
CASE-2017-TuncaliYPF #automation #functional #optimisation #testing: Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.
CASE-2017-ZhangMAP #problem: A simulation-based benders' cuts generation for the joint workstation, workload and buffer allocation problem (MZ, AM, AA, GP), pp. 1067–1072.
CGO-2017-SuLX #approach #automation #compilation #performance: Automatic generation of fast BLAS3-GEMM: a portable compiler approach (XS, XL, JX), pp. 122–133.
FASE-2017-AlvinPM #diagrams #named #sequence chart #uml: StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.
FASE-2017-SchneiderLO #graph: Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.
CADE-2017-NagashimaK #higher-order #proving: A Proof Strategy Language and Proof Script Generation for Isabelle/HOL (YN, RK), pp. 528–545.
ICST-2017-ArcuriFJ #api #automation #functional #testing: Private API Access and Functional Mocking in Automated Unit Test Generation (AA, GF, RJ), pp. 126–137.
ICST-2017-ConverseOK #execution #semantics #symbolic computation #testing #using: Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution (HC, OO, SK), pp. 241–252.
ICST-2017-Gay #detection #fault #search-based #testing: The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults (GG), pp. 345–355.
ICST-2017-SullivanWZK #alloy #automation #mutation testing #testing: Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.
ICST-2017-WalkinshawF #black box #testing: Uncertainty-Driven Black-Box Test Data Generation (NW, GF), pp. 253–263.
ICTSS-2017-PetrenkoS #fault #modelling #sequence: Generating Checking Sequences for User Defined Fault Models (AP, AdSS), pp. 320–325.
CBSE-2016-MorinFHB #distributed #middleware: A Generative Middleware for Heterogeneous and Distributed Services (BM, FF, KEH, OB), pp. 107–116.
CSEET-2016-LetouzeSS #case study #learning #web: Generating Software Engineers by Developing Web Systems: A Project-Based Learning Case Study (PL, JIMdS, VMDS), pp. 194–203.
EDM-2016-JiangLZL #concept #semantics: Generating Semantic Concept Map for MOOCs (ZJ, PL, YZ, XL), pp. 595–596.
EDM-2016-PriceDB #data-driven #programming: Generating Data-driven Hints for Open-ended Programming (TWP, YD, TB), pp. 191–198.
EDM-2016-RitterF: MATHia X: The Next Generation Cognitive Tutor (SR, SF), pp. 624–625.
ICPC-2016-YukiHHK: Generating clone references with less human subjectivity (YY, YH, KH, SK), pp. 1–4.
ICSME-2016-McMinnWKMCK #database #named #relational #search-based #testing: SchemaAnalyst: Search-Based Test Data Generation for Relational Database Schemas (PM, CJW, CK, CJM, MC, GMK), pp. 586–590.
FM-2016-YangHCL0 #approach #hybrid #linear #programming: A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems (ZY, CH, XC0, WL, ZL0), pp. 721–738.
FSCD-2016-AristizabalBLP #bisimulation: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation (AA, DB, SL, PP), p. 17.
SEFM-2016-HusienS #model checking #using: Program Generation Using Simulated Annealing and Model Checking (IH, SS), pp. 155–171.
AIIDE-2016-AzadSGR #artificial reality #game studies: Procedural Level Generation for Augmented Reality Games (SA, CS, CHG, MOR), pp. 247–250.
AIIDE-2016-Cardona-RiveraL #named: PlotShot: Generating Discourse-Constrained Stories Around Photos (RECR, BL), pp. 2–8.
AIIDE-2016-GuzdialR #game studies: Game Level Generation from Gameplay Videos (MG, MOR), pp. 44–50.
AIIDE-2016-Harmon: An Expressive Dilemma Generation Model for Players and Artificial Agents (SH), pp. 176–182.
AIIDE-2016-KartalSG #data-driven #monte carlo: Data Driven Sokoban Puzzle Generation with Monte Carlo Tree Search (BK, NS, SJG), pp. 58–64.
AIIDE-2016-MarinoL #framework #game studies #modelling #platform #symmetry #visual notation: A Computational Model Based on Symmetry for Generating Visually Pleasing Maps of Platform Games (JRHM, LHSL), pp. 65–71.
AIIDE-2016-RyanMW: Characters Who Speak Their Minds: Dialogue Generation in Talk of the Town (JOR, MM, NWF), pp. 204–210.
AIIDE-2016-SnodgrassO #2d #approach #game studies: An Approach to Domain Transfer in Procedural Content Generation of Two-Dimensional Videogame Levels (SS, SO), pp. 79–85.
AIIDE-2016-StephensonR #game studies #physics: Procedural Generation of Levels for Angry Birds Style Physics Games (MS, JR), pp. 225–231.
CIG-2016-CookGC #automation #optimisation #towards: Towards the automatic optimisation of procedural content generators (MC0, JG, SC), pp. 1–8.
CIG-2016-GravinaLY: Constrained surprise search for content generation (DG, AL, GNY), pp. 1–8.
CIG-2016-LopesLY #multi #named: Sonancia: A multi-faceted generator for horror (PLL, AL, GNY), pp. 1–2.
CIG-2016-SaccoLY #approach #game studies #semantics: A holistic approach for semantic-based game generation (OS, AL, GNY), pp. 1–8.
CIG-2016-Shaker #framework #learning #motivation: Intrinsically motivated reinforcement learning: A promising framework for procedural content generation (NS), pp. 1–8.
CIG-2016-ShiC #learning #online: Online level generation in Super Mario Bros via learning constructive primitives (PS, KC0), pp. 1–8.
CIG-2016-SilvaITN #heuristic: Generating heuristics for novice players (FdMS, AI, JT, AN), pp. 1–8.
CIG-2016-StephensonR: Procedural generation of complex stable structures for angry birds levels (MS, JR), pp. 1–8.
DiGRA-FDG-2016-BarrosLT #game studies #open data: Playing with Data: Procedural Generation of Adventures from Open Data (GABB, AL, JT).
DiGRA-FDG-2016-SummervilleM #platform #string: Super Mario as a String: Platformer Level Generation Via LSTMs (AJS, MM).
VS-Games-2016-LiangDCZCT #animation #game studies #interactive #ontology: Ontology-Based Interactive Animation/Game Generation for Chinese Shadow Play Preservation (HL, SD, JC, JJZ0, CC, RT), pp. 1–9.
VS-Games-2016-LiangDCZCT16a #animation #game studies #interactive #ontology: Ontology-Based Interactive Animation/Game Generation for Chinese Shadow Play Preservation (HL, SD, JC, JJZ0, CC, RT), pp. 1–9.
VS-Games-2016-RoseB #algorithm #overview: Algorithms and Approaches for Procedural Terrain Generation - A Brief Review of Current Techniques (TJR, AGB), pp. 1–2.
CIKM-2016-HuaZWLR #twitter: Automatical Storyline Generation with Help from Twitter (TH, XZ, WW0, CTL, NR), pp. 2383–2388.
CIKM-2016-LiKR #automation #roadmap #set #validation: Automatic Generation and Validation of Road Maps from GPS Trajectory Data Sets (HL, LK, KR), pp. 1523–1532.
CIKM-2016-SantuSZ #mining #modelling: Generative Feature Language Models for Mining Implicit Features from Customer Reviews (SKKS, PS, CZ), pp. 929–938.
ECIR-2016-MagdyEH #evaluation #on the #timeline #twitter: On the Evaluation of Tweet Timeline Generation Task (WM, TE, MH), pp. 648–653.
ICML-2016-HashimotoGJ #learning: Learning Population-Level Diffusions with Generative RNNs (TBH, DKG, TSJ), pp. 2417–2426.
ICML-2016-MaaloeSSW #modelling: Auxiliary Deep Generative Models (LM, CKS, SKS, OW), pp. 1445–1453.
ICML-2016-ReedAYLSL #image #synthesis: Generative Adversarial Text to Image Synthesis (SER, ZA, XY, LL, BS, HL), pp. 1060–1069.
ICML-2016-RezendeMDGW #modelling: One-Shot Generalization in Deep Generative Models (DJR, SM, ID, KG, DW), pp. 1521–1529.
ICML-2016-XieLZW #formal method: A Theory of Generative ConvNet (JX, YL0, SCZ, YNW), pp. 2635–2644.
ICPR-2016-BulatovKR #energy #higher-order: Energy minimization of discrete functions with higher-order potentials for depth map generation (DB, BK, FR), pp. 2344–2349.
ICPR-2016-BullingerBWA #bound #re-engineering #using #video: Moving object reconstruction in monocular video data using boundary generation (SB, CB, SW, MA), pp. 240–246.
ICPR-2016-DesrosiersDD #analysis #novel #statistics: Novel generative model for facial expressions based on statistical shape analysis of landmarks trajectories (PAD, MD, MD), pp. 961–966.
ICPR-2016-LaugraudPD #named: LaBGen-P: A pixel-level stationary background generation method based on LaBGen (BL, SP, MVD), pp. 107–113.
ICPR-2016-Nguyen #automation #image #using: Automatic generation of a realistic looking single image stereogram using stereo vision (MN), pp. 3826–3831.
ICPR-2016-SahooA0 #approach #automation #clustering #multi #using: Automatic generation of biclusters from gene expression data using multi-objective simulated annealing approach (PS, SA, SS0), pp. 2174–2179.
ICPR-2016-YanMK: Generating commentaries for tennis videos (FY0, KM, JK), pp. 2658–2663.
ICPR-2016-YeWH #graph #using: Analyzing graph time series using a generative model (CY, RCW0, ERH), pp. 3338–3343.
ICPR-2016-ZhangT #automation #encoding #video: Automatic video description generation via LSTM with joint two-stream encoding (CZ, YT), pp. 2924–2929.
KDD-2016-MalmiTTRG #approach #named: DopeLearning: A Computational Approach to Rap Lyrics Generation (EM, PT, HT, TR, AG), pp. 195–204.
KDD-2016-Robles-GrandaMN #modelling #network: Sampling of Attributed Networks from Hierarchical Generative Models (PRG, SM, JN), pp. 1155–1164.
ECMFA-2016-Lopez-Fernandez #modelling #visual notation: Example-Based Generation of Graphical Modelling Environments (JJLF, AG, EG, JdL), pp. 101–117.
ICMT-2016-JungHH #approach #aspect-oriented #composition #domain-specific language #named: GECO: A Generator Composition Approach for Aspect-Oriented DSLs (RJ, RH, WH), pp. 141–156.
ICMT-2016-PopoolaKR #model transformation #named #transformation language: EMG: A Domain-Specific Transformation Language for Synthetic Model Generation (SP, DSK, HHR), pp. 36–51.
MoDELS-2016-RuscioMPT #automation: Automatic generation of detailed flight plans from high-level mission descriptions (DDR, IM, PP, MT), pp. 45–55.
LOPSTR-2016-Tarau #normalisation #order #performance #λ-calculus: A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms (PT), pp. 240–255.
POPL-2016-CiminiS #algorithm #type system: The gradualizer: a methodology and algorithm for generating gradual type systems (MC, JGS), pp. 443–455.
POPL-2016-LongR #automation #learning: Automatic patch generation by learning correct code (FL, MR), pp. 298–312.
ASE-2016-LiLKLG #big data #combinator #testing: Applying combinatorial test data generation to big data applications (NL, YL, HRK, JL, YG), pp. 637–647.
ASE-2016-PatrickCSG #automation #image #using: Automatic test image generation using procedural noise (MP, MDC, ROJHS, CAG), pp. 654–659.
ASE-2016-Puschel #performance: Program generation for performance (MP), p. 1.
ASE-2016-Rodriguez-Cancio #automation #benchmark #constant: Automatic microbenchmark generation to prevent dead code elimination and constant folding (MRC, BC, BB), pp. 132–143.
ASE-2016-TangWWZ #android #concurrent #debugging #testing: Generating test cases to expose concurrency bugs in Android applications (HT, GW, JW, HZ), pp. 648–653.
ASE-2016-ThakurG16a #domain model #modelling #named #specification: AnModeler: a tool for generating domain models from textual specifications (JST, AG), pp. 828–833.
ASE-2016-YamadaBAKC #combinator #satisfiability #testing #using: Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.
ASE-2016-ZhangHC #automation #testing #towards: Towards automatically generating descriptive names for unit tests (BZ, EH, JC), pp. 625–636.
FSE-2016-DhokR #detection #testing: Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
FSE-2016-GhassabaniGW #induction #performance #safety: Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
FSE-2016-KaleeswaranSKG #feedback: Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.
FSE-2016-Kellogg #debugging #detection #testing: Combining bug detection and test case generation (MK), pp. 1124–1126.
FSE-2016-LiuCL #comprehension #concurrent #debugging #quality: Understanding and generating high quality patches for concurrency bugs (HL, YC, SL), pp. 715–726.
FSE-2016-Nandi #automation: Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.
FSE-2016-Panchekha #interactive #web: Generating interactive web pages from storyboards (PP), pp. 1071–1072.
FSE-2016-YoshidaTPGU #c #c++ #fine-grained #incremental #named #source code #testing: FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
FSE-2016-ZengLZXDLYX #android #automation #case study #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.
FSE-2016-ZhongZK #combinator #testing: Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
ICSE-2016-ChenLL #execution #performance #probability #symbolic computation: Generating performance distributions via probabilistic symbolic execution (BC0, YL0, WL), pp. 49–60.
ICSE-2016-LongR #analysis #validation: An analysis of the search spaces for generate and validate patch generation systems (FL, MCR), pp. 702–713.
ICSE-2016-MatinnejadNBB #automation #modelling #testing: Automated test suite generation for time-continuous simulink models (RM, SN, LCB, TB), pp. 595–606.
ICSE-2016-ZhaiHMZTZQ #api #automation #documentation #java: Automatic model generation from documentation for Java API functions (JZ, JH0, SM, XZ0, LT0, JZ, FQ), pp. 380–391.
ASPLOS-2016-PrabhakarKBLSKO #configuration management #hardware #parallel: Generating Configurable Hardware from Parallel Patterns (RP, DK, KJB, HL, CDS, CK, KO), pp. 651–665.
CASE-2016-Csiszar #approach #automation #combinator #equation: A combinatorial approach to the automated generation of inverse kinematics equations for robot arms (AC), pp. 984–989.
CASE-2016-FriedrichLV #automation #maintenance #sequence: A planning system for generating manipulation sequences for the automation of maintenance tasks (CF, AL, AV), pp. 843–848.
CASE-2016-PosadaDOKHV #automation #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-WiebeRRV #approach #automation #composition #delivery #fault #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 #automation #cpu #gpu #kernel #layout: Automatic data layout generation and kernel mapping for CPU+GPU architectures (DM, KSM, RB, VS), pp. 240–250.
FASE-2016-HuY #api #hybrid #verification: Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
FASE-2016-SemerathVV #incremental #logic: Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
ICST-2016-ArcuriCF #development #plugin #testing: Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins (AA, JC, GF), pp. 401–408.
ICST-2016-Dadkhah #semantics #testing: Semantic-Based Test Case Generation (MD), pp. 377–378.
ICST-2016-LarsonK #regular expression #string: Generating Evil Test Strings for Regular Expressions (EL, AK), pp. 309–319.
ICST-2016-StivaletF #php #scalability #testing: Large Scale Generation of Complex and Faulty PHP Test Cases (BS, EF), pp. 409–415.
ICTSS-2016-EnoiuSCFP #embedded #model checking #testing #using: Mutation-Based Test Generation for PLC Embedded Software Using Model Checking (EPE, DS, AC, RF, PP), pp. 155–171.
ICTSS-2016-KampelS #algorithm #combinator #testing: Set-Based Algorithms for Combinatorial Test Set Generation (LK, DES), pp. 231–240.
ICTSS-2016-KarahodaEKTY #heuristic #sequence: Parallelizing Heuristics for Generating Synchronizing Sequences (SK, OTE, KK, UCT, HY), pp. 106–122.
ICTSS-2016-PetrenkoNR #automaton #constraints #testing #theorem proving: Test Generation by Constraint Solving and FSM Mutant Killing (AP, ONT, SR), pp. 36–51.
IJCAR-2016-DuranEEMMT #maude #unification: Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.
VMCAI-2016-BrainHKM #automation #encoding #satisfiability: Automatic Generation of Propagation Complete SAT Encodings (MB, LH, DK, RM), pp. 536–556.
VMCAI-2016-SogokonGJP #invariant #polynomial: A Method for Invariant Generation for Polynomial Continuous Systems (AS, KG, PBJ, AP), pp. 268–288.
QoSA-2015-Kramer #approach #consistency #modelling #multi: A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
DocEng-2015-BanerjeeMS #summary: Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.
HT-2015-Baeza-YatesS #analysis: Wisdom of the Crowd or Wisdom of a Few?: An Analysis of Users’ Content Generation (RABY, DST), pp. 69–74.
EDM-2015-Liu #data-driven #debugging: Data-driven Hint Generation from Peer Debugging Solutions (ZL), pp. 665–667.
ICPC-2015-HauptmannJW #automation #refactoring #testing: Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPC-2015-WhiteVJBP #android #debugging: Generating reproducible and replayable bug reports from Android application crashes (MW, MLV, PJ, CBC, DP), pp. 48–59.
ICSME-2015-AbidDCM #automation #c++ #natural language #summary #using: Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
MSR-2015-KarakoidasMLGS #ecosystem #java: Generating the Blueprints of the Java Ecosystem (VK, DM, PL, GG, DS), pp. 510–513.
MSR-2015-VasquezWBMP #android #execution #mining: Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.
SANER-2015-MoserPFW #documentation #named: RbG: A documentation generator for scientific and engineering software (MM, JP, GF, MW), pp. 464–468.
SANER-2015-WongLT #automation #mining #named #source code: CloCom: Mining existing source code for automatic comment generation (EW, TL, LT), pp. 380–389.
CIAA-2015-HeamJ #automaton #morphism #on the #random: On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.
CIAA-2015-HeamJ15a #automaton #random #realtime: Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.
ICALP-v2-2015-Boreale #analysis #approximate #probability: Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
FM-2015-DurandS #formal method #framework #named: Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FM-2015-MirandaMR #automation #design #testing #using #verification: Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
SEFM-2015-KnapikNP #order: Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.
SEFM-2015-RochaBC #bound #c #memory management #model checking #source code #testing #using: Memory Management Test-Case Generation of C Programs Using Bounded Model Checking (HR, RSB, LCC), pp. 251–267.
ICFP-2015-SteuwerFLD #functional #performance #using: Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code (MS, CF, SL, CD), pp. 205–217.
AIIDE-2015-EngelsTC #automation #game studies #music #realtime: Automatic Real-Time Music Generation for Games (SE, TT, FC), pp. 220–222.
AIIDE-2015-LopesLY: Targeting Horror via Level and Soundscape Generation (PLL, AL, GNY), pp. 37–43.
AIIDE-2015-ManavalanBS #algorithm #behaviour #lightweight: A Lightweight Algorithm for Procedural Generation of Emotionally Affected Behavior and Appearance (YBM, VB, MS), pp. 142–148.
AIIDE-2015-Martens #interactive #modelling #named: Ceptre: A Language for Modeling Generative Interactive Systems (CM), pp. 51–57.
AIIDE-2015-MawhorterMW: Generating Relaxed, Obvious, and Dilemma Choices with Dunyazad (PAM, MM, NWF), pp. 58–64.
AIIDE-2015-RobertsonY #automation #declarative: Automated Gameplay Generation from Declarative World Representations (JR, RMY), pp. 72–78.
AIIDE-2015-SchwabH #automation #behaviour #modelling #towards: Capturing the Essence: Towards the Automated Generation of Transparent Behavior Models (PS, HH), pp. 184–190.
AIIDE-2015-SnodgrassO #2d #approach #game studies #video: A Hierarchical MdMC Approach to 2D Video Game Map Generation (SS, SO), pp. 205–211.
CHI-PLAY-2015-Barbara #consistency #game studies: Generating Consistent Game Levels (JB), pp. 451–456.
CHI-PLAY-2015-Schwind0HK #using: Determining the Characteristics of Preferred Virtual Faces Using an Avatar Generator (VS, KW0, NH, OK), pp. 221–230.
CIG-2015-Ashlock15a #automaton #evolution: Evolvable fashion-based cellular automata for generating cavern systems (DA), pp. 306–313.
CIG-2015-BaeKLKN #scalability: Generation of an arbitrary shaped large maze by assembling mazes (CmB, EKK, JL, KJK, JCN), pp. 538–539.
CIG-2015-BoothTZ #flexibility #game studies: Flexible story generation with norms and preferences in computer role playing games (EB, JT, FZ), pp. 68–74.
CIG-2015-Garcia-SanchezT #automation #programming #search-based #towards #using: Towards automatic StarCraft strategy generation using genetic programming (PGS, APT, AMM, GS, JJMG), pp. 284–291.
CIG-2015-KamekoMT #game studies #learning: Learning a game commentary generator with grounded move expressions (HK, SM, YT), pp. 177–184.
CIG-2015-KozlovaBR #algorithm: Examination of representational expression in maze generation algorithms (AK, JAB, ER), pp. 532–533.
CIG-2015-NielsenBTN #game studies #towards: Towards generating arcade game rules with VGDL (TSN, GABB, JT, MJN), pp. 185–192.
CIG-2015-ReisLG #framework #game studies #platform: Human computation for procedural content generation in platform games (WMPR, LHSL, Y(G), pp. 99–106.
CIG-2015-StammerMGP #adaptation: Player-adaptive Spelunky level generation (DS, TG, MP), pp. 130–137.
FDG-2015-ComptonM #named: Tracery: An Author-Focused Generative Text Tool (KC, MM).
FDG-2015-DahlskogTB: Patterns, Dungeons and Generators (SD, JT, SB).
FDG-2015-FowlerKP #named: NPCAgency: Procedural Generation of NPCs (AF, FK, GP).
FDG-2015-Furmanski #towards: Towards An Ancestry and Codification of Procedural Content Generation Techniques (TF).
FDG-2015-Horswill #constraints #named: Craft: a constraint-based random-number generator (IH).
FDG-2015-KaoH #automation #named: Exigent: An Automatic Avatar Generation System (DK, DFH).
FDG-2015-KaravolosBB #design #game studies: Mixed-Initiative Design of Game Levels: Integrating Mission and Space into Level Generation (DK, AB, RB).
FDG-2015-MarkBMT #3d #game studies #gpu: Procedural Generation of 3D Caves for Games on the GPU (BM, TB, TM, JT).
FDG-2015-Smith: An Analog History of Procedural Content Generation (GS).
FDG-2015-SmithP #logic #semantics: Semantic Descriptions for Logical Content Generation (TS0, JAP).
FDG-2015-SummervilleBMJ #data-driven #game studies #learning: The Learning of Zelda: Data-Driven Level Generation for Action Role Playing Games (AS, MB, MM, AJ).
FDG-2015-ThompsonL #game studies: Adventures in Hyrule: Generating Missions & Maps For Action Adventure Games (TT, BL).
FDG-2015-TraichioiuBR #grammarware: Grammar-based Procedural Content Generation from Designer-provided Difficulty Curves (MT, SB, DMR).
VS-Games-2015-ChalasFFSK #3d #dataset: Generation of Variable Human Faces from 3D Scan Dataset (IC, ZF, KF, JS, BK), pp. 1–8.
VS-Games-2015-CristeaL #game studies: Fractal Nature - Generating Realistic Terrains for Games (AC, FL), pp. 1–8.
CHI-2015-JangHSL #comparative: Generation Like: Comparative Characteristics in Instagram (JYJ, KH, PCS, DL), pp. 4039–4042.
CHI-2015-ORourkeAGP #automation #framework #interactive: A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
CHI-2015-SchwarzMH #architecture #feedback #interactive #probability #user interface: An Architecture for Generating Interactive Feedback in Probabilistic User Interfaces (JS, JM, SEH), pp. 2545–2554.
CHI-2015-ZamanSNWEST #design #named: GEM-NI: A System for Creating and Managing Alternatives In Generative Design (LZ, WS, CN, RW, ME, NS, MT), pp. 1201–1210.
DHM-EH-2015-BordegoniCCC #design #experience: Body Tracking as a Generative Tool for Experience Design (MB, SC, GC, UC), pp. 122–133.
DUXU-IXD-2015-DasBRD #co-evolution #design #using: The Use of Generative Techniques in Co-design of mHealth Technology and Healthcare Services for COPD Patients (AD, SB, JR, YD), pp. 587–595.
HCI-IT-2015-JinL #framework #interface #named #physics #research #string: StringWeaver: Research on a Framework with an Alterable Physical Interface for Generative Art (YJ, ZL), pp. 292–304.
HIMI-IKC-2015-HamaguchiMTKN #design #matrix #using: A Method for Generation and Check of Alarm Configurations Using Cause-Effect Matrices for Plant Alarm System Design (TH, BM, KT, NK, MN), pp. 549–556.
HIMI-IKC-2015-MatsudaOHT #analysis #automation #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 #automation #process #using #visualisation: Automatic Generation of Integrated Process Data Visualizations Using Human Knowledge (FM, UB, DP, DG, BVH), pp. 488–498.
HIMI-IKC-2015-OgusuOKY #music: Enhancing Abstract Imaginations of Viewers of Abstract Paintings by a Gaze Based Music Generation System (TO, JO, JK, SY), pp. 457–464.
HIMI-IKD-2015-ImajiF #summary #visual notation: Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.
HIMI-IKD-2015-WhiteFK #interface: Generation of Infotips from Interface Labels (EW, SF, FK), pp. 226–234.
LCT-2015-Ai #automation #detection #fault #feedback: Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
LCT-2015-TamuraTHN #learning #wiki: Generating Quizzes for History Learning Based on Wikipedia Articles (YT, YT, YH, YIN), pp. 337–346.
CAiSE-2015-MrasekMB #automation #declarative #modelling #process #specification: Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
ICEIS-v1-2015-BorgesDRAS #approach #using: An Economic Approach for Generation of Train Driving Plans using Continuous Case-based Planning (APB, OBD, RR, BCÁ, EES), pp. 440–451.
ICEIS-v3-2015-IatskiuGC #automation: Automatic Generation of LIBRAS Signs by Graphic Symbols of SignWriting (CEAI, LSG, RdPC), pp. 71–78.
CIKM-2015-SordoniBVLSN #query: A Hierarchical Recurrent Encoder-Decoder for Generative Context-Aware Query Suggestion (AS, YB, HV, CL, JGS, JYN), pp. 553–562.
ECIR-2015-KingI #clustering #music: Generating Music Playlists with Hierarchical Clustering and Q-Learning (JK, VI), pp. 315–326.
ICML-2015-BachmanP #collaboration #network #probability: Variational Generative Stochastic Networks with Collaborative Shaping (PB, DP), pp. 1964–1972.
ICML-2015-GregorDGRW #image #named #network: DRAW: A Recurrent Neural Network For Image Generation (KG, ID, AG, DJR, DW), pp. 1462–1471.
ICML-2015-LiSZ #network: Generative Moment Matching Networks (YL, KS, RSZ), pp. 1718–1727.
ICML-2015-RegierMMAHLSP #image #named: Celeste: Variational inference for a generative model of astronomical images (JR, AM, JM, RPA, MDH, DL, DS, P), pp. 2095–2103.
ICML-2015-XuBKCCSZB #image #visual notation: Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (KX, JB, RK, KC, ACC, RS, RSZ, YB), pp. 2048–2057.
KDD-2015-AlthoffDMADZ #knowledge base #named #timeline: TimeMachine: Timeline Generation for Knowledge-Base Entities (TA, XLD, KM, SA, VD, WZ), pp. 19–28.
KDD-2015-WangYCSSZ #named #recommendation: Geo-SAGE: A Geographical Sparse Additive Generative Model for Spatial Item Recommendation (WW, HY, LC, YS, SWS, XZ), pp. 1255–1264.
RecSys-2015-JannachLK #continuation #music: Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.
RecSys-2015-Vall #automation #music: Listener-Inspired Automated Music Playlist Generation (AV), pp. 387–390.
SEKE-2015-AssuncaoFLSV #automaton #markov #modelling #named #network #predict #probability: SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SEKE-2015-ElerDE #exception #execution #symbolic computation #testing: Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
SEKE-2015-KinneerKMW #automation #database #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-LinYX #automation #detection #parametricity #testing: Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKE-2015-SongHJC #android #testing: Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SIGIR-2015-GuoL #automation #graph #music #recommendation: Automatic Feature Generation on Heterogeneous Graph for Music Recommendation (CG, XL), pp. 807–810.
SIGIR-2015-WangSLE #difference #timeline #twitter: Assessor Differences and User Preferences in Tweet Timeline Generation (YW, GS, JL, ME), pp. 615–624.
SKY-2015-FragaMRM #analysis #assessment #automation #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-BlouinCBB15 #modelling #named: Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
ICMT-J-2012-VarroDWS15 #algorithm #emf #modelling #pattern matching: An algorithm for generating model-sensitive search plans for pattern matching on EMF models (GV, FD, MW, AS), pp. 597–621.
ECMFA-2015-BousseMCB #approach #metamodelling: A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
MoDELS-2015-FoucheNGE #diagrams #modelling #standard #tool support: Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
SPLC-2015-KruegerC #product line: Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
SPLC-2015-ReulingBRLK #effectiveness #product line #testing: Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
LOPSTR-2015-CaballeroMKH #automation #java #testing #using: Checking Java Assertions Using Automated Test-Case Generation (RC0, MM, HK, VvH), pp. 221–226.
LOPSTR-2015-MontenegroPS #representation #verification: A Generic Intermediate Representation for Verification Condition Generation (MM, RP, JSH), pp. 227–243.
PADL-2015-Tarau #combinator #logic programming #normalisation #on the #type inference: On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
PPDP-2015-AngelisFPP #semantics #verification: Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
SAS-2015-AdjeGM #invariant #optimisation #polynomial #using: Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
ASE-2015-ChoudharyGO #android #automation: Automated Test Input Generation for Android: Are We There Yet? (E) (SRC, AG, AO), pp. 429–440.
ASE-2015-Fard0W #javascript #testing: Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.
ASE-2015-LinLCSH0 #algorithm #combinator #metaheuristic #named #performance #testing: TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.
ASE-2015-MaAZSGR15a #automation #named #program analysis #using: GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.
ASE-2015-WolflSAKKW #case study #experience: Generating Qualifiable Avionics Software: An Experience Report (E) (AW, NS, SA, HK, JK, GWU), pp. 726–736.
ASE-2015-ZhangHC #automation: Automatically Generating Test Templates from Test Names (N) (BZ, EH, JC), pp. 506–511.
ESEC-FSE-2015-ArcainiGR #composition #modelling #testing: Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSE-2015-ArcuriFG #automation #network #testing: Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSE-2015-Jain #automation #programming language: Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSE-2015-Prasetya #java #named #query #testing: T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
ESEC-FSE-2015-Shamshiri #automation #evolution #testing: Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSE-2015-White #parametricity #performance #search-based #testing #using: Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
GTTSE-2015-SmaragdakisBF: Structured Program Generation Techniques (YS, AB, GF), pp. 154–178.
ICSE-v1-2015-DeweyNH #automation #data type: Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ICSE-v1-2015-JiaCHP #combinator #interactive #learning #testing #using: Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.
ICSE-v1-2015-KusanoCW #invariant #parallel #source code #thread: Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSE-v2-2015-McBurney #automation #documentation #source code #summary: Automatic Documentation Generation via Source Code Summarization (PWM), pp. 903–906.
ICSE-v2-2015-TannoZHS #automation #enterprise #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-Thompson #development #towards: Towards Generation of Software Development Tasks (CAT), pp. 915–918.
ICSE-v2-2015-VasquezCAP #automation #commit #named: ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
SAC-2015-BispoRC #c #matlab: C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
SAC-2015-BolockA #automation #constraints #towards #using: Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
SAC-2015-BrideJM #approximate #testing: Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SAC-2015-DuarteBGCT #behaviour #towards: Towards context-aware behaviour generation (PAdSD, FMB, FAdAG, WVdC, FAMT), pp. 596–598.
SAC-2015-Kerschbaum #outsourcing: Oblivious outsourcing of garbled circuit generation (FK), pp. 2134–2140.
SAC-2015-LeottaSRT #automation #testing #visual notation #web: Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
SAC-2015-Morelli #automation #modelling: Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SAC-2015-RychnovskyH #query #xml #xpath: Generating XML data for XPath queries (DR, IH), pp. 724–731.
GPCE-2015-FoustJP #constraints #data flow #multi #source code #user interface #visual notation: Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.
GPCE-2015-ReyndersDP #api #bound: Generating safe boundary APIs between typed EDSLs and their environments (BR, DD, FP), pp. 31–34.
GPCE-2015-SeidlSS #design pattern #development #product line #using #variability: Generative software product line development using variability-aware design patterns (CS, SS, IS), pp. 151–160.
GPCE-2015-SelgradLKSL #lightweight: Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
CASE-2015-ArdakaniORJ #predict #realtime #using: Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
CASE-2015-HuangJG #distributed #multi #optimisation: Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
CASE-2015-MeddouriDF #analysis #induction #performance #predict #using: Performance analysis of an autonomous induction generator under different operating conditions using predictive control (SM, LAD, LF), pp. 1118–1124.
CASE-2015-RacchettiTF #automation #documentation #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.
CC-2015-Buchwald #named #optimisation: Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
CGO-2015-McAfeeO #framework #learning #multi #named: EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.
DAC-2015-LiuSZLQ #statistics: A statistical methodology for noise sensor placement and full-chip voltage map generation (XL, SS, PZ, XL, HQ), p. 6.
DAC-2015-Pomeranz #testing: Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
DAC-2015-RozicYDV #performance #random: Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
DAC-2015-ShreejithF #embedded #network #security: Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DATE-2015-BringmannEGGMSS #prototype #simulation: The next generation of virtual prototyping: ultra-fast yet accurate simulation of HW/SW systems (OB, WE, AG, AG, DMG, PS, SS), pp. 1698–1707.
DATE-2015-DoustiPP #modelling: Accurate electrothermal modeling of thermoelectric generators (MJD, AP, MP), pp. 1603–1606.
DATE-2015-KadryKMNSPPJS #case study #comparative #simulation #testing: Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
DATE-2015-NiemannHGW #formal method #modelling: Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATE-2015-RiefertCSRB #automation #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-YangRMDV #embedded #framework #on the fly #platform #random #testing: Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
HPDC-2015-SuWA #data analysis #performance: In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
PPoPP-2015-JinLMLLPCK #automation #benchmark #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.
ESOP-2015-FetscherCPHF #automation #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.
FASE-2015-BurdekLBHRA015 #multi #product line #reuse #testing: Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
STOC-2015-KothariM #pseudo: Almost Optimal Pseudorandom Generators for Spherical Caps: Extended Abstract (PKK, RM), pp. 247–256.
TACAS-2015-ChakrabortyFMSV #on the #parallel #satisfiability #scalability: On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
CADE-2015-EchenimPT #equation #logic #quantifier: Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
CAV-2015-ChenHWZ #invariant #polynomial: Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
ICLP-2015-Tarau #on the: On Type-directed Generation of λ Terms (PT), pp. 60–72.
ICST-2015-0001YPGS #analysis #testing #using: Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
ICST-2015-ArcainiGV #detection #fault #feature model #modelling #testing: Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICST-2015-JensenTSC #testing: Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
ICST-2015-Mirshokraie0P #automation #javascript #named #testing: JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICST-2015-NardoPB #analysis #modelling #mutation testing #testing: Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ICST-2015-PouldingF #testing: Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.
ICST-2015-YuC #embedded #stack #testing #worst-case: Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
ICTSS-2015-AzizS #parallel #realtime #testing: Test-Data Generation for Testing Parallel Real-Time Systems (MWA, SABS), pp. 211–223.
ICTSS-2015-GunicenJY #adaptation #multi #sequence #using: Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation (CG, GVJ, HY), pp. 19–34.
ICTSS-2015-HalleCG #constraints #graph #testing: Graph Methods for Generating Test Cases with Universal and Existential Constraints (SH, ELC, SG), pp. 55–70.
ICTSS-2015-LahamiKBJ #adaptation #approach #behaviour #testing: Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations (ML, MK, HB, MJ), pp. 224–239.
ISSTA-2015-DimjasevicG #analysis #assurance #runtime #testing #verification: Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
ISSTA-2015-QiLAR #analysis #correctness: An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.
ISSTA-2015-RojasFA #automation #development #empirical #testing: Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ISSTA-2015-WangPGBI #automation #case study #specification #testing: Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
ISSTA-2015-YatohSIH #random testing #testing: Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
ISSTA-2015-YueAZ #automation #framework #named #natural language #testing: RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
TAP-2015-AichernigNT #behaviour #incremental #modelling #scalability #testing: Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAP-2015-AthanasiouLS #concurrent #testing #using: Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TAP-2015-BloemHRS #automation #case study #implementation #testing: Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
TAP-2015-GenestierGP #array #deduction #verification: Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
ECSA-2014-KochHD #requirements #specification: Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
DocEng-2014-HughesBBA #documentation #summary: Generating summary documents for a variable-quality PDF document collection (JH, DFB, SRB, CEA), pp. 49–52.
HT-2014-Abdel-HafezXJ #rating: A rating aggregation method for generating product reputations (AAH, YX, AJ), pp. 291–293.
PODS-2014-BenediktCT #low cost #proving: Generating low-cost plans from proofs (MB, BtC, ET), pp. 200–211.
SIGMOD-2014-HuangCCLXWBH: The next generation operational data historian for IoT based on informix (SH, YC, XC, KL, XX, CW, KB, IH), pp. 169–176.
VLDB-2014-0002LW #elicitation: Generating Top-k Packages via Preference Elicitation (MX, LVSL, PTW), pp. 1941–1952.
VLDB-2014-VartakMPP #automation #named #query #visualisation: SEEDB: Automatically Generating Query Visualizations (MV, SM, AGP, NP), pp. 1581–1584.
EDM-2014-PeddycordHB #problem #programming #using: Generating Hints for Programming Problems Using Intermediate Output (BWPI, AH, TB), pp. 92–98.
ITiCSE-2014-MornarGM #algorithm #automation #pseudo #visualisation: System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
ICPC-2014-McBurneyM #automation #documentation #source code #summary: Automatic documentation generation via source code summarization of method context (PWM, CM), pp. 279–290.
ICSME-2014-VanderveenJT #web #web service: A Web Service Test Generator (PV, MJ, AFT), pp. 516–520.
MSR-2014-LazarRS14a #dataset #debugging: Generating duplicate bug datasets (AL, SR, BS), pp. 392–395.
SCAM-2014-Cortes-CoyVAP #automation #commit #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-PetiotBJKS #c #source code #testing: Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
ICALP-v1-2014-FouqueT #random: Close to Uniform Prime Number Generation with Fewer Random Bits (PAF, MT), pp. 991–1002.
SFM-2014-AbrahamBDJKW #markov #modelling #overview: Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
SFM-2014-AlbertAGR #concept #concurrent #execution #symbolic computation #testing: Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
FLOPS-2014-ClaessenDP #random: Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.
ILC-2014-KeishiS #lalr #named #parsing: PaGe: Portable LALR(1) Parser Generator (SK, AS), p. 8.
AIIDE-2014-BrinkeLT: Hide and Sneak: Story Generation with Characters that Perceive and Assume (HtB, JL, MT).
AIIDE-2014-ShakerA #approach #combinator #game studies: Alone We Can Do So Little, Together We Can Do So Much: A Combinatorial Approach for Generating Game Content (NS, MAZ).
AIIDE-2014-SnodgrassO #approach #markov #using: A Hierarchical Approach to Generating Maps Using Markov Chains (SS, SO).
AIIDE-2014-XuTV #game studies: Generative Methods for Guard and Camera Placement in Stealth Games (QX, JT, CV).
CHI-PLAY-2014-BahamonLWGLY #game studies #using: IC-CRIME snapshots: training crime scene photographers using procedural content generation in games (JCB, ML, PW, RG, KL, RMY), pp. 403–404.
CIG-2014-AshlockM #automation #game studies: Automatic generation of fantasy role-playing modules (DAA, CM), pp. 1–8.
CIG-2014-BangayM #game studies: Generating an attribute space for analyzing balance in single unit RTS game combat (SB, OM), pp. 1–8.
CIG-2014-CachiaAMY: Procedural generation of music-guided weapons (WC, LA, HPM, GNY), pp. 1–2.
CIG-2014-DahlskogT #multi: A multi-level level generator (SD, JT), pp. 1–8.
CIG-2014-FerreiraT #approach #search-based: A search-based approach for generating Angry Birds levels (LF, CFMT), pp. 1–8.
CIG-2014-LimH #approach #automation #evaluation #game studies #using: An approach to general videogame evaluation and automatic generation using a description language (CUL, DFH), pp. 1–8.
FDG-2014-HolmgardLTY #game studies #modelling: Generative agents for player decision modeling in games (CH, AL, JT, GNY).
FDG-2014-HornDSST #comparative #evaluation #framework: A comparative evaluation of procedural level generators in the Mario AI framework (BH, SD, NS, GS, JT).
FDG-2014-KybartasBE #semantics: Integrating semantics and narrative world generation (BAK, RB, EE).
FDG-2014-SnodgrassO #markov #using: Experiments in map generation using Markov chains (SS, SO).
VS-Games-2014-Bennett #framework #game studies #semantics: Semantic Content Generation Framework for Game Worlds (MB), pp. 1–8.
GRAPHITE-2014-KantP #game studies: Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.
GT-VMT-2014-DeckwerthV #constraints #graph transformation #higher-order: Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGT-2014-DeckwerthV #constraints #graph: Attribute Handling for Generating Preconditions from Graph Constraints (FD, GV), pp. 81–96.
ICGT-2014-JansenGN #execution #induction #pointer #source code #symbolic computation: Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
ICGT-2014-JansenN #graph #pointer #source code #summary: Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
ICGT-2014-KreowskiKLL #evaluation #graph transformation #synthesis: Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.
CHI-2014-SasWDFZ #design #research: Generating implications for design through design research (CS, SW, SD, JF, JZ), pp. 1971–1980.
CHI-2014-SavvaCMH #automation #keyword #named: TransPhoner: automated mnemonic keyword generation (MS, AXC, CDM, PH), pp. 3725–3734.
CHI-2014-SetlurM #automation #encoding #semantics #visualisation: Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
CHI-2014-Smith #analysis #comprehension #game studies: Understanding procedural content generation: a design-centric analysis of the role of PCG in games (GS), pp. 917–926.
CHI-2014-YuKK14a #distributed #idea: Distributed analogical idea generation: inventing with crowds (LY, AK, REK), pp. 1245–1254.
CSCW-2014-Meier: Next generation humanitarian computing (PM), p. 1573.
CSCW-2014-XuHB #design #feedback #named #using #visual notation: Voyant: generating structured feedback on visual designs using a crowd of non-experts (AX, SWH, BPB), pp. 1433–1444.
DUXU-DP-2014-Gatsou: From Inexperienced Users to Co-creators: An Exploration of a Generative Method (CG), pp. 244–252.
DUXU-TMT-2014-LeeL #3d #design #research: Experimental Research in Applying Generative Design and 3D Printers in User Participating Design (LCJL, MHL), pp. 296–307.
HCI-AIMT-2014-NakaI #communication #effectiveness #gesture: Proposal of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication (TN, TI), pp. 102–112.
HCI-TMT-2014-LuzSN #human-computer #ontology #workflow: Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
HCI-TMT-2014-MotylF #comparison #design #idea: Comparison of Creativity Enhancement and Idea Generation Methods in Engineering Design Training (BM, SF), pp. 242–250.
HCI-TMT-2014-RaneburgerPKAS #automation #design #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 #automation #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.
HIMI-AS-2014-AsaiY #documentation: EA Snippets: Generating Summarized View of Handwritten Documents Based on Emphasis Annotations (HA, HY), pp. 20–31.
HIMI-DE-2014-HoriguchiASN #dependence: Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
HIMI-DE-2014-HuangL #design: Generative Product Design Inspired by Natural Information (YH, JYL), pp. 583–593.
CAiSE-2014-RizziG #named #parametricity: CubeLoad: A Parametric Generator of Realistic OLAP Workloads (SR, EG), pp. 610–624.
ICEIS-v1-2014-HenriquesA #database #modelling #sequence: Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEIS-v1-2014-HuangZZ #clustering #multi: Multi-domain Schema Clustering and Hierarchical Mediated Schema Generation (QH, CZ, JZ), pp. 111–118.
ICEIS-v2-2014-KublerF #information management #lifecycle #named #question: CaPLIM: The Next Generation of Product Lifecycle Information Management? (SK, KF), pp. 539–547.
ICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #requirements #testing: An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
CIKM-2014-TkachenkoL #modelling: Generative Modeling of Entity Comparisons in Text (MT, HWL), pp. 859–868.
CIKM-2014-YeLQPM: A Generative Model for Generating Relevance Labels from Human Judgments and Click-Logs (XY, JL, ZQ, BP, DM), pp. 1907–1910.
CIKM-2014-ZhangXTW0 #clustering #framework #named #platform #wiki: WiiCluster: a Platform for Wikipedia Infobox Generation (KZ, YX, HT, HW, WW), pp. 2033–2035.
ECIR-2014-ChhabraB #summary #towards: Towards Generating Text Summaries for Entity Chains (SC, SB), pp. 136–147.
ECIR-2014-GrausTBR #concept #predict #pseudo #social: Generating Pseudo-ground Truth for Predicting New Concepts in Social Streams (DG, MT, LB, MdR), pp. 286–298.
ICML-c1-2014-ZhouT #network #predict #probability: Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction (JZ, OGT), pp. 745–753.
ICML-c2-2014-BengioLAY #network #probability: Deep Generative Stochastic Networks Trainable by Backprop (YB, EL, GA, JY), pp. 226–234.
ICML-c2-2014-MaddisonT #modelling #source code: Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
ICML-c2-2014-RezendeMW #approximate #modelling #probability: Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICPR-2014-BanerjeeCM #automation #classification #game studies #wiki: Playscript Classification and Automatic Wikipedia Play Articles Generation (SB, CC, PM), pp. 3630–3635.
ICPR-2014-RamaiahPG: A Sigma-Lognormal Model for Handwritten Text CAPTCHA Generation (CR, RP, VG), pp. 250–255.
ICPR-2014-RiabchenkoKC #learning #modelling: Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.
ICPR-2014-RothermelHWB #modelling #performance #robust #semantics #video: Fast and Robust Generation of Semantic Urban Terrain Models from UAV Video Streams (MR, NH, KW, DB), pp. 592–597.
ICPR-2014-SharmaCL #3d #approach #hybrid #novel: Kinect-Variety Fusion: A Novel Hybrid Approach for Artifacts-Free 3DTV Content Generation (MS, SC, BL), pp. 2275–2280.
KDD-2014-SpanglerWBNDHRPCMSKLLPLDCL #automation #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.
KDD-2014-YuanCL #named #recommendation: COM: a generative model for group recommendation (QY, GC, CYL), pp. 163–172.
KMIS-2014-Schmitt #approach #information management #novel: Proposing a Next Generation of Knowledge Management Systems for Creative Collaborations in Support of Individuals and Institutions — Featuring a Novel Approach for Meme-based Personal Knowledge Management (US), pp. 346–353.
MLDM-2014-PirasG #classification #image #roadmap: Open Issues on Codebook Generation in Image Classification Tasks (LP, GG), pp. 328–342.
SEKE-2014-JaliGH #behaviour #case study #ontology: Behavioral Model Generation from Use Cases Based on Ontology Mapping and GRASP Patterns (NJ, DG, PH), pp. 324–329.
SEKE-2014-LiLWC #automation #data access #policy #testing: Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SEKE-2014-NassarJSB #energy #java #realtime #runtime: Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
SEKE-2014-Saito0TO #approach #constraints #knowledge-based #testing #web: Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SKY-2014-Ben-Av #algebra #multi #ontology #using: Ontology Hierarchy Self Generation using Algebraic Multi-Grid (AMG) (RBA), pp. 79–85.
SKY-2014-ExmanI #named #ontology: Apogee: Application Ontology Generation from Domain Ontologies (IE, DI), pp. 31–42.
ICMT-2014-GonzalezC #analysis #constraints #model transformation #testing: Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMT-2014-JilaniIK #approach #model transformation #testing: A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
MoDELS-2014-NataleCSS #adaptation #approach #communication #component: An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink (MDN, FC, AS, ALSV), pp. 353–369.
SPLC-2014-KruegerC #product line: Second generation systems and software product line engineering (CWK, PCC), p. 358.
SPLC-2014-SimidchievaO #composition #product line #verification: Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
OOPSLA-2014-PradelSNS #latency #named #testing #user interface: EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
OOPSLA-2014-RosnerBPKAFK #bound #hybrid #invariant: Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
OOPSLA-2014-SteeleLF #performance #pseudo: Fast splittable pseudorandom number generators (GLSJ, DL, CHF), pp. 453–472.
LOPSTR-2014-Vidal #execution #prolog #testing: Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PADL-2014-BrackerG #domain-specific language #javascript #monad #named: Sunroof: A Monadic DSL for Generating JavaScript (JB, AG), pp. 65–80.
PEPM-2014-MartinsSFW #attribute grammar #bidirectional #grammarware: Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
PLDI-2014-DeVitoRFAH #runtime #using: First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.
POPL-2014-LongSKR #fault #integer: Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
ASE-2014-ArcuriFG #automation #dependence #testing: Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASE-2014-CamposAFA #automation #integration #testing: Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASE-2014-DingesA #execution #using: Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASE-2014-FardMM #automation #testing #web: Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASE-2014-HollingPG #lightweight #named #testing: 8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
ASE-2014-TillmannHX #automation #testing: Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
ASE-2014-TurenneKGR: A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
FSE-2014-GulwaniRZ #feedback #performance #problem #programming: Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
FSE-2014-HavrikovHGZ #named #testing #xml: XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
FSE-2014-MorenoBPOMC #automation: Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.
ICSE-2014-ChenPYNZ #adaptation #incremental #model transformation #runtime #self: Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
ICSE-2014-Monperrus #automation #evaluation #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.
SAC-2014-BassoPOF #adaptation #case study #experience #lessons learnt #model transformation: Generative adaptation of model transformation assets: experiences, lessons and drawbacks (FPB, RMP, TCdO, MDDF), pp. 1027–1034.
SAC-2014-GaoEWGL #empirical #testing: An empirical study of requirements-based test generation on an automobile control system (RG, JSE, WEW, XG, SYL), pp. 1094–1099.
SAC-2014-JangJL #component #embedded #prototype #simulation: Virtual prototype generation by shockwave flash for simulating HW components of embedded system (SYJ, AKJ, WJL), pp. 1755–1756.
SAC-2014-RaneburgerKPSA #automation #design #interactive #process #user interface: A process for facilitating interaction design through automated GUI generation (DR, HK, RP, VS, AA), pp. 1324–1330.
SAC-2014-VidalCNM #approach #automation: A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.
SLE-2014-HartelHL #testing #xtext: Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
SLE-2014-MeyersDLSVW #framework #named: ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
CASE-2014-HsiehHP #predict #using: Improving the stability and fuel economy for Belt-Starter Generator Mild HEV at idle speed using model predict control (FCH, YDH, YWP), pp. 916–921.
CASE-2014-Murakami #approach #multi #problem: A column generation approach for the multi-vehicle covering tour problem (KM), pp. 1063–1068.
CASE-2014-ParkLH #performance #using: Trajectory generation method using Bézier spiral curves for high-speed on-road autonomous vehicles (BP, YCL, WYH), pp. 927–932.
CASE-2014-WangGWG #analysis #behaviour #multi: Analysis of multi-location PEV charging behaviors based on trip chain generation (DW, XG, JW, JG), pp. 151–156.
CC-2014-BarenghiCMPP: The PAPAGENO Parallel-Parser Generator (AB, SCR, DM, FP, MP), pp. 192–196.
DAC-2014-AdirGGS #network #testing #using: Using a High-Level Test Generation Expert System for Testing In-Car Networks (AA, AG, LG, TS), p. 6.
DAC-2014-ChakrabortyMV #satisfiability #scalability: Balancing Scalability and Uniformity in SAT Witness Generator (SC, KSM, MYV), p. 6.
DAC-2014-NaeemiCKPIR #scalability: BEOL Scaling Limits and Next Generation Technology Prospects (AN, AC, VK, CP, RMI, SR), p. 6.
DAC-2014-RahmanXFZST #independence #named #random: TI-TRNG: Technology Independent True Random Number Generator (MTR, KX, DF, XZ, JS, MT), p. 6.
DAC-2014-XiangQZLYSL: Row Based Dual-VDD Island Generation and Placement (HX, HQ, CZ, YSL, FY, AS, PFL), p. 6.
DATE-2014-AzimCPF #communication #distributed #multi #realtime: Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
DATE-2014-BalckGP #modelling #protocol #testing #using: Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
DATE-2014-BanerjeeD #calculus #constraints #random #realtime #sequence: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
DATE-2014-BhargavaM #encryption #performance #reliability: An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATE-2014-Fuller #challenge #design #embedded: System design challenges for next generation wireless and embedded systems (DF), p. 1.
DATE-2014-KimH #automation #parallel: Automatic generation of custom SIMD instructions for Superword Level Parallelism (TK, YH), pp. 1–6.
DATE-2014-Matsunaga #algorithm #parallel #synthesis: Synthesis algorithm of parallel index generation units (YM), pp. 1–6.
DATE-2014-Pomeranz #testing: Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #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-SabrySARM: Integrated microfluidic power generation and cooling for bright silicon MPSoCs (MMS, AS, DA, PR, BM), pp. 1–6.
DATE-2014-WangLLW0 #design #functional #testing: Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
HPDC-2014-WangZCLR: Next generation job management systems for extreme-scale ensemble computing (KW, XZ, HC, ML, IR), pp. 111–114.
OSDI-2014-BangertZ #named #parsing: Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
ESOP-2014-BrainDKS #proving #source code: Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
STOC-2014-ArtemenkoS #pseudo: Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
TACAS-2014-AstefanoaeiRBBC #composition #invariant: Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACAS-2014-EssenG: Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
CAV-2014-ChengHRS #automation #named #source code: G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
CAV-2014-Nadel #automation: Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
ICST-2014-AydinAB #automation #testing: Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICST-2014-ZaeemPK #automation #mobile #testing: Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSS-2014-AbdelmoulaGA #automation #embedded #named #testing: AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSS-2014-Estero-BotaroGDPM #composition #framework #search-based #testing: A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.
IJCAR-2014-PapacchiniS #logic: Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.
ISSTA-2014-GaleottiFA #adaptation #execution #search-based #symbolic computation: Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
ISSTA-2014-Mirshokraie #assessment #effectiveness #testing #web: Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
TAP-2014-JannesariKSW #classification #parallel #testing: Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
TAP-2014-KurthSW #constraints #interface #process #testing #theorem proving #uml #using: Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
TAP-2014-PetiotKGJ #deduction #how #specification #testing #verification: How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.
QoSA-2013-DuSHGV #modelling #sequence: Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
DocEng-2013-TruranSGC #automation #guidelines: Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
HT-2013-KrestelS #sentiment #topic: Generating contextualized sentiment lexica based on latent topics and user ratings (RK, SS), pp. 129–138.
HT-2013-LeginusDL #graph: Graph based techniques for tag cloud generation (ML, PD, RL), pp. 148–157.
ICDAR-2013-AhmedKILD #automation #documentation #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-BillerAKD #documentation #interactive #named: WebGT: An Interactive Web-Based System for Historical Document Ground Truth Generation (OB, AA, KK, ID), pp. 305–308.
ICDAR-2013-KieuJVMD #3d #documentation #image #using: Semi-synthetic Document Image Generation Using Texture Mapping on Scanned 3D Document Shapes (VCK, NJ, MV, RM, JPD), pp. 489–493.
ICDAR-2013-ReznakovaTC #fuzzy #gesture #named #online #recognition: ARTIST: ART-2A Driven Generation of Fuzzy Rules for Online Handwritten Gesture Recognition (MR, LT, MC), pp. 354–358.
JCDL-2013-OkoyeSB #automation #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.
VLDB-2013-HassanzadehKKKOP #data analysis: Next Generation Data Analytics at IBM Research (OH, AK, BK, RK, FÖ, IP), pp. 1174–1175.
ITiCSE-2013-TrabelsiA #education #network #using: Using network packet generators and snort rules for teaching denial of service attacks (ZT, LA), pp. 285–290.
ICPC-2013-KamimuraM #summary #testing #towards: Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
ICPC-2013-MorenoASMPV #automation #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 #automation #java #named #natural language #summary: JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
SCAM-2013-SvajlenkoRD #analysis #named #similarity #tool support: ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.
CIAA-2013-KisielewiczS #automaton: Generating Small Automata and the Černý Conjecture (AK, MS), pp. 340–348.
ICALP-v1-2013-BringmannF #geometry #graph #performance #random: Exact and Efficient Generation of Geometric Random Variates and Random Graphs (KB, TF), pp. 267–278.
ICALP-v1-2013-IshaiKLOPSZ #pseudo #robust: Robust Pseudorandom Generators (YI, EK, XL, RO, MP, AS, DZ), pp. 576–588.
ICALP-v2-2013-Woods: Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (KW), pp. 410–421.
RTA-2013-Kari #automaton: Pattern Generation by Cellular Automata (JK), pp. 1–3.
SEFM-2013-Choi #constraints #operating system #specification #testing: Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
SEFM-2013-CristiaRF #framework #testing: {log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
TLCA-2013-BentonHN #logic: Proof-Relevant Logical Relations for Name Generation (NB, MH, VN), pp. 48–60.
Haskell-2013-ClaessenP #encryption #pseudo #using: Splittable pseudorandom number generators using cryptographic hashing (KC, MHP), pp. 47–58.
ICFP-2013-Chlipala #hoare #logic #metaprogramming #verification: The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
IFL-2013-GrelckW #adaptation #array #functional #performance: Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.
AIIDE-2013-AbelhaGCAFFSP #interactive #nondeterminism: A Nondeterministic Temporal Planning Model for Generating Narratives with Continuous Change in Interactive Storytelling (PA, VMG, AEMC, ETA, ALF, BF, FAGdS, CTP).
AIIDE-2013-ComanM #automation #nondeterminism #using: Automated Generation of Diverse NPC-Controlling FSMs Using Nondeterministic Planning Techniques (AC, HMA).
AIIDE-2013-LlansoGGG #architecture #automation #component #empirical #evaluation #game studies: Empirical Evaluation of the Automatic Generation of a Component-Based Software Architecture for Games (DL, PPGM, MAGM, PAGC).
AIIDE-2013-LuoYZCLZ #modelling: Mission-Based Scenario Modeling and Generation for Virtual Training (LL, HY, JZ, WC, ML, SZ).
AIIDE-2013-ZhuO #empirical: Evaluating Analogy-Based Story Generation: An Empirical Study (JZ, SO).
CIG-2013-AdrianL #approach #design #using: An approach to level design using procedural content generation and difficulty curves (DFHA, ALSGC), pp. 1–8.
CIG-2013-AshlockM #automaton: Landscape automata for search based procedural content generation (DA, CM), pp. 1–8.
CIG-2013-PenaRMLPO #game studies #video: Soft computing for content generation: Trading market in a basketball management video game (JMPS, EMR, SM, AL, LP, SO), pp. 1–8.
CIG-2013-ShakerSNST #analysis #automation #game studies: Automatic generation and analysis of physics-based puzzle games (MS, MHS, OAN, NS, JT), pp. 1–8.
CIG-2013-UriarteO #named: PSMAGE: Balanced map generation for StarCraft (AU, SO), pp. 1–8.
CIG-2013-Valls-VargasOZ #towards: Towards story-based content generation: From plot-points to maps (JVV, SO, JZ), pp. 1–8.
DiGRA-2013-Ferrari13a #game studies: From Generative to Conventional Play: MOBA and League of Legends (SF).
FDG-2013-CabezasT #behaviour #realtime: Real-time procedural terrain generation through swarm behaviours (ÁFC, TT), pp. 421–422.
FDG-2013-FontMMT #automation #game studies #programming #search-based #towards: Towards the automatic generation of card games through grammar-guided genetic programming (JMF, TM, DM, JT), pp. 360–363.
FDG-2013-PaceT #evolution: Procedural content generation and evolution within the EvoTanks domain (AP, TT), pp. 439–440.
GT-VMT-2013-RungeKH #contract #testing #using #visual notation: Test Case Generation Using Visual Contracts (OR, TAK, RH).
CHI-2013-HullmanDA #automation #named #visualisation: Contextifier: automatic generation of annotated stock visualizations (JH, ND, EA), pp. 2707–2716.
CHI-2013-KhaledNB #design #game studies: Design metaphors for procedural content generation in games (RK, MJN, PB), pp. 1509–1518.
DUXU-WM-2013-LinL13a #case study #design: An Experimental Study for Applying Generative Design to Electronic Consumer Products (MHL, LCL), pp. 392–401.
HCI-AMTE-2013-EngelMHF #automation #specification #user interface: Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation (JE, CM, CH, PF), pp. 300–309.
HCI-AMTE-2013-WendlerP #requirements #user interface: Requirements for a Definition of Generative User Interface Patterns (SW, IP), pp. 510–520.
HCI-III-2013-TsurudaHYI #mobile #using: Generation of Facial Expression Emphasized with Cartoon Techniques Using a Cellular-Phone-Type Teleoperated Robot with a Mobile Projector (YT, MH, HY, YI), pp. 391–400.
HCI-IMT-2013-ShimizuNS #algorithm #search-based #using: System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.
HCI-UC-2013-BergmannMSO #automation #case study #layout #user study: Automatic Layout Generation for Digital Photo Albums: A User Study (FBB, IHM, MSS, JBSdO), pp. 117–126.
HCI-UC-2013-KristensenBCJLBB #online #towards: Towards a Next Generation Universally Accessible “Online Shopping-for-Apparel” System (KK, NB, LGC, HWJ, JNTL, ALB, EPB), pp. 418–427.
HIMI-D-2013-ChenTWCXY #automation #named #social #social media: EventLens: An Automatic Magazine Generating System for Social Media (HC, HT, ZW, PC, YX, SY), pp. 177–186.
HIMI-D-2013-OkuboN #composition: Proposal of Avatar Generating Method by Composition of the Portraits Made by Friends (MO, SN), pp. 515–523.
HIMI-LCCB-2013-NakajimaT #learning #online: New Potential of E-learning by Re-utilizing Open Content Online — TED NOTE: English Learning System as an Auto-assignment Generator (AN, KT), pp. 108–117.
CAiSE-2013-RamirezBVW #multi #process: Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
ICEIS-J-2013-VielMPT13a #interactive #multi #self: Self-Service Classroom Capture Generating Interactive Multivideo Objects (CCV, ELM, MdGCP, CACT), pp. 438–456.
ICEIS-v1-2013-PuyanaQ #automation #named #summary: GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.
CIKM-2013-ChristenV #flexibility: Flexible and extensible generation and corruption of personal data (PC, DV), pp. 1165–1168.
ECIR-2013-ChattopadhyayaSS #distance #edit distance #performance: A Fast Generative Spell Corrector Based on Edit Distance (IC, KS, KS), pp. 404–410.
ICML-c1-2013-LiLSHD #learning #using: Learning Hash Functions Using Column Generation (XL, GL, CS, AvdH, ARD), pp. 142–150.
ICML-c3-2013-PeharzTP #network: The Most Generative Maximum Margin Bayesian Networks (RP, ST, FP), pp. 235–243.
KDD-2013-BaiJS #automation #set: Exploiting user clicks for automatic seed set generation for entity matching (XB, FPJ, SHS), pp. 980–988.
KDD-2013-WangZR #comprehension #evolution #probability #research: Understanding evolution of research themes: a probabilistic generative model for citations (XW, CZ, DR), pp. 1115–1123.
KDIR-KMIS-2013-VickN #perspective: Relations between Information Literacy and Knowledge Generation in Innovation Teams — A Four Dimensional Perspective (TEV, MSN), pp. 437–442.
KEOD-2013-ZouhaierDA #automation #reasoning #using: Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning (LZ, YBH, LJBA), pp. 413–418.
MLDM-2013-YasojimaFBOS #analysis #case study #power management: Partial Discharge Analysis and Inspection Alert Generation in High Power Transformers: A Case Study of an Autotransformer Bank at Eletrobrás-ELETRONORTE Vila do Conde Station (CTKY, MSF, FdSB, TFdO, AMdS), pp. 367–378.
RecSys-2013-Dooms #hybrid #personalisation #recommendation: Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
RecSys-2013-LiuAYB #using: Generating supplemental content information using virtual profiles (HL, MSA, BY, AB), pp. 295–302.
SEKE-2013-Lacanienta0TO #approach #knowledge-based #web: A Knowledge-based Approach for Generating Test Scenarios for Web Applications (RL, ST, HT, MO), pp. 166–171.
SEKE-2013-NajeraMPE #modelling #ontology: Generating Ontologies through Organizational Modeling (KN, AM, AP, HE), pp. 42–47.
SEKE-2013-PossompesDHT #feature model #modelling: Model-Driven Generation of Context-Specific Feature Models (TP, CD, MH, CT), pp. 250–255.
SEKE-2013-SilvaBLDP #automation #semantics #web #web service: Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
SEKE-2013-SouzaSPFF #case study #using: Generation of Thematic Maps using WPS-Cartographer: An experimental study (FCMS, ACCdS, VP, EF, VRTF), pp. 500–503.
SEKE-2013-WangGZZX #array #combinator #interactive #testing: Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.
SIGIR-2013-AsadiL #architecture #effectiveness #multi #performance #retrieval #trade-off: Effectiveness/efficiency tradeoffs for candidate generation in multi-stage retrieval architectures (NA, JL), pp. 997–1000.
SIGIR-2013-Leveling #coordination #query: Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.
SIGIR-2013-ZhaoGYHL #social #timeline: Timeline generation with social attention (WXZ, YG, RY, YH, XL), pp. 1061–1064.
SKY-2013-SuarezMFM #automation #natural language #semantics #using: Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
SKY-2013-YagelLE #named: KoDEgen: A Knowledge Driven Engineering Code Generating Tool (RY, AL, IE), pp. 24–33.
ECMFA-2013-PatzinaPPM #modelling #monitoring #runtime: Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
SPLC-2013-FilhoABN #case study #modelling #product line: Generating counterexamples of model-based software product lines: an exploratory study (JBFF, OB, MA, BB, JLN), pp. 72–81.
SPLC-2013-HenardPPKT #multi #product line #testing: Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLC-2013-KruegerC #product line: Second generation systems and software product line engineering (CWK, PCC), pp. 283–284.
ECOOP-2013-CoxCS #graph #invariant #relational: QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
ECOOP-2013-HeuleKMS #abstraction #logic #verification: Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
OOPSLA-2013-DilligDLM #abduction #induction #invariant: Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
OOPSLA-2013-MillerHBO #combinator #object-oriented #performance: Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization (HM, PH, EB, MO), pp. 183–202.
LOPSTR-2013-PoulsenM #composition #semantics: Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
PEPM-2013-AktemurKKS #challenge #programming: Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
PLDI-2013-SinghGS #automation #feedback #programming: Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
SAS-2013-FouilheMP #abstract domain #correctness #performance: Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
RE-2013-HesariBY #challenge #framework #industrial #testing #towards: Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.
RE-2013-NiknafsB #case study #effectiveness #elicitation #idea #industrial #requirements: An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 279–283.
ASE-2013-CamposAFd #fault #locality #testing: Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ASE-2013-KusanoW #c #c++ #concurrent #named #parallel #thread: CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
ASE-2013-LiRSDC #data flow #named #source code: SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASE-2013-MirshokraieMP #javascript #named #testing: PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASE-2013-TillmannHXB #automation #education #game studies #named #testing: Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ASE-2013-WongYT #automation #mining #named: AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.
ASE-2013-WuestSG #automation #metamodelling #sketching: Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
ASE-2013-XiaoLXT #execution #problem #symbolic computation #testing: Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
ESEC-FSE-2013-AlbertAGW #concurrent #named #testing: aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSE-2013-CostaVCL #modelling #named: RSA-MBT: a test tool for generating test artifacts based on models (ADdC, RV, GRdC, CJPdL), pp. 619–622.
ESEC-FSE-2013-MachiryTN #android #named: Dynodroid: an input generation system for Android apps (AM, RT, MN), pp. 224–234.
ICSE-2013-GargIBMG #c #c++ #execution #testing #using: Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
ICSE-2013-GhoshSLC #automation #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-KimNSK #automation: Automatic patch generation learned from human-written patches (DK, JN, JS, SK), pp. 802–811.
ICSE-2013-ThummalapentaLSSC #testing #web: Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
SAC-2013-CarvalhoFBSMMB #natural language #requirements #specification #testing: Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
SAC-2013-MeloC #automation #case study #difference #evolution: Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.
LDTA-J-2009-ScottJ #gll: GLL parse-tree generation (ES, AJ), pp. 1828–1844.
GPCE-2013-AnKGTS #automation #framework #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.
GPCE-2013-DhunganaFH #domain model #modelling: Generation of conjoint domain models for system-of-systems (DD, AAF, AH), pp. 159–168.
GPCE-2013-OfenbeckRSOP #library #performance #scala #towards: Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.
GPCE-2013-SujeethGBLROO #declarative #domain-specific language #implementation #named #performance #specification: Forge: generating a high performance DSL implementation from a declarative specification (AKS, AG, KJB, HL, TR, MO, KO), pp. 145–154.
CASE-2013-CecilGCS #collaboration #framework: A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
CASE-2013-FerreiraL #multi #tool support #using: A method for generating tool paths for milling pockets in prismatic parts using multiple tools (JCEF, RAL), pp. 528–533.
CASE-2013-LiK #automation #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-RoyS #constraints #process: Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CC-2013-MooreC #automation #machine learning #policy #using: Automatic Generation of Program Affinity Policies Using Machine Learning (RWM, BRC), pp. 184–203.
DAC-2013-KinsmanKN #sequence #validation: Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
DAC-2013-WuWLH #algorithm #model checking #satisfiability: A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.
DAC-2013-YeYSJX: Post-placement voltage island generation for timing-speculative circuits (RY, FY, ZS, WBJ, QX), p. 6.
DATE-2013-HillebrechtKEWB: Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
DATE-2013-KoeberlKS: Memristor PUFs: a new generation of memory-based physically unclonable functions (PK, ÜK, ARS), pp. 428–431.
HPCA-2013-LiZL #distributed: Enabling distributed generation powered sustainable high-performance data center (CL, RZ, TL), pp. 35–46.
ISMM-2013-WangNG #effectiveness #memory management: Generating sound and effective memory debuggers (YW, IN, RG), pp. 51–62.
PLOS-2013-SunFBG #agile #automation #file system #tool support: Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
FASE-2013-YangPX #approach #automation #mobile: A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
CADE-2013-Sofronie-Stokkermans #hybrid #parametricity #reasoning #verification: Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAV-2013-AlmagorAK #automation #quality #specification: Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
CAV-2013-ChakrabortyMV #satisfiability #scalability: A Scalable and Nearly Uniform Generator of SAT Witnesses (SC, KSM, MYV), pp. 608–623.
CAV-2013-DaiXZ #programming: Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CAV-2013-KongHSHG #hybrid #safety #verification: Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
CAV-2013-VizelRN #performance: Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
ICLP-J-2013-AlbertBGRS #testing: A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
ICLP-J-2013-CatB #dependence #detection #functional: Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
ICST-2013-AbadABCFGMMRV #bound #contract #incremental #satisfiability #testing: Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
ICST-2013-BagnaraCGG #float #source code #testing: Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICST-2013-DadeauCLTVBT #evaluation #testing: Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
ICST-2013-FraserA #challenge #named #testing: EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
ICST-2013-Gauthier #modelling #research #testing: Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
ICST-2013-LiuYTH #automation #debugging #named: R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
ICST-2013-MossigeGM #constraints #integration #programming #testing #using: Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
ICST-2013-PezzeRW #effectiveness #integration #testing: Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICST-2013-SteenbuckF #concurrent #testing: Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICST-2013-YeolekarUAKV #model checking #scalability #testing #using: Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
ICST-2013-YuLBKK #algorithm #combinator #constraints #performance #testing: An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
ICST-2013-YuLKK #combinator #named #testing: ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICTSS-2013-GuoQ #automation #grammarware #testing: Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
ISSTA-2013-Buda #database #testing #using: Generation of test databases using sampling methods (TSB), pp. 366–369.
ISSTA-2013-FraserSMAP #automation #question #testing: Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTA-2013-HanazumiM #java #source code: Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
ISSTA-2013-HowarGR #analysis #hybrid #interface #learning: Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
ISSTA-2013-JensenPM #automation #sequence #testing: Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
ISSTA-2013-KifetewPLOT #orthogonal #testing: Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
TAP-2013-AichernigJK #incremental #refinement #testing: Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
TAP-2013-BruckerFNW #case study: Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
TAP-2013-JamrozikFTH #execution #symbolic computation #testing: Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
VMCAI-2013-LarrazRR #array #invariant #smt: SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
WICSA-ECSA-2012-ElorantaHVK #architecture #documentation #knowledge base #named #topic #using: TopDocs: Using Software Architecture Knowledge Base for Generating Topical Documents (VPE, OH, TV, KK), pp. 191–195.
DocEng-2012-JayabalRS #challenge: Challenges in generating bookmarks from TOC entries in e-books (YJ, CR, MJS), pp. 37–40.
JCDL-2012-LeeH #classification #music #using: Generating ground truth for music mood classification using mechanical turk (JHL, XH), pp. 129–138.
SIGMOD-2012-LuSLDWC: Optimal top-k generation of attribute combinations based on ranked lists (JL, PS, CL, XD, SW, XC), pp. 409–420.
TPDL-2012-DamnjanovicH #content management #interactive #library #using: Generating Content for Digital Libraries Using an Interactive Content Management System (UD, SH), pp. 474–479.
VLDB-2012-AlexandrovTM #named #scalability: Myriad: Scalable and Expressive Data Generation (AA, KT, VM), pp. 1890–1893.
VLDB-2012-BlunschiJKMS #named #sql: SODA: Generating SQL for Business Users (LB, CJ, DK, MM, KS), pp. 932–943.
ITiCSE-2012-BrownPSE #analysis #complexity #named: JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading (CB, RP, BS, JE), pp. 99–104.
ITiCSE-2012-Johnson #automation #consistency #interface #named #testing: SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
ITiCSE-2012-Patitsas #education #pseudo: Teaching labs on pseudorandom number generation (EAP), p. 376.
LATA-2012-Oliveira #partial order: Canonizable Partial Order Generators (MdOO), pp. 445–457.
IFM-2012-AndradeFLP #java #testing: Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
IFM-2012-BlackmoreHBER #automation #simulation #verification: Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.
SEFM-2012-DranidisBI #automation #named #testing: JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFM-2012-LefticaruI #algorithm #approach #finite #search-based #state machine #testing #using: An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
AIIDE-2012-RisiLDHS #game studies #search-based #social #video: Combining Search-Based Procedural Content Generation and Social Gaming in the Petalz Video Game (SR, JL, DBD, RH, KOS).
AIIDE-2012-Williams-KingDAS #automation #game studies #standard: The Gold Standard: Automatically Generating Puzzle Game Levels (DWK, JD, JA, BS).
CIG-2012-DartN #smarttech: Smart terrain causality chains for adventure-game puzzle generation (ID, MJN), pp. 328–334.
CIG-2012-FribergerT #open data: Generating interesting Monopoly boards from open data (MGF, JT), pp. 288–295.
CIG-2012-JordanSLHKWVDGVP #game studies #mobile: BeatTheBeat music-based procedural content generation in a mobile game (AJ, DS, JL, JH, MK, MWH, NV, TD, ÜG, IV, MP), pp. 320–327.
CIG-2012-KerssemakersTTY: A procedural procedural level generator generator (MK, JT, JT, GNY), pp. 335–341.
CIG-2012-McGuinness #analysis #representation #statistics: Statistical analyses of representation choice in level generation (CM), pp. 312–319.
CIG-2012-RosenthalC #behaviour: Personality profiles for generating believable bot behaviors (CR, CBC), pp. 124–131.
FDG-2012-FribergerT #game studies #open data: Generating game content from open data (MGF, JT), pp. 290–291.
FDG-2012-ZookLRHSB #automation #towards: Automated scenario generation: toward tailored and optimized military training in virtual environments (AZ, SLU, MOR, HKH, RAS, KWB), pp. 164–171.
GT-VMT-2012-ArijoH #graph transformation #modelling: View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
GT-VMT-2012-Taentzer #graph #multi: Instance Generation from Type Graphs with Arbitrary Multiplicities (GT).
CHI-2012-SwearnginCJB #legacy #modelling #performance #predict: Easing the generation of predictive human performance models from legacy systems (AS, MBC, BEJ, RKEB), pp. 2489–2498.
CAiSE-2012-BrouckeWBV #process: Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
CAiSE-2012-EnsanBG #feature model #modelling #product line #search-based #testing: Evolutionary Search-Based Test Generation for Software Product Line Feature Models (FE, EB, DG), pp. 613–628.
CAiSE-2012-LeopoldMP #modelling #natural language #process: Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
ICEIS-v1-2012-LindK #idea: An Idea for Universal Generator of Hypotheses (GL, RK), pp. 169–174.
ICEIS-v2-2012-VianaPP #domain-specific language #framework #modelling #reuse: Generating Applications — Framework Reuse Supported by Domain-Specific Modeling Languages (MCV, RDP, AFdP), pp. 5–14.
CIKM-2012-AsadiL #documentation #performance #ranking: Fast candidate generation for two-phase document ranking: postings list intersection with bloom filters (NA, JL), pp. 2419–2422.
CIKM-2012-DybalaRAS #analysis #comparative #ranking: Data filtering in humor generation: comparative analysis of hit rate and co-occurrence rankings as a method to choose usable pun candidates (PD, RR, KA, KS), pp. 2587–2590.
CIKM-2012-KummamuruJD #navigation: Generating facets for phone-based navigation of structured data (KK, AJ, MD), pp. 1283–1292.
CIKM-2012-LinLLWCL #microblog: Generating event storylines from microblogs (CL, CL, JL, DW, YC, TL), pp. 175–184.
CIKM-2012-LiuQ #mining: Mining high utility itemsets without candidate generation (ML, JFQ), pp. 55–64.
CIKM-2012-LvZ #query: Query likelihood with negative query generation (YL, CZ), pp. 1799–1803.
CIKM-2012-QuanzH #learning #multi #named: CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.
CIKM-2012-XuKZ #timeline #word: A picture paints a thousand words: a method of generating image-text timelines (SX, LK, YZ), pp. 2511–2514.
ICML-2012-AzarMK #complexity #learning #on the: On the Sample Complexity of Reinforcement Learning with a Generative Model (MGA, RM, BK), p. 222.
ICML-2012-Boulanger-LewandowskiBV #dependence #modelling #music #sequence: Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.
ICML-2012-RifaiDVB #process: A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
ICML-2012-XieHS #approach #automation #learning: Artist Agent: A Reinforcement Learning Approach to Automatic Stroke Generation in Oriental Ink Painting (NX, HH, MS), p. 139.
ICPR-2012-BallanBBSSZ #category theory #image #modelling #social: Combining generative and discriminative models for classifying social images from 101 object categories (LB, MB, ADB, AMS, GS, BFZ), pp. 1731–1734.
ICPR-2012-HanWHBR #graph #probability: Sampling graphs from a probabilistic generative model (LH, RCW, ERH, LB, PR), pp. 1643–1646.
ICPR-2012-HaraKMM #3d #using #video: Fast-accurate 3D face model generation using a single video camera (TH, HK, AM, SM), pp. 1269–1272.
ICPR-2012-IshidaKKN #recognition #using: Road marking recognition for map generation using sparse tensor voting (HI, KK, YK, TN), pp. 1132–1135.
ICPR-2012-MorimuraK #multi #statistics: Statistical Origin-destination generation with multiple sources (TM, SK), pp. 3443–3446.
ICPR-2012-SuWF #analysis #canonical #correlation #evaluation: Evaluation of canonical correlation analysis: A Correlation Generation Model (YS, SW, YF), pp. 1751–1754.
ICPR-2012-Ul-HasanBRSB #automation #database: Semi-automated OCR database generation for Nabataean scripts (AUH, SSB, SFR, FS, TMB), pp. 1667–1670.
ICPR-2012-WangX #image #recognition: Discriminative and generative vocabulary tree for vein image recognition (JW, JX), pp. 3513–3516.
ICPR-2012-YoonFW: Bayesian separation of wind power generation signals (JWY, FF, MW), pp. 2660–2663.
ICPR-2012-ZhangGYG #online #parametricity #video: Nonparametric on-line background generation for surveillance video (RZ, WG, AY, MG), pp. 1177–1180.
KDIR-2012-SantosNF #on the: On the Generation of Dynamic Business Indicators (FAPdS, RCdN, JBF), pp. 390–394.
KMIS-2012-HamadaAS #learning #using: A Generation Method of Reference Operation using Reinforcement Learning on Project Manager Skill-up Simulator (KH, MA, MS), pp. 15–20.
SEKE-2012-CostaCORSZ #modelling #performance #testing: Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
SEKE-2012-DamianiV #automation #diagrams #interactive #interface #web: Automatic Generation of Web Interfaces from User Interaction Diagrams (FBD, PV), pp. 605–610.
SEKE-2012-RakaLM #approach #modelling #product line: Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
SEKE-2012-SoaresPCSTGD #architecture #automation #modelling: Automatic Generation of Architectural Models From Goals Models (MS, JP, JC, CTLLS, CTNS, GG, DD), pp. 444–447.
SEKE-2012-XuT #automation #concurrent: Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
SIGIR-2012-XueC #query: Generating reformulation trees for complex queries (XX, WBC), pp. 525–534.
SIGIR-2012-YeLL #approach #recommendation #social: Exploring social influence for recommendation: a generative model approach (MY, XL, WCL), pp. 671–680.
ICMT-2012-Guerra #model transformation #testing: Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
ICMT-2012-VarroDWS #algorithm #emf #modelling: An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.
MoDELS-2012-GonzalezC #approach #atl #named #testing: ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MoDELS-2012-GrammelKV #development #modelling: Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MoDELS-2012-JohansenHFES #array #modelling #product line: Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.
MoDELS-2012-SaadaDHNS #model transformation: Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
SPLC-2012-GomezPCBL #documentation #framework #named: DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.
SPLC-2012-JohansenHF #algorithm #array #feature model #modelling #scalability: An algorithm for generating t-wise covering arrays from large feature models (MFJ, ØH, FF), pp. 46–55.
LOPSTR-2012-RojasG #constraints #framework #logic programming #testing: A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
SAS-2012-SanchezSSC #invariant #self #using: Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
RE-2012-NiknafsB #effectiveness #elicitation #idea #requirements: The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 181–190.
RE-2012-NiuM #clustering #requirements #revisited: Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.
ASE-2012-BissyandeRLM #automation #debugging #interface #kernel #linux #named: Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
ASE-2012-DemuthLE #adaptation #automation #co-evolution #constraints #design #modelling: Automatically generating and adapting model constraints to support co-evolution of design models (AD, RELH, AE), pp. 302–305.
ASE-2012-FaunesSB #algorithm #model transformation #using: Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
ASE-2012-Quesada #modelling #parsing: A model-driven parser generator with reference resolution support (LQ), pp. 394–397.
FSE-2012-Torlak #modelling #multi #scalability #testing: Scalable test data generation from multidimensional models (ET), p. 36.
FSE-2012-ZaeemK #programming #using: Test input generation using dynamic programming (RNZ, SK), p. 34.
ICSE-2012-AlrajehKLRU #requirements: Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #performance #theorem proving: An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
ICSE-2012-NistorLPGM #automation #clustering #named #parallel #performance #random #testing #thread: Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
ICSE-2012-PradelG #automation #debugging #detection #mining #specification #testing: Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #html #php #string #theorem proving #using: Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ICSE-2012-XiongHSC: Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
SAC-2012-Hosokawa: Corpus-based place metadatabase generation for geocoding (YH), pp. 965–967.
SLE-2012-BarenghiVCMP #named #parallel #parsing #precedence: PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.
ASPLOS-2012-KingDA #automation #hardware #interface: Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
CASE-2012-HansenOMO #approach #energy #industrial: Enhanced approach for energy-efficient trajectory generation of industrial robots (CH, JÖ, DM, TO), pp. 1–7.
CASE-2012-LiK #automation #automaton #finite #modelling #testing #using: Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
CASE-2012-LuoCCH #energy: Walking pattern generation based on energy function and inverse pendulum model for biped robot (RCL, HHC, CCC, KCH), pp. 729–734.
DAC-2012-AadithyaR #abstraction #automation #automaton #logic #named: DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
DAC-2012-AhmadyanKV: Goal-oriented stimulus generation for analog circuits (SNA, JAK, SV), pp. 1018–1023.
DAC-2012-HuangCTCK #design #named #novel: Attackboard: a novel dependency-aware traffic generator for exploring NoC design space (YSCH, YCC, TCT, YYC, CTK), pp. 376–381.
DAC-2012-ZuluagaMP #network #sorting #streaming: Computer generation of streaming sorting networks (MZ, PAM, MP), pp. 1245–1253.
DATE-2012-JiangSCBP #algorithm #constraints #memory management #on the: On the optimality of K longest path generation algorithm under memory constraints (JJ, MS, AC, BB, IP), pp. 418–423.
DATE-2012-KarimiCGP #fault #testing: Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATE-2012-KatzRZ #csp #using: Generating instruction streams using abstract CSP (YK, MR, AZ), pp. 15–20.
DATE-2012-PeranandamRSYGR #modelling #testing: An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
DATE-2012-QinM #automation #protocol #testing: Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATE-2012-Sasao: Row-shift decompositions for index generation functions (TS), pp. 1585–1590.
DATE-2012-SinghNL #smt #testing: Hazard driven test generation for SMT processors (PS, VN, DLL), pp. 256–259.
DATE-2012-Sun #automation #embedded #functional #modelling: Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
DATE-2012-TangHCH #logic #multi #reduction: Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
DATE-2012-VeljkovicRV #implementation #low cost #on the fly #random #testing: Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.
PPoPP-2012-KjolstadHS #automation #data type #optimisation: Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
PPoPP-2012-LeisersonSS #parallel #platform #thread: Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
PPoPP-2012-LiLSGGR #named #testing #verification: GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
FASE-2012-StaatsGWH #on the #testing: On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
STOC-2012-Applebaum #locality #pseudo #random: Pseudorandom generators with long stretch and low locality from random local one-way functions (BA), pp. 805–816.
STOC-2012-VadhanZ #pseudo: Characterizing pseudoentropy and simplifying pseudorandom generator constructions (SPV, CJZ), pp. 817–836.
STOC-2012-VaziraniV #quantum #random: Certifiable quantum dice: or, true random number generation secure against quantum adversaries (UVV, TV), pp. 61–76.
ICLP-2012-BanbaraTI #matrix #programming #testing: Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICLP-2012-DrescherW #lazy evaluation #set: Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.
ICST-2012-BertolinoDLM #automation #policy #testing: Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
ICST-2012-BeyeneA #string #test coverage #testing: Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
ICST-2012-EndoS #comparison #finite #state machine #testing: Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICST-2012-GeronimoFMS #algorithm #automation #parallel #pipes and filters #search-based #testing: A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
ICST-2012-KruseW #classification #sequence #testing: Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICST-2012-McMinnSS #data type #query #search-based #string #using #web: Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
ICST-2012-PavlovF #automation #search-based #testing: Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
ICST-2012-PetrenkoSY #finite #nondeterminism #sequence #state machine: Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
ICST-2012-RaposD #execution #incremental #modelling #symbolic computation #testing #uml #using: Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
ICST-2012-VorobyovK #automation #constraints #static analysis #testing #theorem proving: Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
ICTSS-2012-BannourEGG #consistency #modelling #testing: Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
IJCAR-2012-EchenimP #calculus: A Calculus for Generating Ground Explanations (ME, NP), pp. 194–209.
ISSTA-2012-NguyenMT #combinator #effectiveness #modelling #testing: Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
ISSTA-2012-RobetalerFZO #testing: Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.
ISSTA-2012-ZhangED #composition #pipes and filters #testing: Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
TAP-2012-ChedorJM #recursion #testing: Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
TAP-2012-SenniF #constraints #data type #logic programming #testing #using: Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #named #performance #theorem proving: Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.
HT-2011-ZsomboriFGUCKCB #automation #video: Automatic generation of video narratives from shared UGC (VZ, MF, RLG, MFU, PC, IK, RC, DCAB), pp. 325–334.
ICDAR-2011-ChenZN #online #recognition #scalability: Effects of Generating a Large Amount of Artificial Patterns for On-line Handwritten Japanese Character Recognition (BC, BZ, MN), pp. 663–667.
ICDAR-2011-HadjarI #layout: Minimizing User Annotations in the Generation of Layout Ground-Truthed Data (KH, RI), pp. 703–707.
ICDAR-2011-UchidaSF: A Generative Model for Handwritings Based on Enhanced Feature Desynchronization (SU, TS, YF), pp. 589–593.
SIGMOD-2011-ArasuKL #constraints #declarative #using: Data generation using declarative constraints (AA, RK, JL), pp. 685–696.
SIGMOD-2011-ElmeleegyEL #query: Leveraging query logs for schema mapping generation in U-MAP (HE, AKE, JL), pp. 121–132.
VLDB-2011-ArasuKL #constraints #declarative #named #using: DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.
VLDB-2011-Tay #benchmark #metric: Data Generation for Application-Specific Benchmarking (YCT), pp. 1470–1473.
VLDB-2012-QumsiyehPN11: Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements (RQ, MSP, YKN), pp. 217–228.
ITiCSE-2011-Buck #diagrams #editing #named #user interface: GUIGraph: editing live object diagrams for GUI generation enables new pedagogy in CS1/2 (DB), pp. 193–197.
ITiCSE-2011-KurianMJ #information retrieval #named #repository: IR2gT: a report generation tool for institutional repository (JCK, AM, BMJ), p. 371.
SCAM-J-2009-ShubatiDD11 #reasoning: Artefact generation in second life with case-based reasoning (AS, CWD, RD), pp. 431–446.
CSMR-2011-KessentiniSBW #design #detection #fault #music: Design Defect Detection Rules Generation: A Music Metaphor (MK, HAS, MB, MW), pp. 241–248.
CSMR-2011-ShternT #composition: Factbase and Decomposition Generation (MS, VT), pp. 111–120.
ICPC-2011-SridharaPV #parametricity #summary: Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.
ICSM-2011-RastkarMB #natural language #source code #summary: Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
PASTE-2011-Detten #behaviour #detection #execution #symbolic computation #towards: Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
WCRE-2011-AlbertCFGG #automation #java #named #testing: jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
DLT-J-2009-Zetzsche11 #capacity #comprehension #matrix #towards: Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars (GZ), pp. 411–426.
AFL-2011-IvanM #context-free grammar #word: Müller context-free grammars generating well-ordered words (SI, ÁM), pp. 225–240.
CIAA-2011-CarninoF #automaton #markov #random #using: Random Generation of Deterministic Acyclic Automata Using Markov Chains (VC, SDF), pp. 65–75.
FM-2011-AmalioGK #automation #modelling #specification: Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
Haskell-2011-DuregardJ #embedded #parsing: Embedded parser generators (JD, PJ), pp. 107–117.
ICFP-2011-ChyzakD #ml #runtime #using #web: Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
IFL-2011-ReichNR #canonical #lazy evaluation #source code: Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
AIIDE-2011-CenknerBS #behaviour: A Generative Computational Model for Human Hide and Seek Behavior (AC, VB, MS).
AIIDE-2011-NarayanIR #authoring #named #natural language: DEXTOR: Reduced Effort Authoring for Template-Based Natural Language Generation (KSN, CLIJ, DLR).
AIIDE-2011-OntanonZ #algorithm: The SAM Algorithm for Analogy-Based Story Generation (SO, JZ).
AIIDE-2011-YuT #algorithm #personalisation #ranking: Personalized Procedural Content Generation to Minimize Frustration and Boredom Based on Ranking Algorithm (HY, TT).
CIG-2011-BaeCY #automation #multi: Automated story generation with multiple internal focalization (BCB, YGC, RMY), pp. 211–218.
CIG-2011-NygrenDSA #automation #framework #game studies #platform: User-preference-based automated level generation for platform games (NN, JD, BS, JA), pp. 55–62.
CIG-2011-ThawonmasT #automation #evolution #game studies #using: Frame selection using iterative grammatical evolution for automatic comic generation from game logs (RT, YT), pp. 31–38.
FDG-2011-DominguezYR #3d #automation #game studies #identification: Automatic identification and generation of highlight cinematics for 3D games (MD, RMY, SR), pp. 259–261.
FDG-2011-PereiraPP #game studies #towards: Towards the next generation of board game opponents (AP, RP, AP), pp. 274–276.
GCM-2010-HoffmannM11 #adaptation #diagrams #graph: Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars (BH, MM).
AGTIVE-2011-StroblM #diagrams #editing #graph transformation #state machine: Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
CHI-2011-BadshahGCVHP #feedback #interactive #self: Interactive generator: a self-powered haptic feedback device (AB, SG, GC, NV, SH, SNP), pp. 2051–2054.
CHI-2011-CostaCS #collaboration #coordination #distributed #evolution #scalability #tool support: The scale and evolution of coordination needs in large-scale distributed projects: implications for the future generation of collaborative tools (JMdRC, MC, CRBdS), pp. 3151–3160.
CHI-2011-DurrantRKBFM #named: Automics: souvenir generating photoware for theme parks (AD, DR, DSK, SB, JEF, DM), pp. 1767–1776.
CSCW-2011-LiuSPT #challenge #interactive: Supporting generation Y interactions: challenges for office work (WL, PJS, GP, JTF), pp. 669–672.
DUXU-v1-2011-KimLML #collaboration #design #idea #interface #process: Developing Idea Generation for the Interface Design Process with Mass Collaboration System (DK, SSL, SM, KPL), pp. 69–76.
HCD-2011-LiikkanenHHBK #effectiveness #evaluation #idea: Quantitative Evaluation of the Effectiveness of Idea Generation in the Wild (LAL, MMH, AH, TB, MPK), pp. 120–129.
HCI-DDA-2011-BreinerBRSMD #adaptation #automation #modelling #runtime #user interface #workflow: Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.
HCI-MIIE-2011-RiahiRM #human-computer #mobile #specification #verification #xml: XML in Formal Specification, Verification and Generation of Mobile HCI (IR, MR, FM), pp. 92–100.
HCI-UA-2011-Loiacono-MelloDTP #case study #why: Why Virtual Job Recruitment Is Not Well Accepted by Generation Y? — A Case Study on Second Life (ETLM, SD, BT, OVP), pp. 245–254.
HIMI-v1-2011-WatanabeMNMN #metric: Support for Generation of Sympathetic Embodied Awareness: Measurement of Hand Contact Improvisation under Load Fluctuation Stress (TW, YM, GN, NM, HN), pp. 508–518.
HIMI-v1-2011-ZenkoyohT: Surprise Generator for Virtual KANSEI Based on Human Surprise Characteristics (MZ, KT), pp. 190–198.
HIMI-v2-2011-TanerYNB #performance #scalability: An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.
CAiSE-2011-CabanillasRCA #automation #process: Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
CAiSE-2011-DelgadoRGP #process: Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.
CAiSE-2011-FriedrichMP #natural language #process: Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSE-2011-KofP #feedback #formal method #modelling #requirements: From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
ICEIS-J-2011-GuLZWLSLW #enterprise #evaluation #information management #process #safety: Intelligent Information Acquisition and Utilization in Safety Evaluation Decision Making Process of Power Generation Enterprises (DxG, CyL, JZ, JW, WL, JS, WL, YW), pp. 162–177.
ICEIS-v3-2011-Garcia-GarciaECA #approach #named #taxonomy: NDT-Glossary — A MDE Approach for Glossary Generation (JAGG, MJEC, CRC, MA), pp. 170–175.
CIKM-2011-CarmelUGMR #word: Folksonomy-based term extraction for word cloud generation (DC, EU, IG, YM, HR), pp. 2437–2440.
CIKM-2011-ChengKGSH #automation: Automated feature generation from structured knowledge (WC, GK, TG, DHS, RH), pp. 1395–1404.
CIKM-2011-HeRSOQ #case study #using: Generating links to background knowledge: a case study using narrative radiology reports (JH, MdR, MS, RCvO, YQ), pp. 1867–1876.
CIKM-2011-LeeC #collaboration: Collaborative blacklist generation via searches-and-clicks (LHL, HHC), pp. 2153–2156.
CIKM-2011-TangLP #named: LogSig: generating system events from raw textual logs (LT, TL, CSP), pp. 785–794.
CIKM-2011-YeungI #corpus #multi: Extracting multi-dimensional relations: a generative model of groups of entities in a corpus (CmAY, TI), pp. 1203–1208.
ICML-2011-EisensteinAX #modelling: Sparse Additive Generative Models of Text (JE, AA, EPX), pp. 1041–1048.
ICML-2011-SutskeverMH #network: Generating Text with Recurrent Neural Networks (IS, JM, GEH), pp. 1017–1024.
KDD-2011-CerratoJG #classification: Classification of proxy labeled examples for marketing segment generation (DC, RJ, AG), pp. 343–350.
KDD-2011-LiL #behaviour #community #detection #framework #modelling #network #simulation #social: Social flocks: a crowd simulation framework for social network generation, community detection, and collective behavior modeling (CTL, SDL), pp. 765–768.
KDIR-2011-NissanH #information retrieval #what: Information Retrieval in the Service of Generating Narrative Explanation — What we Want from Gallura (EN, YHK), pp. 487–492.
MLDM-2011-Garcia-ConstantinoCNRST #classification #summary #using: An Investigation Concerning the Generation of Text Summarisation Classifiers Using Secondary Data (MGC, FC, PJN, AR, CS, AT), pp. 387–398.
MLDM-2011-MohebzadaRR #analysis #constraints: Sensitivity Analysis for Weak Constraint Generation (JGM, MMR, GR), pp. 239–252.
SEKE-2011-AtitallahKSM #information management #network: Knowledge management in next generation networks (SA, OAK, MS, EM), pp. 363–368.
SEKE-2011-SilveiraRZCVO #modelling #performance #testing #uml: Generation of Scripts for Performance Testing Based on UML Models (MBdS, EdMR, AFZ, LTC, HVV, FMdO), pp. 258–263.
SEKE-2011-WangLWL #automation #integration #order #overview: A Brief Survey on Automatic Integration Test Order Generation (ZW, BL, LW, QL), pp. 254–257.
SIGIR-2011-HuggettR: The Meta-Dex Suite: generating and analyzing indexes and meta-indexes (MH, ER), pp. 1285–1286.
BX-2011-Xiong: Fix Generation (YX), p. 65.
ECMFA-2011-ColomboKL #analysis #design #modelling #problem #requirements #using: Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
MoDELS-2011-CichosOLS #modelling #product line #testing: Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
PLEASE-2011-SiyWZ #modelling #ontology #product line: Ontology-based product line modeling and generation (HPS, AW, MZ), pp. 50–54.
LOPSTR-2011-AlbertGR #testing: Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
PEPM-2011-CaretteES #geometry #kernel: A generative geometric kernel (JC, ME, SS), pp. 53–62.
PLDI-2011-Godefroid #higher-order #testing: Higher-order test generation (PG), pp. 258–269.
PLDI-2011-LeeZSZ #towards: Toward generating reducible replay logs (KHL, YZ, NS, XZ), pp. 246–257.
PLDI-2011-MengKM #editing #program transformation: Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
PLDI-2011-ParrF #ll #parsing: LL(*): the foundation of the ANTLR parser generator (TP, KF), pp. 425–436.
POPL-2011-WeirichVJZ #abstraction: Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
PPDP-2011-Lagoon #challenge #constraints #testing: The challenges of constraint-based test generation (VL), pp. 1–2.
SAS-2011-GodefroidLR #composition #incremental #summary #testing #validation: Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
ASE-2011-ArcainiGR #automation #optimisation #satisfiability #smt #testing: Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
ASE-2011-Groce #adaptation #programming: Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
ASE-2011-HuangNPGBT #automation #classification #fault #named #orthogonal: AutoODC: Automated generation of Orthogonal Defect Classifications (LH, VN, IP, RG, XB, JT), pp. 412–415.
ASE-2011-KamalrudinG #prototype #requirements #user interface #validation: Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
ASE-2011-KhalekNK #constraints: Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASE-2011-PanWX #database #testing: Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASE-2011-PietschYK #modelling #tool support: Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ASE-2011-RobinsonEPAL #automation #scalability #source code #testing: Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASE-2011-ZhangED #automation #testing: Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
ESEC-FSE-2011-FraserA #automation #named #object-oriented #testing: EvoSuite: automatic test suite generation for object-oriented software (GF, AA), pp. 416–419.
ESEC-FSE-2011-Hall #state machine: Search based hierarchy generation for reverse engineered state machines (MH), pp. 392–395.
ESEC-FSE-2011-HarmanJL #higher-order #testing: Strong higher order mutation-based test data generation (MH, YJ, WBL), pp. 212–222.
ICSE-2011-HermansPD #data flow #diagrams #spreadsheet: Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
ICSE-2011-JarzabekT #evolution #flexibility #reuse: Flexible generators for software reuse and evolution (SJ, HDT), pp. 920–923.
ICSE-2011-Xiao #developer #identification #problem #testing #towards: Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
ICSE-2011-XiaoXTH #identification #precise #problem #testing: Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSE-2011-Zhang #automation #hybrid #java #named #testing: Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SAC-2011-BorgesMB #education #modelling #towards: Towards the establishment of supporting mechanisms for modeling and generating educational content (VAB, JCM, EFB), pp. 1202–1207.
SAC-2011-CollavizzaVRDG #constraints: A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
SAC-2011-JeffersonMP #automation #constraints #named: Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
GPCE-J-2005-HuangZS11 #static typing: Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
GPCE-J-2005-LutterothDW11 #type system: A type system for reflective program generators (CL, DD, GW), pp. 392–422.
GPCE-2011-LiNN #diagrams #geometry #source code: Generation of geometric programs specified by diagrams (YL, GSNJ), pp. 63–72.
GPCE-2011-SlattenKH #automation #case study #distributed #industrial #reliability #specification #towards #validation #verification: Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
GPCE-2011-VermolenWV #database #evolution #web: Generating database migrations for evolving web applications (SDV, GW, EV), pp. 83–92.
LDTA-2011-JorgensenEF #named #tool support #visualisation: VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
CASE-2011-NishiYI #approach #problem #scheduling: Column generation approach to ship scheduling problems for international crude oil transportation (TN, SY, TI), pp. 468–473.
DAC-2011-HeRK #concept analysis #embedded #testing: Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DAC-2011-KatzRZS #architecture #behaviour #learning #quality: Learning microarchitectural behaviors to improve stimuli generation quality (YK, MR, AZ, GS), pp. 848–853.
DATE-2011-ChenM #composition #functional #testing: Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DATE-2011-EggersglusD #fault #optimisation #pseudo #testing #using: As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.
DATE-2011-GraupnerJW #approach #design #layout #optimisation: Generator based approach for analog circuit and layout design and optimization (AG, RJ, RW), pp. 1675–1680.
DATE-2011-KelleyWDSRH: Intermediate representations for controllers in chip generators (KK, MW, AD, PS, SR, MH), pp. 1394–1399.
DATE-2011-LiuSTV #design #towards #using #validation: Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.
DATE-2011-LiuV #analysis #performance #source code #validation: Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
DATE-2011-MiyaseWAFYK #testing: Transition-Time-Relation based capture-safety checking for at-speed scan test generation (KM, XW, MA, HF, YY, SK), pp. 895–898.
DATE-2011-Pomeranz #functional #testing: Built-in generation of functional broadside tests (IP), pp. 1297–1302.
DATE-2011-SinghSG #performance #testing #using: Testing of high-speed DACs using PRBS generation with “Alternate-Bit-Tapping” (MS, MS, SG), pp. 377–382.
DATE-2011-SommerKHSS #automation #design #network: A new method for automated generation of compensation networks — The EDA Designer Finger (RS, DK, EH, ES, CS), pp. 1666–1672.
DATE-2011-TinoK #architecture #multi: Multi-objective Tabu Search based topology generation technique for application-specific Network-on-Chip architectures (AT, GNK), pp. 485–490.
FASE-2011-TkachukR #analysis #automation #web: Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
STOC-2011-GopalanMRZ #combinator #pseudo: Pseudorandom generators for combinatorial shapes (PG, RM, OR, DZ), pp. 253–262.
STOC-2011-KouckyNP #pseudo: Pseudorandom generators for group products: extended abstract (MK, PN, PP), pp. 263–272.
TACAS-2011-GriggioLS #integer #linear #performance #satisfiability: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
TACAS-2011-HoderKV #invariant: Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
TACAS-2011-JungLWY #invariant #quantifier: Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
TACAS-2011-MertenSHM: Next Generation LearnLib (MM, BS, FH, TMS), pp. 220–223.
CAV-2011-LiGR #automation #c++ #execution #named #source code #symbolic computation #testing: KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
CAV-2011-SharmaDDA #invariant #using: Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.
ICLP-2011-Bulwahn #logic programming #testing: Smart test data generators via logic programming (LB), pp. 139–150.
ICLP-2011-NicholsonSS #logic #music #probability #using: Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise (CJN, DDS, JS), pp. 231–239.
ICLP-J-2011-LierlerT #approach: Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.
ICST-2011-Bogdanov #testing: Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICST-2011-ChanderDSY #automaton #finite #modelling #sequence: Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
ICST-2011-DadeauHK #protocol #security #testing: Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.
ICST-2011-FraserZ #testing: Exploiting Common Object Usage in Test Case Generation (GF, AZ), pp. 80–89.
ICST-2011-GoKKL #approach #testing #variability: A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
ICST-2011-HanselRHG #algorithm #embedded #realtime: An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICST-2011-HeamN #data type #named #random #recursion #testing: Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
ISSTA-2011-BabicMMS #automation #testing: Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ISSTA-2011-FraserZ #testing: Generating parameterized unit tests (GF, AZ), pp. 364–374.
ISSTA-2011-GodefroidL #automation #summary #testing: Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.
ISSTA-2011-LeS #analysis #detection #fault: Generating analyses for detecting faults in path segments (WL, MLS), pp. 320–330.
ISSTA-2011-TanejaXTH #named #performance #testing: eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
ISSTA-2011-ZhangSBE #automation #testing: Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
SAT-2011-Nadel #satisfiability: Generating Diverse Solutions in SAT (AN), pp. 287–301.
TAP-2011-AguirreBFG #black box #bound #test coverage #testing: Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
TAP-2011-BueJM #approximate #modelling #testing: Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
TAP-2011-ChebaroKGJ #analysis #c #debugging #slicing #testing: The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
TAP-2011-DegiovanniPAF #abstraction #automation #requirements #specification #testing: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
ECSA-2010-KiwelekarJ #analysis #architecture #ontology: Ontological Analysis for Generating Baseline Architectural Descriptions (AWK, RKJ), pp. 417–424.
ECSA-2010-LungBSEG #architecture #towards: Towards Architecture-Centric Software Generation (CHL, BB, KS, PE, UG), pp. 38–52.
DocEng-2010-HassanHH #parametricity: Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.
DocEng-2010-PenadesCBL #documentation #product line #variability: Document product lines: variability-driven document generation (MdCP, JHC, MRSB, ML), pp. 203–206.
DocEng-2010-Vega-OliverosMP #automation #documentation #interactive #quote: “This conversation will be recorded”: automatically generating interactive documents from captured media (DAVO, DSM, MdGCP), pp. 37–40.
HT-2010-FossC #adaptation #authoring #hypermedia #tool support #using: The next generation authoring adaptive hypermedia: using and evaluating the MOT3.0 and PEAL tools (JGKF, AIC), pp. 83–92.
HT-2010-HargoodMW #approach: A semiotic approach for the generation of themed photo narratives (CH, DEM, MJW), pp. 19–28.
HT-2010-HsiehPJNS #hypermedia: Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.
JCDL-2010-SautterBKM #automation #documentation #named #performance: ProcessTron: efficient semi-automated markup generation for scientific documents (GS, KB, CK, TM), pp. 21–28.
SIGMOD-2010-AgrawalCCGKX #query #web: Query portals: dynamically generating portals for entity-oriented web queries (SA, KC, SC, VG, ACK, DX), pp. 1171–1174.
SIGMOD-2010-PerezSL #flexibility #named #xml: XTaGe: a flexible XML collection generator (MPC, IS, RBL), pp. 1139–1142.
SIGMOD-2010-RaghavanR #framework #multi #named #query: ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
SIGMOD-2010-VartakRR #assurance #named #query: QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.
VLDB-2010-LoCH #database #query: Generating Databases for Query Workloads (EL, NC, WKH), pp. 848–859.
VLDB-2011-KlingOD #database #execution #performance #xml: Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
EDM-2010-DominguezYC #data mining #mining #python: Data Mining for Generating Hints in a Python Tutor (AKD, KY, JRC), pp. 91–100.
ICSM-2010-LiQJW #automation #graph #testing: Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
ICSM-2010-PanditaXTH #test coverage #testing: Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
ICSM-2010-ZhangXZTHM #execution #mutation testing #symbolic computation #testing: Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
SCAM-2010-Graf #dependence: Speeding Up Context-, Object- and Field-Sensitive SDG Generation (JG), pp. 105–114.
SCAM-2010-Pise #parsing: The Fika Parser Generator (MP), pp. 99–100.
AFL-J-2008-DassowST10 #capacity: Generative Capacity of Subregularly Tree Controlled Grammars (JD, RS, BT), pp. 723–740.
LATA-2010-PlatekML #automaton #functional: Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
SEFM-2010-XuZC #context-free grammar #tool support: A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
FLOPS-2010-CaballeroGS #constraints #logic programming #sql #testing: Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
FLOPS-2010-SeidelV #automation #theorem: Automatically Generating Counterexamples to Naive Free Theorems (DS, JV), pp. 175–190.
FLOPS-2010-ThiemannS #combinator #polymorphism: Tag-Free Combinators for Binding-Time Polymorphic Program Generation (PT, MS), pp. 87–102.
AIIDE-2010-Jennings-TeatsSW #named: Polymorph: A Model for Dynamic Level Generation (MJT, GS, NWF).
AIIDE-2010-LaviersS #approach #game studies #monte carlo: A Monte Carlo Approach for Football Play Generation (KRL, GS).
AIIDE-2010-OntanonZ: Story and Text Generation through Computational Analogy in the Riu System (SO, JZ).
AIIDE-2010-ShakerYT #automation #framework #game studies #personalisation #platform #towards: Towards Automatic Personalized Content Generation for Platform Games (NS, GNY, JT).
AIIDE-2010-Sunshine-HillB #behaviour: Perceptually Realistic Behavior through Alibi Generation (BSH, NIB).
AIIDE-2010-TearseWM: Minstrel Remixed: Procedurally Generating Stories (BRT, NWF, MM).
CIG-2010-Ashlock #automation #evolution #game studies: Automatic generation of game elements via evolution (DAA), pp. 289–296.
CIG-2010-MawhorterM #using: Procedural level generation using occupancy-regulated extension (PAM, MM), pp. 351–358.
CIG-2010-SmithM #design: Variations Forever: Flexibly generating rulesets from a sculptable design space of mini-games (AMS, MM), pp. 273–280.
CIG-2010-St-PierreWW #game studies: A selective move generator for the game axis and allies (DLSP, MHMW, DAW), pp. 162–169.
CIG-2010-ZhuO #representation: Story representation in analogy-based story generation in Riu (JZ, SO), pp. 435–442.
FDG-2010-Fendt #social: Dynamic social planning and intention revision in generative story planning (MWF), pp. 254–255.
FDG-2010-KhosmoodW #named: Grapevine: a gossip generation system (FK, MAW), pp. 92–99.
GT-VMT-2010-StroblM #editing #interactive #modelling #specification #visual notation: Specifying and Generating Editing Environments for Interactive Animated Visual Models (TS, MM).
EDOC-2010-BajwaBL #constraints #natural language #ocl #specification: OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
ICEIS-AIDSS-2010-LassigT #enterprise: New Approaches to Enterprise Cooperation Generation and Management (JL, UT), pp. 350–359.
ICEIS-HCI-2010-TranKVW #declarative #modelling #user interface #using: Using Task and Data Models for user Interface Declarative Generation (VT, MK, JV, YW), pp. 155–160.
ICEIS-J-2010-ArtignanH10a #automation #visual notation: From Coding to Automatic Generation of Legends in Visual Analytics (GA, MH), pp. 404–417.
CIKM-2010-MirizziRNS #online #retrieval #semantics: Semantic tags generation and retrieval for online advertising (RM, AR, TDN, EDS), pp. 1089–1098.
CIKM-2010-QiYXD #automation #taxonomy: Choosing your own adventure: automatic taxonomy generation to permit many paths (XQ, DY, ZX, BDD), pp. 1853–1856.
CIKM-2010-WelchCC #keyword #video: Generating advertising keywords from video content (MJW, JC, WC), pp. 1421–1424.
ICML-2010-DillonBL #analysis #learning: Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.
ICML-2010-DruckM #learning #modelling #using: High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models (GD, AM), pp. 319–326.
ICPR-2010-CarliBBM #kernel #modelling: Nonlinear Mappings for Generative Kernels on Latent Variable Models (ACC, MB, SB, VM), pp. 2134–2137.
ICPR-2010-DOrazioLM #multi #synthesis #video: Panoramic Video Generation by Multi View Data Synthesis (TD, ML, NM), pp. 4105–4108.
ICPR-2010-FreireCF #approach #graph #problem: A Column Generation Approach for the Graph Matching Problem (ASF, RMCJ, CEF), pp. 1088–1091.
ICPR-2010-HanWH: A Supergraph-based Generative Model (LH, RCW, ERH), pp. 1566–1569.
ICPR-2010-HoriKY #image #multi #sequence #using: Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
ICPR-2010-ImpedovoP #classification #evaluation #multi #set: Generating Sets of Classifiers for the Evaluation of Multi-expert Systems (DI, GP), pp. 2166–2169.
ICPR-2010-KimKP #algorithm #simulation: A Simulation Study on the Generative Neural Ensemble Decoding Algorithms (SPK, MKK, GTP), pp. 3797–3800.
ICPR-2010-RathgebU10a #database: Iris-Biometric Hash Generation for Biometric Database Indexing (CR, AU), pp. 2848–2851.
KDD-2010-AdaB #composition: The new iris data: modular data generators (IA, MRB), pp. 413–422.
KDD-2010-ChuaL #modelling #network #online #rating #trust #using: Trust network inference for online rating data using generative models (FCTC, EPL), pp. 889–898.
KDD-2010-KarguptaGF #data mining #mining: The next generation of transportation systems, greenhouse emissions, and data mining (HK, JG, WF), pp. 1209–1212.
KDD-2010-MiaoMYTCA #modelling #network: Generative models for ticket resolution in expert networks (GM, LEM, XY, ST, YC, NA), pp. 733–742.
KDIR-2010-JedrzejczakW #query #using: Integrated Candidate Generation in Processing Batches of Frequent Itemset Queries using Apriori (PJ, MW), pp. 487–490.
KDIR-2010-KrainesGHMT #using: Generating Literature-based Knowledge Discoveries in Life Sciences using Relationship Associations (SBK, WG, DH, HM, TT), pp. 35–44.
KMIS-2010-FersiniMTAC #machine learning #semantics: Semantics and Machine Learning for Building the Next Generation of Judicial Court Management Systems (EF, EM, DT, FA, MC), pp. 51–60.
KMIS-2010-Muller #adaptation #documentation #metadata: Adaptation of Mathematical Documents — Exploring Document Structures, Metadata, and Context for the Generation of User-specific Documents (CM), pp. 143–148.
SEKE-2010-AmarGH #ontology #standard #towards: Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.
SEKE-2010-MoserDB #automation #ontology #simulation #testing: Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
SEKE-2010-NasserDM #framework #ontology #testing: An Ontology-based Software Test Generation Framework (VHN, WD, DM), pp. 192–197.
SIGIR-2010-HeR #approach #automation #detection #ranking: A ranking approach to target detection for automatic link generation (JH, MdR), pp. 831–832.
ECMFA-2010-CregutCPFP #animation #framework #platform: Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
ICMT-2010-BehrensP #modelling: Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.
MoDELS-v1-2010-CruzF #approach #automation #metamodelling #user interface: A Metamodel-Based Approach for Automatic User Interface Generation (AMRdC, JPF), pp. 256–270.
SPLC-2010-RabiserHELGS #approach #documentation #flexibility #product line: A Flexible Approach for Generating Product-Specific Documents in Product Lines (RR, WH, CE, ML, PG, CS), pp. 47–61.
TOOLS-EUROPE-2010-Xu #domain-specific language #embedded #named: EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
LOPSTR-2010-AlbertGRP #composition #imperative #testing: Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
LOPSTR-2010-LlorensOST #csp #graph #process: Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
PEPM-2010-AlbertGP #bytecode #java #named #partial evaluation #testing: PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
POPL-2010-DiasR #automation #declarative #using: Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
POPL-2010-TateSL #compilation #optimisation #proving: Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
SAS-2010-KatoenMMM #automation #invariant #probability #source code: Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
SAS-2010-MatringeMR #algebra #hybrid #invariant #linear: Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
RE-2010-JuretaBEM #consistency #modelling #named #nondeterminism #requirements #towards: Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
SAC-PL-J-2008-DennyM10 #algorithm #lr #parsing: The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.
ASE-2010-HirschHG #named #specification #visual notation #wiki: VikiBuilder: end-user specification and generation of visual wikis (CH, JGH, JCG), pp. 13–22.
ASE-2010-KhalekK #automation #database #query #sql #testing: Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
ASE-2010-QiRL #evolution #source code #testing: Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
ASE-2010-SridharaHMPV #automation #java #summary #towards: Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.
ASE-2010-TanejaZX #automation #database #named #testing: MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
ASE-2010-ZhengZLX #random #recommendation #sequence #testing: Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
FSE-2010-Rubinov #automation #integration #testing: Generating integration test cases automatically (KR), pp. 357–360.
ICSE-2010-BaresiM #automation #java #named #testing: TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICSE-2010-GligoricGJKKM #programming #testing: Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
ICSE-2010-Lewis #invariant #named #realtime: Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
ICSE-2010-Malavolta #architecture: Providing support for creating next generation software architecture languages (IM), pp. 517–518.
ICSE-2010-RumpeSVW #development: Generative software development (BR, MS, SV, IW), pp. 473–474.
ICSE-2010-RuscioMMPP: Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
ICSE-2010-SteimannT #behaviour #constraints: From behaviour preservation to behaviour modification: constraint-based mutant generation (FS, AT), pp. 425–434.
ICSE-2010-ZhangYZCY #automation #debugging #named: BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.
SAC-2010-AveiroST #enterprise #modelling #towards: Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise (DA, ARS, JMT), pp. 150–157.
SAC-2010-BaffaC #modelling #policy #simulation: Modeling POMDPs for generating and simulating stock investment policies (ACEB, AEMC), pp. 2394–2399.
SAC-2010-Fenz #metric #ontology: Ontology-based generation of IT-security metrics (SF), pp. 1833–1839.
SAC-2010-HarshCN #network #towards: Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.
SAC-2010-KrishnanS #modelling #testing: Data generation in model-based testing (PK, PAPS), pp. 2211–2215.
SAC-2010-LuccheseOP #dataset #mining: A generative pattern model for mining binary datasets (CL, SO, RP), pp. 1109–1110.
SAC-2010-MisraNLC #named #sequence: FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
SAC-2010-MiyanishiSU #ranking: Hypothesis generation and ranking based on event similarities (TM, KS, KU), pp. 1552–1558.
SAC-2010-VogelsJP #performance #proving #verification: A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
SAC-2010-VoigtIR #automation #metamodelling #named: MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
SAC-2010-WebsterGDKP #framework: A framework for cross-disciplinary hypothesis generation (YWW, RCG, ERD, JK, MJP), pp. 1511–1515.
LDTA-J-2007-CamachoMBV #automation #tool support #using #verification: Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.
LDTA-2009-BoylandS10 #parsing #recursion: TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator (JB, DS), pp. 65–74.
GPCE-2010-BordignonSS #composition #modelling: Model-based kinematics generation for modular mechatronic toolkits (MB, UPS, KS), pp. 157–166.
GPCE-2010-GrechRF #named #similarity: JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.
GPCE-2010-PorkolabS #domain-specific language #integration #library #parsing: Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
SLE-2010-JohnstoneS10a #using: Translator Generation Using ART (AJ, ES), pp. 306–315.
CASE-2010-DjuricSE #configuration management: Global Kinematic Model generation for n-DOF reconfigurable machinery structure (AMD, RAS, WE), pp. 804–809.
CASE-2010-GujarathiM #integration #using: Generative CAD and CAE integration using common data model (GPG, YM), pp. 586–591.
CASE-2010-JinJ #automation #distributed #overview: Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
CASE-2010-ShoaeiLM #automation #flexibility: Automatic generation of controllers for collision-free flexible manufacturing systems (MRS, BL, SM), pp. 368–373.
DAC-2010-JouWLCJ #architecture #design #modelling #multi: New model-driven design and generation of multi-facet arbiters part I: from the design model to the architecture model (JMJ, SSW, YLL, CC, YLJ), pp. 258–261.
DAC-2010-LefteriuM #modelling #parametricity: Generating parametric models from tabulated data (SL, JM), pp. 679–682.
DAC-2010-LimKH #functional #modelling #performance: An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DAC-2010-LiuYHSK #optimisation: Generation of yield-embedded Pareto-front for simultaneous optimization of yield and performances (YL, MY, KH, TS, YK), pp. 909–912.
DAC-2010-PashaDS #architecture #power management: A complete design-flow for the generation of ultra low-power WSN node architectures based on micro-tasking (MAP, SD, OS), pp. 693–698.
DATE-2010-AbbasCFKA #adaptation #automation #framework #performance #testing: An automatic test generation framework for digitally-assisted adaptive equalizers in high-speed serial links (MA, KTC, YF, SK, KA), pp. 1755–1760.
DATE-2010-ChenQM #performance #satisfiability #testing: Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
DATE-2010-KarmarkarT #scalability: Scalable codeword generation for coupled buses (KK, ST), pp. 729–734.
DATE-2010-KiladaS #design #latency #network: Control network generator for latency insensitive designs (EK, KSS), pp. 1773–1778.
DATE-2010-KrekuTV #automation #compilation: Automatic workload generation for system-level exploration based on modified GCC compiler (JK, KT, GV), pp. 369–374.
DATE-2010-PeiLL #testing: An on-chip clock generation scheme for faster-than-at-speed delay testing (SP, HL, XL), pp. 1353–1356.
DATE-2010-VasudevanSPTTJ #automation #data mining #mining #named #static analysis #using: GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.
DATE-2010-WuLCT #abstraction #automation #multi #performance: Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation (MHW, WCL, CYC, RST), pp. 1177–1182.
DATE-2010-ZhangLZMC #architecture #communication: Domain specific architecture for next generation wireless communication (BZ, HL, HZ, FM, TC), pp. 1414–1419.
LCTES-2010-ViskicLG #automation #design #framework #network #platform #process: Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications (IV, LY, DG), pp. 77–84.
OSDI-2010-HaridasanMTTZ #framework #scalability: StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications (MH, IM, DT, CAT, LZ), pp. 409–422.
PPoPP-2010-PerarnauH #cpu #named: KRASH: reproducible CPU load generation on many cores machines (SP, GH), pp. 327–328.
PPoPP-2010-UpadhyayaMP #data type #performance #using: Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
ESOP-2010-JagadeesanPR #memory management #modelling #semantics: Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
STOC-2010-HaitnerRV #performance #pseudo: Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.
STOC-2010-MekaZ #polynomial #pseudo: Pseudorandom generators for polynomial threshold functions (RM, DZ), pp. 427–436.
CAV-2010-ChatterjeeK #architecture #automation #communication #induction #invariant #modelling: Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
CAV-2010-Mador-HaimAM #consistency #memory management #modelling #testing: Generating Litmus Tests for Contrasting Memory Consistency Models (SMH, RA, MMKM), pp. 273–287.
CAV-2010-ThakurLLBDEAR #proving: Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.
ICLP-J-2010-Gomez-ZamalloaAP #imperative #object-oriented #testing: Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.
ICST-2010-BruckerBKW #policy #testing: Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.
ICST-2010-FeliachiG #automation #modelling #testing: Generating Transition Probabilities for Automatic Model-Based Test Generation (AF, HLG), pp. 99–102.
ICST-2010-LodingP #automaton #model checking #testing: Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.
ICST-2010-PerrouinSKBT #automation #product line #scalability #testing: Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (GP, SS, JK, BB, YLT), pp. 459–468.
ICST-2010-SeguraHBR #analysis #approach #automation #feature model #modelling #testing: Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (SS, RMH, DB, ARC), pp. 35–44.
ICST-2010-SinnigKC #formal method #functional #testing #user interface: A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
ICTSS-2010-AartsJU #abstraction #communication #infinity #modelling #protocol #using: Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.
ICTSS-2010-Gladisch #first-order #logic #quantifier #source code #specification #testing: Test Data Generation for Programs with Quantified First-Order Logic Specifications (CG), pp. 158–173.
ICTSS-2010-LamanchaU #product line #testing #using: Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage (BPL, MPU), pp. 111–125.
ISSTA-2010-ArtziDTP #effectiveness #fault #locality #testing: Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
ISSTA-2010-DallmeierKMHZ #mining #specification #testing: Generating test cases for specification mining (VD, NK, CM, SH, AZ), pp. 85–96.
ISSTA-2010-FraserZ #testing: Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.
ISSTA-2010-StaatsP #execution #parallel #symbolic computation #testing: Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
TAP-2010-ChebaroKGJ #c #debugging #static analysis #testing: Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
TAP-2010-GladischTBY #testing #using #verification: Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
TAP-2010-GoldbergM #encoding #proving #testing: Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.
TAP-2010-ThummalapentaHTW #automation #mining #named #testing: DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.
ECDL-2009-FerreiraGALV #ambiguity #named: SyGAR — A Synthetic Data Generator for Evaluating Name Disambiguation Methods (AAF, MAG, JMA, AHFL, AV), pp. 437–441.
HT-2009-SteichenLOW #corpus #hypermedia #reuse: Dynamic hypertext generation for reusing open corpus content (BS, SL, AO, VW), pp. 119–128.
ICDAR-2009-LeungL #recognition: Recognition of Handwritten Chinese Characters by Combining Regularization, Fisher’s Discriminant and Distorted Sample Generation (KCL, CHL), pp. 1026–1030.
ICDAR-2009-SaabniE09a #database #online #performance #recognition: Efficient Generation of Comprehensive Database for Online Arabic Script Recognition (RS, JES), pp. 1231–1235.
ICDAR-2009-StreckerBAB #automation #documentation #image: Automated Ground Truth Data Generation for Newspaper Document Images (TS, JvB, SA, TMB), pp. 1275–1279.
JCDL-2009-EdvardsenSAT #automation #documentation #metadata #quality: Automatically generating high quality metadata by analyzing the document code of common file types (LFHE, IS, TA, HT), pp. 29–38.
JCDL-2009-Efron #data fusion #information retrieval #modelling: Generative model-based metasearch for data fusion in information retrieval (ME), pp. 153–162.
SIGMOD-2009-CormodeS #modelling: Anonymized data: generation, models, usage (GC, DS), pp. 1015–1018.
SIGMOD-2009-GhazalSBCKG #query: Dynamic plan generation for parameterized queries (AG, DYS, RB, AC, MK, VG), pp. 909–916.
SIGMOD-2009-OlstonCS #data flow #source code: Generating example data for dataflow programs (CO, SC, US), pp. 245–256.
SIGMOD-2009-RadwanPSY: Top-k generation of integrated schemas based on directed and weighted correspondences (AR, LP, IRS, AAY), pp. 641–654.
CIAA-2009-HeamNS #automaton #random: Random Generation of Deterministic Tree (Walking) Automata (PCH, CN, SS), pp. 115–124.
CIAA-2009-Prochazka #automaton #compilation: Compiler Generator Based on Restarting Automata (JP), pp. 253–257.
LATA-2009-Masopust #context-free grammar #power of: A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.
LATA-2009-Moore #data access #documentation #problem: The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates (NM), pp. 601–613.
IFM-2009-MilhauFF #automation #error message #execution #fault #process #symbolic computation: Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
AIIDE-2009-HaleY #3d #composition #navigation: Full 3D Spatial Decomposition for the Generation of Navigation Meshes (DHH, GMY).
AIIDE-2009-HastingsGS #automation #game studies #video: Demonstrating Automatic Content Generation in the Galactic Arms Race Video Game (EJH, RKG, KOS).
AIIDE-2009-KerrS #game studies: Supporting Dialogue Generation for Story-Based Games (CMK, DS).
AIIDE-2009-RiedlL: Generating Story Analogues (MR, CL).
FDG-2009-HullettM #game studies: Scenario generation for emergency rescue training games (KH, MM), pp. 99–106.
FDG-2009-SmithTWM #2d #platform: Rhythm-based level generation for 2D platformers (GS, MT, JW, MM), pp. 175–182.
FDG-2009-Strong #automation: Automated dialogue generation (CRS), pp. 352–353.
FDG-2009-StrongMG #game studies: Generative conversation tool for game writers (CRS, MM, DG), pp. 183–190.
GT-VMT-2009-MazanekM #diagrams #editing: Generating Correctness-Preserving Editing Operations for Diagram Editors (SM, MM), pp. 38–49.
CHI-2009-ReichlingW #automation #recommendation: Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.
DHM-2009-EngstlerB: Generation of Percentile Values for Human Joint Torque Characteristics (FE, HB), pp. 95–104.
HCD-2009-MisawaF #case study #experience #idea #user interface #using: A Proposal of XB-Method, an Idea Generation System for New Services Using User Experiences (NM, MF), pp. 276–283.
HCD-2009-YuL #idea #using: Facilitating Idea Generation Using Personas (DJY, WCL), pp. 381–388.
HCI-NIMT-2009-Allison #adaptation #human-computer #interface: The I of BCIs: Next Generation Interfaces for Brain-Computer Interface Systems That Adapt to Individual Users (BZA), pp. 558–568.
HCI-NIMT-2009-Valle-AgudoCCR #independence #interactive: Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.
HCI-NT-2009-EngelM #framework #interactive #modelling #named: PaMGIS: A Framework for Pattern-Based Modeling and Generation of Interactive Systems (JE, CM), pp. 826–835.
HCI-VAD-2009-NoguchiYMS #self: Self-movement Feeling Generation in Sports Watching with Screen Movement via Pan-Tilt Steerable Projector (HN, KY, TM, TS), pp. 359–367.
HCI-VAD-2009-PohlDM #ide #multi: From Paper to Module — An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements (HMP, BD, JTM), pp. 196–203.
HIMI-DIE-2009-VenkatacharyaRB #design: Designing for the Next Generation: Generation-Y Expectations (PSV, SR, LB), pp. 190–196.
HIMI-II-2009-DwyerL #assurance #concept: Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.
HIMI-II-2009-MinC #approach #personalisation #privacy: An Interactive-Content Technique Based Approach to Generating Personalized Advertisement for Privacy Protection (WHM, YGC), pp. 185–191.
OCSC-2009-BreitfussPI #automation #behaviour #multimodal: Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars (WB, HP, MI), pp. 153–161.
VISSOFT-2009-HassaineDSP #analysis #maintenance #visualisation: Generating visualization-based analysis scenarios from maintenance task descriptions (SH, KD, HAS, PP), pp. 41–44.
CAiSE-2009-GiachettiMP #automation #domain-specific language #modelling #uml #using: Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.
CAiSE-2009-MaoBPF #automation #using: Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.
CAiSE-2009-MetzgerP #framework #research #towards: Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework (AM, KP), pp. 11–16.
ICEIS-DISI-2009-SofokleousAK #execution #symbolic computation #testing: Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
ICEIS-ISAS-2009-KillispergerPSS #process #validation: Method Manual based Process Generation and Validation (PK, GP, MS, TS), pp. 256–261.
ICEIS-ISAS-2009-MateoPL #automation #product line #testing: Automatic Generation of Test Cases in Software Product Lines (PRM, MP, BPL), pp. 124–130.
ICEIS-J-2009-KrohaR #requirements #validation: Text Generation for Requirements Validation (PK, MR), pp. 467–478.
ICEIS-J-2009-SiepermannS #automation: e-Learning in Logistics Cost Accounting Automatic Generation and Marking of Exercises (MS, CS), pp. 665–676.
CIKM-2009-BalasubramanianC #automation #modelling #topic #using: Automatic generation of topic pages using query-based aspect models (NB, SC), pp. 2049–2052.
CIKM-2009-BhatiaLM: Generating synopses for document-element search (SB, SL, PM), pp. 2003–2006.
CIKM-2009-GaoW #performance: Efficient itemset generator discovery over a stream sliding window (CG, JW), pp. 355–364.
CIKM-2009-KimZ #comparative #summary: Generating comparative summaries of contradictory opinions in text (HDK, CZ), pp. 385–394.
CIKM-2009-NicolaK #query #sql #xml: Generating SQL/XML query and update statements (MN, TK), pp. 1187–1196.
CIKM-2009-WuLACB #algebra #benchmark #named #query #xpath: XQGen: an algebra-based XPath query generator for micro-benchmarking (YW, NL, RA, SC, SB), pp. 2109–2110.
CIKM-2009-XueC #automation #query: Automatic query generation for patent search (XX, WBC), pp. 2037–2040.
CIKM-2009-YangXBHSY #case study #cumulative #information retrieval #social #using: A study of information retrieval on accumulative social descriptions using the generation features (LY, SX, SB, DH, ZS, YY), pp. 721–730.
ECIR-2009-TsegayPTZ #documentation #performance #query: Document Compaction for Efficient Query Biased Snippet Generation (YT, SJP, AT, JZ), pp. 509–520.
ICML-2009-LiYX #collaboration #learning: Transfer learning for collaborative filtering via a rating-matrix generative model (BL, QY, XX), pp. 617–624.
KDD-2009-DuFWA #communication #network #scalability: Large human communication networks: patterns and a utility-driven generator (ND, CF, BW, LA), pp. 269–278.
KDD-2009-GuoTCZZ #network #online #social: Analyzing patterns of user content generation in online social networks (LG, ET, SC, XZ, YEZ), pp. 369–378.
KDIR-2009-VillalbaC #biology #case study #classification #reduction: Artificial Data Generation for One-class Classification — A Case Study of Dimensionality Reduction for Text and Biological Data (SDV, PC), pp. 202–210.
RecSys-2009-CarolisNPG #comparative: Generating comparative descriptions of places of interest in the tourism domain (BDC, NN, VLP, EG), pp. 277–280.
RecSys-2009-GreenLAMKHBM #recommendation: Generating transparent, steerable recommendations from textual descriptions of items (SJG, PL, JA, FM, SK, JH, JB, XWM), pp. 281–284.
SEKE-2009-LiCQJJ #testing: Generating Test Cases of Composite Services Based on OWL-S and EH-CPN (BL, JC, DQ, SJ, YJ), pp. 350–355.
SEKE-2009-NasserDM #knowledge-based #testing: Knowledge-based Software Test Generation (VHN, WD, DM), pp. 312–317.
ECMDA-FA-2009-MougenotDBS #metamodelling #random: Uniform Random Generation of Huge Metamodel Instances (AM, AD, XB, MS), pp. 130–145.
ICMT-2009-Garcia-MagarinoGF #algorithm #model transformation #transformation language: Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
ICMT-2009-SenBM #automation #model transformation #testing: Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
MoDELS-2009-MoiseevHS #approach #implementation #ocl: Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
MoDELS-2009-MoiseevHS #approach #implementation #ocl: Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
TOOLS-EUROPE-2009-BruniV #named #prototype #using #virtual machine: PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy (CB, TV), pp. 328–347.
TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #modelling #uml: Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
AdaEurope-2009-BuchsLC #model checking #modelling #process #testing: Model Checking Techniques for Test Generation from Business Process Models (DB, LL, AC), pp. 59–74.
LOPSTR-2009-DegraveSV #constraints #framework #testing #towards: Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.
PLDI-2009-RavitchJAL #automation #library #static analysis #using: Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
SIGAda-2009-LiangRS #architecture #automation #prototype: “Automatic Prototype Generating” restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning (SXL, LAR, SS), pp. 45–60.
ASE-2009-BiermannEEH #eclipse #framework #modelling #simulation: Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (EB, KE, CE, JH), pp. 625–629.
ASE-2009-DallmeierZM #behaviour: Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.
ASE-2009-DeeptimahantiB #automation #modelling #natural language #requirements #uml: An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
ASE-2009-GherbiKKHT #validation: A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.
ASE-2009-HewettK #automation #component #integration #order #testing: Automated Test Order Generation for Software Component Integration Testing (RH, PK), pp. 211–220.
ASE-2009-LiXTHS #automation #named #regular expression #source code #testing #using: Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
ASE-2009-PradelG #automation #scalability #specification: Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.
ASE-2009-YuAB #analysis #source code #string #using: Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.
ESEC-FSE-2009-ThummalapentaXTHS #mining #named #object-oriented #source code #testing: MSeqGen: object-oriented unit-test generation via mining source code (ST, TX, NT, JdH, WS), pp. 193–202.
ICSE-2009-BurnimJS #automation #complexity #named #testing #worst-case: WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
ICSE-2009-RaysideBSNMJ #abstraction #implementation #similarity: Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.
SAC-2009-CastelliMZ #pervasive #self: Self-organized control of knowledge generation in pervasive computing systems (GC, RM, FZ), pp. 1202–1208.
SAC-2009-LeccaPPS #network #parametricity #probability: A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
SAC-2009-LinL #mining: Optimal candidate generation in spatial co-location mining (ZL, SL), pp. 1441–1445.
SAC-2009-SuzukiOSKTK #quality #requirements: A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.
GPCE-2009-CassouBLC #approach #pervasive #programming: A generative programming approach to developing pervasive computing systems (DC, BB, NL, CC), pp. 137–146.
GPCE-2009-Cordy #domain-specific language: Eating our own dog food: DSLs for generative and transformational engineering (JRC), pp. 3–4.
GPCE-2009-HeidenreichJSWB: Generating safe template languages (FH, JJ, MS, CW, MB), pp. 99–108.
GPCE-2009-RadermacherCGT #case study #component #execution #modelling #realtime #specification: Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.
SLE-2009-Cordy #domain-specific language: Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering (JRC), p. 1.
SLE-2009-Jugel #api #library: Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.
CASE-2009-AnderssonLFF: Generation of restart states for manufacturing systems with discarded workpieces (KA, BL, PF, MF), pp. 191–196.
CASE-2009-SathiR #automation: STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.
CGO-2009-LeatherBO #automation #compilation #machine learning #optimisation: Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
CGO-2009-VoronenkoMP #library #linear: Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
DAC-2009-DangRMM #interactive #pipes and filters #source code: Generating test programs to cover pipeline interactions (TND, AR, TM, PM), pp. 142–147.
DATE-2009-BombieriFPV: Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
DATE-2009-BraunesS: Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
DATE-2009-ChambersMV #performance #satisfiability: Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
DATE-2009-KavousianosC #fault #testing: Generation of compact test sets with high defect coverage (XK, KC), pp. 1130–1135.
DATE-2009-MilderHP #automation #permutation #streaming: Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.
DATE-2009-MukherjeeAPMD #approach #behaviour #formal method: A formal approach for specification-driven AMS behavioral model generation (SM, AA, SKP, RM, PD), pp. 1512–1517.
DATE-2009-RemersaroRRP #scalability #testing: A scalable method for the generation of small test sets (SR, JR, SMR, IP), pp. 1136–1141.
DATE-2009-TangGCR #multi: Improving compressed test pattern generation for multiple scan chain failure diagnosis (XT, RG, WTC, SMR), pp. 1000–1005.
FASE-2009-GiannakopoulouP #composition #interface #verification: Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
TACAS-2009-VanoverbergheTP #pointer #source code: Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.
CADE-2009-CimattiGS: Interpolant Generation for UTVPI (AC, AG, RS), pp. 167–182.
CAV-2009-GuptaR #invariant #named #performance: InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.
CAV-2009-Jacobs #incremental #reasoning: Incremental Instance Generation in Local Reasoning (SJ), pp. 368–382.
CAV-2009-KanadeAIRSS #modelling: Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
ICLP-2009-Sato #modelling: Generative Modeling by PRISM (TS), pp. 24–35.
ICST-2009-AngelettiGNPS #analysis #automation #testing: Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.
ICST-2009-BandyopadhyayG #modelling #sequence #state machine #uml #using: Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
ICST-2009-BardinH #testing: Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
ICST-2009-FraserG #evaluation #model checking #specification #testing: An Evaluation of Model Checkers for Specification Based Test Case Generation (GF, AG), pp. 41–50.
ICST-2009-GligoricGLMK #graph #java #optimisation: Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICST-2009-KalajiHS #finite #state machine #testing: Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.
ICST-2009-SiddiquiK #named #parallel #testing: PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
ISSTA-2009-ElkarabliehGL #pointer #precise #reasoning #testing: Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
MBT-2009-DadeauLH #automaton #on the #random #testing #using: On the Use of Uniform Random Generation of Automata for Testing (FD, JL, PCH), pp. 37–51.
MBT-2009-KrennA #contract #specification #testing: Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
SAT-2009-LarrosaNOR #bound #branch #optimisation: Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
TestCom-FATES-2009-Gecse #automation #framework #towards: Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.
TestCom-FATES-2009-NunesHM #automation #data flow #fault tolerance #named #testing: OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.
TestCom-FATES-2009-SimaoPY #testing: Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
VMCAI-2009-WimmerBB #bound #markov #model checking #using: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (RW, BB, BB), pp. 366–380.
ECSA-2008-DamaseviciusST #component #design #diagrams #feature model #metaprogramming #ontology #using: Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.
DocEng-2008-AlkhateebL #composition #documentation #towards #using: Towards extending and using SPARQL for modular document generation (FA, SL), pp. 164–172.
DRR-2008-BalAFF #documentation #interactive: Interactive degraded document enhancement and ground truth generation (GB, GA, OF, GF), p. 68150.
ECDL-2008-AssanteCCFLMMPS #library: An Extensible Virtual Digital Libraries Generator (MA, LC, DC, LF, LL, PM, AM, PP, MS), pp. 122–134.
HT-2008-KolakS #mining: Generating links by mining quotations (OK, BNS), pp. 117–126.
JCDL-2008-LuKWG #metadata: A metadata generation system for scanned scientific volumes (XL, BK, JZW, CLG), pp. 167–176.
SIGMOD-2008-ChiticariuKP #interactive: Interactive generation of integrated schemas (LC, PGK, LP), pp. 833–846.
SIGMOD-2008-FisherWZ #ad hoc #automation #named: LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
SIGMOD-2008-HuangLC #query #xml: Query biased snippet generation in XML search (YH, ZL, YC), pp. 315–326.
SIGMOD-2008-MishraKZ #database #query #testing: Generating targeted queries for database testing (CM, NK, CZ), pp. 499–510.
VLDB-2008-Cohen #constraints #using #xml: Generating XML structure using examples and constraints (SC), pp. 490–501.
VLDB-2008-GolabKKSY #dependence #functional #on the: On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
VLDB-2008-HuangLC #named #xml: eXtract: a snippet generation system for XML search (YH, ZL, YC), pp. 1392–1395.
CSEET-2008-Honig #education #exclamation #process #quality #re-engineering: Teaching Successful “Real-World” Software Engineering to the “Net” Generation: Process and Quality Win! (WLH), pp. 25–32.
ICSM-2008-He #programming #refinement #testing: Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.
ICSM-2008-ZhangBJAL #analysis #visual notation: Query-based filtering and graphical view generation for clone analysis (YZ, HAB, SJ, DA, ML), pp. 376–385.
WCRE-2008-GeestVDV #domain-specific language: Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
SEFM-2008-BonifacioMS #modelling #testing: A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.
SEFM-2008-Gladisch #branch #testing: Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.
SEFM-2008-Salaun #protocol #specification: Generation of Service Wrapper Protocols from Choreography Specifications (GS), pp. 313–322.
AIIDE-2008-ChangS #formal method: Simulation-Based Story Generation with a Theory of Mind (HMC, VWS).
AIIDE-2008-CheongJBY #automation #game studies #summary #visualisation: Automatically Generating Summary Visualizations from Game Logs (YGC, AJ, BCB, RMY).
AIIDE-2008-PizziCWL #automation #game studies: Automatic Generation of Game Level Solutions as Storyboards (DP, MC, AW, JLL).
AIIDE-2008-StrongM #towards: Talking with NPCs: Towards Dynamic Generation of Discourse Structures (CRS, MM).
CIG-2008-AgapitosTLSK #evolution #multi: Generating diverse opponents with multiobjective evolution (AA, JT, SML, JS, AK0), pp. 135–142.
CIG-2008-PourGAGC #development #distributed #framework #game studies #human-computer #interface #platform #video: Brain-computer interface: Next generation thought controlled distributed video game development platform (PAP, TG, OA, GDG, RAC), pp. 251–257.
CIG-2008-SharmaKG #game studies #learning: Learning and knowledge generation in General Games (SS, ZK, SDG), pp. 329–335.
GT-VMT-2006-Kunert08 #automation #metamodelling #modelling #source code: Semi-automatic Generation of Metamodels and Models From Grammars and Programs (AK), pp. 111–119.
GT-VMT-2006-WinkelmannTEK08 #constraints #graph grammar #metamodelling #ocl #strict: Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (JW, GT, KE, JMK), pp. 159–170.
CHI-2008-SimonMB #automation #named: MySong: automatic accompaniment generation for vocal melodies (IS, DM, SB), pp. 725–734.
EDOC-2008-PagopK #component #framework: EJB 3.X — The 3rd Generation Component Framework (SP, AK).
ICEIS-AIDSS-2008-SofokleousA #data flow #search-based #testing: Dynamic Search-Based Test Data Generation Focused on Data Flow Paths (AAS, ASA), pp. 27–35.
ICEIS-DISI-2008-BohmWHL #integration #modelling #optimisation #process: Model-Driven Generation and Optimization of Complex Integration Processes (MB, UW, DH, WL), pp. 131–136.
ICEIS-DISI-2008-SchulteHSES #collaboration #flexibility #framework #research #towards: Towards the Next Generation of Service-Oriented Flexible Collaborative Systems — A Basic Framework Applied to Medical Research (JS, TH, KS, JE, ES), pp. 232–239.
ICEIS-ISAS2-2008-CasanovaBBF: Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy (MAC, SDJB, KKB, ALF), pp. 43–48.
ICEIS-ISAS2-2008-KiyomotoOT #automation #on the fly #protocol #security: On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.
CIKM-2008-ZhaoC #documentation #retrieval: A generative retrieval model for structured documents (LZ, JC), pp. 1163–1172.
ICML-2008-LiangJ #analysis #pseudo: An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators (PL, MIJ), pp. 584–591.
ICPR-2008-ChenWWM #detection: GA based feature generation for training cascade object detector (QC, HW, TW, KM), pp. 1–4.
ICPR-2008-GalballyCLMF: Fake fingertip generation from a minutiae template (JG, RC, AL, DM, JFA), pp. 1–4.
ICPR-2008-HaqueMP #adaptation #detection #multi #robust: Improved Gaussian mixtures for robust object detection by adaptive multi-background generation (MH, MMM, MP), pp. 1–4.
ICPR-2008-MatsuoSS #automation #recognition: Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.
ICPR-2008-SuS #modelling #using: Generative models for fingerprint individuality using ridge models (CS, SNS), pp. 1–4.
ICPR-2008-TorselloD #graph #learning: Supervised learning of a generative model for edge-weighted graphs (AT, DLD), pp. 1–4.
ICPR-2008-WetzkerPKBAM #detection #probability #roadmap #social #using: Detecting trends in social bookmarking systems using a probabilistic generative model and smoothing (RW, TP, AK, CB, TA, FM), pp. 1–4.
ICPR-2008-WhiteW #graph #modelling: Parts based generative models for graphs (DHW, RCW), pp. 1–4.
KDD-2008-ChakrabartiKP #web: Generating succinct titles for web URLs (DC, RK, KP), pp. 79–87.
KDD-2008-LaxmanTW #modelling #predict #sequence #using: Stream prediction using a generative model based on frequent episodes in event sequences (SL, VT, RWW), pp. 453–461.
KDD-2008-McGlohonAF #component #graph: Weighted graphs and disconnected components: patterns and a generator (MM, LA, CF), pp. 524–532.
KR-2008-TunD #ontology #reuse: Ontology Generation through the Fusion of Partial Reuse and Relation Extraction (NNT, JSD), pp. 318–328.
SEKE-2008-FatolahiSL #approach #automation #modelling #requirements: A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements (AF, SSS, TCL), pp. 619–624.
SEKE-2008-GallegosOGRSV #specification: A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKE-2008-HansenZS #embedded #web #web service: Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
SEKE-2008-HewettKS #integration #object-oriented #order #performance #testing: Test Order Generation for Efficient Object-oriented Class Integration Testing (RH, PK, DS), pp. 703–708.
SEKE-2008-IlievaB #diagrams #natural language #representation #requirements #uml #visual notation: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
SIGIR-2008-SekiHU: Generating diverse katakana variants based on phonemic mapping (KS, HH, KU), pp. 793–794.
SIGIR-2008-ZhangY #retrieval #sentiment #topic: A generation model to unify topic relevance and lexicon-based sentiment for opinion retrieval (MZ, XY), pp. 411–418.
ECMDA-FA-2008-ChevillatCSSW #modelling: Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
ECMDA-FA-2008-RosePKP: The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
MoDELS-2008-FalleriHLN #automation #metamodelling #model transformation: Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MoDELS-2008-GoldsbyC #adaptation #automation