3286 papers:
CC-2020-PizzutiSD #functional #generative #information retrieval #matrix #multi #performance- Generating fast sparse matrix vector multiplication from a high level generic functional IR (FP, MS, CD), pp. 85–95.
ASE-2019-AfzalACCDDKV #abstraction #generative #testing #verification- VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.
- ASE-2019-AhmedSSK #compilation #fault #generative
- Targeted Example Generation for Compilation Errors (UZA, RS, NS, AK), pp. 327–338.
- ASE-2019-BaoLWF #automation #generative #named #network
- ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks (LB, XL, FW, BF), pp. 465–476.
- ASE-2019-CashinMWF #comprehension #difference #invariant
- Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.
- ASE-2019-ChenSHWL #behaviour #case study #experience #generative #testing #using
- An Experience Report of Generating Load Tests Using Log-Recovered Workloads at Varying Granularities of User Behaviour (JC, WS, AEH, YW, JL), pp. 669–681.
- ASE-2019-ChenWHXZZ #compilation #generative
- History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
- ASE-2019-Escobar-Velasquez #android #generative #named
- MutAPK: Source-Codeless Mutant Generation for Android Apps (CEV, MOR, MLV), pp. 1090–1093.
- ASE-2019-GaoZX0LK #automation #generative #overview
- Automating App Review Response Generation (CG, JZ, XX0, DL0, MRL, IK), pp. 163–175.
- ASE-2019-GodioBPAF #generative #performance #test coverage #testing
- Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
- ASE-2019-Jiang #analysis #commit #generative #semantics
- Boosting Neural Commit Message Generation with Code Semantic Analysis (SJ), pp. 1280–1282.
- ASE-2019-Kolthoff #automation #generative #natural language #prototype #requirements #strict #user interface #visual notation
- Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements (KK), pp. 1234–1237.
- ASE-2019-Liu0T0L #automation #generative
- Automatic Generation of Pull Request Descriptions (ZL, XX0, CT, DL0, SL), pp. 176–188.
- ASE-2019-Lukasczyk #dynamic typing #generative #source code #testing
- Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
- ASE-2019-Wei #generative
- Retrieve and Refine: Exemplar-Based Neural Comment Generation (BW), pp. 1250–1252.
- ASE-2019-Yu19a #comprehension #crowdsourcing #debugging #generative
- Crowdsourced Report Generation via Bug Screenshot Understanding (SY), pp. 1277–1279.
ESEC-FSE-2019-BabicBCIKKLSW #generative #named #scalability- FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.
- ESEC-FSE-2019-BiagiolaSRT #generative #testing #web
- Diversity-based web test generation (MB, AS, FR, PT), pp. 142–153.
- ESEC-FSE-2019-CaiWXH00X #generative #named #stack overflow #summary
- AnswerBot: an answer summary generation tool based on stack overflow (LC, HW, BX, QH, XX0, DL0, ZX), pp. 1134–1138.
- ESEC-FSE-2019-ChekamPT #generative #named
- Mart: a mutant generation tool for LLVM (TTC, MP, YLT), pp. 1080–1084.
- ESEC-FSE-2019-ChenHSZHZ #compilation #debugging #effectiveness #generative
- Compiler bug isolation via effective witness test program generation (JC, JH, PS, LZ, DH, LZ0), pp. 223–234.
- ESEC-FSE-2019-GambiHF #effectiveness #generative #self #testing
- Generating effective test cases for self-driving cars from police reports (AG, TH, GF), pp. 257–267.
- ESEC-FSE-2019-JinWXPDQ0X #generative #named #testing
- FinExpert: domain-specific test generation for FinTech systems (TJ, QW, LX, CP, LD, HQ, LH0, TX), pp. 853–862.
- ESEC-FSE-2019-LinCLLZ #algorithm #combinator #generative #metaheuristic #performance #testing #towards
- Towards more efficient meta-heuristic algorithms for combinatorial test generation (JL, SC, CL, QL, HZ0), pp. 212–222.
- ESEC-FSE-2019-Liu0MXXXL #api #generative #summary
- Generating query-specific class API summaries (ML, XP0, AM, ZX, WX, SX, YL), pp. 120–130.
- ESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #nondeterminism #online #testing
- Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
GPCE-2019-ShaikhhaJK #compilation #domain-specific language #embedded #generative- Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
SLE-2019-PacakE #generative #incremental- Generating incremental type services (AP, SE), pp. 197–201.
- SLE-2019-RaselimoTF #fault #generative #parsing #source code #syntax
- Breaking parsers: mutation-based generation of programs with guaranteed syntax errors (MR, JT, BF0), pp. 83–87.
FASE-2019-ZweihoffNS #collaboration #generative #modelling #named #online- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments (PZ, SN, BS), pp. 101–115.
CADE-2019-GutierrezL #automation #generative #logic #modelling- Automatic Generation of Logical Models with AGES (RG, SL), pp. 287–299.
CAV-2019-EmmiE #concurrent #generative #named #refinement #testing- Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.
Haskell-2018-MistaRH #branch #generative #process #quickcheck- Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
ECMFA-2018-ZolotasWGRKP #automation #editing #generative #papyrus #towards #uml #visual notation- Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (AZ, RW, SG, HHR, DSK, RFP), pp. 12–27.
- ASE-2018-BajammalM0 #component #generative #reuse #web
- Generating reusable web components from mockups (MB, DM, AM0), pp. 601–611.
- ASE-2018-BorgesHZ #android #framework #generative #named #platform #testing
- DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
- ASE-2018-GharibiTL #automation #generative #graph #named #python #source code
- Code2graph: automatic generation of static call graphs for Python source code (GG, RT, YL), pp. 880–883.
- ASE-2018-HanYL #debugging #learning #named #performance
- PerfLearner: learning from bug reports to understand and generate performance test frames (XH, TY, DL0), pp. 17–28.
- ASE-2018-HuangCPZWLZ #difference #generative #named
- ClDiff: generating concise linked code differences (KH, BC0, XP0, DZ, YW, YL0, WZ), pp. 679–690.
- ASE-2018-LiuXHLXW #commit #generative #how #question
- Neural-machine-translation-based commit message generation: how far are we? (ZL, XX0, AEH, DL0, ZX, XW0), pp. 373–384.
- ASE-2018-ScalabrinoGNGLG #c #generative #named #search-based #testing
- OCELOT: a search-based test-data generation tool for C (SS, GG, DDN, MG, ADL, HCG, RO), pp. 868–871.
- ASE-2018-TerragniP #challenge #concurrent #effectiveness #generative #testing #thread
- Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
- ASE-2018-WangLYCZDX #android #case study #empirical #generative #industrial #testing #tool support
- An empirical study of Android test generation tools in industrial cases (WW, DL0, WY0, YC, ZZ, YD, TX0), pp. 738–748.
- ESEC-FSE-2018-HuaZWK #approach #automation #generative #lazy evaluation #named #program repair #sketching #using
- SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.
- ESEC-FSE-2018-KimC0 #fault #using
- Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF (MK, SCC, SK0), pp. 679–690.
- GPCE-2018-Binsbergen #generative #metaprogramming
- Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.
- GPCE-2018-RadanneT #generative #named #regular expression
- Regenerate: a language generator for extended regular expressions (GR, PT), pp. 202–214.
- SLE-2018-MerinoVS #generative #named #parametricity
- Bacatá: a language parametric notebook generator (MVM, JJV, TvdS), pp. 210–214.
- CC-2018-NeykovaHYA #api #distributed #f# #generative #protocol
- A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.
- FASE-2018-SemerathV #domain-specific language #generative #modelling #specification #testing #tool support
- Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.
- CAV-2018-FarinierBBP #approach #generative #quantifier
- Model Generation for Quantified Formulas: A Taint-Based Approach (BF, SB, RB, MLP), pp. 294–313.
IJCAR-2018-EchenimPS #framework #generative #modulo theories- A Generic Framework for Implicate Generation Modulo Theories (ME, NP, YS), pp. 279–294.
- ECMFA-2017-KlugeSGSM #c #embedded #generative #modelling #named #network
- cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks (RK, MS, DG, AS, MM), pp. 109–125.
ICMT-2017-Strueber #generative #modelling #performance #search-based- Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.
MoDELS-2017-EgeaD #automation #code generation #named #ocl #sql- SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.
- ASE-2017-HigoOK #abstract syntax tree #generative
- Generating simpler AST edit scripts by considering copy-and-paste (YH, AO, SK), pp. 532–542.
- ASE-2017-JiangAM #automation #commit #generative #using
- Automatically generating commit messages from diffs using neural machine translation (SJ, AA, CM), pp. 135–146.
- ASE-2017-KapusC #automation #difference #execution #generative #symbolic computation #testing
- Automatic testing of symbolic execution engines via program generation and differential testing (TK, CC), pp. 590–600.
- ASE-2017-KjolstadCLKA #algebra #kernel #named
- taco: a tool to generate tensor algebra kernels (FK, SC, DL, SK, SPA), pp. 943–948.
- ASE-2017-LiSLLL #automation #generative #invariant #refinement
- Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
- ASE-2017-SaddlerC #generative #named #testing #user interface
- EventFlowSlicer: a tool for generating realistic goal-driven GUI tests (JAS, MBC), pp. 955–960.
- ASE-2017-SoltanaSB #generative #statistics #testing
- Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.
- ASE-2017-ToffolaSP #effectiveness #exclamation #generative #mining #testing
- Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
- ASE-2017-XuXXL #automation #developer #generative #named #summary
- AnswerBot: automated generation of answer summary to developersź technical questions (BX, ZX, XX0, DL0), pp. 706–716.
- ASE-2017-ZhangCTCBL #generative #mobile #sketching #testing #user interface
- Sketch-guided GUI test generation for mobile applications (CZ, HC, ET, XC0, LB, XL), pp. 38–43.
- ESEC-FSE-2017-CaiCZ #adaptation #generative #quality
- Adaptively generating high quality fixes for atomicity violations (YC0, LC, JZ), pp. 303–314.
- ESEC-FSE-2017-GarciaHGM #android #automation #communication #component #generative
- Automatic generation of inter-component communication exploits for Android applications (JG, MH, NG, SM), pp. 661–671.
- ESEC-FSE-2017-LongAR #automation #generative
- Automatic inference of code transforms for patch generation (FL, PA, MR), pp. 727–739.
- GPCE-2017-MartiniH #automation #case study #experience #generative #learning
- Automatic generation of virtual learning spaces driven by CaVaDSL: an experience report (RGM, PRH), pp. 233–245.
- GPCE-2017-NakamaruIYC #api #generative #named
- Silverchain: a fluent API generator (TN, KI, TY, SC), pp. 199–211.
- GPCE-2017-SusungiRCHCTSF #composition #generative #optimisation #towards
- Towards compositional and generative tensor optimizations (AS, NAR, JC, IH, AC, CT, JS, JF), pp. 169–175.
- GPCE-2017-Zaytsev #generative #legacy #parsing #pattern matching
- Parser generation by example for legacy pattern languages (VZ), pp. 212–218.
- SLE-2017-LuhunuS #code generation #comparison #performance #tool support
- Comparison of the expressiveness and performance of template-based code generation tools (LL, ES), pp. 206–216.
- FASE-2017-AlvinPM #diagrams #generative #named #sequence chart #uml
- StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.
- FASE-2017-SchneiderLO #generative #graph
- Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.
- CADE-2017-NagashimaK #generative #higher-order #proving
- A Proof Strategy Language and Proof Script Generation for Isabelle/HOL (YN, RK), pp. 528–545.
- ECMFA-2016-HeimNRW #composition #static typing #type safety #using
- Compositional Language Engineering Using Generated, Extensible, Static Type-Safe Visitors (RH, PMSN, BR, AW), pp. 67–82.
- ECMFA-2016-Lopez-Fernandez #generative #modelling #visual notation
- Example-Based Generation of Graphical Modelling Environments (JJLF, AG, EG, JdL), pp. 101–117.
- ICMT-2016-JungHH #approach #aspect-oriented #composition #domain-specific language #generative #named
- GECO: A Generator Composition Approach for Aspect-Oriented DSLs (RJ, RH, WH), pp. 141–156.
- ICMT-2016-PopoolaKR #generative #model transformation #named #transformation language
- EMG: A Domain-Specific Transformation Language for Synthetic Model Generation (SP, DSK, HHR), pp. 36–51.
- MoDELS-2016-DasGJBHD #animation #code generation #development #embedded #modelling #monitoring #realtime #runtime
- Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation (ND, SG, LJ, MB, NH, JD), pp. 36–43.
- MoDELS-2016-HarrandFMH #code generation #framework #named
- ThingML: a language and code generation framework for heterogeneous targets (NH, FF, BM, KEH), pp. 125–135.
- MoDELS-2016-RuscioMPT #automation #generative
- Automatic generation of detailed flight plans from high-level mission descriptions (DDR, IM, PP, MT), pp. 45–55.
- ASE-2016-LiLKLG #big data #combinator #generative #testing
- Applying combinatorial test data generation to big data applications (NL, YL, HRK, JL, YG), pp. 637–647.
- ASE-2016-PatrickCSG #automation #generative #image #using
- Automatic test image generation using procedural noise (MP, MDC, ROJHS, CAG), pp. 654–659.
- ASE-2016-Puschel #generative #performance
- Program generation for performance (MP), p. 1.
- ASE-2016-Rodriguez-Cancio #automation #benchmark #constant #generative
- Automatic microbenchmark generation to prevent dead code elimination and constant folding (MRC, BC, BB), pp. 132–143.
- ASE-2016-TangWWZ #android #concurrent #debugging #generative #testing
- Generating test cases to expose concurrency bugs in Android applications (HT, GW, JW, HZ), pp. 648–653.
- ASE-2016-ThakurG16a #domain model #generative #modelling #named #specification
- AnModeler: a tool for generating domain models from textual specifications (JST, AG), pp. 828–833.
- ASE-2016-YamadaBAKC #combinator #generative #satisfiability #testing #using
- Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.
- ASE-2016-ZhangHC #automation #generative #testing #towards
- Towards automatically generating descriptive names for unit tests (BZ, EH, JC), pp. 625–636.
FSE-2016-DhokR #detection #generative #testing- Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
- FSE-2016-GhassabaniGW #generative #induction #performance #safety
- Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
- FSE-2016-HasabnisS #code generation #execution #semantics #symbolic computation
- Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
- FSE-2016-KaleeswaranSKG #feedback #generative
- Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.
- FSE-2016-Kellogg #debugging #detection #generative #testing
- Combining bug detection and test case generation (MK), pp. 1124–1126.
- FSE-2016-LiuCL #comprehension #concurrent #debugging #generative #quality
- Understanding and generating high quality patches for concurrency bugs (HL, YC, SL), pp. 715–726.
- FSE-2016-Nandi #automation #generative
- Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.
- FSE-2016-Panchekha #generative #interactive #web
- Generating interactive web pages from storyboards (PP), pp. 1071–1072.
- FSE-2016-WangFMKDR #java #named #reuse
- Hunter: next-generation code reuse for Java (YW, YF, RM, AK, ID, SPR), pp. 1028–1032.
- FSE-2016-YoshidaTPGU #c #c++ #fine-grained #generative #incremental #named #source code #testing
- FSX: a tool for fine-grained incremental unit test generation for C/C++ programs (HY, ST, MRP, IG, TU), pp. 1052–1056.
- FSE-2016-ZengLZXDLYX #android #automation #case study #generative #industrial #question
- Automated test input generation for Android: are we really there yet in an industrial case? (XZ, DL0, WZ, FX, YD, WL, WY0, TX0), pp. 987–992.
- FSE-2016-ZhongZK #combinator #generative #testing
- Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
- GPCE-2016-AdamKS #automation #case study #code generation #embedded #experience
- Automatic code generation in practice: experiences with embedded robot controllers (SA, MK, UPS), pp. 104–108.
- GPCE-2016-BoussaaBBS #automation #code generation #non-functional #product line #testing
- Automatic non-functional testing of code generators families (MB, OB, BB, GS), pp. 202–212.
- GPCE-2016-Rompf #composition #exclamation #lightweight #staging
- Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
- CC-2016-MajetiMBS #architecture #automation #cpu #generative #gpu #kernel #layout
- Automatic data layout generation and kernel mapping for CPU+GPU architectures (DM, KSM, RB, VS), pp. 240–250.
- FASE-2016-HuY #api #generative #hybrid #verification
- Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
- FASE-2016-SemerathVV #generative #incremental #logic
- Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
- IJCAR-2016-DuranEEMMT #generative #maude #unification
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (FD, SE, SE, NMO, JM, CLT), pp. 183–192.
QoSA-2015-Kramer #approach #consistency #generative #modelling #multi- A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
DocEng-2015-BanerjeeMS #generative #summary- Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.
HT-2015-Baeza-YatesS #analysis #generative- Wisdom of the Crowd or Wisdom of a Few?: An Analysis of Users’ Content Generation (RABY, DST), pp. 69–74.
PODS-2015-GottlobPS #dependence- Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
VLDB-2015-LiuDMM #named #realtime- FLORIN — A System to Support (Near) Real-Time Applications on User Generated Content on Daily News (QL, ECD, AM, WM), pp. 1944–1955.
ICPC-2015-HauptmannJW #automation #generative #refactoring #testing- Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
- ICPC-2015-WhiteVJBP #android #debugging #generative
- Generating reproducible and replayable bug reports from Android application crashes (MW, MLV, PJ, CBC, DP), pp. 48–59.
ICSME-2015-AbidDCM #automation #c++ #generative #natural language #summary #using- Using stereotypes in the automatic generation of natural language summaries for C++ methods (NJA, ND, MLC, JIM), pp. 561–565.
MSR-2015-KarakoidasMLGS #ecosystem #generative #java- Generating the Blueprints of the Java Ecosystem (VK, DM, PL, GG, DS), pp. 510–513.
- MSR-2015-VasquezWBMP #android #execution #generative #mining
- Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios (MLV, MW, CBC, KM, DP), pp. 111–122.
SANER-2015-MoserPFW #documentation #generative #named- RbG: A documentation generator for scientific and engineering software (MM, JP, GF, MW), pp. 464–468.
- SANER-2015-WongLT #automation #generative #mining #named #source code
- CloCom: Mining existing source code for automatic comment generation (EW, TL, LT), pp. 380–389.
CIAA-2015-HeamJ #automaton #generative #morphism #on the #random- On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism (PCH, JLJ), pp. 140–152.
- CIAA-2015-HeamJ15a #automaton #generative #random #realtime
- Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.
DLT-2015-KlimannPS #automaton #infinity- A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group (IK, MP, DS), pp. 313–325.
ICALP-v2-2015-Boreale #analysis #approximate #generative #probability- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
LATA-2015-GodinKP #automaton #on the- On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata (TG, IK, MP), pp. 328–339.
FM-2015-DurandS #formal method #framework #generative #named- Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
- FM-2015-MirandaMR #automation #design #generative #testing #using #verification
- Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
SEFM-2015-KnapikNP #generative #order- Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.
- SEFM-2015-RochaBC #bound #c #generative #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.
- Haskell-2015-McDonellCGN #code generation #runtime #type safety
- Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.
ICFP-2015-SteuwerFLD #functional #generative #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.
CHI-2015-JangHSL #comparative #generative- Generation Like: Comparative Characteristics in Instagram (JYJ, KH, PCS, DL), pp. 4039–4042.
- CHI-2015-ORourkeAGP #automation #framework #generative #interactive
- A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
- CHI-2015-Otterbacher #bias #crowdsourcing #metadata
- Crowdsourcing Stereotypes: Linguistic Bias in Metadata Generated via GWAP (JO), pp. 1955–1964.
- CHI-2015-SchwarzMH #architecture #feedback #generative #interactive #probability #user interface
- An Architecture for Generating Interactive Feedback in Probabilistic User Interfaces (JS, JM, SEH), pp. 2545–2554.
- CHI-2015-ZamanSNWEST #design #generative #named
- GEM-NI: A System for Creating and Managing Alternatives In Generative Design (LZ, WS, CN, RW, ME, NS, MT), pp. 1201–1210.
CSCW-2015-KobayashiAIST #multi- Motivating Multi-Generational Crowd Workers in Social-Purpose Work (MK, SA, TI, SS, HT), pp. 1813–1824.
- CSCW-2015-SiangliulueAGD #collaboration #scalability #towards
- Toward Collaborative Ideation at Scale: Leveraging Ideas from Others to Generate More Creative and Diverse Ideas (PS, KCA, KZG, SPD), pp. 937–945.
- CSCW-2015-VenerandiQCQS
- Measuring Urban Deprivation from User Generated Content (AV, GQ, LC, DQ, DST), pp. 254–264.
DHM-EH-2015-BordegoniCCC #design #experience #generative- Body Tracking as a Generative Tool for Experience Design (MB, SC, GC, UC), pp. 122–133.
- DHM-HM-2015-OkaTGOO #process #research
- Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.
- DUXU-IXD-2015-DasBRD #co-evolution #design #generative #using
- The Use of Generative Techniques in Co-design of mHealth Technology and Healthcare Services for COPD Patients (AD, SB, JR, YD), pp. 587–595.
- HCI-IT-2015-JinL #framework #generative #interface #named #physics #research #string
- StringWeaver: Research on a Framework with an Alterable Physical Interface for Generative Art (YJ, ZL), pp. 292–304.
- HIMI-IKC-2015-HamaguchiMTKN #design #generative #matrix #using
- A Method for Generation and Check of Alarm Configurations Using Cause-Effect Matrices for Plant Alarm System Design (TH, BM, KT, NK, MN), pp. 549–556.
- HIMI-IKC-2015-Iwata #difference #learning
- Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
- HIMI-IKC-2015-MatsudaOHT #analysis #automation #generative #multi #problem #testing #using
- Analysis of Multiple-Choice Tests Through Erroneous Choices Using a Technique of Automatic Problem Generation (NM, HO, TH, HT), pp. 362–369.
- HIMI-IKC-2015-MayerBPGV #automation #generative #process #using #visualisation
- Automatic Generation of Integrated Process Data Visualizations Using Human Knowledge (FM, UB, DP, DG, BVH), pp. 488–498.
- HIMI-IKC-2015-OgusuOKY #generative #music
- Enhancing Abstract Imaginations of Viewers of Abstract Paintings by a Gaze Based Music Generation System (TO, JO, JK, SY), pp. 457–464.
- HIMI-IKD-2015-ImajiF #generative #summary #visual notation
- Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.
- HIMI-IKD-2015-WhiteFK #generative #interface
- Generation of Infotips from Interface Labels (EW, SF, FK), pp. 226–234.
- LCT-2015-Ai #automation #detection #fault #feedback #generative
- Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
- LCT-2015-TamuraTHN #generative #learning #wiki
- Generating Quizzes for History Learning Based on Wikipedia Articles (YT, YT, YH, YIN), pp. 337–346.
CAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification- Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
ICEIS-v1-2015-BorgesDRAS #approach #generative #using- An Economic Approach for Generation of Train Driving Plans using Continuous Case-based Planning (APB, OBD, RR, BCÁ, EES), pp. 440–451.
- ICEIS-v3-2015-IatskiuGC #automation #generative
- Automatic Generation of LIBRAS Signs by Graphic Symbols of SignWriting (CEAI, LSG, RdPC), pp. 71–78.
ECIR-2015-BuitinckATR #detection #multi- Multi-emotion Detection in User-Generated Reviews (LB, JvA, ET, MdR), pp. 43–48.
- ECIR-2015-KingI #clustering #generative #music
- Generating Music Playlists with Hierarchical Clustering and Q-Learning (JK, VI), pp. 315–326.
ICML-2015-BachmanP #collaboration #generative #network #probability- Variational Generative Stochastic Networks with Collaborative Shaping (PB, DP), pp. 1964–1972.
- ICML-2015-GregorDGRW #generative #image #named #network
- DRAW: A Recurrent Neural Network For Image Generation (KG, ID, AG, DJR, DW), pp. 1462–1471.
- ICML-2015-LiSZ #generative #network
- Generative Moment Matching Networks (YL, KS, RSZ), pp. 1718–1727.
- ICML-2015-RegierMMAHLSP #generative #image #named
- Celeste: Variational inference for a generative model of astronomical images (JR, AM, JM, RPA, MDH, DL, DS, P), pp. 2095–2103.
- ICML-2015-XuBKCCSZB #generative #image #visual notation
- Show, Attend and Tell: Neural Image Caption Generation with Visual Attention (KX, JB, RK, KC, ACC, RS, RSZ, YB), pp. 2048–2057.
KDD-2015-AlthoffDMADZ #generative #knowledge base #named #timeline- TimeMachine: Timeline Generation for Knowledge-Base Entities (TA, XLD, KM, SA, VD, WZ), pp. 19–28.
- KDD-2015-WangYCSSZ #generative #named #recommendation
- Geo-SAGE: A Geographical Sparse Additive Generative Model for Spatial Item Recommendation (WW, HY, LC, YS, SWS, XZ), pp. 1255–1264.
RecSys-2015-BanksRS #game studies #recommendation #using- The Recommendation Game: Using a Game-with-a-Purpose to Generate Recommendation Data (SB, RR, BS), pp. 305–308.
- RecSys-2015-JannachLK #continuation #generative #music
- Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.
- RecSys-2015-Vall #automation #generative #music
- Listener-Inspired Automated Music Playlist Generation (AV), pp. 387–390.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability- SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
- SEKE-2015-ElerDE #exception #execution #generative #symbolic computation #testing
- Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
- SEKE-2015-KinneerKMW #automation #database #generative #performance #relational #search-based #testing
- Automatically Evaluating the Efficiency of Search-Based Test Data Generation for Relational Database Schemas (CK, GMK, PM, CJW), pp. 352–357.
- SEKE-2015-LinYX #automation #detection #generative #parametricity #testing
- Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
- SEKE-2015-Murillo-MoreraJ #algorithm #approach #framework #learning #predict #search-based #using
- A Software Defect-Proneness Prediction Framework: A new approach using genetic algorithms to generate learning schemes (JMM, MJ), pp. 445–450.
- SEKE-2015-SongHJC #android #generative #testing
- Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SIGIR-2015-GuoL #automation #generative #graph #music #recommendation- Automatic Feature Generation on Heterogeneous Graph for Music Recommendation (CG, XL), pp. 807–810.
- SIGIR-2015-WangSLE #difference #generative #timeline #twitter
- Assessor Differences and User Preferences in Tweet Timeline Generation (YW, GS, JL, ME), pp. 615–624.
- MoDELS-J-2011-BlouinCBB15 #generative #modelling #named
- Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
- ICMT-J-2012-VarroDWS15 #algorithm #emf #generative #modelling #pattern matching
- An algorithm for generating model-sensitive search plans for pattern matching on EMF models (GV, FD, MW, AS), pp. 597–621.
- ECMFA-2015-BousseMCB #approach #generative #metamodelling
- A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
- MoDELS-2015-FoucheNGE #diagrams #generative #modelling #standard #tool support
- Systematic generation of standard compliant tool support of diagrammatic modeling languages (AF, FN, SG, ME), pp. 348–357.
SPLC-2015-KruegerC #generative #product line- Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
- SPLC-2015-ReulingBRLK #effectiveness #generative #product line #testing
- Fault-based product-line testing: effective sample generation based on feature-diagram mutation (DR, JB, SR, ML, UK), pp. 131–140.
PADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference- On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.
PPDP-2015-AngelisFPP #generative #semantics #verification- Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
SAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using- Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
- ASE-2015-BozhinoskiRMPT #multi #named
- FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters (DB, DDR, IM, PP, MT), pp. 801–806.
- ASE-2015-ChoudharyGO #android #automation #generative
- Automated Test Input Generation for Android: Are We There Yet? (E) (SRC, AG, AO), pp. 429–440.
- ASE-2015-Fard0W #generative #javascript #testing
- Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.
- ASE-2015-FudabaOANHSTN #automation #named #pseudo #source code
- Pseudogen: A Tool to Automatically Generate Pseudo-Code from Source Code (HF, YO, KA, GN, HH, SS, TT, SN), pp. 824–829.
- ASE-2015-LinLCSH0 #algorithm #combinator #generative #metaheuristic #named #performance #testing
- TCA: An Efficient Two-Mode Meta-Heuristic Algorithm for Combinatorial Test Generation (T) (JL, CL, SC, KS, DH, LZ), pp. 494–505.
- ASE-2015-MaAZSGR15a #automation #generative #named #program analysis #using
- GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.
- ASE-2015-OdaFNHSTN #learning #pseudo #source code #statistics #using
- Learning to Generate Pseudo-Code from Source Code Using Statistical Machine Translation (T) (YO, HF, GN, HH, SS, TT, SN), pp. 574–584.
- ASE-2015-ShamshiriJRFMA #automation #challenge #effectiveness #empirical #fault #testing
- Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T) (SS, RJ, JMR, GF, PM, AA), pp. 201–211.
- ASE-2015-WolflSAKKW #case study #experience #generative
- Generating Qualifiable Avionics Software: An Experience Report (E) (AW, NS, SA, HK, JK, GWU), pp. 726–736.
- ASE-2015-ZhangHC #automation #generative
- Automatically Generating Test Templates from Test Names (N) (BZ, EH, JC), pp. 506–511.
- ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
- Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
- ESEC-FSE-2015-ArcuriFG #automation #generative #network #testing
- Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
- ESEC-FSE-2015-Jain #automation #generative #programming language
- Automated generation of programming language quizzes (SJ), pp. 1051–1053.
- ESEC-FSE-2015-Prasetya #generative #java #named #query #testing
- T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
- ESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing
- Automated unit test generation for evolving software (SS), pp. 1038–1041.
- ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support
- UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
- ESEC-FSE-2015-White #generative #parametricity #performance #search-based #testing #using
- Increasing the efficiency of search-based unit test generation using parameter control (TW), pp. 1042–1044.
GTTSE-2015-SmaragdakisBF #generative- Structured Program Generation Techniques (YS, AB, GF), pp. 154–178.
ICSE-v1-2015-DeweyNH #automation #data type #generative- Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
- ICSE-v1-2015-JiaCHP #combinator #generative #interactive #learning #testing #using
- Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search (YJ, MBC, MH, JP), pp. 540–550.
- ICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread
- Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
- ICSE-v2-2015-McBurney #automation #documentation #generative #source code #summary
- Automatic Documentation Generation via Source Code Summarization (PWM), pp. 903–906.
- ICSE-v2-2015-Ouriques #modelling #testing
- Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
- ICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support
- TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
- ICSE-v2-2015-Thompson #development #generative #towards
- Towards Generation of Software Development Tasks (CAT), pp. 915–918.
- ICSE-v2-2015-VasquezCAP #automation #commit #generative #named
- ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
SAC-2015-BispoRC #c #generative #matlab- C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
- SAC-2015-BolockA #automation #constraints #generative #towards #using
- Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
- SAC-2015-BrideJM #approximate #generative #testing
- Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
- SAC-2015-DuarteBGCT #behaviour #generative #towards
- Towards context-aware behaviour generation (PAdSD, FMB, FAdAG, WVdC, FAMT), pp. 596–598.
- SAC-2015-Kerschbaum #generative #outsourcing
- Oblivious outsourcing of garbled circuit generation (FK), pp. 2134–2140.
- SAC-2015-LeottaSRT #automation #generative #testing #visual notation #web
- Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
- SAC-2015-Morelli #automation #generative #modelling
- Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
- SAC-2015-RychnovskyH #generative #query #xml #xpath
- Generating XML data for XPath queries (DR, IH), pp. 724–731.
- SAC-2015-Soares0W #approach #modelling #named #recognition #requirements #speech
- VoiceToModel: an approach to generate requirements models from speech recognition mechanisms (FS, JA, FW), pp. 1350–1357.
- GPCE-2015-FoustJP #constraints #data flow #generative #multi #source code #user interface #visual notation
- Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems (GF, JJ, SP), pp. 121–130.
- GPCE-2015-NarasimhanDTMG #experience
- The next-generation in-stadium experience (PN, UD, JT, NDM, RG), pp. 1–10.
- GPCE-2015-ReyndersDP #api #bound #generative
- Generating safe boundary APIs between typed EDSLs and their environments (BR, DD, FP), pp. 31–34.
- GPCE-2015-RingertRW #behaviour #code generation
- Composing code generators for C&C ADLs with Application-specific behavior languages (JOR, BR, AW), pp. 113–116.
- GPCE-2015-SeidlSS #design pattern #development #generative #product line #using #variability
- Generative software product line development using variability-aware design patterns (CS, SS, IS), pp. 151–160.
- GPCE-2015-SelgradLKSL #generative #lightweight
- Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
CASE-2015-ArdakaniORJ #generative #predict #realtime #using- Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
- CASE-2015-GleesonBBCL #automation #code generation #optimisation
- Optimizing robot trajectories for automatic robot code generation (DG, SB, RB, JSC, BL), pp. 495–500.
- CASE-2015-HuangJG #distributed #generative #multi #optimisation
- Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
- CASE-2015-MeddouriDF #analysis #generative #induction #performance #predict #using
- Performance analysis of an autonomous induction generator under different operating conditions using predictive control (SM, LAD, LF), pp. 1118–1124.
- CASE-2015-RacchettiTF #automation #documentation #generative #lifecycle #usability
- Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
- CC-2015-BourkeCPPP #code generation #hybrid
- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
- CC-2015-Buchwald #generative #named #optimisation
- Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
- CC-2015-NgCY #code generation #protocol
- Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
CGO-2015-HasabnisQS #architecture #code generation #correctness #specification- Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
- CGO-2015-HawkinsDBZ #optimisation
- Optimizing binary translation of dynamically generated code (BH, BD, DB, QZ), pp. 68–78.
- CGO-2015-McAfeeO #framework #generative #learning #multi #named
- EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.
DAC-2015-LiuSZLQ #generative #statistics- A statistical methodology for noise sensor placement and full-chip voltage map generation (XL, SS, PZ, XL, HQ), p. 6.
- DAC-2015-Pomeranz #generative #testing
- Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
- DAC-2015-RozicYDV #generative #performance #random
- Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
- DAC-2015-ShreejithF #embedded #generative #network #security
- Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DATE-2015-BringmannEGGMSS #generative #prototype #simulation- The next generation of virtual prototyping: ultra-fast yet accurate simulation of HW/SW systems (OB, WE, AG, AG, DMG, PS, SS), pp. 1698–1707.
- DATE-2015-DoustiPP #generative #modelling
- Accurate electrothermal modeling of thermoelectric generators (MJD, AP, MP), pp. 1603–1606.
- DATE-2015-FuWH #code generation
- Improving SIMD code generation in QEMU (SYF, JJW, WCH), pp. 1233–1236.
- DATE-2015-KadryKMNSPPJS #case study #comparative #generative #simulation #testing
- Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
- DATE-2015-NiemannHGW #formal method #generative #modelling
- Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
- DATE-2015-RiefertCSRB #automation #generative #on the #source code
- On the automatic generation of SBST test programs for in-field test (AR, RC, MS, MSR, BB), pp. 1186–1191.
- DATE-2015-StoppeWD #automation #design #locality
- Automated feature localization for dynamically generated SystemC designs (JS, RW, RD), pp. 277–280.
- DATE-2015-YangRMDV #embedded #framework #generative #on the fly #platform #random #testing
- Embedded HW/SW platform for on-the-fly testing of true random number generators (BY, VR, NM, WD, IV), pp. 345–350.
HPDC-2015-SuWA #data analysis #generative #performance- In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
PDP-2015-EvrardL #automation #code generation #concurrent #distributed #formal method #modelling #process- Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes (HE, FL), pp. 459–466.
- PDP-2015-RohrL #flexibility #library #multi #scalability
- A Flexible and Portable Large-Scale DGEMM Library for Linpack on Next-Generation Multi-GPU Systems (DR, VL), pp. 664–668.
PPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #modelling #parallel #statistics- Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
- PPoPP-2015-RavishankarDEPRRS #code generation #distributed #memory management
- Distributed memory code generation for mixed Irregular/Regular computations (MR, RD, VE, LNP, JR, AR, PS), pp. 65–75.
ESOP-2015-FetscherCPHF #automation #generative #random #type system- Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
- FASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing
- Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.
STOC-2015-KothariM #generative #pseudo- Almost Optimal Pseudorandom Generators for Spherical Caps: Extended Abstract (PKK, RM), pp. 247–256.
TACAS-2015-ChakrabortyFMSV #generative #on the #parallel #satisfiability #scalability- On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
- TACAS-2015-JeanninGKGSZP #hybrid
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
- CADE-2015-EchenimPT #equation #generative #logic #quantifier
- Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
- CAV-2015-ChenHWZ #generative #invariant #polynomial
- Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
ICLP-2015-Tarau #generative #on the- On Type-directed Generation of λ Terms (PT), pp. 60–72.
ICST-2015-0001YPGS #analysis #generative #testing #using- Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
- ICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing
- Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
- ICST-2015-JensenTSC #generative #testing
- Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
- ICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing
- JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
- ICST-2015-NardoPB #analysis #generative #modelling #mutation testing #testing
- Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
- ICST-2015-PouldingF #generative #testing
- Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.
- ICST-2015-YuC #embedded #generative #stack #testing #worst-case
- Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems (TY, MBC), pp. 1–10.
ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification- Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
- ISSTA-2015-QiLAR #analysis #correctness #generative
- An analysis of patch plausibility and correctness for generate-and-validate patch generation systems (ZQ, FL, SA, MCR), pp. 24–36.
- ISSTA-2015-RojasFA #automation #development #empirical #generative #testing
- Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
- ISSTA-2015-WangPGBI #automation #case study #generative #specification #testing
- Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
- ISSTA-2015-YatohSIH #generative #random testing #testing
- Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
- ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing
- RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing- Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
- TAP-2015-AthanasiouLS #concurrent #generative #testing #using
- Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
- TAP-2015-BloemHRS #automation #case study #generative #implementation #testing
- Case Study: Automatic Test Case Generation for a Secure Cache Implementation (RB, DMH, FR, RS), pp. 58–75.
- TAP-2015-GenestierGP #array #deduction #generative #verification
- Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
- TAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification
- Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.
CBSE-2014-BenedittoW #configuration management #runtime #using- Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
ECSA-2014-CavalcanteOB #architecture #code generation #implementation- Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language (EC, FO, TVB), pp. 130–145.
- ECSA-2014-KochHD #generative #requirements #specification
- Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
- DocEng-2014-HughesBBA #documentation #generative #summary
- Generating summary documents for a variable-quality PDF document collection (JH, DFB, SRB, CEA), pp. 49–52.
- DocEng-2014-PanLSTX #flexibility #library #named
- FlexiFont: a flexible system to generate personal font libraries (WP, ZL, RS, YT, JX), pp. 17–20.
- HT-2014-Abdel-HafezXJ #generative #rating
- A rating aggregation method for generating product reputations (AAH, YX, AJ), pp. 291–293.
- PODS-2014-BenediktCT #generative #low cost #proving
- Generating low-cost plans from proofs (MB, BtC, ET), pp. 200–211.
SIGMOD-2014-HuangCCLXWBH #generative- The next generation operational data historian for IoT based on informix (SH, YC, XC, KL, XX, CW, KB, IH), pp. 169–176.
- VLDB-2014-0002LW #elicitation #generative
- Generating Top-k Packages via Preference Elicitation (MX, LVSL, PTW), pp. 1941–1952.
- VLDB-2014-MortonBGM #challenge
- Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems (KM, MB, DG, JDM), pp. 453–456.
- VLDB-2014-NagelBV #code generation #performance #query
- Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
- VLDB-2014-VartakMPP #automation #generative #named #query #visualisation
- SEEDB: Automatically Generating Query Visualizations (MV, SM, AGP, NP), pp. 1581–1584.
ITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation- System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
- ICPC-2014-McBurneyM #automation #documentation #generative #source code #summary
- Automatic documentation generation via source code summarization of method context (PWM, CM), pp. 279–290.
- ICSME-2014-GuanaGS #named #towards
- ChainTracker: Towards a Comprehensive Tool for Building Code-Generation Environments (VG, KG, ES), pp. 613–616.
- ICSME-2014-VanderveenJT #generative #web #web service
- A Web Service Test Generator (PV, MJ, AFT), pp. 516–520.
- MSR-2014-LazarRS14a #dataset #debugging #generative
- Generating duplicate bug datasets (AL, SR, BS), pp. 392–395.
SCAM-2014-Cortes-CoyVAP #automation #commit #generative #on the #source code #summary- On Automatically Generating Commit Messages via Summarization of Source Code Changes (LFCC, MLV, JA, DP), pp. 275–284.
- SCAM-2014-PetiotBJKS #c #generative #source code #testing
- Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
- ICALP-v1-2014-FouqueT #generative #random
- Close to Uniform Prime Number Generation with Fewer Random Bits (PAF, MT), pp. 991–1002.
IFM-2014-FurstHBDSM #code generation- Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
- SEFM-2014-Leroy #code generation #proving #tool support #verification
- Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.
SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
- SFM-2014-AlbertAGR #concept #concurrent #execution #generative #symbolic computation #testing
- Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency (EA, PA, MGZ, JMR), pp. 263–309.
FLOPS-2014-ClaessenDP #generative #random- Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.
ILC-2014-KeishiS #generative #lalr #named #parsing- PaGe: Portable LALR(1) Parser Generator (SK, AS), p. 8.
- ILC-2014-Nunes-Harwitt14a #approach #code generation #evaluation #semantics
- Eager Evaluation Isn’t Eager Enough A Transformation Based Approach to Semantics-Directed Code Generation (ANH), p. 79.
GRAPHITE-2014-KantP #game studies #generative- Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.
GT-VMT-2014-DeckwerthV #constraints #generative #graph transformation #higher-order- Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGT-2014-DeckwerthV #constraints #generative #graph- Attribute Handling for Generating Preconditions from Graph Constraints (FD, GV), pp. 81–96.
- ICGT-2014-JansenGN #execution #generative #induction #pointer #source code #symbolic computation
- Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (CJ, FG, TN), pp. 65–80.
- ICGT-2014-JansenN #generative #graph #pointer #source code #summary
- Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
- ICGT-2014-KreowskiKLL #evaluation #generative #graph transformation #synthesis
- Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.
- CHI-2014-GreisAHM
- I can wait a minute: uncovering the optimal delay time for pre-moderated user-generated content on public displays (MG, FA, NH, NM), pp. 1435–1438.
- CHI-2014-SasWDFZ #design #generative #research
- Generating implications for design through design research (CS, SW, SD, JF, JZ), pp. 1971–1980.
- CHI-2014-SavvaCMH #automation #generative #keyword #named
- TransPhoner: automated mnemonic keyword generation (MS, AXC, CDM, PH), pp. 3725–3734.
- CHI-2014-SetlurM #automation #encoding #generative #semantics #visualisation
- Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
- CHI-2014-Smith #analysis #comprehension #game studies #generative
- Understanding procedural content generation: a design-centric analysis of the role of PCG in games (GS), pp. 917–926.
- CHI-2014-YuKK14a #distributed #generative #idea
- Distributed analogical idea generation: inventing with crowds (LY, AK, REK), pp. 1245–1254.
- CSCW-2014-Meier #generative
- Next generation humanitarian computing (PM), p. 1573.
- CSCW-2014-XuHB #design #feedback #generative #named #using #visual notation
- Voyant: generating structured feedback on visual designs using a crowd of non-experts (AX, SWH, BPB), pp. 1433–1444.
- DHM-2014-MazzolaACRADA #architecture #education #monitoring
- Integrated Architecture for Next-Generation m-Health Services (Education, Monitoring and Prevention) in Teenagers (MM, PA, GC, CR, MA, CD, GA), pp. 403–414.
- DUXU-DP-2014-Gatsou #generative
- From Inexperienced Users to Co-creators: An Exploration of a Generative Method (CG), pp. 244–252.
- DUXU-TMT-2014-LeeL #3d #design #generative #research
- Experimental Research in Applying Generative Design and 3D Printers in User Participating Design (LCJL, MHL), pp. 296–307.
- HCI-AIMT-2014-NakaI #communication #effectiveness #generative #gesture
- Proposal of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication (TN, TI), pp. 102–112.
- HCI-AS-2014-JiaNBBT #corpus #framework #named #online #platform #research
- CORPUS: Next-Generation Online Platform for Research Collaborations in Humanities (YJ, XN, RB, DB, ADT), pp. 3–12.
- HCI-TMT-2014-LuzSN #generative #human-computer #ontology #workflow
- Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
- HCI-TMT-2014-MotylF #comparison #design #generative #idea
- Comparison of Creativity Enhancement and Idea Generation Methods in Engineering Design Training (BM, SF), pp. 242–250.
- HCI-TMT-2014-RaneburgerPKAS #automation #design #generative #incremental #interactive #process #user interface
- An Iterative and Incremental Process for Interaction Design through Automated GUI Generation (DR, RP, HK, AA, VS), pp. 373–384.
- HCI-TMT-2014-SiliMMGP #automation #generative #question #user interface #what
- A Practical Solution for the Automatic Generation of User Interfaces — What Are the Benefits of a Practical Solution for the Automatic Generation of User Interfaces? (MS, CCM, MM, MG, MP), pp. 445–456.
- HIMI-AS-2014-AsaiY #documentation #generative
- EA Snippets: Generating Summarized View of Handwritten Documents Based on Emphasis Annotations (HA, HY), pp. 20–31.
- HIMI-DE-2014-HoriguchiASN #dependence #generative
- Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
- HIMI-DE-2014-HuangL #design #generative
- Generative Product Design Inspired by Natural Information (YH, JYL), pp. 583–593.
- HIMI-DE-2014-Rodriguez #algorithm #image #matlab #predict
- Prediction or Guess? Decide by Looking at Two Images Generated by a “MATLAB MySQL” Algorithm (CR0), pp. 87–97.
- CAiSE-2014-GarciaDC #adaptation #approach #model-to-text #sql
- An Adapter-Based Approach to Co-evolve Generated SQL in Model-to-Text Transformations (JG, OD, JC), pp. 518–532.
- CAiSE-2014-RizziG #generative #named #parametricity
- CubeLoad: A Parametric Generator of Realistic OLAP Workloads (SR, EG), pp. 610–624.
- ICEIS-v1-2014-HenriquesA #database #generative #modelling #sequence
- Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
- ICEIS-v1-2014-HuangZZ #clustering #generative #multi
- Multi-domain Schema Clustering and Hierarchical Mediated Schema Generation (QH, CZ, JZ), pp. 111–118.
- ICEIS-v2-2014-BassoPFR #information management #prototype #web
- Assisted Tasks to Generate Pre-prototypes for Web Information Systems (FPB, RMP, RZF, FRF), pp. 14–25.
- ICEIS-v2-2014-KublerF #generative #information management #lifecycle #named #question
- CaPLIM: The Next Generation of Product Lifecycle Information Management? (SK, KF), pp. 539–547.
- ICEIS-v2-2014-MahmoudBAG #approach #learning
- A New Approach Based on Learning Services to Generate Appropriate Learning Paths (CBM, FB, MHA, FG), pp. 643–646.
- ICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements #testing
- An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
CIKM-2014-BudaCMK #database #named #performance- VFDS: An Application to Generate Fast Sample Databases (TSB, TC, JM, MK), pp. 2048–2050.
- CIKM-2014-MingYC #approach #re-engineering #summary #topic
- A Dynamic Reconstruction Approach to Topic Summarization of User-Generated-Content (ZM, JY, TSC), pp. 311–320.
- CIKM-2014-TkachenkoL #generative #modelling
- Generative Modeling of Entity Comparisons in Text (MT, HWL), pp. 859–868.
- CIKM-2014-YeLQPM #generative
- A Generative Model for Generating Relevance Labels from Human Judgments and Click-Logs (XY, JL, ZQ, BP, DM), pp. 1907–1910.
- CIKM-2014-ZhangXTW0 #clustering #framework #generative #named #platform #wiki
- WiiCluster: a Platform for Wikipedia Infobox Generation (KZ, YX, HT, HW, WW), pp. 2033–2035.
- ECIR-2014-ChhabraB #generative #summary #towards
- Towards Generating Text Summaries for Entity Chains (SC, SB), pp. 136–147.
- ECIR-2014-GrausTBR #concept #generative #predict #pseudo #social
- Generating Pseudo-ground Truth for Predicting New Concepts in Social Streams (DG, MT, LB, MdR), pp. 286–298.
- ICML-c1-2014-ZhouT #generative #network #predict #probability
- Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction (JZ, OGT), pp. 745–753.
- ICML-c2-2014-BengioLAY #generative #network #probability
- Deep Generative Stochastic Networks Trainable by Backprop (YB, EL, GA, JY), pp. 226–234.
- ICML-c2-2014-MaddisonT #generative #modelling #source code
- Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
- ICML-c2-2014-RezendeMW #approximate #generative #modelling #probability
- Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICPR-2014-BanerjeeCM #automation #classification #game studies #generative #wiki- Playscript Classification and Automatic Wikipedia Play Articles Generation (SB, CC, PM), pp. 3630–3635.
- ICPR-2014-RamaiahPG #generative
- A Sigma-Lognormal Model for Handwritten Text CAPTCHA Generation (CR, RP, VG), pp. 250–255.
- ICPR-2014-RiabchenkoKC #generative #learning #modelling
- Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.
- ICPR-2014-RothermelHWB #generative #modelling #performance #robust #semantics #video
- Fast and Robust Generation of Semantic Urban Terrain Models from UAV Video Streams (MR, NH, KW, DB), pp. 592–597.
- ICPR-2014-SharmaCL #3d #approach #generative #hybrid #novel
- Kinect-Variety Fusion: A Novel Hybrid Approach for Artifacts-Free 3DTV Content Generation (MS, SC, BL), pp. 2275–2280.
- KDD-2014-SpanglerWBNDHRPCMSKLLPLDCL #automation #generative #mining
- Automated hypothesis generation based on mining scientific literature (WSS, ADW, BJB, MN, TD, PJH, SR, CRP, AC, JNM, IS, LK, AL, JJL, NP, AML, LAD, YC, OL), pp. 1877–1886.
- KDD-2014-YuanCL #generative #named #recommendation
- COM: a generative model for group recommendation (QY, GC, CYL), pp. 163–172.
KDIR-2014-HafethAC #analysis #case study #classification- Text Analysis of User-Generated Contents for Health-care Applications — Case Study on Smoking Status Classification (DAH, AA, DC), pp. 242–249.
KEOD-2014-HarzallahBGK #automation #experience #ontology #problem #quality- Ontology Quality Problems — An Experience with Automatically Generated Ontologies (MH, GB, TG, PK), pp. 120–129.
KMIS-2014-Schmitt #approach #generative #information management #novel- Proposing a Next Generation of Knowledge Management Systems for Creative Collaborations in Support of Individuals and Institutions — Featuring a Novel Approach for Meme-based Personal Knowledge Management (US), pp. 346–353.
MLDM-2014-PirasG #classification #generative #image #roadmap- Open Issues on Codebook Generation in Image Classification Tasks (LP, GG), pp. 328–342.
- RecSys-2014-Liu0L #recommendation
- Recommending user generated item lists (YL, MX, LVSL), pp. 185–192.
- SEKE-2014-JaliGH #behaviour #case study #generative #ontology
- Behavioral Model Generation from Use Cases Based on Ontology Mapping and GRASP Patterns (NJ, DG, PH), pp. 324–329.
- SEKE-2014-LiLWC #automation #data access #generative #policy #testing
- Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
- SEKE-2014-NassarJSB #energy #generative #java #realtime #runtime
- Generating Real-Time Profiles of Runtime Energy Consumption for Java Applications (MN, JJ, IS, MBB), pp. 592–597.
- SEKE-2014-Saito0TO #approach #constraints #generative #knowledge-based #testing #web
- Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach (HS, ST, HT, MO), pp. 110–114.
SKY-2014-Ben-Av #algebra #generative #multi #ontology #using- Ontology Hierarchy Self Generation using Algebraic Multi-Grid (AMG) (RBA), pp. 79–85.
- SKY-2014-ExmanI #generative #named #ontology
- Apogee: Application Ontology Generation from Domain Ontologies (IE, DI), pp. 31–42.
AMT-2014-ZhangBBEHKW #code generation #concurrent #java #state machine #towards- Towards Verified Java Code Generation from Concurrent State Machines (DZ, DB, MvdB, LE, CH, RK, AW), pp. 64–69.
- ECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt
- Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
- ICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
- Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
- ICMT-2014-GuanaS #analysis
- ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
- ICMT-2014-JilaniIK #approach #generative #model transformation #testing
- A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
- MoDELS-2014-NataleCSS #adaptation #approach #communication #component #generative
- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink (MDN, FC, AS, ALSV), pp. 353–369.
- SPLC-2014-KruegerC #generative #product line
- Second generation systems and software product line engineering (CWK, PCC), p. 358.
- SPLC-2014-SimidchievaO #composition #generative #product line #verification
- Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
- OOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
- Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
- OOPSLA-2014-SteeleLF #generative #performance #pseudo
- Fast splittable pseudorandom number generators (GLSJ, DL, CHF), pp. 453–472.
HILT-2014-HuguesG #ada #modelling- Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
LOPSTR-2014-Vidal #execution #generative #prolog #testing- Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
- PADL-2014-BrackerG #domain-specific language #generative #javascript #monad #named
- Sunroof: A Monadic DSL for Generating JavaScript (JB, AG), pp. 65–80.
PEPM-2014-KameyamaKS #code generation #combinator- Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
- PEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware
- Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
PLDI-2014-DeVitoRFAH #generative #runtime #using- First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.
POPL-2014-LongSKR #fault #generative #integer- Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
- ASE-2014-ArcuriFG #automation #dependence #generative #testing
- Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
- ASE-2014-CamposAFA #automation #generative #integration #testing
- Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
- ASE-2014-DingesA #execution #generative #using
- Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
- ASE-2014-FardMM #automation #generative #testing #web
- Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
- ASE-2014-HollingPG #generative #lightweight #named #testing
- 8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
- ASE-2014-TillmannHX #automation #generative #testing
- Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
- ASE-2014-TurenneKGR #generative
- A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
- FSE-2014-GulwaniRZ #feedback #generative #performance #problem #programming
- Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
- FSE-2014-HavrikovHGZ #generative #named #testing #xml
- XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
- FSE-2014-MorenoBPOMC #automation #generative
- Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.
- FSE-2014-TaoKKX #automation #debugging
- Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.
- ICSE-2014-ChenPYNZ #adaptation #generative #incremental #model transformation #runtime #self
- Self-adaptation through incremental generative model transformations at runtime (BC, XP, YY, BN, WZ), pp. 676–687.
- ICSE-2014-Monperrus #automation #evaluation #generative #overview #problem
- A critical review of “automatic patch generation learned from human-written patches”: essay on the problem statement and the evaluation of automatic software repair (MM), pp. 234–242.
- ICSE-2014-NguyenKWF #dynamic analysis #invariant #using
- Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
- SAC-2014-BassoPOF #adaptation #case study #experience #generative #lessons learnt #model transformation
- Generative adaptation of model transformation assets: experiences, lessons and drawbacks (FPB, RMP, TCdO, MDDF), pp. 1027–1034.
- SAC-2014-CaniGSST #automation #code generation #integration #towards
- Towards automated malware creation: code generation and code integration (AC, MG, ES, GS, APT), pp. 157–160.
- SAC-2014-ChallcoI #authoring #design #learning #personalisation #towards
- Towards a learning design authoring tool that generates personalized units of learning for CSCL (GCC, SI), pp. 778–780.
- SAC-2014-GaoEWGL #empirical #generative #testing
- An empirical study of requirements-based test generation on an automobile control system (RG, JSE, WEW, XG, SYL), pp. 1094–1099.
- SAC-2014-JangJL #component #embedded #generative #prototype #simulation
- Virtual prototype generation by shockwave flash for simulating HW components of embedded system (SYJ, AKJ, WJL), pp. 1755–1756.
- SAC-2014-RaneburgerKPSA #automation #design #generative #interactive #process #user interface
- A process for facilitating interaction design through automated GUI generation (DR, HK, RP, VS, AA), pp. 1324–1330.
- SAC-2014-VidalCNM #approach #automation #generative
- A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.
- SLE-2014-HartelHL #generative #testing #xtext
- Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
- SLE-2014-MeyersDLSVW #framework #generative #named
- ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
- CASE-2014-HsiehHP #generative #predict #using
- Improving the stability and fuel economy for Belt-Starter Generator Mild HEV at idle speed using model predict control (FCH, YDH, YWP), pp. 916–921.
- CASE-2014-HungLHTC #development
- Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
- CASE-2014-Murakami #approach #generative #multi #problem
- A column generation approach for the multi-vehicle covering tour problem (KM), pp. 1063–1068.
- CASE-2014-ParkLH #generative #performance #using
- Trajectory generation method using Bézier spiral curves for high-speed on-road autonomous vehicles (BP, YCL, WYH), pp. 927–932.
- CASE-2014-WangGWG #analysis #behaviour #generative #multi
- Analysis of multi-location PEV charging behaviors based on trip chain generation (DW, XG, JW, JG), pp. 151–156.
- CC-2014-BarenghiCMPP #generative
- The PAPAGENO Parallel-Parser Generator (AB, SCR, DM, FP, MP), pp. 192–196.
- CC-2014-CharlesCLEG #code generation
- deGoal a Tool to Embed Dynamic Code Generators into Applications (HPC, DC, VL, FAE, RG), pp. 107–112.
- CC-2014-Dinechin #code generation #using
- Using the SSA-Form in a Code Generator (BDdD), pp. 1–17.
- CGO-2014-JuegaGTC #adaptation #automation #code generation #parametricity
- Adaptive Mapping and Parameter Selection Scheme to Improve Automatic Code Generation for GPUs (JCJ, JIG, CT, FC), p. 251.
- CGO-2014-VenkatSHS #code generation
- Non-affine Extensions to Polyhedral Code Generation (AV, MS, MWH, MMS), p. 185.
- DAC-2014-AdirGGS #generative #network #testing #using
- Using a High-Level Test Generation Expert System for Testing In-Car Networks (AA, AG, LG, TS), p. 6.
- DAC-2014-ChakrabortyMV #generative #satisfiability #scalability
- Balancing Scalability and Uniformity in SAT Witness Generator (SC, KSM, MYV), p. 6.
- DAC-2014-NaeemiCKPIR #generative #scalability
- BEOL Scaling Limits and Next Generation Technology Prospects (AN, AC, VK, CP, RMI, SR), p. 6.
- DAC-2014-RahmanXFZST #generative #independence #named #random
- TI-TRNG: Technology Independent True Random Number Generator (MTR, KX, DF, XZ, JS, MT), p. 6.
- DAC-2014-RehmanKSSH #adaptation #code generation #dependence #named #process #reliability
- dTune: Leveraging Reliable Code Generation for Adaptive Dependability Tuning under Process Variation and Aging-Induced Effects (SR, FK, DS, MS, JH), p. 6.
- DAC-2014-XiangQZLYSL #generative
- Row Based Dual-VDD Island Generation and Placement (HX, HQ, CZ, YSL, FY, AS, PFL), p. 6.
- DATE-2014-AzimCPF #communication #distributed #generative #multi #realtime
- Generation of communication schedules for multi-mode distributed real-time applications (AA, GC, RP, SF), pp. 1–6.
- DATE-2014-BalckGP #generative #modelling #protocol #testing #using
- Model-based protocol log generation for testing a telecommunication test harness using CLP (KB, OG, JP), pp. 1–4.
- DATE-2014-BanerjeeD #calculus #constraints #generative #random #realtime #sequence
- Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
- DATE-2014-BhargavaM #encryption #generative #performance #reliability
- An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
- DATE-2014-Fuller #challenge #design #embedded #generative
- System design challenges for next generation wireless and embedded systems (DF), p. 1.
- DATE-2014-KimH #automation #generative #parallel
- Automatic generation of custom SIMD instructions for Superword Level Parallelism (TK, YH), pp. 1–6.
- DATE-2014-Matsunaga #algorithm #generative #parallel #synthesis
- Synthesis algorithm of parallel index generation units (YM), pp. 1–6.
- DATE-2014-MembarthRHT #android #architecture #code generation #embedded
- Code generation for embedded heterogeneous architectures on android (RM, OR, FH, JT), pp. 1–6.
- DATE-2014-Pomeranz #generative #testing
- Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
- DATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative #testing
- An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
- DATE-2014-SabrySARM #generative
- Integrated microfluidic power generation and cooling for bright silicon MPSoCs (MMS, AS, DA, PR, BM), pp. 1–6.
- DATE-2014-SampaioSZBH #architecture #distributed #energy #memory management #named #performance #video
- dSVM: Energy-efficient distributed Scratchpad Video Memory Architecture for the next-generation High Efficiency Video Coding (FS, MS, BZ, SB, JH), pp. 1–6.
- DATE-2014-WangLLW0 #design #functional #generative #testing
- Functional test generation guided by steady-state probabilities of abstract design (JW, HL, TL, TW, XL), pp. 1–4.
HPCA-2014-TsengT #named #thread- CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.
- HPDC-2014-WangZCLR #generative
- Next generation job management systems for extreme-scale ensemble computing (KW, XZ, HC, ML, IR), pp. 111–114.
LCTES-2014-SpinkWFT #code generation #performance- Efficient code generation in a region-based dynamic binary translator (TS, HW, BF, NPT), pp. 3–12.
OSDI-2014-BangertZ #generative #named #parsing- Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
- PDP-2014-AcostaA #analysis #performance #source code
- Performance Analysis of Paralldroid Generated Programs (AA, FA), pp. 60–67.
- ESOP-2014-BrainDKS #generative #proving #source code
- Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
- STOC-2014-ArtemenkoS #generative #pseudo
- Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
- TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
- Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
- TACAS-2014-EssenG #generative
- Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
- CAV-2014-ChengHRS #automation #generative #named #source code
- G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
- CAV-2014-Nadel #automation #generative
- Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
- ICST-2014-AydinAB #automation #generative #testing
- Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
- ICST-2014-ZaeemPK #automation #generative #mobile #testing
- Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing- AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
- ICTSS-2014-Estero-BotaroGDPM #composition #framework #generative #search-based #testing
- A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.
- IJCAR-2014-EchenimPT #equation #logic
- A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.
- IJCAR-2014-PapacchiniS #generative #logic
- Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.
- ISSTA-2014-GaleottiFA #adaptation #execution #generative #search-based #symbolic computation
- Extending a search-based test generator with adaptive dynamic symbolic execution (JPG, GF, AA), pp. 421–424.
- ISSTA-2014-MarianiPRS #named #testing #web
- Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
- ISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web
- Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
- TAP-2014-JannesariKSW #classification #generative #parallel #testing
- Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
- TAP-2014-KurthSW #constraints #generative #interface #process #testing #theorem proving #uml #using
- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers (FK, SS, SW), pp. 169–186.
- TAP-2014-PetiotKGJ #deduction #generative #how #specification #testing #verification
- How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.
- QoSA-2013-DuSHGV #generative #modelling #sequence
- Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
- DocEng-2013-AzevedoSASN #authoring #automation #multi
- Multimedia authoring based on templates and semi-automatic generated wizards (RGDAA, RCMS, ECA, LFGS, CdSSN), pp. 205–214.
- DocEng-2013-TruranSGC #automation #generative #guidelines
- Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
- HT-2013-KrestelS #generative #sentiment #topic
- Generating contextualized sentiment lexica based on latent topics and user ratings (RK, SS), pp. 129–138.
- HT-2013-LeginusDL #generative #graph
- Graph based techniques for tag cloud generation (ML, PD, RL), pp. 148–157.
ICDAR-2013-AhmedKILD #automation #documentation #generative #image #retrieval #using- Automatic Ground Truth Generation of Camera Captured Documents Using Document Image Retrieval (SA, KK, MI, ML, AD), pp. 528–532.
- ICDAR-2013-BillerAKD #documentation #generative #interactive #named
- WebGT: An Interactive Web-Based System for Historical Document Ground Truth Generation (OB, AA, KK, ID), pp. 305–308.
- ICDAR-2013-KieuJVMD #3d #documentation #generative #image #using
- Semi-synthetic Document Image Generation Using Texture Mapping on Scanned 3D Document Shapes (VCK, NJ, MV, RM, JPD), pp. 489–493.
- ICDAR-2013-ReznakovaTC #fuzzy #generative #gesture #named #online #recognition
- ARTIST: ART-2A Driven Generation of Fuzzy Rules for Online Handwritten Gesture Recognition (MR, LT, MC), pp. 354–358.
JCDL-2013-BeckerD #benchmark #corpus #metric #modelling #set #using- Free benchmark corpora for preservation experiments: using model-driven engineering to generate data sets (CB, KD), pp. 349–358.
- JCDL-2013-OkoyeSB #automation #generative #learning #library #sequence
- Automatic extraction of core learning goals and generation of pedagogical sequences through a collection of digital library resources (IO, TS, SB), pp. 67–76.
- VLDB-2013-HassanzadehKKKOP #data analysis #generative
- Next Generation Data Analytics at IBM Research (OH, AK, BK, RK, FÖ, IP), pp. 1174–1175.
- VLDB-2013-ShkapskyZZ #datalog #graph #query
- Graph Queries in a Next-Generation Datalog System (AS, KZ, CZ), pp. 1258–1261.
- ITiCSE-2013-TrabelsiA #education #generative #network #using
- Using network packet generators and snort rules for teaching denial of service attacks (ZT, LA), pp. 285–290.
- ICPC-2013-KamimuraM #generative #summary #testing #towards
- Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
- ICPC-2013-MorenoASMPV #automation #generative #java #natural language #summary
- Automatic generation of natural language summaries for Java classes (LM, JA, GS, AM, LLP, KVS), pp. 23–32.
- ICPC-2013-MorenoMPV #automation #generative #java #named #natural language #summary
- JSummarizer: An automatic generator of natural language summaries for Java classes (LM, AM, LLP, KVS), pp. 230–232.
- SCAM-2013-SvajlenkoRD #analysis #generative #named #similarity #tool support
- ForkSim: Generating software forks for evaluating cross-project similarity analysis tools (JS, CKR, SD), pp. 37–42.
- CIAA-2013-KisielewiczS #automaton #generative
- Generating Small Automata and the Černý Conjecture (AK, MS), pp. 340–348.
- ICALP-v1-2013-BringmannF #generative #geometry #graph #performance #random
- Exact and Efficient Generation of Geometric Random Variates and Random Graphs (KB, TF), pp. 267–278.
- ICALP-v1-2013-IshaiKLOPSZ #generative #pseudo #robust
- Robust Pseudorandom Generators (YI, EK, XL, RO, MP, AS, DZ), pp. 576–588.
- ICALP-v2-2013-Woods #generative
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (KW), pp. 410–421.
- SEFM-2013-Choi #constraints #generative #operating system #specification #testing
- Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
- SEFM-2013-CristiaRF #framework #generative #testing
- {log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
- Haskell-2013-ClaessenP #encryption #generative #pseudo #using
- Splittable pseudorandom number generators using cryptographic hashing (KC, MHP), pp. 47–58.
- ICFP-2013-Chlipala #generative #hoare #logic #metaprogramming #verification
- The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier (AC), pp. 391–402.
IFL-2013-GrelckW #adaptation #array #functional #generative #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.
- GT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation
- Test Case Generation Using Visual Contracts (OR, TAK, RH).
- CHI-2013-AnthonyKF #people
- Analyzing user-generated youtube videos to understand touchscreen use by people with motor impairments (LA, YK, LF), pp. 1223–1232.
- CHI-2013-HullmanDA #automation #generative #named #visualisation
- Contextifier: automatic generation of annotated stock visualizations (JH, ND, EA), pp. 2707–2716.
- CHI-2013-KhaledNB #design #game studies #generative
- Design metaphors for procedural content generation in games (RK, MJN, PB), pp. 1509–1518.
- CHI-2013-WangBK #analysis #facebook #gender #topic
- Gender, topic, and audience response: an analysis of user-generated content on facebook (YCW, MB, REK), pp. 31–34.
- CHI-2013-YooLNUABNRUUF #information management #multi
- Envisioning across generations: a multi-lifespan information system for international justice in rwanda (DY, ML, TTN, MEU, RA, TB, LPN, MR, EJU, RFU, BF), pp. 2527–2536.
- DUXU-WM-2013-LinL13a #case study #design #generative
- An Experimental Study for Applying Generative Design to Electronic Consumer Products (MHL, LCL), pp. 392–401.
- HCI-AMTE-2013-EngelMHF #automation #generative #specification #user interface
- Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation (JE, CM, CH, PF), pp. 300–309.
- HCI-AMTE-2013-WendlerP #generative #requirements #user interface
- Requirements for a Definition of Generative User Interface Patterns (SW, IP), pp. 510–520.
- HCI-AS-2013-HuangC13a #education #interface #learning #music #self #visualisation
- Sound to Sight: The Effects of Self-generated Visualization on Music Sight-Singing as an Alternate Learning Interface for Music Education within a Web-Based Environment (YTH, CNC), pp. 386–390.
- HCI-III-2013-TsurudaHYI #generative #mobile #using
- Generation of Facial Expression Emphasized with Cartoon Techniques Using a Cellular-Phone-Type Teleoperated Robot with a Mobile Projector (YT, MH, HY, YI), pp. 391–400.
- HCI-IMT-2013-DharmaT #diagrams
- Mapping Texture Phase Diagram of Artificial Haptic Stimuli Generated by Vibrotactile Actuators (AAGD, KT), pp. 578–586.
- HCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using
- System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.
- HCI-UC-2013-BergmannMSO #automation #case study #generative #layout #user study
- Automatic Layout Generation for Digital Photo Albums: A User Study (FBB, IHM, MSS, JBSdO), pp. 117–126.
- HCI-UC-2013-KellenCF #diagrams #performance #probability #problem
- Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.
- HCI-UC-2013-KristensenBCJLBB #generative #online #towards
- Towards a Next Generation Universally Accessible “Online Shopping-for-Apparel” System (KK, NB, LGC, HWJ, JNTL, ALB, EPB), pp. 418–427.
- HIMI-D-2013-ChenTWCXY #automation #generative #named #social #social media
- EventLens: An Automatic Magazine Generating System for Social Media (HC, HT, ZW, PC, YX, SY), pp. 177–186.
- HIMI-D-2013-IsogaiN #modelling #motivation #music #recommendation
- Modeling of Music Recommendation Methods to Promote the User’s Singing Motivation — For Next-Generation Japanese Karaoke Systems (SI, MN), pp. 439–448.
- HIMI-D-2013-OkuboN #composition #generative
- Proposal of Avatar Generating Method by Composition of the Portraits Made by Friends (MO, SN), pp. 515–523.
- HIMI-LCCB-2013-BarotH #implementation #interface #lifecycle
- Lifecycle Support of Automotive Manufacturing Systems through a Next-Generation Operator Interface Implementation (VB, RH), pp. 277–286.
- HIMI-LCCB-2013-NakajimaT #generative #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.
- OCSC-2013-Abascal-MenaLZ #analysis #behaviour #mining #twitter
- User Generated Content: An Analysis of User Behavior by Mining Political Tweets (RAM, ÉLO, JSZH), pp. 3–12.
- CAiSE-2013-PapottiPSCP #analysis #code generation #modelling
- A Quantitative Analysis of Model-Driven Code Generation through Software Experimentation (PEP, AFdP, WLdS, CEC, LFP), pp. 321–337.
- CAiSE-2013-RamirezBVW #generative #multi #process
- Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
- CAiSE-2013-SenG #case study #data-driven #interactive #testing
- Testing a Data-Intensive System with Generated Data Interactions — The Norwegian Customs and Excise Case Study (SS, AG), pp. 657–671.
- ICEIS-J-2013-VielMPT13a #generative #interactive #multi #self
- Self-Service Classroom Capture Generating Interactive Multivideo Objects (CCV, ELM, MdGCP, CACT), pp. 438–456.
- ICEIS-v1-2013-PuyanaQ #automation #generative #named #summary
- GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.
- ICEIS-v3-2013-BorgesRMS #facebook #privacy
- Who Is This Guy Who Liked My Picture? — Privacy Control Mechanisms on Facebook for Generations X and Y (GB, TR, CM, PCdS), pp. 179–186.
- CIKM-2013-BordinoML
- Penguins in sweaters, or serendipitous entity search on user-generated content (IB, YM, ML), pp. 109–118.
- CIKM-2013-ChristenV #flexibility #generative
- Flexible and extensible generation and corruption of personal data (PC, DV), pp. 1165–1168.
- ECIR-2013-ChattopadhyayaSS #distance #edit distance #generative #performance
- A Fast Generative Spell Corrector Based on Edit Distance (IC, KS, KS), pp. 404–410.
- ICML-c1-2013-LiLSHD #generative #learning #using
- Learning Hash Functions Using Column Generation (XL, GL, CS, AvdH, ARD), pp. 142–150.
- ICML-c3-2013-JunZSR #learning
- Learning from Human-Generated Lists (KSJ, X(Z, BS, TTR), pp. 181–189.
- ICML-c3-2013-PeharzTP #generative #network
- The Most Generative Maximum Margin Bayesian Networks (RP, ST, FP), pp. 235–243.
- KDD-2013-BaiJS #automation #generative #set
- Exploiting user clicks for automatic seed set generation for entity matching (XB, FPJ, SHS), pp. 980–988.
- KDD-2013-WangZR #comprehension #evolution #generative #probability #research
- Understanding evolution of research themes: a probabilistic generative model for citations (XW, CZ, DR), pp. 1115–1123.
- KDIR-KMIS-2013-VickN #generative #perspective
- Relations between Information Literacy and Knowledge Generation in Innovation Teams — A Four Dimensional Perspective (TEV, MSN), pp. 437–442.
- KEOD-2013-ZouhaierDA #automation #generative #reasoning #using
- Automatic Generation of UIs for Disabled Users using Context-aware Techniques and Reasoning (LZ, YBH, LJBA), pp. 413–418.
- MLDM-2013-YasojimaFBOS #analysis #case study #generative #power management
- Partial Discharge Analysis and Inspection Alert Generation in High Power Transformers: A Case Study of an Autotransformer Bank at Eletrobrás-ELETRONORTE Vila do Conde Station (CTKY, MSF, FdSB, TFdO, AMdS), pp. 367–378.
- RecSys-2013-Dooms #generative #hybrid #personalisation #recommendation
- Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
- RecSys-2013-LiuAYB #generative #using
- Generating supplemental content information using virtual profiles (HL, MSA, BY, AB), pp. 295–302.
- RecSys-2013-ZhengI #effectiveness
- Effectiveness of the data generated on different time in latent factor model (QZ, HHSI), pp. 327–330.
- SEKE-2013-Lacanienta0TO #approach #generative #knowledge-based #web
- A Knowledge-based Approach for Generating Test Scenarios for Web Applications (RL, ST, HT, MO), pp. 166–171.
- SEKE-2013-NajeraMPE #generative #modelling #ontology
- Generating Ontologies through Organizational Modeling (KN, AM, AP, HE), pp. 42–47.
- SEKE-2013-PossompesDHT #feature model #generative #modelling
- Model-Driven Generation of Context-Specific Feature Models (TP, CD, MH, CT), pp. 250–255.
- SEKE-2013-SilvaBLDP #automation #generative #semantics #web #web service
- Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
- SEKE-2013-SouzaSPFF #case study #generative #using
- Generation of Thematic Maps using WPS-Cartographer: An experimental study (FCMS, ACCdS, VP, EF, VRTF), pp. 500–503.
- SEKE-2013-WangGZZX #array #combinator #generative #interactive #testing
- Generating Partial Covering Array for Locating Faulty Interactions in Combinatorial Testing (ZW, TG, WZ, WZ, BX), pp. 578–583.
- SIGIR-2013-AsadiL #architecture #effectiveness #generative #multi #performance #retrieval #trade-off
- Effectiveness/efficiency tradeoffs for candidate generation in multi-stage retrieval architectures (NA, JL), pp. 997–1000.
- SIGIR-2013-Leveling #coordination #generative #query
- Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.
- SIGIR-2013-ZhaoGYHL #generative #social #timeline
- Timeline generation with social attention (WXZ, YG, RY, YH, XL), pp. 1061–1064.
- SIGIR-2013-ZhuMZC #multi #topic
- Topic hierarchy construction for the organization of multi-source user generated contents (XZ, ZM, XZ, TSC), pp. 233–242.
- SKY-2013-SuarezMFM #automation #generative #natural language #semantics #using
- Automatic Generation of Semantic Patterns using Techniques of Natural Language Processing (PS, VM, AF, JLM), pp. 34–44.
- SKY-2013-YagelLE #generative #named
- KoDEgen: A Knowledge Driven Engineering Code Generating Tool (RY, AL, IE), pp. 24–33.
- ECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime
- Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
- ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing
- Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
- SPLC-2013-FilhoABN #case study #generative #modelling #product line
- Generating counterexamples of model-based software product lines: an exploratory study (JBFF, OB, MA, BB, JLN), pp. 72–81.
- SPLC-2013-HenardPPKT #generative #multi #product line #testing
- Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
- SPLC-2013-KruegerC #generative #product line
- Second generation systems and software product line engineering (CWK, PCC), pp. 283–284.
ECOOP-2013-CoxCS #generative #graph #invariant #relational- QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
- ECOOP-2013-HeuleKMS #abstraction #generative #logic #verification
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions (SH, ITK, PM, AJS), pp. 451–476.
- OOPSLA-2013-DilligDLM #abduction #generative #induction #invariant
- Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
- OOPSLA-2013-MillerHBO #combinator #generative #object-oriented #performance
- Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization (HM, PH, EB, MO), pp. 183–202.
- LOPSTR-2013-PoulsenM #composition #generative #semantics
- Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
- PEPM-2013-AktemurKKS #challenge #generative #programming
- Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
- PLDI-2013-KongVSFPS #code generation
- When polyhedral transformations meet SIMD code generation (MK, RV, KS, FF, LNP, PS), pp. 127–138.
- PLDI-2013-SinghGS #automation #feedback #generative #programming
- Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
- SAS-2013-FouilheMP #abstract domain #correctness #generative #performance
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
- SAS-2013-KimDS #documentation #html #parsing #semantics #validation
- Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing (HK, KGD, DAS), pp. 194–214.
RE-2013-HesariBY #challenge #framework #generative #industrial #testing #towards- Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.
- RE-2013-NiknafsB #case study #effectiveness #elicitation #generative #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.
- RE-2013-Terzakis #quality #requirements
- The impact of requirements on software quality across three product generations (JT), pp. 284–289.
- ASE-2013-CamposAFd #fault #generative #locality #testing
- Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
- ASE-2013-KusanoW #c #c++ #concurrent #generative #named #parallel #thread
- CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications (MK, CW), pp. 722–725.
- ASE-2013-LiRSDC #data flow #generative #named #source code
- SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
- ASE-2013-MirshokraieMP #generative #javascript #named #testing
- PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
- ASE-2013-SagdeoEPV #automation #debugging #invariant #locality #testing #using
- Using automatically generated invariants for regression testing and bug localization (PS, NE, DP, SV), pp. 634–639.
- ASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing
- Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
- ASE-2013-WongYT #automation #generative #mining #named
- AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.
- ASE-2013-WuestSG #automation #generative #metamodelling #sketching
- Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
- ASE-2013-XiaoLXT #execution #generative #problem #symbolic computation #testing
- Characteristic studies of loop problems for structural test generation via symbolic execution (XX, SL, TX, NT), pp. 246–256.
- ESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
- aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
- ESEC-FSE-2013-CostaVCL #generative #modelling #named
- RSA-MBT: a test tool for generating test artifacts based on models (ADdC, RV, GRdC, CJPdL), pp. 619–622.
- ESEC-FSE-2013-MachiryTN #android #generative #named
- Dynodroid: an input generation system for Android apps (AM, RT, MN), pp. 224–234.
- ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using
- Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
- ICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
- JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
- ICSE-2013-Guana #code generation #maintenance
- Supporting maintenance tasks on transformational code generation environments (VG), pp. 1369–1372.
- ICSE-2013-KimNSK #automation #generative
- Automatic patch generation learned from human-written patches (DK, JN, JS, SK), pp. 802–811.
- ICSE-2013-ThummalapentaLSSC #generative #testing #web
- Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
- SAC-2013-CarvalhoFBSMMB #generative #natural language #requirements #specification #testing
- Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
- SAC-2013-CiraciV #code generation #points-to
- Exploiting points-to maps for de-/serialization code generation (SC, OV), pp. 1712–1719.
- SAC-2013-MeloC #automation #case study #difference #evolution #generative
- Automatic generation of evolutionary operators: a study with mutation strategies for the differential evolution (VVdM, GLCC), pp. 188–193.
LDTA-J-2009-ScottJ #generative #gll- GLL parse-tree generation (ES, AJ), pp. 1828–1844.
- GPCE-2013-AnKGTS #automation #framework #generative #in the cloud #modelling #performance #testing
- Model-driven generative framework for automated OMG DDS performance testing in the cloud (KA, TK, ASG, ST, AS), pp. 179–182.
- GPCE-2013-DhunganaFH #domain model #generative #modelling
- Generation of conjoint domain models for system-of-systems (DD, AAF, AH), pp. 159–168.
- GPCE-2013-OfenbeckRSOP #generative #library #performance #scala #towards
- Spiral in scala: towards the systematic construction of generators for performance libraries (GO, TR, AS, MO, MP), pp. 125–134.
- GPCE-2013-SujeethGBLROO #declarative #domain-specific language #generative #implementation #named #performance #specification
- Forge: generating a high performance DSL implementation from a declarative specification (AKS, AG, KJB, HL, TR, MO, KO), pp. 145–154.
- CASE-2013-CecilGCS #collaboration #framework #generative
- A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
- CASE-2013-FerreiraL #generative #multi #tool support #using
- A method for generating tool paths for milling pockets in prismatic parts using multiple tools (JCEF, RAL), pp. 528–533.
- CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing
- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
- CASE-2013-RoyS #constraints #generative #process
- Generative process planning with environmental constraints (UR, SS), pp. 534–539.
- CC-2013-MooreC #automation #generative #machine learning #policy #using
- Automatic Generation of Program Affinity Policies Using Machine Learning (RWM, BRC), pp. 184–203.
- CGO-2013-KruijfS #analysis #code generation #evaluation #implementation
- Idempotent code generation: Implementation, analysis, and evaluation (MdK, KS), p. 12.
- DAC-2013-KinsmanKN #generative #sequence #validation
- Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation (ABK, HFK, NN), p. 6.
- DAC-2013-WagstaffGFT #architecture #partial evaluation #set
- Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description (HW, MG, BF, NPT), p. 6.
- DAC-2013-WuWLH #algorithm #generative #model checking #satisfiability
- A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.
- DAC-2013-YeYSJX #generative
- Post-placement voltage island generation for timing-speculative circuits (RY, FY, ZS, WBJ, QX), p. 6.
- DATE-2013-HillebrechtKEWB #generative
- Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
- DATE-2013-KoeberlKS #generative
- Memristor PUFs: a new generation of memory-based physically unclonable functions (PK, ÜK, ARS), pp. 428–431.
- HPCA-2013-LiZL #distributed #generative
- Enabling distributed generation powered sustainable high-performance data center (CL, RZ, TL), pp. 35–46.
ISMM-2013-WangNG #effectiveness #generative #memory management- Generating sound and effective memory debuggers (YW, IN, RG), pp. 51–62.
PLOS-2013-SunFBG #agile #automation #file system #generative #tool support- Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
SOSP-2013-CoburnBSGS #transaction- From ARIES to MARS: transaction support for next-generation, solid-state drives (JC, TB, MS, RG, SS), pp. 197–212.
- FASE-2013-SakamotoTHWF #code generation #integration #named #testing #web
- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
- FASE-2013-YangPX #approach #automation #generative #mobile
- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
- CADE-2013-Sofronie-Stokkermans #generative #hybrid #parametricity #reasoning #verification
- Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
- CAV-2013-AlmagorAK #automation #generative #quality #specification
- Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
- CAV-2013-ChakrabortyMV #generative #satisfiability #scalability
- A Scalable and Nearly Uniform Generator of SAT Witnesses (SC, KSM, MYV), pp. 608–623.
- CAV-2013-DaiXZ #generative #programming
- Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
- CAV-2013-KongHSHG #generative #hybrid #safety #verification
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems (HK, FH, XS, WNNH, MG), pp. 242–257.
- CAV-2013-VizelRN #generative #performance
- Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
- ICLP-J-2013-AlbertBGRS #generative #testing
- A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
- ICLP-J-2013-CatB #dependence #detection #functional #generative
- Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
- ICST-2013-AbadABCFGMMRV #bound #contract #generative #incremental #satisfiability #testing
- Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (PA, NA, VSB, DC, MFF, JPG, TSEM, MMM, NR, IV), pp. 21–30.
- ICST-2013-BagnaraCGG #float #generative #source code #testing
- Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
- ICST-2013-DadeauCLTVBT #evaluation #generative #testing
- Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations — The TASCCC Testing Tool (FD, KCC, YL, TT, GV, JB, ST), pp. 431–438.
- ICST-2013-FraserA #challenge #generative #named #testing
- EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
- ICST-2013-Gauthier #generative #modelling #research #testing
- Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
- ICST-2013-LiuYTH #automation #debugging #generative #named
- R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
- ICST-2013-MossigeGM #constraints #generative #integration #programming #testing #using
- Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment (MM, AG, HM), pp. 489–490.
- ICST-2013-PezzeRW #effectiveness #generative #integration #testing
- Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
- ICST-2013-SteenbuckF #concurrent #generative #testing
- Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
- ICST-2013-YeolekarUAKV #generative #model checking #scalability #testing #using
- Scaling Model Checking for Test Generation Using Dynamic Inference (AY, DU, VA, SK, RV), pp. 184–191.
- ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing
- An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
- ICST-2013-YuLKK #combinator #generative #named #testing
- ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
- ICTSS-2013-GuoQ #automation #generative #grammarware #testing
- Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
- ISSTA-2013-Buda #database #generative #testing #using
- Generation of test databases using sampling methods (TSB), pp. 366–369.
- ISSTA-2013-FraserSMAP #automation #generative #question #testing
- Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
- ISSTA-2013-HanazumiM #generative #java #source code
- Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
- ISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning
- Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
- ISSTA-2013-JensenPM #automation #generative #sequence #testing
- Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
- ISSTA-2013-KifetewPLOT #generative #orthogonal #testing
- Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
RTA-2013-Kari #automaton #generative- Pattern Generation by Cellular Automata (JK), pp. 1–3.
- TAP-2013-AichernigJK #generative #incremental #refinement #testing
- Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
- TAP-2013-BruckerFNW #case study #generative
- Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
- TAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing
- Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
- TAP-2013-PotzlH #constraints
- Solving Constraints for Generational Search (DP, AH), pp. 197–213.
TLCA-2013-BentonHN #generative #logic- Proof-Relevant Logical Relations for Name Generation (NB, MH, VN), pp. 48–60.
VMCAI-2013-LarrazRR #array #generative #invariant #smt- SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
WICSA-ECSA-2012-EdwardsBM #analysis #automation #code generation #modelling- Automated Analysis and Code Generation for Domain-Specific Models (GE, YB, NM), pp. 161–170.
- WICSA-ECSA-2012-ElorantaHVK #architecture #documentation #generative #knowledge base #named #topic #using
- TopDocs: Using Software Architecture Knowledge Base for Generating Topical Documents (VPE, OH, TV, KK), pp. 191–195.
- DocEng-2012-JayabalRS #challenge #generative
- Challenges in generating bookmarks from TOC entries in e-books (YJ, CR, MJS), pp. 37–40.
- JCDL-2012-LeeH #classification #generative #music #using
- Generating ground truth for music mood classification using mechanical turk (JHL, XH), pp. 129–138.
- SIGMOD-2012-LuSLDWC #generative
- Optimal top-k generation of attribute combinations based on ranked lists (JL, PS, CL, XD, SW, XC), pp. 409–420.
TPDL-2012-CuiYHKLZM #named #web- PrEV: Preservation Explorer and Vault for Web 2.0 User-Generated Content (AC, LY, DH, MYK, YL, MZ, SM), pp. 101–112.
- TPDL-2012-DamnjanovicH #content management #generative #interactive #library #using
- Generating Content for Digital Libraries Using an Interactive Content Management System (UD, SH), pp. 474–479.
- VLDB-2012-AlexandrovTM #generative #named #scalability
- Myriad: Scalable and Expressive Data Generation (AA, KT, VM), pp. 1890–1893.
- VLDB-2012-BlunschiJKMS #generative #named #sql
- SODA: Generating SQL for Business Users (LB, CJ, DK, MM, KS), pp. 932–943.
- ITiCSE-2012-BoyceCPCB #behaviour #game studies #learning
- Maximizing learning and guiding behavior in free play user generated content environments (AKB, AC, SP, DC, TB), pp. 10–15.
- ITiCSE-2012-BrownPSE #analysis #complexity #generative #named
- JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading (CB, RP, BS, JE), pp. 99–104.
- ITiCSE-2012-Johnson #automation #consistency #generative #interface #named #testing
- SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
- ITiCSE-2012-Luxton-ReillyDPS #how #learning #process #student
- Activities, affordances and attitude: how student-generated questions assist learning (ALR, PD, BP, RS), pp. 4–9.
- ITiCSE-2012-Patitsas #education #generative #pseudo
- Teaching labs on pseudorandom number generation (EAP), p. 376.
- LATA-2012-Oliveira #generative #partial order
- Canonizable Partial Order Generators (MdOO), pp. 445–457.
- IFM-2012-AndradeFLP #generative #java #testing
- Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
- IFM-2012-BlackmoreHBER #automation #generative #simulation #verification
- Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.
- SEFM-2012-DranidisBI #automation #generative #named #testing
- JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
- SEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #testing #using
- An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
- GT-VMT-2012-ArijoH #generative #graph transformation #modelling
- View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
- GT-VMT-2012-Taentzer #generative #graph #multi
- Instance Generation from Type Graphs with Arbitrary Multiplicities (GT).
- CHI-2012-LeivaA #automation #exclamation
- Monsieur, azonnal kövessen engem bitte!: an automatically generated interlanguage tailored to speakers of minority but culturally influenced languages (LAL, VA), pp. 31–34.
- CHI-2012-SwearnginCJB #generative #legacy #modelling #performance #predict
- Easing the generation of predictive human performance models from legacy systems (AS, MBC, BEJ, RKEB), pp. 2489–2498.
- CAiSE-2012-BrouckeWBV #generative #process
- Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
- CAiSE-2012-EnsanBG #feature model #generative #modelling #product line #search-based #testing
- Evolutionary Search-Based Test Generation for Software Product Line Feature Models (FE, EB, DG), pp. 613–628.
- CAiSE-2012-LeopoldMP #generative #modelling #natural language #process
- Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
- CAiSE-2012-PastorE #code generation #modelling #requirements
- Full Model-Driven Practice: From Requirements to Code Generation (OP, SE), pp. 701–702.
- ICEIS-v1-2012-LindK #generative #idea
- An Idea for Universal Generator of Hypotheses (GL, RK), pp. 169–174.
- ICEIS-v2-2012-VianaPP #domain-specific language #framework #generative #modelling #reuse
- Generating Applications — Framework Reuse Supported by Domain-Specific Modeling Languages (MCV, RDP, AFdP), pp. 5–14.
- CIKM-2012-AsadiL #documentation #generative #performance #ranking
- Fast candidate generation for two-phase document ranking: postings list intersection with bloom filters (NA, JL), pp. 2419–2422.
- CIKM-2012-Chung #using
- Finding food entity relationships using user-generated data in recipe service (YjC), pp. 2611–2614.
- CIKM-2012-DybalaRAS #analysis #comparative #generative #ranking
- Data filtering in humor generation: comparative analysis of hit rate and co-occurrence rankings as a method to choose usable pun candidates (PD, RR, KA, KS), pp. 2587–2590.
- CIKM-2012-KummamuruJD #generative #navigation
- Generating facets for phone-based navigation of structured data (KK, AJ, MD), pp. 1283–1292.
- CIKM-2012-LinLLWCL #generative #microblog
- Generating event storylines from microblogs (CL, CL, JL, DW, YC, TL), pp. 175–184.
- CIKM-2012-LiuQ #generative #mining
- Mining high utility itemsets without candidate generation (ML, JFQ), pp. 55–64.
- CIKM-2012-LiuSJL #web
- An unsupervised method for author extraction from web pages containing user-generated content (JL, XS, JJ, CYL), pp. 2387–2390.
- CIKM-2012-LvZ #generative #query
- Query likelihood with negative query generation (YL, CZ), pp. 1799–1803.
- CIKM-2012-QuanzH #generative #learning #multi #named
- CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.
- CIKM-2012-XuKZ #generative #timeline #word
- A picture paints a thousand words: a method of generating image-text timelines (SX, LK, YZ), pp. 2511–2514.
- ICML-2012-AzarMK #complexity #generative #learning #on the
- On the Sample Complexity of Reinforcement Learning with a Generative Model (MGA, RM, BK), p. 222.
- ICML-2012-Boulanger-LewandowskiBV #dependence #generative #modelling #music #sequence
- Modeling Temporal Dependencies in High-Dimensional Sequences: Application to Polyphonic Music Generation and Transcription (NBL, YB, PV), p. 244.
- ICML-2012-McAfeeO #code generation #network #static analysis
- Utilizing Static Analysis and Code Generation to Accelerate Neural Networks (LCM, KO), p. 192.
- ICML-2012-RifaiDVB #generative #process
- A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
- ICML-2012-XieHS #approach #automation #generative #learning
- Artist Agent: A Reinforcement Learning Approach to Automatic Stroke Generation in Oriental Ink Painting (NX, HH, MS), p. 139.
- ICPR-2012-BallanBBSSZ #category theory #generative #image #modelling #social
- Combining generative and discriminative models for classifying social images from 101 object categories (LB, MB, ADB, AMS, GS, BFZ), pp. 1731–1734.
- ICPR-2012-GujraniyaM #classification #modelling #performance #topic #using
- Efficient classification using phrases generated by topic models (DG, MNM), pp. 2331–2334.
- ICPR-2012-HanWHBR #generative #graph #probability
- Sampling graphs from a probabilistic generative model (LH, RCW, ERH, LB, PR), pp. 1643–1646.
- ICPR-2012-HaraKMM #3d #generative #using #video
- Fast-accurate 3D face model generation using a single video camera (TH, HK, AM, SM), pp. 1269–1272.
- ICPR-2012-IshidaKKN #generative #recognition #using
- Road marking recognition for map generation using sparse tensor voting (HI, KK, YK, TN), pp. 1132–1135.
- ICPR-2012-MaedaNI #image #modelling
- Surface matching by curvature distribution images generated via gaze modeling (MM, TN, KI), pp. 2194–2197.
- ICPR-2012-MorimuraK #generative #multi #statistics
- Statistical Origin-destination generation with multiple sources (TM, SK), pp. 3443–3446.
- ICPR-2012-SuryantoJF #3d #image #multi #similarity #visualisation
- Protein structure similarity based on multi-view images generated from 3D molecular visualization (CHS, SJ, KF), pp. 3447–3451.
- ICPR-2012-SuWF #analysis #canonical #correlation #evaluation #generative
- Evaluation of canonical correlation analysis: A Correlation Generation Model (YS, SW, YF), pp. 1751–1754.
- ICPR-2012-Ul-HasanBRSB #automation #database #generative
- Semi-automated OCR database generation for Nabataean scripts (AUH, SSB, SFR, FS, TMB), pp. 1667–1670.
- ICPR-2012-WangX #generative #image #recognition
- Discriminative and generative vocabulary tree for vein image recognition (JW, JX), pp. 3513–3516.
- ICPR-2012-YoonFW #generative
- Bayesian separation of wind power generation signals (JWY, FF, MW), pp. 2660–2663.
- ICPR-2012-ZhangGYG #generative #online #parametricity #video
- Nonparametric on-line background generation for surveillance video (RZ, WG, AY, MG), pp. 1177–1180.
- KDD-2012-Kearns #social
- Experiments in social computation: (and the data they generate) (MK), p. 5.
- KDIR-2012-SantosNF #generative #on the
- On the Generation of Dynamic Business Indicators (FAPdS, RCdN, JBF), pp. 390–394.
- KMIS-2012-HamadaAS #generative #learning #using
- A Generation Method of Reference Operation using Reinforcement Learning on Project Manager Skill-up Simulator (KH, MA, MS), pp. 15–20.
- SEKE-2012-CostaCORSZ #generative #modelling #performance #testing
- Generating Performance Test Scripts and Scenarios Based on Abstract Intermediate Models (LTC, RMC, FMdO, EdMR, MBdS, AFZ), pp. 112–117.
- SEKE-2012-DamianiV #automation #diagrams #generative #interactive #interface #web
- Automatic Generation of Web Interfaces from User Interaction Diagrams (FBD, PV), pp. 605–610.
- SEKE-2012-RakaLM #approach #generative #modelling #product line
- Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
- SEKE-2012-SoaresPCSTGD #architecture #automation #generative #modelling
- Automatic Generation of Architectural Models From Goals Models (MS, JP, JC, CTLLS, CTNS, GG, DD), pp. 444–447.
- SEKE-2012-XuT #automation #concurrent #generative
- Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
- SIGIR-2012-AnderkaSL #predict #quality #wiki
- Predicting quality flaws in user-generated content: the case of wikipedia (MA, BS, NL), pp. 981–990.
- SIGIR-2012-XueC #generative #query
- Generating reformulation trees for complex queries (XX, WBC), pp. 525–534.
- SIGIR-2012-YeLL #approach #generative #recommendation #social
- Exploring social influence for recommendation: a generative model approach (MY, XL, WCL), pp. 671–680.
- ECMFA-2012-SmolikV #code generation
- Code Generation Nirvana (PCS, PV), pp. 319–327.
- ICMT-2012-Guerra #generative #model transformation #testing
- Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
- ICMT-2012-VarroDWS #algorithm #emf #generative #modelling
- An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.
- MoDELS-2012-GonzalezC #approach #atl #generative #named #testing
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
- MoDELS-2012-GrammelKV #development #generative #modelling
- Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
- MoDELS-2012-JohansenHFES #array #generative #modelling #product line
- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines (MFJ, ØH, FF, AGE, TS), pp. 269–284.
- MoDELS-2012-SaadaDHNS #generative #model transformation
- Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
- SPLC-2012-GomezPCBL #documentation #framework #generative #named
- DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.
- SPLC-2012-JohansenHF #algorithm #array #feature model #generative #modelling #scalability
- An algorithm for generating t-wise covering arrays from large feature models (MFJ, ØH, FF), pp. 46–55.
- LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing
- A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
- SAS-2012-SanchezSSC #generative #invariant #self #using
- Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
- RE-2012-NiknafsB #effectiveness #elicitation #generative #idea #requirements
- The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 181–190.
- RE-2012-NiuM #clustering #generative #requirements #revisited
- Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.
- ASE-2012-BissyandeRLM #automation #debugging #generative #interface #kernel #linux #named
- Diagnosys: automatic generation of a debugging interface to the Linux kernel (TFB, LR, JLL, GM), pp. 60–69.
- ASE-2012-DemuthLE #adaptation #automation #co-evolution #constraints #design #generative #modelling
- Automatically generating and adapting model constraints to support co-evolution of design models (AD, RELH, AE), pp. 302–305.
- ASE-2012-FaunesSB #algorithm #generative #model transformation #using
- Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
- ASE-2012-Quesada #generative #modelling #parsing
- A model-driven parser generator with reference resolution support (LQ), pp. 394–397.
- FSE-2012-Torlak #generative #modelling #multi #scalability #testing
- Scalable test data generation from multidimensional models (ET), p. 36.
- FSE-2012-ZaeemK #generative #programming #using
- Test input generation using dynamic programming (RNZ, SK), p. 34.
- ICSE-2012-AlrajehKLRU #generative #requirements
- Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
- ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #generative #performance #theorem proving
- An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
- ICSE-2012-NistorLPGM #automation #clustering #generative #named #parallel #performance #random #testing #thread
- Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code (AN, QL, MP, TRG, DM), pp. 727–737.
- ICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing
- Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
- ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using
- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
- ICSE-2012-XiongHSC #generative
- Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
- SAC-2012-Hosokawa #generative
- Corpus-based place metadatabase generation for geocoding (YH), pp. 965–967.
- SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial
- Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
- LDTA-2012-Winther #abstract syntax tree #precise
- Improving precision of generated ASTs (JW), p. 10.
- SLE-2012-BarenghiVCMP #generative #named #parallel #parsing #precedence
- PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.
ASPLOS-2012-KingDA #automation #generative #hardware #interface- Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
- CASE-2012-HansenOMO #approach #energy #generative #industrial
- Enhanced approach for energy-efficient trajectory generation of industrial robots (CH, JÖ, DM, TO), pp. 1–7.
- CASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
- Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
- CASE-2012-LuoCCH #energy #generative
- Walking pattern generation based on energy function and inverse pendulum model for biped robot (RCL, HHC, CCC, KCH), pp. 729–734.
- CGO-2012-MurrayF #automation #compilation #set
- Compiling for automatically generated instruction set extensions (ACM, BF), pp. 13–22.
- CGO-2012-ZhangM #3d #clustering #gpu
- Auto-generation and auto-tuning of 3D stencil codes on GPU clusters (YZ, FM), pp. 155–164.
- DAC-2012-AadithyaR #abstraction #automation #automaton #generative #logic #named
- DAE2FSM: automatic generation of accurate discrete-time logical abstractions for continuous-time circuit dynamics (KVA, JSR), pp. 311–316.
- DAC-2012-AhmadyanKV #generative
- Goal-oriented stimulus generation for analog circuits (SNA, JAK, SV), pp. 1018–1023.
- DAC-2012-HuangCTCK #design #generative #named #novel
- Attackboard: a novel dependency-aware traffic generator for exploring NoC design space (YSCH, YCC, TCT, YYC, CTK), pp. 376–381.
- DAC-2012-ZuluagaMP #generative #network #sorting #streaming
- Computer generation of streaming sorting networks (MZ, PAM, MP), pp. 1245–1253.
- DATE-2012-JiangSCBP #algorithm #constraints #generative #memory management #on the
- On the optimality of K longest path generation algorithm under memory constraints (JJ, MS, AC, BB, IP), pp. 418–423.
- DATE-2012-KarimiCGP #fault #generative #testing
- Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
- DATE-2012-KatzRZ #csp #generative #using
- Generating instruction streams using abstract CSP (YK, MR, AZ), pp. 15–20.
- DATE-2012-PeranandamRSYGR #generative #modelling #testing
- An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
- DATE-2012-QinM #automation #generative #protocol #testing
- Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
- DATE-2012-Sasao #generative
- Row-shift decompositions for index generation functions (TS), pp. 1585–1590.
- DATE-2012-SinghNL #generative #smt #testing
- Hazard driven test generation for SMT processors (PS, VN, DLL), pp. 256–259.
- DATE-2012-Sun #automation #embedded #functional #generative #modelling
- Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
- DATE-2012-TangHCH #generative #logic #multi #reduction
- Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.
- DATE-2012-VeljkovicRV #generative #implementation #low cost #on the fly #random #testing
- Low-cost implementations of on-the-fly tests for random number generators (FV, VR, IV), pp. 959–964.
- PPoPP-2012-KimH #code generation #kernel #performance
- Efficient SIMD code generation for irregular kernels (SK, HH), pp. 55–64.
- PPoPP-2012-KjolstadHS #automation #data type #generative #optimisation
- Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
- PPoPP-2012-LeisersonSS #generative #parallel #platform #thread
- Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
- PPoPP-2012-LiLSGGR #generative #named #testing #verification
- GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
- ESOP-2012-EmotoFH #framework #parallel #pipes and filters #programming
- Generate, Test, and Aggregate — A Calculation-based Framework for Systematic Parallel Programming with MapReduce (KE, SF, ZH), pp. 254–273.
- FASE-2012-StaatsGWH #generative #on the #testing
- On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
- STOC-2012-Applebaum #generative #locality #pseudo #random
- Pseudorandom generators with long stretch and low locality from random local one-way functions (BA), pp. 805–816.
- STOC-2012-VadhanZ #generative #pseudo
- Characterizing pseudoentropy and simplifying pseudorandom generator constructions (SPV, CJZ), pp. 817–836.
- STOC-2012-VaziraniV #generative #quantum #random
- Certifiable quantum dice: or, true random number generation secure against quantum adversaries (UVV, TV), pp. 61–76.
- ICLP-2012-BanbaraTI #generative #matrix #programming #testing
- Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
- ICLP-2012-DrescherW #generative #lazy evaluation #set
- Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.
- ICST-2012-BertolinoDLM #automation #generative #policy #testing
- Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
- ICST-2012-BeyeneA #generative #string #test coverage #testing
- Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
- ICST-2012-EndoS #comparison #finite #generative #state machine #testing
- Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
- ICST-2012-GeronimoFMS #algorithm #automation #generative #parallel #pipes and filters #search-based #testing
- A Parallel Genetic Algorithm Based on Hadoop MapReduce for the Automatic Generation of JUnit Test Suites (LDG, FF, AM, FS), pp. 785–793.
- ICST-2012-KruseW #classification #generative #sequence #testing
- Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
- ICST-2012-McMinnSS #data type #generative #query #search-based #string #using #web
- Search-Based Test Input Generation for String Data Types Using the Results of Web Queries (PM, MS, MS), pp. 141–150.
- ICST-2012-PavlovF #automation #generative #search-based #testing
- Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
- ICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine
- Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
- ICST-2012-RaposD #execution #generative #incremental #modelling #symbolic computation #testing #uml #using
- Incremental Test Case Generation for UML-RT Models Using Symbolic Execution (EJR, JD), pp. 962–963.
- ICST-2012-VorobyovK #automation #constraints #generative #static analysis #testing #theorem proving
- Combining Static Analysis and Constraint Solving for Automatic Test Case Generation (KV, PK), pp. 915–920.
- ICTSS-2012-BannourEGG #consistency #generative #modelling #testing
- Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
- IJCAR-2012-EchenimP #calculus #generative
- A Calculus for Generating Ground Explanations (ME, NP), pp. 194–209.
- ISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing
- Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
- ISSTA-2012-RobetalerFZO #generative #testing
- Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.
- ISSTA-2012-StaatsHKR #comprehension #correctness #invariant
- Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
- ISSTA-2012-ZhangED #composition #generative #pipes and filters #testing
- Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
- TAP-2012-ChedorJM #generative #recursion #testing
- Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
- TAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using
- Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #generative #named #performance #theorem proving- Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.
DRR-2011-Dejean- Unsupervised method to generate page templates (HD), pp. 1–10.
- HT-2011-ChilukuriI #algorithm
- An algorithm to generate engaging narratives through non-linearity (VC, BI), pp. 291–298.
- HT-2011-ZsomboriFGUCKCB #automation #generative #video
- Automatic generation of video narratives from shared UGC (VZ, MF, RLG, MFU, PC, IK, RC, DCAB), pp. 325–334.
- ICDAR-2011-ChenZN #generative #online #recognition #scalability
- Effects of Generating a Large Amount of Artificial Patterns for On-line Handwritten Japanese Character Recognition (BC, BZ, MN), pp. 663–667.
- ICDAR-2011-HadjarI #generative #layout
- Minimizing User Annotations in the Generation of Layout Ground-Truthed Data (KH, RI), pp. 703–707.
- ICDAR-2011-UchidaSF #generative
- A Generative Model for Handwritings Based on Enhanced Feature Desynchronization (SU, TS, YF), pp. 589–593.
- SIGMOD-2011-ArasuKL #constraints #declarative #generative #using
- Data generation using declarative constraints (AA, RK, JL), pp. 685–696.
- SIGMOD-2011-ElmeleegyEL #generative #query
- Leveraging query logs for schema mapping generation in U-MAP (HE, AKE, JL), pp. 121–132.
- TPDL-2011-AloiaCGHKLMSSTYZ #design #evaluation #implementation
- Design, Implementation and Evaluation of a User Generated Content Service for Europeana (NA, CC, AMvG, PH, MK, ATL, CM, NS, TS, YT, JY, NZ), pp. 477–482.
- VLDB-2011-ArasuKL #constraints #declarative #generative #named #using
- DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.
- VLDB-2011-MarnetteMPRS
- ++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange (BM, GM, PP, SR, DS), pp. 1438–1441.
- VLDB-2011-Tay #benchmark #generative #metric
- Data Generation for Application-Specific Benchmarking (YCT), pp. 1470–1473.
- VLDB-2012-QumsiyehPN11 #generative
- Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements (RQ, MSP, YKN), pp. 217–228.
- ITiCSE-2011-Buck #diagrams #editing #generative #named #user interface
- GUIGraph: editing live object diagrams for GUI generation enables new pedagogy in CS1/2 (DB), pp. 193–197.
- ITiCSE-2011-KurianMJ #generative #information retrieval #named #repository
- IR2gT: a report generation tool for institutional repository (JCK, AM, BMJ), p. 371.
- ITiCSE-2011-Luxton-ReillyDPB #student
- Supporting student-generated free-response questions (ALR, PD, BP, DJB), pp. 153–157.
- SCAM-J-2009-ShubatiDD11 #generative #reasoning
- Artefact generation in second life with case-based reasoning (AS, CWD, RD), pp. 431–446.
CSMR-2011-KessentiniSBW #design #detection #fault #generative #music- Design Defect Detection Rules Generation: A Music Metaphor (MK, HAS, MB, MW), pp. 241–248.
- CSMR-2011-ShternT #composition #generative
- Factbase and Decomposition Generation (MS, VT), pp. 111–120.
- ICPC-2011-SridharaPV #generative #parametricity #summary
- Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.
- ICSM-2011-RastkarMB #generative #natural language #source code #summary
- Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
PASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards- Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
WCRE-2011-AlbertCFGG #automation #generative #java #named #testing- jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
- DLT-J-2009-Zetzsche11 #capacity #comprehension #generative #matrix #towards
- Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars (GZ), pp. 411–426.
AFL-2011-IvanM #context-free grammar #generative #word- Müller context-free grammars generating well-ordered words (SI, ÁM), pp. 225–240.
- CIAA-2011-CarninoF #automaton #generative #markov #random #using
- Random Generation of Deterministic Acyclic Automata Using Markov Chains (VC, SDF), pp. 65–75.
- FM-2011-AmalioGK #automation #generative #modelling #specification
- Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
- Haskell-2011-DuregardJ #embedded #generative #parsing
- Embedded parser generators (JD, PJ), pp. 107–117.
- ICFP-2011-ChyzakD #generative #ml #runtime #using #web
- Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web (FC, AD), pp. 259–265.
- IFL-2011-ReichNR #canonical #generative #lazy evaluation #source code
- Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
GCM-2010-HoffmannM11 #adaptation #diagrams #generative #graph- Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars (BH, MM).
AGTIVE-2011-StroblM #diagrams #editing #generative #graph transformation #state machine- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.
- CHI-2011-BadshahGCVHP #feedback #generative #interactive #self
- Interactive generator: a self-powered haptic feedback device (AB, SG, GC, NV, SH, SNP), pp. 2051–2054.
- CHI-2011-CostaCS #collaboration #coordination #distributed #evolution #generative #scalability #tool support
- The scale and evolution of coordination needs in large-scale distributed projects: implications for the future generation of collaborative tools (JMdRC, MC, CRBdS), pp. 3151–3160.
- CHI-2011-DurrantRKBFM #generative #named
- Automics: souvenir generating photoware for theme parks (AD, DR, DSK, SB, JEF, DM), pp. 1767–1776.
- CHI-2011-YataniNTT #overview #user interface #using #word
- Review spotlight: a user interface for summarizing user-generated reviews using adjective-noun word pairs (KY, MN, AT, KNT), pp. 1541–1550.
- CSCW-2011-LiuSPT #challenge #generative #interactive
- Supporting generation Y interactions: challenges for office work (WL, PJS, GP, JTF), pp. 669–672.
- DUXU-v1-2011-BjorndalRM #industrial #lessons learnt #requirements #specification #using
- Lessons Learned from Using Personas and Scenarios for Requirements Specification of Next-Generation Industrial Robots (PB, MJR, SM), pp. 378–387.
- DUXU-v1-2011-KimLML #collaboration #design #generative #idea #interface #process
- Developing Idea Generation for the Interface Design Process with Mass Collaboration System (DK, SSL, SM, KPL), pp. 69–76.
- HCD-2011-LiikkanenHHBK #effectiveness #evaluation #generative #idea
- Quantitative Evaluation of the Effectiveness of Idea Generation in the Wild (LAL, MMH, AH, TB, MPK), pp. 120–129.
- HCI-DDA-2011-BreinerBRSMD #adaptation #automation #generative #modelling #runtime #user interface #workflow
- Automatic Adaptation of User Workflows within Model-Based User Interface Generation during Runtime on the Example of the SmartMote (KB, KB, TR, MS, GM, PD), pp. 165–174.
- HCI-MIIE-2011-RiahiRM #generative #human-computer #mobile #specification #verification #xml
- XML in Formal Specification, Verification and Generation of Mobile HCI (IR, MR, FM), pp. 92–100.
- HCI-UA-2011-Loiacono-MelloDTP #case study #generative #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.
- HCI-UA-2011-OlivierWP #game studies #music #named #recommendation
- MusicTagger: Exploiting User Generated Game Data for Music Recommendation (HO, MW, NP), pp. 678–687.
- HIMI-v1-2011-WatanabeMNMN #generative #metric
- Support for Generation of Sympathetic Embodied Awareness: Measurement of Hand Contact Improvisation under Load Fluctuation Stress (TW, YM, GN, NM, HN), pp. 508–518.
- HIMI-v1-2011-ZenkoyohT #generative
- Surprise Generator for Virtual KANSEI Based on Human Surprise Characteristics (MZ, KT), pp. 190–198.
- HIMI-v2-2011-TanerYNB #generative #performance #scalability
- An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.
- OCSC-2011-AhmadL11a #question #what
- Interpreting User-Generated Content: What Makes a Blog Believeable? (RA, WGL), pp. 81–89.
- OCSC-2011-TsaiHT #network #social
- An Investigation into the Social Network between Three Generations in a Household: Bridging the Interrogational Gaps between the Senior and the Youth (THT, YLH, KCT), pp. 277–286.
- CAiSE-2011-CabanillasRCA #automation #generative #process
- Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
- CAiSE-2011-DelgadoRGP #generative #process
- Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.
- CAiSE-2011-FriedrichMP #generative #natural language #process
- Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
- CAiSE-2011-KofP #feedback #formal method #generative #modelling #requirements
- From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
- ICEIS-J-2011-GuLZWLSLW #enterprise #evaluation #generative #information management #process #safety
- Intelligent Information Acquisition and Utilization in Safety Evaluation Decision Making Process of Power Generation Enterprises (DxG, CyL, JZ, JW, WL, JS, WL, YW), pp. 162–177.
- ICEIS-v3-2011-Garcia-GarciaECA #approach #generative #named #taxonomy
- NDT-Glossary — A MDE Approach for Glossary Generation (JAGG, MJEC, CRC, MA), pp. 170–175.
- CIKM-2011-CarmelUGMR #generative #word
- Folksonomy-based term extraction for word cloud generation (DC, EU, IG, YM, HR), pp. 2437–2440.
- CIKM-2011-ChengKGSH #automation #generative
- Automated feature generation from structured knowledge (WC, GK, TG, DHS, RH), pp. 1395–1404.
- CIKM-2011-HeRSOQ #case study #generative #using
- Generating links to background knowledge: a case study using narrative radiology reports (JH, MdR, MS, RCvO, YQ), pp. 1867–1876.
- CIKM-2011-LeeC #collaboration #generative
- Collaborative blacklist generation via searches-and-clicks (LHL, HHC), pp. 2153–2156.
- CIKM-2011-LiCHLJ #collaboration #learning #online
- Collaborative online learning of user generated content (GL, KC, SCHH, WL, RJ), pp. 285–290.
- CIKM-2011-Pasca #query #using #web #what
- Asking what no one has asked before: using phrase similarities to generate synthetic web search queries (MP), pp. 1347–1352.
- CIKM-2011-TangLP #generative #named
- LogSig: generating system events from raw textual logs (LT, TL, CSP), pp. 785–794.
- CIKM-2011-YeungI #corpus #generative #multi
- Extracting multi-dimensional relations: a generative model of groups of entities in a corpus (CmAY, TI), pp. 1203–1208.
- ECIR-2011-ChilukaAP #approach #predict #recommendation #scalability
- A Link Prediction Approach to Recommendations in Large-Scale User-Generated Content Systems (NC, NA, JAP), pp. 189–200.
- ICML-2011-EisensteinAX #generative #modelling
- Sparse Additive Generative Models of Text (JE, AA, EPX), pp. 1041–1048.
- ICML-2011-SutskeverMH #generative #network
- Generating Text with Recurrent Neural Networks (IS, JM, GEH), pp. 1017–1024.
- KDD-2011-CerratoJG #classification #generative
- Classification of proxy labeled examples for marketing segment generation (DC, RJ, AG), pp. 343–350.
- KDD-2011-LiL #behaviour #community #detection #framework #generative #modelling #network #simulation #social
- Social flocks: a crowd simulation framework for social network generation, community detection, and collective behavior modeling (CTL, SDL), pp. 765–768.
- KDIR-2011-NissanH #generative #information retrieval #what
- Information Retrieval in the Service of Generating Narrative Explanation — What we Want from Gallura (EN, YHK), pp. 487–492.
- KMIS-2011-VirtaW #information management #what
- Sharing What You Know, Building Expertise — Information Sharing between Generations in a Business Organization (MV, GW), pp. 129–135.
- MLDM-2011-Garcia-ConstantinoCNRST #classification #generative #summary #using
- An Investigation Concerning the Generation of Text Summarisation Classifiers Using Secondary Data (MGC, FC, PJN, AR, CS, AT), pp. 387–398.
- MLDM-2011-MohebzadaRR #analysis #constraints #generative
- Sensitivity Analysis for Weak Constraint Generation (JGM, MMR, GR), pp. 239–252.
- RecSys-2011-IsaacmanICM #distributed #predict #rating
- Distributed rating prediction in user generated content streams (SI, SI, AC, MM), pp. 69–76.
- SEKE-2011-AtitallahKSM #generative #information management #network
- Knowledge management in next generation networks (SA, OAK, MS, EM), pp. 363–368.
- SEKE-2011-SilveiraRZCVO #generative #modelling #performance #testing #uml
- Generation of Scripts for Performance Testing Based on UML Models (MBdS, EdMR, AFZ, LTC, HVV, FMdO), pp. 258–263.
- SEKE-2011-WangLWL #automation #generative #integration #order #overview
- A Brief Survey on Automatic Integration Test Order Generation (ZW, BL, LW, QL), pp. 254–257.
- SIGIR-2011-AgichteinG #information management #retrieval
- Information organization and retrieval with collaboratively generated content (EA, EG), pp. 1307–1308.
- SIGIR-2011-HuggettR #generative
- The Meta-Dex Suite: generating and analyzing indexes and meta-indexes (MH, ER), pp. 1285–1286.
- SIGIR-2011-WangA #analysis #semantics
- Temporal latent semantic analysis for collaboratively generated content: preliminary results (YW, EA), pp. 1145–1146.
BX-2011-Xiong #generative- Fix Generation (YX), p. 65.
- ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using
- Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
- ECMFA-2011-GessenharterR #approach #code generation #development #diagrams #modelling #process #towards #uml
- Code Generation for UML 2 Activity Diagrams — Towards a Comprehensive Model-Driven Development Approach (DG, MR), pp. 205–220.
- MoDELS-2011-CichosOLS #generative #modelling #product line #testing
- Model-Based Coverage-Driven Test Suite Generation for Software Product Lines (HC, SO, ML, AS), pp. 425–439.
- MoDELS-2011-StenzelMR #code generation #qvt #verification
- Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
PLEASE-2011-SiyWZ #generative #modelling #ontology #product line- Ontology-based product line modeling and generation (HPS, AW, MZ), pp. 50–54.
- LOPSTR-2011-AlbertGR #generative #testing
- Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
- PEPM-2011-CaretteES #generative #geometry #kernel
- A generative geometric kernel (JC, ME, SS), pp. 53–62.
- PLDI-2011-Godefroid #generative #higher-order #testing
- Higher-order test generation (PG), pp. 258–269.
- PLDI-2011-LeeZSZ #generative #towards
- Toward generating reducible replay logs (KHL, YZ, NS, XZ), pp. 246–257.
- PLDI-2011-MengKM #editing #generative #program transformation
- Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
- PLDI-2011-ParrF #generative #ll #parsing
- LL(*): the foundation of the ANTLR parser generator (TP, KF), pp. 425–436.
- POPL-2011-WeirichVJZ #abstraction #generative
- Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
- PPDP-2011-Lagoon #challenge #constraints #generative #testing
- The challenges of constraint-based test generation (VL), pp. 1–2.
- SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
- Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
- ASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
- Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
- ASE-2011-Groce #adaptation #generative #programming
- Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
- ASE-2011-HuangNPGBT #automation #classification #fault #generative #named #orthogonal
- AutoODC: Automated generation of Orthogonal Defect Classifications (LH, VN, IP, RG, XB, JT), pp. 412–415.
- ASE-2011-KamalrudinG #generative #prototype #requirements #user interface #validation
- Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
- ASE-2011-KhalekNK #constraints #generative
- Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
- ASE-2011-PanWX #database #generative #testing
- Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
- ASE-2011-PietschYK #generative #modelling #tool support
- Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
- ASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing
- Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
- ASE-2011-ZhangED #automation #generative #testing
- Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
- ESEC-FSE-2011-FraserA #automation #generative #named #object-oriented #testing
- EvoSuite: automatic test suite generation for object-oriented software (GF, AA), pp. 416–419.
- ESEC-FSE-2011-Hall #generative #state machine
- Search based hierarchy generation for reverse engineered state machines (MH), pp. 392–395.
- ESEC-FSE-2011-HarmanJL #generative #higher-order #testing
- Strong higher order mutation-based test data generation (MH, YJ, WBL), pp. 212–222.
- ICSE-2011-FeinRSMGGBCLSMMSD #automation #deployment #tool support #using
- Using MATCON to generate CASE tools that guide deployment of pre-packaged applications (EF, NR, SS, PM, SG, RG, MB, SKC, JL, VSS, SM, DM, BS, PD), pp. 1016–1018.
- ICSE-2011-HermansPD #data flow #diagrams #generative #spreadsheet
- Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
- ICSE-2011-JarzabekT #evolution #flexibility #generative #reuse
- Flexible generators for software reuse and evolution (SJ, HDT), pp. 920–923.
- ICSE-2011-Xiao #developer #generative #identification #problem #testing #towards
- Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
- ICSE-2011-XiaoXTH #generative #identification #precise #problem #testing
- Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
- ICSE-2011-Zhang #automation #generative #hybrid #java #named #testing
- Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
- SAC-2011-BorgesMB #education #generative #modelling #towards
- Towards the establishment of supporting mechanisms for modeling and generating educational content (VAB, JCM, EFB), pp. 1202–1207.
- SAC-2011-CollavizzaVRDG #constraints #generative
- A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
- SAC-2011-JeffersonMP #automation #constraints #generative #named
- Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
- SAC-2011-Vega-OliverosMP #authoring #documentation #interactive #multi
- Media-oriented operators for authoring interactive multimedia documents generated from capture sessions (DAVO, DSM, MdGCP), pp. 1267–1272.
- GPCE-J-2005-HuangZS11 #generative #static typing
- Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
- GPCE-J-2005-LutterothDW11 #generative #type system
- A type system for reflective program generators (CL, DD, GW), pp. 392–422.
- GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring
- Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.
- GPCE-2011-LiNN #diagrams #generative #geometry #source code
- Generation of geometric programs specified by diagrams (YL, GSNJ), pp. 63–72.
- GPCE-2011-Shubert #code generation #development #flexibility #modelling
- Application of model based development to flexible code generation (GJS), pp. 95–96.
- GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification
- Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
- GPCE-2011-VermolenWV #database #evolution #generative #web
- Generating database migrations for evolving web applications (SDV, GW, EV), pp. 83–92.
- LDTA-2011-JorgensenEF #generative #named #tool support #visualisation
- VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
- SLE-2011-FischerLZ #comparison #context-free grammar #parsing #testing
- Comparison of Context-Free Grammars Based on Parsing Generated Test Data (BF, RL, VZ), pp. 324–343.
- ASPLOS-2011-CoburnCAGGJS #named #performance #persistent
- NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories (JC, AMC, AA, LMG, RKG, RJ, SS), pp. 105–118.
- CASE-2011-NishiYI #approach #generative #problem #scheduling
- Column generation approach to ship scheduling problems for international crude oil transportation (TN, SY, TI), pp. 468–473.
- DAC-2011-BroedersL #behaviour #modelling
- Extracting behavior and dynamically generated hierarchy from SystemC models (HB, RvL), pp. 357–362.
- DAC-2011-HeRK #concept analysis #embedded #generative #testing
- Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
- DAC-2011-KarakonstantisBATGR #platform
- Significance driven computation on next-generation unreliable platforms (GK, NB, CDA, GT, VG, KR), pp. 290–291.
- DAC-2011-KatzRZS #architecture #behaviour #generative #learning #quality
- Learning microarchitectural behaviors to improve stimuli generation quality (YK, MR, AZ, GS), pp. 848–853.
- DATE-2011-ChenM #composition #functional #generative #testing
- Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
- DATE-2011-EggersglusD #fault #generative #optimisation #pseudo #testing #using
- As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization (SE, RD), pp. 1291–1296.
- DATE-2011-GraupnerJW #approach #design #generative #layout #optimisation
- Generator based approach for analog circuit and layout design and optimization (AG, RJ, RW), pp. 1675–1680.
- DATE-2011-KelleyWDSRH #generative
- Intermediate representations for controllers in chip generators (KK, MW, AD, PS, SR, MH), pp. 1394–1399.
- DATE-2011-LiuSTV #design #generative #towards #using #validation
- Towards coverage closure: Using GoldMine assertions for generating design validation stimulus (LL, DS, WT, SV), pp. 173–178.
- DATE-2011-LiuV #analysis #generative #performance #source code #validation
- Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
- DATE-2011-MiyaseWAFYK #generative #testing
- Transition-Time-Relation based capture-safety checking for at-speed scan test generation (KM, XW, MA, HF, YY, SK), pp. 895–898.
- DATE-2011-Pomeranz #functional #generative #testing
- Built-in generation of functional broadside tests (IP), pp. 1297–1302.
- DATE-2011-SinghSG #generative #performance #testing #using
- Testing of high-speed DACs using PRBS generation with “Alternate-Bit-Tapping” (MS, MS, SG), pp. 377–382.
- DATE-2011-SommerKHSS #automation #design #generative #network
- A new method for automated generation of compensation networks — The EDA Designer Finger (RS, DK, EH, ES, CS), pp. 1666–1672.
- DATE-2011-TinoK #architecture #generative #multi
- Multi-objective Tabu Search based topology generation technique for application-specific Network-on-Chip architectures (AT, GNK), pp. 485–490.
- FASE-2011-TkachukR #analysis #automation #generative #web
- Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
- STOC-2011-GopalanMRZ #combinator #generative #pseudo
- Pseudorandom generators for combinatorial shapes (PG, RM, OR, DZ), pp. 253–262.
- STOC-2011-KouckyNP #generative #pseudo
- Pseudorandom generators for group products: extended abstract (MK, PN, PP), pp. 263–272.
- TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
- TACAS-2011-HoderKV #generative #invariant
- Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
- TACAS-2011-JungLWY #generative #invariant #quantifier
- Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
- TACAS-2011-MertenSHM #generative
- Next Generation LearnLib (MM, BS, FH, TMS), pp. 220–223.
- CAV-2011-LiGR #automation #c++ #execution #generative #named #source code #symbolic computation #testing
- KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs (GL, IG, SPR), pp. 609–615.
- CAV-2011-SharmaDDA #generative #invariant #using
- Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.
- ICLP-2011-Bulwahn #generative #logic programming #testing
- Smart test data generators via logic programming (LB), pp. 139–150.
- ICLP-2011-NicholsonSS #generative #logic #music #probability #using
- Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise (CJN, DDS, JS), pp. 231–239.
- ICLP-J-2011-LierlerT #approach #generative
- Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.
- ICST-2011-Bogdanov #generative #testing
- Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
- ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
- Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
- ICST-2011-DadeauHK #generative #protocol #security #testing
- Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.
- ICST-2011-FraserZ #generative #testing
- Exploiting Common Object Usage in Test Case Generation (GF, AZ), pp. 80–89.
- ICST-2011-GoKKL #approach #generative #testing #variability
- A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
- ICST-2011-HanselRHG #algorithm #embedded #generative #realtime
- An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
- ICST-2011-HeamN #data type #generative #named #random #recursion #testing
- Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
- ICST-2011-SprenklePS #case study #modelling #navigation #testing #web
- A Study of Usage-Based Navigation Models and Generated Abstract Test Cases for Web Applications (SS, LLP, LS), pp. 230–239.
- ISSTA-2011-BabicMMS #automation #generative #testing
- Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
- ISSTA-2011-FraserZ #generative #testing
- Generating parameterized unit tests (GF, AZ), pp. 364–374.
- ISSTA-2011-GligoricMK #code generation #named #performance
- CoDeSe: fast deserialization via code generation (MG, DM, SK), pp. 298–308.
- ISSTA-2011-GodefroidL #automation #generative #summary #testing
- Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.
- ISSTA-2011-LeS #analysis #detection #fault #generative
- Generating analyses for detecting faults in path segments (WL, MLS), pp. 320–330.
- ISSTA-2011-TanejaXTH #generative #named #performance #testing
- eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
- ISSTA-2011-ZhangSBE #automation #generative #testing
- Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
- SAT-2011-Nadel #generative #satisfiability
- Generating Diverse Solutions in SAT (AN), pp. 287–301.
- TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
- Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
- TAP-2011-BueJM #approximate #generative #modelling #testing
- Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
- TAP-2011-ChebaroKGJ #analysis #c #debugging #generative #slicing #testing
- The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 78–83.
- TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing
- Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
- ECSA-2010-KiwelekarJ #analysis #architecture #generative #ontology
- Ontological Analysis for Generating Baseline Architectural Descriptions (AWK, RKJ), pp. 417–424.
- ECSA-2010-LungBSEG #architecture #generative #towards
- Towards Architecture-Centric Software Generation (CHL, BB, KS, PE, UG), pp. 38–52.
- DocEng-2010-HassanHH #generative #parametricity
- Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.
- DocEng-2010-PenadesCBL #documentation #generative #product line #variability
- Document product lines: variability-driven document generation (MdCP, JHC, MRSB, ML), pp. 203–206.
- DocEng-2010-Vega-OliverosMP #automation #documentation #generative #interactive #quote
- “This conversation will be recorded”: automatically generating interactive documents from captured media (DAVO, DSM, MdGCP), pp. 37–40.
- ECDL-2010-TonniesB #automation #metadata #metric #quality
- Uncovering Hidden Qualities — Benefits of Quality Measures for Automatically Generated Metadata (ST, WTB), pp. 30–37.
- HT-2010-FossC #adaptation #authoring #generative #hypermedia #tool support #using
- The next generation authoring adaptive hypermedia: using and evaluating the MOT3.0 and PEAL tools (JGKF, AIC), pp. 83–92.
- HT-2010-HargoodMW #approach #generative
- A semiotic approach for the generation of themed photo narratives (CH, DEM, MJW), pp. 19–28.
- HT-2010-HsiehPJNS #generative #hypermedia
- Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.
- JCDL-2010-SautterBKM #automation #documentation #generative #named #performance
- ProcessTron: efficient semi-automated markup generation for scientific documents (GS, KB, CK, TM), pp. 21–28.
- SIGMOD-2010-AgrawalCCGKX #generative #query #web
- Query portals: dynamically generating portals for entity-oriented web queries (SA, KC, SC, VG, ACK, DX), pp. 1171–1174.
- SIGMOD-2010-PerezSL #flexibility #generative #named #xml
- XTaGe: a flexible XML collection generator (MPC, IS, RBL), pp. 1139–1142.
- SIGMOD-2010-RaghavanR #framework #generative #multi #named #query
- ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
- SIGMOD-2010-VartakRR #assurance #generative #named #query
- QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.
- VLDB-2010-LoCH #database #generative #query
- Generating Databases for Query Workloads (EL, NC, WKH), pp. 848–859.
- VLDB-2010-Matsudaira #3d #biology #dataset #scalability
- High-End Biological Imaging Generates Very Large 3D+ and Dynamic Datasets (PM), p. 3.
- VLDB-2011-KlingOD #database #execution #generative #performance #xml
- Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
EDM-2010-AleahmadAK #automation #rating- Automatic Rating of User-Generated Math Solutions (TA, VA, RK), pp. 267–268.
- EDM-2010-DominguezYC #data mining #generative #mining #python
- Data Mining for Generating Hints in a Python Tutor (AKD, KY, JRC), pp. 91–100.
- ICSM-2010-LiQJW #automation #generative #graph #testing
- Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
- ICSM-2010-PanditaXTH #generative #test coverage #testing
- Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
- ICSM-2010-ZhangXZTHM #execution #generative #mutation testing #symbolic computation #testing
- Test generation via Dynamic Symbolic Execution for mutation testing (LZ, TX, LZ, NT, JdH, HM), pp. 1–10.
- SCAM-2010-Graf #dependence #generative
- Speeding Up Context-, Object- and Field-Sensitive SDG Generation (JG), pp. 105–114.
- SCAM-2010-Pise #generative #parsing
- The Fika Parser Generator (MP), pp. 99–100.
- WCRE-2010-ChenWZZHNQCG #c #decompiler #readability
- A Refined Decompiler to Generate C Code with High Readability (GC, ZW, RZ, KZ, SH, KN, ZQ, KC, HG), pp. 150–154.
- AFL-J-2008-AfoninK10 #on the #regular expression
- On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
- AFL-J-2008-DassowST10 #capacity #generative
- Generative Capacity of Subregularly Tree Controlled Grammars (JD, RS, BT), pp. 723–740.
- ICALP-v2-2010-BrazdilEKL #scheduling
- Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
- LATA-2010-PlatekML #automaton #functional #generative
- Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
- SEFM-2010-XuZC #context-free grammar #generative #tool support
- A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
- FLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing
- Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
- FLOPS-2010-HaftmannN #code generation #higher-order #term rewriting
- Code Generation via Higher-Order Rewrite Systems (FH, TN), pp. 103–117.
- FLOPS-2010-SeidelV #automation #generative #theorem
- Automatically Generating Counterexamples to Naive Free Theorems (DS, JV), pp. 175–190.
- FLOPS-2010-ThiemannS #combinator #generative #polymorphism
- Tag-Free Combinators for Binding-Time Polymorphic Program Generation (PT, MS), pp. 87–102.
- GT-VMT-2010-StroblM #editing #generative #interactive #modelling #specification #visual notation
- Specifying and Generating Editing Environments for Interactive Animated Visual Models (TS, MM).
- CHI-2010-HechtG #multi #web
- The tower of Babel meets web 2.0: user-generated content and its applications in a multilingual context (BH, DG), pp. 291–300.
- CSCW-2010-HechtG #locality #on the
- On the “localness” of user-generated content (BH, DG), pp. 229–232.
EDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification- OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
- ICEIS-AIDSS-2010-LassigT #enterprise #generative
- New Approaches to Enterprise Cooperation Generation and Management (JL, UT), pp. 350–359.
- ICEIS-HCI-2010-TranKVW #declarative #generative #modelling #user interface #using
- Using Task and Data Models for user Interface Declarative Generation (VT, MK, JV, YW), pp. 155–160.
- ICEIS-J-2010-ArtignanH10a #automation #generative #visual notation
- From Coding to Automatic Generation of Legends in Visual Analytics (GA, MH), pp. 404–417.
- CIKM-2010-CarmelRY #on the
- On the relationship between novelty and popularity of user-generated content (DC, HR, EYT), pp. 1509–1512.
- CIKM-2010-MirizziRNS #generative #online #retrieval #semantics
- Semantic tags generation and retrieval for online advertising (RM, AR, TDN, EDS), pp. 1089–1098.
- CIKM-2010-QiYXD #automation #generative #taxonomy
- Choosing your own adventure: automatic taxonomy generation to permit many paths (XQ, DY, ZX, BDD), pp. 1853–1856.
- CIKM-2010-SongLCLH #automation #web
- Automatic extraction of web data records containing user-generated content (XS, JL, YC, CYL, HWH), pp. 39–48.
- CIKM-2010-TakamuraO #learning #summary
- Learning to generate summary as structured output (HT, MO), pp. 1437–1440.
- CIKM-2010-WelchCC #generative #keyword #video
- Generating advertising keywords from video content (MJW, JC, WC), pp. 1421–1424.
- ECIR-2010-InchesCC #documentation #online #statistics
- Statistics of Online User-Generated Short Documents (GI, MJC, FC), pp. 649–652.
- ICML-2010-DillonBL #analysis #generative #learning
- Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.
- ICML-2010-DruckM #generative #learning #modelling #using
- High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models (GD, AM), pp. 319–326.
- ICPR-2010-CarliBBM #generative #kernel #modelling
- Nonlinear Mappings for Generative Kernels on Latent Variable Models (ACC, MB, SB, VM), pp. 2134–2137.
- ICPR-2010-ChakrabortyG #recognition #speech
- Role of Synthetically Generated Samples on Speech Recognition in a Resource-Scarce Language (RC, UG), pp. 1618–1621.
- ICPR-2010-DOrazioLM #generative #multi #synthesis #video
- Panoramic Video Generation by Multi View Data Synthesis (TD, ML, NM), pp. 4105–4108.
- ICPR-2010-FreireCF #approach #generative #graph #problem
- A Column Generation Approach for the Graph Matching Problem (ASF, RMCJ, CEF), pp. 1088–1091.
- ICPR-2010-HanWH #generative
- A Supergraph-based Generative Model (LH, RCW, ERH), pp. 1566–1569.
- ICPR-2010-HoriKY #generative #image #multi #sequence #using
- Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
- ICPR-2010-ImpedovoP #classification #evaluation #generative #multi #set
- Generating Sets of Classifiers for the Evaluation of Multi-expert Systems (DI, GP), pp. 2166–2169.
- ICPR-2010-KimKP #algorithm #generative #simulation
- A Simulation Study on the Generative Neural Ensemble Decoding Algorithms (SPK, MKK, GTP), pp. 3797–3800.
- ICPR-2010-RathgebU10a #database #generative
- Iris-Biometric Hash Generation for Biometric Database Indexing (CR, AU), pp. 2848–2851.
- ICPR-2010-SuZSH #2d #detection #image
- Detection of Shapes in 2D Point Clouds Generated from Images (JS, ZZ, AS, FH), pp. 2640–2643.
- ICPR-2010-ZhouPD #3d #automation
- 3D Active Shape Model for Automatic Facial Landmark Location Trained with Automatically Generated Landmark Points (DZ, DPD, BD), pp. 3801–3805.
- KDD-2010-AdaB #composition #generative
- The new iris data: modular data generators (IA, MRB), pp. 413–422.
- KDD-2010-ChuaL #generative #modelling #network #online #rating #trust #using
- Trust network inference for online rating data using generative models (FCTC, EPL), pp. 889–898.
- KDD-2010-KarguptaGF #data mining #generative #mining
- The next generation of transportation systems, greenhouse emissions, and data mining (HK, JG, WF), pp. 1209–1212.
- KDD-2010-MiaoMYTCA #generative #modelling #network
- Generative models for ticket resolution in expert networks (GM, LEM, XY, ST, YC, NA), pp. 733–742.
- KDIR-2010-JedrzejczakW #generative #query #using
- Integrated Candidate Generation in Processing Batches of Frequent Itemset Queries using Apriori (PJ, MW), pp. 487–490.
- KDIR-2010-KrainesGHMT #generative #using
- Generating Literature-based Knowledge Discoveries in Life Sciences using Relationship Associations (SBK, WG, DH, HM, TT), pp. 35–44.
- KDIR-2010-ViswanathBK #classification #nearest neighbour #performance #set
- A Method to Generate a Reduced Training Set for Faster and Better Nearest Neighbor Classification (PV, VSB, TNK), pp. 232–236.
- KMIS-2010-FersiniMTAC #generative #machine learning #semantics
- Semantics and Machine Learning for Building the Next Generation of Judicial Court Management Systems (EF, EM, DT, FA, MC), pp. 51–60.
- KMIS-2010-Muller #adaptation #documentation #generative #metadata
- Adaptation of Mathematical Documents — Exploring Document Structures, Metadata, and Context for the Generation of User-specific Documents (CM), pp. 143–148.
- SEKE-2010-AmarGH #generative #ontology #standard #towards
- Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.
- SEKE-2010-BaratK #approach #code generation #configuration management #development #modelling
- Developing configurable extensible code generators for model-driven development approach (SB, VK), pp. 577–582.
- SEKE-2010-MoserDB #automation #generative #ontology #simulation #testing
- Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
- SEKE-2010-NasserDM #framework #generative #ontology #testing
- An Ontology-based Software Test Generation Framework (VHN, WD, DM), pp. 192–197.
- SIGIR-2010-HeR #approach #automation #detection #generative #ranking
- A ranking approach to target detection for automatic link generation (JH, MdR), pp. 831–832.
- SIGIR-2010-McCreadie
- Leveraging user-generated content for news search (RM), p. 919.
- SIGIR-2010-YanZJLYC #framework #learning
- A co-learning framework for learning user search intents from rule-generated training data (JY, ZZ, LJ, YL, SY, ZC), pp. 895–896.
- ECMFA-2010-CregutCPFP #animation #framework #generative #platform
- Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
- ICMT-2010-BehrensP #generative #modelling
- Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.
- MoDELS-v1-2010-CruzF #approach #automation #generative #metamodelling #user interface
- A Metamodel-Based Approach for Automatic User Interface Generation (AMRdC, JPF), pp. 256–270.
- MoDELS-v1-2010-RahimW #code generation #consistency #semantics #state machine #verification
- Verifying Semantic Conformance of State Machine-to-Java Code Generators (LAR, JW), pp. 166–180.
- SPLC-2010-RabiserHELGS #approach #documentation #flexibility #generative #product line
- A Flexible Approach for Generating Product-Specific Documents in Product Lines (RR, WH, CE, ML, PG, CS), pp. 47–61.
TOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named- EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
- LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing
- Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
- LOPSTR-2010-LlorensOST #csp #generative #graph #process
- Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
- PEPM-2010-AlbertGP #bytecode #generative #java #named #partial evaluation #testing
- PET: a partial evaluation-based test case generation tool for Java bytecode (EA, MGZ, GP), pp. 25–28.
- PEPM-2010-RudolphT #bytecode #code generation #named #runtime #type safety
- Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.
- POPL-2010-DiasR #automation #declarative #generative #using
- Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
- POPL-2010-TateSL #compilation #generative #optimisation #proving
- Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
- SAS-2010-KatoenMMM #automation #generative #invariant #probability #source code
- Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
- SAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
- RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards
- Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.
- SAC-PL-J-2008-DennyM10 #algorithm #generative #lr #parsing
- The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution (JED, BAM), pp. 943–979.
- ASE-2010-HirschHG #generative #named #specification #visual notation #wiki
- VikiBuilder: end-user specification and generation of visual wikis (CH, JGH, JCG), pp. 13–22.
- ASE-2010-KhalekK #automation #database #generative #query #sql #testing
- Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
- ASE-2010-MontrieuxJHYST #code generation #tool support
- Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.
- ASE-2010-QiRL #evolution #generative #source code #testing
- Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
- ASE-2010-RajeevSSR #code generation #named #testing
- CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
- ASE-2010-SridharaHMPV #automation #generative #java #summary #towards
- Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.
- ASE-2010-TanejaZX #automation #database #generative #named #testing
- MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
- ASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing
- Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
- FSE-2010-Rubinov #automation #generative #integration #testing
- Generating integration test cases automatically (KR), pp. 357–360.
- ICSE-2010-BaresiM #automation #generative #java #named #testing
- TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
- ICSE-2010-GligoricGJKKM #generative #programming #testing
- Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
- ICSE-2010-Lewis #generative #invariant #named #realtime
- Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
- ICSE-2010-Malavolta #architecture #generative
- Providing support for creating next generation software architecture languages (IM), pp. 517–518.
- ICSE-2010-RumpeSVW #development #generative
- Generative software development (BR, MS, SV, IW), pp. 473–474.
- ICSE-2010-RuscioMMPP #generative
- Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
- ICSE-2010-SteimannT #behaviour #constraints #generative
- From behaviour preservation to behaviour modification: constraint-based mutant generation (FS, AT), pp. 425–434.
- ICSE-2010-ZhangYZCY #automation #debugging #generative #named
- BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.
- SAC-2010-AveiroST #enterprise #generative #modelling #towards
- Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise (DA, ARS, JMT), pp. 150–157.
- SAC-2010-BaffaC #generative #modelling #policy #simulation
- Modeling POMDPs for generating and simulating stock investment policies (ACEB, AEMC), pp. 2394–2399.
- SAC-2010-Fenz #generative #metric #ontology
- Ontology-based generation of IT-security metrics (SF), pp. 1833–1839.
- SAC-2010-HarshCN #generative #network #towards
- Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.
- SAC-2010-KrishnanS #generative #modelling #testing
- Data generation in model-based testing (PK, PAPS), pp. 2211–2215.
- SAC-2010-LlorensOST #algorithm #control flow #graph
- An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
- SAC-2010-LuccheseOP #dataset #generative #mining
- A generative pattern model for mining binary datasets (CL, SO, RP), pp. 1109–1110.
- SAC-2010-MisraNLC #generative #named #sequence
- FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
- SAC-2010-MiyanishiSU #generative #ranking
- Hypothesis generation and ranking based on event similarities (TM, KS, KU), pp. 1552–1558.
- SAC-2010-VogelsJP #generative #performance #proving #verification
- A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
- SAC-2010-VoigtIR #automation #generative #metamodelling #named
- MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
- SAC-2010-WebsterGDKP #framework #generative
- A framework for cross-disciplinary hypothesis generation (YWW, RCG, ERD, JK, MJP), pp. 1511–1515.
- LDTA-J-2007-CamachoMBV #automation #generative #tool support #using #verification
- Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.
- LDTA-2009-BoylandS10 #generative #parsing #recursion
- TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator (JB, DS), pp. 65–74.
- GPCE-2010-BordignonSS #composition #generative #modelling
- Model-based kinematics generation for modular mechatronic toolkits (MB, UPS, KS), pp. 157–166.
- GPCE-2010-GrechRF #generative #named #similarity
- JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.
- GPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing
- Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
- GPCE-2010-RompfO #approach #code generation #composition #domain-specific language #lightweight #runtime #staging
- Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
- SLE-2010-JohnstoneS10a #generative #using
- Translator Generation Using ART (AJ, ES), pp. 306–315.
- CASE-2010-DjuricSE #configuration management #generative
- Global Kinematic Model generation for n-DOF reconfigurable machinery structure (AMD, RAS, WE), pp. 804–809.
- CASE-2010-GujarathiM #generative #integration #using
- Generative CAD and CAE integration using common data model (GPG, YM), pp. 586–591.
- CASE-2010-JinJ #automation #bibliography #distributed #generative
- Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
- CASE-2010-ShoaeiLM #automation #flexibility #generative
- Automatic generation of controllers for collision-free flexible manufacturing systems (MRS, BL, SM), pp. 368–373.
- CC-2010-BaskaranRS #automation #code generation #source code
- Automatic C-to-CUDA Code Generation for Affine Programs (MMB, JR, PS), pp. 244–263.
- CGO-2010-KochBF #code generation
- Integrated instruction selection and register allocation for compact code generation exploiting freeform mixing of 16- and 32-bit instructions (TJKEvK, IB, BF), pp. 180–189.
- DAC-2010-JouWLCJ #architecture #design #generative #modelling #multi
- New model-driven design and generation of multi-facet arbiters part I: from the design model to the architecture model (JMJ, SSW, YLL, CC, YLJ), pp. 258–261.
- DAC-2010-LefteriuM #generative #modelling #parametricity
- Generating parametric models from tabulated data (SL, JM), pp. 679–682.
- DAC-2010-LimKH #functional #generative #modelling #performance
- An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
- DAC-2010-LiuYHSK #generative #optimisation
- Generation of yield-embedded Pareto-front for simultaneous optimization of yield and performances (YL, MY, KH, TS, YK), pp. 909–912.
- DAC-2010-PashaDS #architecture #generative #power management
- A complete design-flow for the generation of ultra low-power WSN node architectures based on micro-tasking (MAP, SD, OS), pp. 693–698.
- DATE-2010-AbbasCFKA #adaptation #automation #framework #generative #performance #testing
- An automatic test generation framework for digitally-assisted adaptive equalizers in high-speed serial links (MA, KTC, YF, SK, KA), pp. 1755–1760.
- DATE-2010-CharfiMGTB #code generation #modelling #optimisation #towards
- Toward optimized code generation through model-based optimization (AC, CM, SG, FT, PB), pp. 1313–1316.
- DATE-2010-ChenQM #generative #performance #satisfiability #testing
- Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
- DATE-2010-CollinsVC #code generation #manycore #parallel #recursion
- Recursion-driven parallel code generation for multi-core platforms (RLC, BV, LPC), pp. 190–195.
- DATE-2010-KarmarkarT #generative #scalability
- Scalable codeword generation for coupled buses (KK, ST), pp. 729–734.
- DATE-2010-KiladaS #design #generative #latency #network
- Control network generator for latency insensitive designs (EK, KSS), pp. 1773–1778.
- DATE-2010-KrekuTV #automation #compilation #generative
- Automatic workload generation for system-level exploration based on modified GCC compiler (JK, KT, GV), pp. 369–374.
- DATE-2010-PeiLL #generative #testing
- An on-chip clock generation scheme for faster-than-at-speed delay testing (SP, HL, XL), pp. 1353–1356.
- DATE-2010-VasudevanSPTTJ #automation #data mining #generative #mining #named #static analysis #using
- GoldMine: Automatic assertion generation using data mining and static analysis (SV, DS, SJP, DT, WT, DRJ), pp. 626–629.
- DATE-2010-WuLCT #abstraction #automation #generative #multi #performance
- Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation (MHW, WCL, CYC, RST), pp. 1177–1182.
- DATE-2010-ZhangDYMZKCPS #code generation #compilation #evaluation
- A special-purpose compiler for look-up table and code generation for function evaluation (YZ, LD, PY, SPM, HZ, MTK, CC, NP, XS), pp. 1130–1135.
- DATE-2010-ZhangLZMC #architecture #communication #generative
- Domain specific architecture for next generation wireless communication (BZ, HL, HZ, FM, TC), pp. 1414–1419.
- LCTES-2010-ViskicLG #automation #design #framework #generative #network #platform #process
- Design exploration and automatic generation of MPSoC platform TLMs from Kahn Process Network applications (IV, LY, DG), pp. 77–84.
- OSDI-2010-HaridasanMTTZ #framework #generative #scalability
- StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications (MH, IM, DT, CAT, LZ), pp. 409–422.
- PPoPP-2010-PerarnauH #cpu #generative #named
- KRASH: reproducible CPU load generation on many cores machines (SP, GH), pp. 327–328.
- PPoPP-2010-UpadhyayaMP #data type #generative #performance #using
- Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
- ESOP-2010-JagadeesanPR #generative #memory management #modelling #semantics
- Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
- STOC-2010-HaitnerRV #generative #performance #pseudo
- Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.
- STOC-2010-MekaZ #generative #polynomial #pseudo
- Pseudorandom generators for polynomial threshold functions (RM, DZ), pp. 427–436.
- CAV-2010-ChatterjeeK #architecture #automation #communication #generative #induction #invariant #modelling
- Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
- CAV-2010-Mador-HaimAM #consistency #generative #memory management #modelling #testing
- Generating Litmus Tests for Contrasting Memory Consistency Models (SMH, RA, MMKM), pp. 273–287.
- CAV-2010-ThakurLLBDEAR #generative #proving
- Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.
- ICLP-J-2010-Gomez-ZamalloaAP #generative #imperative #object-oriented #testing
- Test case generation for object-oriented imperative languages in CLP (MGZ, EA, GP), pp. 659–674.
- ICST-2010-BruckerBKW #generative #policy #testing
- Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.
- ICST-2010-FeliachiG #automation #generative #modelling #testing
- Generating Transition Probabilities for Automatic Model-Based Test Generation (AF, HLG), pp. 99–102.
- ICST-2010-LodingP #automaton #generative #model checking #testing
- Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.
- ICST-2010-PerrouinSKBT #automation #generative #product line #scalability #testing
- Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (GP, SS, JK, BB, YLT), pp. 459–468.
- ICST-2010-SeguraHBR #analysis #approach #automation #feature model #generative #modelling #testing
- Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (SS, RMH, DB, ARC), pp. 35–44.
- ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface
- A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
- ICTSS-2010-AartsJU #abstraction #communication #generative #infinity #modelling #protocol #using
- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction (FA, BJ, JU), pp. 188–204.
- ICTSS-2010-Gladisch #first-order #generative #logic #quantifier #source code #specification #testing
- Test Data Generation for Programs with Quantified First-Order Logic Specifications (CG), pp. 158–173.
- ICTSS-2010-LamanchaU #generative #product line #testing #using
- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage (BPL, MPU), pp. 111–125.
- ISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing
- Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
- ISSTA-2010-DallmeierKMHZ #generative #mining #specification #testing
- Generating test cases for specification mining (VD, NK, CM, SH, AZ), pp. 85–96.
- ISSTA-2010-FraserZ #generative #testing
- Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.
- ISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing
- Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
- TAP-2010-ChebaroKGJ #c #debugging #generative #static analysis #testing
- Combining Static Analysis and Test Generation for C Program Debugging (OC, NK, AG, JJ), pp. 94–100.
- TAP-2010-GladischTBY #generative #testing #using #verification
- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay (CG, SST, BB, AY), pp. 61–76.
- TAP-2010-GogollaHK #automation #independence #invariant #ocl #proving #testing #visualisation
- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (MG, LH, MK), pp. 38–54.
- TAP-2010-GoldbergM #encoding #generative #proving #testing
- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.
- TAP-2010-JulliandSBM #abstraction #modelling #testing
- Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.
- TAP-2010-ThummalapentaHTW #automation #generative #mining #named #testing
- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces (ST, JdH, NT, SW), pp. 77–93.
- WICSA-ECSA-2009-Bass #approach #architecture #design
- Generate and test as a software architecture design approach (LB), pp. 309–312.
- WICSA-ECSA-2009-BontaB #algebra #architecture #code generation #java #named #process
- PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
- DocEng-2009-HeinrichBK #automation #documentation #framework #ontology #platform #repository
- A platform to automatically generate and incorporate documents into an ontology-based content repository (MH, ABP, MK), pp. 43–46.
- ECDL-2009-FerreiraGALV #ambiguity #generative #named
- SyGAR — A Synthetic Data Generator for Evaluating Name Disambiguation Methods (AAF, MAG, JMA, AHFL, AV), pp. 437–441.
- HT-2009-SteichenLOW #corpus #generative #hypermedia #reuse
- Dynamic hypertext generation for reusing open corpus content (BS, SL, AO, VW), pp. 119–128.
- ICDAR-2009-LeungL #generative #recognition
- Recognition of Handwritten Chinese Characters by Combining Regularization, Fisher’s Discriminant and Distorted Sample Generation (KCL, CHL), pp. 1026–1030.
- ICDAR-2009-SaabniE09a #database #generative #online #performance #recognition
- Efficient Generation of Comprehensive Database for Online Arabic Script Recognition (RS, JES), pp. 1231–1235.
- ICDAR-2009-StreckerBAB #automation #documentation #generative #image
- Automated Ground Truth Data Generation for Newspaper Document Images (TS, JvB, SA, TMB), pp. 1275–1279.
- JCDL-2009-EdvardsenSAT #automation #documentation #generative #metadata #quality
- Automatically generating high quality metadata by analyzing the document code of common file types (LFHE, IS, TA, HT), pp. 29–38.
- JCDL-2009-Efron #data fusion #generative #information retrieval #modelling
- Generative model-based metasearch for data fusion in information retrieval (ME), pp. 153–162.
- SIGMOD-2009-CormodeS #generative #modelling
- Anonymized data: generation, models, usage (GC, DS), pp. 1015–1018.
- SIGMOD-2009-GhazalSBCKG #generative #query
- Dynamic plan generation for parameterized queries (AG, DYS, RB, AC, MK, VG), pp. 909–916.
- SIGMOD-2009-OlstonCS #data flow #generative #source code
- Generating example data for dataflow programs (CO, SC, US), pp. 245–256.
- SIGMOD-2009-RadwanPSY #generative
- Top-k generation of integrated schemas based on directed and weighted correspondences (AR, LP, IRS, AAY), pp. 641–654.
- EDM-2009-PavlikCK #analysis #automation #domain model #learning #modelling #using
- Learning Factors Transfer Analysis: Using Learning Curve Analysis to Automatically Generate Domain Models (PIPJ, HC, KRK), pp. 121–130.
- ITiCSE-2009-DennyLHP #repository #student #topic
- Coverage of course topics in a student generated MCQ repository (PD, ALR, JH, HCP), pp. 11–15.
- ICSM-2009-DaraLLST #execution #testing #using
- Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.
- ICSM-2009-SchugerlRC #documentation #perspective #web
- Beyond generated software documentation — A web 2.0 perspective (PS, JR, PC), pp. 547–550.
- CIAA-2009-HeamNS #automaton #generative #random
- Random Generation of Deterministic Tree (Walking) Automata (PCH, CN, SS), pp. 115–124.
- CIAA-2009-Prochazka #automaton #compilation #generative
- Compiler Generator Based on Restarting Automata (JP), pp. 253–257.
- LATA-2009-BonizzoniFMM
- Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.
- LATA-2009-Masopust #context-free grammar #generative #power of
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions (TM), pp. 554–565.
- LATA-2009-Moore #data access #documentation #generative #problem
- The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates (NM), pp. 601–613.
- LATA-2009-PribavkinaR #automaton
- Finitely Generated Synchronizing Automata (EVP, ER), pp. 672–683.
- IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation
- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.
- GT-VMT-2009-MazanekM #diagrams #editing #generative
- Generating Correctness-Preserving Editing Operations for Diagram Editors (SM, MM), pp. 38–49.
- CHI-2009-BlytheC
- Critical methods and user generated content: the iPhone on YouTube (MB, PAC), pp. 1467–1476.
- CHI-2009-ReichlingW #automation #generative #recommendation
- Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.
- DHM-2009-EngstlerB #generative
- Generation of Percentile Values for Human Joint Torque Characteristics (FE, HB), pp. 95–104.
- HCD-2009-MisawaF #case study #experience #generative #idea #user interface #using
- A Proposal of XB-Method, an Idea Generation System for New Services Using User Experiences (NM, MF), pp. 276–283.
- HCD-2009-YuL #generative #idea #using
- Facilitating Idea Generation Using Personas (DJY, WCL), pp. 381–388.
- HCI-NIMT-2009-Allison #adaptation #generative #human-computer #interface
- The I of BCIs: Next Generation Interfaces for Brain-Computer Interface Systems That Adapt to Individual Users (BZA), pp. 558–568.
- HCI-NIMT-2009-Valle-AgudoCCR #generative #independence #interactive
- Breaking of the Interaction Cycle: Independent Interpretation and Generation for Advanced Dialogue Management (DdVA, FJCG, DCF, JRE), pp. 674–683.
- HCI-NT-2009-EngelM #framework #generative #interactive #modelling #named
- PaMGIS: A Framework for Pattern-Based Modeling and Generation of Interactive Systems (JE, CM), pp. 826–835.
- HCI-VAD-2009-NoguchiYMS #generative #self
- Self-movement Feeling Generation in Sports Watching with Screen Movement via Pan-Tilt Steerable Projector (HN, KY, TM, TS), pp. 359–367.
- HCI-VAD-2009-OHearB #enterprise #process #user interface #using
- Using Activity Descriptions to Generate User Interfaces for ERP Software (TO, YB), pp. 577–586.
- HCI-VAD-2009-PohlDM #generative #ide #multi
- From Paper to Module — An Integrated Environment for Generating SCORM Compliant Moodle Courses Out of Text and Multimedia Elements (HMP, BD, JTM), pp. 196–203.
- HIMI-DIE-2009-NelsonV #self
- Effects of a Mnemonic Technique on Subsequent Recall of Assigned and Self-generated Passwords (DN, KPLV), pp. 693–701.
- HIMI-DIE-2009-VenkatacharyaRB #design #generative
- Designing for the Next Generation: Generation-Y Expectations (PSV, SR, LB), pp. 190–196.
- HIMI-II-2009-BehalGKCLCQ #monitoring #named #visualisation
- COBRA — A Visualization Solution to Monitor and Analyze Consumer Generated Medias (AB, JG, LK, YC, SL, WC, WQ), pp. 229–238.
- HIMI-II-2009-DwyerL #assurance #concept #generative
- Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.
- HIMI-II-2009-MinC #approach #generative #personalisation #privacy
- An Interactive-Content Technique Based Approach to Generating Personalized Advertisement for Privacy Protection (WHM, YGC), pp. 185–191.
- OCSC-2009-BreitfussPI #automation #behaviour #generative #multimodal
- Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars (WB, HP, MI), pp. 153–161.
VISSOFT-2009-HassaineDSP #analysis #generative #maintenance #visualisation- Generating visualization-based analysis scenarios from maintenance task descriptions (SH, KD, HAS, PP), pp. 41–44.
- CAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #uml #using
- Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.
- CAiSE-2009-MaoBPF #automation #generative #using
- Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.
- CAiSE-2009-MetzgerP #framework #generative #research #towards
- Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework (AM, KP), pp. 11–16.
- ICEIS-DISI-2009-SofokleousAK #execution #generative #symbolic computation #testing
- Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
- ICEIS-ISAS-2009-KillispergerPSS #generative #process #validation
- Method Manual based Process Generation and Validation (PK, GP, MS, TS), pp. 256–261.
- ICEIS-ISAS-2009-MateoPL #automation #generative #product line #testing
- Automatic Generation of Test Cases in Software Product Lines (PRM, MP, BPL), pp. 124–130.
- ICEIS-J-2009-KrohaR #generative #requirements #validation
- Text Generation for Requirements Validation (PK, MR), pp. 467–478.
- ICEIS-J-2009-SiepermannS #automation #generative
- e-Learning in Logistics Cost Accounting Automatic Generation and Marking of Exercises (MS, CS), pp. 665–676.
- CIKM-2009-BalasubramanianC #automation #generative #modelling #topic #using
- Automatic generation of topic pages using query-based aspect models (NB, SC), pp. 2049–2052.
- CIKM-2009-BhatiaLM #generative
- Generating synopses for document-element search (SB, SL, PM), pp. 2003–2006.
- CIKM-2009-GaoW #generative #performance
- Efficient itemset generator discovery over a stream sliding window (CG, JW), pp. 355–364.
- CIKM-2009-GedikAW #approach #code generation #data type #distributed #optimisation
- A code generation approach to optimizing high-performance distributed data stream processing (BG, HA, KLW), pp. 847–856.
- CIKM-2009-KimZ #comparative #generative #summary
- Generating comparative summaries of contradictory opinions in text (HDK, CZ), pp. 385–394.
- CIKM-2009-NicolaK #generative #query #sql #xml
- Generating SQL/XML query and update statements (MN, TK), pp. 1187–1196.
- CIKM-2009-ParkG #automation #metric #realtime #towards #using
- Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.
- CIKM-2009-WuLACB #algebra #benchmark #generative #named #query #xpath
- XQGen: an algebra-based XPath query generator for micro-benchmarking (YW, NL, RA, SC, SB), pp. 2109–2110.
- CIKM-2009-XueC #automation #generative #query
- Automatic query generation for patent search (XX, WBC), pp. 2037–2040.
- CIKM-2009-YangXBHSY #case study #cumulative #generative #information retrieval #social #using
- A study of information retrieval on accumulative social descriptions using the generation features (LY, SX, SB, DH, ZS, YY), pp. 721–730.
- ECIR-2009-Rijke #question #what
- Searching User Generated Content: What’s Next? (MdR), p. 2.
- ECIR-2009-TsegayPTZ #documentation #generative #performance #query
- Document Compaction for Efficient Query Biased Snippet Generation (YT, SJP, AT, JZ), pp. 509–520.
- ICML-2009-LiYX #collaboration #generative #learning
- Transfer learning for collaborative filtering via a rating-matrix generative model (BL, QY, XX), pp. 617–624.
- KDD-2009-DuFWA #communication #generative #network #scalability
- Large human communication networks: patterns and a utility-driven generator (ND, CF, BW, LA), pp. 269–278.
- KDD-2009-GuoTCZZ #generative #network #online #social
- Analyzing patterns of user content generation in online social networks (LG, ET, SC, XZ, YEZ), pp. 369–378.
- KDIR-2009-VillalbaC #biology #case study #classification #generative #reduction
- Artificial Data Generation for One-class Classification — A Case Study of Dimensionality Reduction for Text and Biological Data (SDV, PC), pp. 202–210.
- KEOD-2009-HermidaRMP #case study #modelling #ontology #owl #reuse #uml
- Reusing UML Class Models to Generate OWL Ontologies — A Use Case in the Pharmacotherapeutic Domain (JMH, MTRF, AM, MP), pp. 281–286.
- RecSys-2009-CarolisNPG #comparative #generative
- Generating comparative descriptions of places of interest in the tourism domain (BDC, NN, VLP, EG), pp. 277–280.
- RecSys-2009-GreenLAMKHBM #generative #recommendation
- Generating transparent, steerable recommendations from textual descriptions of items (SJG, PL, JA, FM, SK, JH, JB, XWM), pp. 281–284.
- SEKE-2009-HauboldBG #code generation #metamodelling #object-oriented #uml
- A Pragmatic UML-based Meta Model for Object-oriented Code Generation (TH, GB, WG), pp. 733–738.
- SEKE-2009-LiCQJJ #generative #testing
- Generating Test Cases of Composite Services Based on OWL-S and EH-CPN (BL, JC, DQ, SJ, YJ), pp. 350–355.
- SEKE-2009-NasserDM #generative #knowledge-based #testing
- Knowledge-based Software Test Generation (VHN, WD, DM), pp. 312–317.
- ECMDA-FA-2009-MougenotDBS #generative #metamodelling #random
- Uniform Random Generation of Huge Metamodel Instances (AM, AD, XB, MS), pp. 130–145.
- ICMT-2009-Garcia-MagarinoGF #algorithm #generative #model transformation #transformation language
- Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages (IGM, JJGS, RFF), pp. 52–66.
- ICMT-2009-SenBM #automation #generative #model transformation #testing
- Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
- MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl
- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
- MoDELS-2009-MoiseevHS #approach #generative #implementation #ocl
- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (RM, SH, MS), pp. 650–664.
- OOPSLA-2009-KatsJNV #agile #composition #fault #feedback #parsing
- Providing rapid feedback in generated modular language environments: adding error recovery to scannerless generalized-LR parsing (LCLK, MdJ, ENN, EV), pp. 445–464.
- TOOLS-EUROPE-2009-BruniV #generative #named #prototype #using #virtual machine
- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy (CB, TV), pp. 328–347.
- TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml
- Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
AdaEurope-2009-BuchsLC #generative #model checking #modelling #process #testing- Model Checking Techniques for Test Generation from Business Process Models (DB, LL, AC), pp. 59–74.
- AdaEurope-2009-LasnierZPH #analysis #automation #code generation #modelling
- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications (GL, BZ, LP, JH), pp. 237–250.
- LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards
- Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.
- PLDI-2009-RavitchJAL #automation #generative #library #static analysis #using
- Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
- POPL-2009-LublinermanST #code generation #composition #diagrams
- Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
- SAS-2009-DohKS #parsing #static analysis #string #using
- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology (KGD, HK, DAS), pp. 256–272.
SIGAda-2009-LiangRS #architecture #automation #generative #prototype- “Automatic Prototype Generating” restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning (SXL, LAR, SS), pp. 45–60.
- ASE-2009-BiermannEEH #eclipse #framework #generative #modelling #simulation
- Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (EB, KE, CE, JH), pp. 625–629.
- ASE-2009-DallmeierZM #behaviour #generative
- Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.
- ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml
- An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
- ASE-2009-DenneyF #approach #documentation #traceability
- A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.
- ASE-2009-GherbiKKHT #generative #validation
- A Tool Suite for the Generation and Validation of Configurations for Software Availability (AG, AK, FK, AHL, MT), pp. 671–673.
- ASE-2009-HewettK #automation #component #generative #integration #order #testing
- Automated Test Order Generation for Software Component Integration Testing (RH, PK), pp. 211–220.
- ASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using
- Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
- ASE-2009-PradelG #automation #generative #scalability #specification
- Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.
- ASE-2009-YuAB #analysis #generative #source code #string #using
- Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses (FY, MA, TB), pp. 605–609.
- ESEC-FSE-2009-ThummalapentaXTHS #generative #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.
- GTTSE-2009-JorgesSM #code generation #tutorial
- Building Code Generators with Genesys: A Tutorial Introduction (SJ, BS, TMS), pp. 364–385.
- ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case
- WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
- ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity
- Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.
- SAC-2009-CastelliMZ #generative #pervasive #self
- Self-organized control of knowledge generation in pervasive computing systems (GC, RM, FZ), pp. 1202–1208.
- SAC-2009-LeccaPPS #generative #network #parametricity #probability
- A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
- SAC-2009-LinL #generative #mining
- Optimal candidate generation in spatial co-location mining (ZL, SL), pp. 1441–1445.
- SAC-2009-SuzukiOSKTK #generative #quality #requirements
- A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.
- SAC-2009-WeiSW #algorithm #clustering #email #fuzzy #novel #string
- Clustering malware-generated spam emails with a novel fuzzy string matching algorithm (CW, AS, GW), pp. 889–890.
- GPCE-2009-CassouBLC #approach #generative #pervasive #programming
- A generative programming approach to developing pervasive computing systems (DC, BB, NL, CC), pp. 137–146.
- GPCE-2009-Cordy #domain-specific language #generative
- Eating our own dog food: DSLs for generative and transformational engineering (JRC), pp. 3–4.
- GPCE-2009-HeidenreichJSWB #generative
- Generating safe template languages (FH, JJ, MS, CW, MB), pp. 99–108.
- GPCE-2009-RadermacherCGT #case study #component #execution #generative #modelling #realtime #specification
- Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.
- SLE-2009-Cordy #domain-specific language #generative
- Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering (JRC), p. 1.
- SLE-2009-JongeNKV #fault #flexibility #parsing
- Natural and Flexible Error Recovery for Generated Parsers (MdJ, ENN, LCLK, EV), pp. 204–223.
- SLE-2009-Jugel #api #generative #library
- Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.
- CASE-2009-AnderssonLFF #generative
- Generation of restart states for manufacturing systems with discarded workpieces (KA, BL, PF, MF), pp. 191–196.
- CASE-2009-SathiR #automation #generative
- STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.
- CGO-2009-LeatherBO #automation #compilation #generative #machine learning #optimisation
- Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
- CGO-2009-VoronenkoMP #generative #library #linear
- Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
- DAC-2009-DangRMM #generative #interactive #pipes and filters #source code
- Generating test programs to cover pipeline interactions (TND, AR, TM, PM), pp. 142–147.
- DATE-2009-BombieriFPV #generative
- Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
- DATE-2009-BraunesS #generative
- Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
- DATE-2009-ChambersMV #generative #performance #satisfiability
- Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
- DATE-2009-KavousianosC #fault #generative #testing
- Generation of compact test sets with high defect coverage (XK, KC), pp. 1130–1135.
- DATE-2009-MilderHP #automation #generative #permutation #streaming
- Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.
- DATE-2009-MukherjeeAPMD #approach #behaviour #formal method #generative
- A formal approach for specification-driven AMS behavioral model generation (SM, AA, SKP, RM, PD), pp. 1512–1517.
- DATE-2009-RemersaroRRP #generative #scalability #testing
- A scalable method for the generation of small test sets (SR, JR, SMR, IP), pp. 1136–1141.
- DATE-2009-TangGCR #generative #multi
- Improving compressed test pattern generation for multiple scan chain failure diagnosis (XT, RG, WTC, SMR), pp. 1000–1005.
- DATE-2009-VidalLGSD #approach #co-evolution #code generation #design #embedded #modelling #uml
- A co-design approach for embedded system modeling and code generation with UML and MARTE (JV, FdL, GG, PS, JPD), pp. 226–231.
- HPCA-2009-DasEMVD #design #evaluation
- Design and evaluation of a hierarchical on-chip interconnect for next-generation CMPs (RD, SE, AKM, NV, CRD), pp. 175–186.
- ISMM-2009-Vengerov #analysis #garbage collection #modelling #optimisation #throughput
- Modeling, analysis and throughput optimization of a generational garbage collector (DV), pp. 1–9.
- LCTES-2009-HeinzW #code generation #towards
- Towards device emulation code generation (TH, RW), pp. 109–118.
- FASE-2009-GiannakopoulouP #composition #generative #interface #verification
- Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
FoSSaCS-2009-BroadbentO #higher-order #model checking #on the #recursion- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes (CHB, CHLO), pp. 107–121.
- TACAS-2009-VanoverbergheTP #generative #pointer #source code
- Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.
- CADE-2009-CimattiGS #generative
- Interpolant Generation for UTVPI (AC, AG, RS), pp. 167–182.
- CAV-2009-GuptaR #generative #invariant #named #performance
- InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.
- CAV-2009-Jacobs #generative #incremental #reasoning
- Incremental Instance Generation in Local Reasoning (SJ), pp. 368–382.
- CAV-2009-KanadeAIRSS #generative #modelling
- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
- ICLP-2009-Sato #generative #modelling
- Generative Modeling by PRISM (TS), pp. 24–35.
- ICST-2009-AngelettiGNPS #analysis #automation #generative #testing
- Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.
- ICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using
- Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
- ICST-2009-BardinH #generative #testing
- Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
- ICST-2009-FraserG #evaluation #generative #model checking #specification #testing
- An Evaluation of Model Checkers for Specification Based Test Case Generation (GF, AG), pp. 41–50.
- ICST-2009-GligoricGLMK #generative #graph #java #optimisation
- Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
- ICST-2009-KalajiHS #finite #generative #state machine #testing
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (ASK, RMH, SS), pp. 230–239.
- ICST-2009-SiddiquiK #generative #named #parallel #testing
- PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
- ISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing
- Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
MBT-2009-DadeauLH #automaton #generative #on the #random #testing #using- On the Use of Uniform Random Generation of Automata for Testing (FD, JL, PCH), pp. 37–51.
- MBT-2009-KrennA #contract #generative #specification #testing
- Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
- SAT-2009-LarrosaNOR #bound #branch #generative #optimisation
- Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates (JL, RN, AO, ERC), pp. 453–466.
TestCom-FATES-2009-Gecse #automation #framework #generative #towards- Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.
- TestCom-FATES-2009-NunesHM #automation #data flow #fault tolerance #generative #named #testing
- OConGraX — Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems (PRFN, SH, ACVdM), pp. 229–234.
- TestCom-FATES-2009-SimaoPY #generative #testing
- Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
- TestCom-FATES-2009-WieczorekKRLBPS #integration #model checking #modelling #testing
- Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models (SW, VK, AR, ML, JB, DP, IS), pp. 179–194.
- VMCAI-2009-WimmerBB #bound #generative #markov #model checking #using
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (RW, BB, BB), pp. 366–380.
- ECSA-2008-DamaseviciusST #component #design #diagrams #feature model #generative #metaprogramming #ontology #using
- Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.
- DocEng-2008-AlkhateebL #composition #documentation #generative #towards #using
- Towards extending and using SPARQL for modular document generation (FA, SL), pp. 164–172.
- DRR-2008-BalAFF #documentation #generative #interactive
- Interactive degraded document enhancement and ground truth generation (GB, GA, OF, GF), p. 68150.
- ECDL-2008-AssanteCCFLMMPS #generative #library
- An Extensible Virtual Digital Libraries Generator (MA, LC, DC, LF, LL, PM, AM, PP, MS), pp. 122–134.
- HT-2008-KolakS #generative #mining
- Generating links by mining quotations (OK, BNS), pp. 117–126.
- JCDL-2008-LuKWG #generative #metadata
- A metadata generation system for scanned scientific volumes (XL, BK, JZW, CLG), pp. 167–176.
- SIGMOD-2008-ChiticariuKP #generative #interactive
- Interactive generation of integrated schemas (LC, PGK, LP), pp. 833–846.
- SIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
- LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
- SIGMOD-2008-HuangLC #generative #query #xml
- Query biased snippet generation in XML search (YH, ZL, YC), pp. 315–326.
- SIGMOD-2008-MishraKZ #database #generative #query #testing
- Generating targeted queries for database testing (CM, NK, CZ), pp. 499–510.
- VLDB-2008-Cohen #constraints #generative #using #xml
- Generating XML structure using examples and constraints (SC), pp. 490–501.
- VLDB-2008-GolabKKSY #dependence #functional #generative #on the
- On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
- VLDB-2008-HuangLC #generative #named #xml
- eXtract: a snippet generation system for XML search (YH, ZL, YC), pp. 1392–1395.
CSEET-2008-Honig #education #exclamation #generative #process #quality #re-engineering- Teaching Successful “Real-World” Software Engineering to the “Net” Generation: Process and Quality Win! (WLH), pp. 25–32.
- EDM-2008-BarnesSLC #case study #logic #proving #student #using
- A pilot study on logic proof tutoring using hints generated from historical student data (TB, JCS, LL, MJC), pp. 197–201.
- ICSM-2008-He #generative #programming #refinement #testing
- Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.
- ICSM-2008-ZhangBJAL #analysis #generative #visual notation
- Query-based filtering and graphical view generation for clone analysis (YZ, HAB, SJ, DA, ML), pp. 376–385.
- WCRE-2008-GeestVDV #domain-specific language #generative
- Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
- DLT-J-2007-Jez08 #boolean grammar
- Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
- CIAA-2008-DolzhenkoJ #2d #complexity #on the #transducer
- On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
- ICALP-B-2008-Chen #constraints #quantifier
- Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (HC), pp. 197–208.
- LATA-2008-KitaevMS #morphism #order #word
- Counting Ordered Patterns in Words Generated by Morphisms (SK, TM, PS), pp. 287–298.
- SEFM-2008-BonifacioMS #generative #modelling #testing
- A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.
- SEFM-2008-Gladisch #branch #generative #testing
- Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.
- SEFM-2008-Salaun #generative #protocol #specification
- Generation of Service Wrapper Protocols from Choreography Specifications (GS), pp. 313–322.
- SEFM-2008-SampathRRS #behaviour #code generation #testing
- Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.
- GT-VMT-2006-Kunert08 #automation #generative #metamodelling #modelling #source code
- Semi-automatic Generation of Metamodels and Models From Grammars and Programs (AK), pp. 111–119.
- GT-VMT-2006-WinkelmannTEK08 #constraints #generative #graph grammar #metamodelling #ocl #strict
- Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (JW, GT, KE, JMK), pp. 159–170.
- CHI-2008-GajosWW #interface #performance
- Improving the performance of motor-impaired users with automatically-generated, ability-based interfaces (KZG, JOW, DSW), pp. 1257–1266.
- CHI-2008-SimonMB #automation #generative #named
- MySong: automatic accompaniment generation for vocal melodies (IS, DM, SB), pp. 725–734.
- EDOC-2008-PagopK #component #framework #generative
- EJB 3.X — The 3rd Generation Component Framework (SP, AK).
- ICEIS-AIDSS-2008-SofokleousA #data flow #generative #search-based #testing
- Dynamic Search-Based Test Data Generation Focused on Data Flow Paths (AAS, ASA), pp. 27–35.
- ICEIS-DISI-2008-BohmWHL #generative #integration #modelling #optimisation #process
- Model-Driven Generation and Optimization of Complex Integration Processes (MB, UW, DH, WL), pp. 131–136.
- ICEIS-DISI-2008-SchulteHSES #collaboration #flexibility #framework #generative #research #towards
- Towards the Next Generation of Service-Oriented Flexible Collaborative Systems — A Basic Framework Applied to Medical Research (JS, TH, KS, JE, ES), pp. 232–239.
- ICEIS-HCI-2008-Perez-MarinPM #automation #concept #interactive #modelling #natural language
- Natural Language Interaction Based on Automatically Generated Conceptual Models (DRPM, IPN, PRM), pp. 5–12.
- ICEIS-ISAS2-2008-CasanovaBBF #generative
- Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy (MAC, SDJB, KKB, ALF), pp. 43–48.
- ICEIS-ISAS2-2008-KiyomotoOT #automation #generative #on the fly #protocol #security
- On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.
- ICEIS-J-2008-BringasP
- Next-Generation Misuse and Anomaly Prevention System (PGB, YKP), pp. 117–129.
- CIKM-2008-ZhaoC #documentation #generative #retrieval
- A generative retrieval model for structured documents (LZ, JC), pp. 1163–1172.
- ECIR-2008-Berendt #documentation #information retrieval #mining #web
- You Are a Document Too: Web Mining and IR for Next-Generation Information Literacy (BB), p. 3.
- ECIR-2008-SchedlKPW #automation #information management #mining #music #towards #web
- Towards an Automatically Generated Music Information System Via Web Content Mining (MS, PK, TP, GW), pp. 585–590.
- ICML-2008-LiangJ #analysis #generative #pseudo
- An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators (PL, MIJ), pp. 584–591.
- ICPR-2008-ChenWWM #detection #generative
- GA based feature generation for training cascade object detector (QC, HW, TW, KM), pp. 1–4.
- ICPR-2008-GalballyCLMF #generative
- Fake fingertip generation from a minutiae template (JG, RC, AL, DM, JFA), pp. 1–4.
- ICPR-2008-HaqueMP #adaptation #detection #generative #multi #robust
- Improved Gaussian mixtures for robust object detection by adaptive multi-background generation (MH, MMM, MP), pp. 1–4.
- ICPR-2008-MatsuoSS #automation #generative #recognition
- Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.
- ICPR-2008-SanromaSA #clique #graph #using
- Improving the matching of graphs generated from shapes by the use of procrustes distances into a clique-based MAP formulation (GS, FS, RA), pp. 1–4.
- ICPR-2008-SukF #automation #equation #invariant
- Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
- ICPR-2008-SuS #generative #modelling #using
- Generative models for fingerprint individuality using ridge models (CS, SNS), pp. 1–4.
- ICPR-2008-TorselloD #generative #graph #learning
- Supervised learning of a generative model for edge-weighted graphs (AT, DLD), pp. 1–4.
- ICPR-2008-WetzkerPKBAM #detection #generative #probability #roadmap #social #using
- Detecting trends in social bookmarking systems using a probabilistic generative model and smoothing (RW, TP, AK, CB, TA, FM), pp. 1–4.
- ICPR-2008-WhiteW #generative #graph #modelling
- Parts based generative models for graphs (DHW, RCW), pp. 1–4.
- KDD-2008-ChakrabartiKP #generative #web
- Generating succinct titles for web URLs (DC, RK, KP), pp. 79–87.
- KDD-2008-LaxmanTW #generative #modelling #predict #sequence #using
- Stream prediction using a generative model based on frequent episodes in event sequences (SL, VT, RWW), pp. 453–461.
- KDD-2008-McGlohonAF #component #generative #graph
- Weighted graphs and disconnected components: patterns and a generator (MM, LA, CF), pp. 524–532.
KR-2008-TunD #generative #ontology #reuse- Ontology Generation through the Fusion of Partial Reuse and Relation Extraction (NNT, JSD), pp. 318–328.
- SEKE-2008-Barros #information management #predict #using
- Predicting Software Project Size Using Project Generated Information (MdOB), pp. 149–154.
- SEKE-2008-FatolahiSL #approach #automation #generative #modelling #requirements
- A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements (AF, SSS, TCL), pp. 619–624.
- SEKE-2008-GallegosOGRSV #generative #specification
- A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
- SEKE-2008-HansenZS #embedded #generative #web #web service
- Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
- SEKE-2008-HewettKS #generative #integration #object-oriented #order #performance #testing
- Test Order Generation for Efficient Object-oriented Class Integration Testing (RH, PK, DS), pp. 703–708.
- SEKE-2008-IlievaB #diagrams #generative #natural language #representation #requirements #uml #visual notation
- Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
- SIGIR-2008-SekiHU #generative
- Generating diverse katakana variants based on phonemic mapping (KS, HH, KU), pp. 793–794.
- SIGIR-2008-TsagiasLR #speech
- Term clouds as surrogates for user generated speech (MT, ML, MdR), pp. 773–774.
- SIGIR-2008-ZhangY #generative #retrieval #sentiment #topic
- A generation model to unify topic relevance and lexicon-based sentiment for opinion retrieval (MZ, XY), pp. 411–418.
- ECMDA-FA-2008-ChevillatCSSW #generative #modelling
- Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
- ECMDA-FA-2008-RosePKP #generative
- The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
- ICMT-2008-HemelKV #code generation #model transformation
- Code Generation by Model Transformation (ZH, LCLK, EV), pp. 183–198.
- MoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
- Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
- MoDELS-2008-Gessenharter #code generation #java #semantics #uml
- Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
- MoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
- MoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
- Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
- MoDELS-2008-ProutADS #code generation #configuration management #semantics
- Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
- SPLC-2008-SantosKL #automation #domain-specific language #generative #modelling
- Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
- SPLC-2008-WeissLSDS #code generation
- Decision-Model-Based Code Generation for SPLE (DMW, JJL, JHS, TTDT, HS), pp. 129–138.
- MoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
- Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
- MoDELS-2008-Gessenharter #code generation #java #semantics #uml
- Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
- MoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
- MoDELS-2008-GutierrezNCMR #automation #case study #diagrams #process #visualisation
- Visualization of Use Cases through Automatically Generated Activity Diagrams (JJG, CN, MJEC, MM, IMR), pp. 83–96.
- MoDELS-2008-ProutADS #code generation #configuration management #semantics
- Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
- AdaEurope-2008-NarayananK #approach #automation #multi #semantics
- A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.
- LOPSTR-2008-AlbertGP #bytecode #generative #partial evaluation #testing
- Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.
- LOPSTR-2008-DegraveSV #automation #generative #testing
- Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
- PADL-2008-KellerCCSB #generative #monte carlo
- Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.
- POPL-2008-FisherWZW #ad hoc #automation #generative
- From dirt to shovels: fully automatic tool generation from ad hoc data (KF, DW, KQZ, PW), pp. 421–434.
- POPL-2008-YorshYC #generative #precise #summary
- Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
- PPDP-2008-MoralesCH #automaton #generative #using
- Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
- RE-2008-Kof #generative #sequence chart
- From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
- RE-2008-MakinoO #difference #generative
- A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.
REFSQ-2008-SchlosserJM #database #requirements #using- Using a Creativity Workshop to Generate Requirements for an Event Database Application (CS, SJ, NAMM), pp. 109–122.
- ASE-2008-BurnimS #generative #heuristic #scalability #testing
- Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
- ASE-2008-EgyedLF #consistency #design #generative #modelling #nondeterminism #uml
- Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models (AE, EL, AF), pp. 99–108.
- ASE-2008-GeW #feature model #framework #generative #modelling #named #platform
- Rhizome: A Feature Modeling and Generation Platform (GG, EJWJ), pp. 375–378.
- ASE-2008-KhalekELK #constraints #generative #relational #testing #theorem proving #using
- Query-Aware Test Generation Using a Relational Constraint Solver (SAK, BE, YOL, SK), pp. 238–247.
- ASE-2008-LiHG #code generation #interface #modelling #multi #named #process
- MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation (RLL, JGH, JCG), pp. 477–478.
- ASE-2008-Papailiopoulou #automation #generative #source code #testing
- Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.
- ASE-2008-TanejaX #automation #generative #named #testing
- DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.
- ASE-2008-TurnerPKC #approach #automation #code generation #process #using #web
- An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach (DAT, MP, JK, JC), pp. 411–414.
- FSE-2008-DragertDR #concurrent #generative #using
- Generation of concurrency control code using discrete-event systems theory (CD, JD, KR), pp. 146–157.
- FSE-2008-OsterweilCEPWBH #dataset #experience #process #using #workflow
- Experience in using a process language to define scientific workflow and generate dataset provenance (LJO, LAC, AME, RMP, AEW, ERB, JLH), pp. 319–329.
- ICSE-2008-BunyakiatiFSC #standard #testing #uml #using
- Using JULE to generate a compliance test suite for the UML standard (PB, AF, JS, CC), pp. 827–830.
- ICSE-2008-GrundyHHL #eclipse #generative #multi #named
- Marama: an eclipse meta-toolset for generating multi-view environments (JCG, JGH, JH, KNLL), pp. 819–822.
- ICSE-2008-LorenzoliMP #automation #behaviour #generative #modelling
- Automatic generation of software behavioral models (DL, LM, MP), pp. 501–510.
- ICSE-2008-MalikPUK #generative #invariant #named #representation
- Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
- SAC-2008-BelliH #generative #testing
- Test generation and minimization with “basic” statecharts (FB, AH), pp. 718–723.
- SAC-2008-BuenoWJ #automation #generative #testing #using
- Automatic test data generation using particle systems (PMSB, WEW, MJ), pp. 809–814.
- SAC-2008-CartaxoANM #embedded #functional #named #testing
- LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
- SAC-2008-FazzingaFTGM #documentation #generative
- A wrapper generation system for PDF documents (BF, SF, AT, SG, EM), pp. 442–446.
- SAC-2008-FernandesFGM #generative #semantics #towards #web #web service
- Towards the generation of explanations for semantic web services in OWL-S (CGF, VF, AG, DLM), pp. 2350–2351.
- SAC-2008-GrigorovRCK #automation #design #generative #industrial
- Template design and automatic generation of controllers for industrial robots (LG, KR, JERC, SK), pp. 1612–1613.
- SAC-2008-MartinottoJCGDP #generative #network #random
- Generation of continuous random networks by simulated annealing (ALM, FJ, LAC, VG, RVD, CAP), pp. 48–49.
- SAC-2008-PiresBR #design #generative #testing #uml
- UML-based design test generation (WP, JB, FR), pp. 735–740.
- SAC-2008-SomeC #approach #case study #generative
- An approach for supporting system-level test scenarios generation from textual use cases (SSS, XC), pp. 724–729.
- SAC-2008-VieiraVN #generative
- A biologically inspired generation of virtual characters (RCCV, CAV, JBCN), pp. 1218–1224.
- GPCE-2008-DenneyF #automation #generative #verification
- Generating customized verifiers for automatically generated code (ED, BF), pp. 77–88.
- GPCE-2008-KulkarniR #abstraction #code generation #component #generative #modelling #reuse
- An abstraction for reusable MDD components: model-based generation of model-based code generators (VK, SR), pp. 181–184.
- GPCE-2008-RosenmullerSSA #code generation #composition #product line
- Code generation to support static and dynamic composition of software product lines (MR, NS, GS, SA), pp. 3–12.
- GPCE-2008-RothamelL #generative #implementation #incremental #query
- Generating incremental implementations of object-set queries (TR, YAL), pp. 55–66.
- SLE-2008-OverbeyJ #abstract syntax tree #generative #syntax
- Generating Rewritable Abstract Syntax Trees (JLO, REJ), pp. 114–133.
- ASPLOS-2008-WegielK #concurrent #memory management #parallel
- The mapping collector: virtual memory support for generational, parallel, and concurrent compaction (MW, CK), pp. 91–102.
- CASE-2008-AsarUAH #generative #network
- Traffic responsive signal timing plan generation based on neural network (AuA, MSU, JA, RuH), pp. 833–838.
- CASE-2008-CamponogaraP #generative #problem #scheduling
- Column generation for solving a compressor scheduling problem (EC, AP), pp. 796–801.
- CASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using
- Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
- CASE-2008-WangZZ #generative
- A force control assisted robot path generation system (JW, HZ, GZ), pp. 528–533.
- CC-2008-FranchettiP #generative #permutation
- Generating SIMD Vectorized Permutations (FF, MP), pp. 116–131.
- CC-2008-LimR #bytecode #generative
- A System for Generating Static Analyzers for Machine Instructions (JL, TWR), pp. 36–52.
- DAC-2008-ChongP #agile #float #generative
- Rapid application specific floating-point unit generation with bit-alignment (YJC, SP), pp. 62–67.
- DAC-2008-DasV #adaptation #synthesis
- Topology synthesis of analog circuits based on adaptively generated building blocks (AD, RV), pp. 44–49.
- DAC-2008-ReyKRCVKT #challenge #generative #multi #question
- Next generation wireless-multimedia devices: who is up for the challenge? (JCR, AK, JMR, CC, TV, IK, TBT), pp. 353–354.
- DATE-2008-BombieriDF #automation #design #generative
- Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation (NB, ND, FF), pp. 15–20.
- DATE-2008-BrisolaraORLCW #code generation #uml #using
- Using UML as Front-end for Heterogeneous Software Code Generation Strategies (LBdB, MFdSO, RMR, LCL, LC, FRW), pp. 504–509.
- DATE-2008-KoN08a #automation #generative #on the #validation
- On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
- DATE-2008-LeeNKT #fault #generative
- Layout-Aware, IR-Drop Tolerant Transition Fault Pattern Generation (JL, SN, MK, MT), pp. 1172–1177.
- DATE-2008-LublinermanT #code generation #composition #diagrams #reuse #usability
- Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
- DATE-2008-PlazaMB #constraints #generative #random #using
- Random Stimulus Generation using Entropy and XOR Constraints (SP, ILM, VB), pp. 664–669.
- DATE-2008-RoginKFDR #automation #design #generative #hardware
- Automatic Generation of Complex Properties for Hardware Designs (FR, TK, GF, RD, SR), pp. 545–548.
- DATE-2008-VenutoR #generative
- PWM-Based Test Stimuli Generation for BIST of High Resolution ADCs (DDV, LR), pp. 284–287.
- DATE-2008-ZhouPB #analysis #generative #metric #modelling #using
- Harvesting Wasted Heat in a Microprocessor Using Thermoelectric Generators: Modeling, Analy
