BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
generative
Google generative

Tag #generative

3276 papers:

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