BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
test (821)
model (469)
automat (464)
base (379)
use (363)

Stem generat$ (all stems)

3286 papers:

CCCC-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.
ASEASE-2019-AfzalACCDDKV #abstraction #generative #testing #verification
VeriAbs : Verification by Abstraction and Test Generation (MA, AA, AC, BC, PD, AD, SK, RV), pp. 1138–1141.
ASEASE-2019-AhmedSSK #compilation #fault #generative
Targeted Example Generation for Compilation Errors (UZA, RS, NS, AK), pp. 327–338.
ASEASE-2019-BaoLWF #automation #generative #named #network
ACTGAN: Automatic Configuration Tuning for Software Systems with Generative Adversarial Networks (LB, XL, FW, BF), pp. 465–476.
ASEASE-2019-CashinMWF #comprehension #difference #invariant
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences (PC, CM, WW, SF), pp. 411–414.
ASEASE-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.
ASEASE-2019-ChenWHXZZ #compilation #generative
History-Guided Configuration Diversification for Compiler Test-Program Generation (JC, GW, DH, YX, HZ, LZ), pp. 305–316.
ASEASE-2019-Escobar-Velasquez #android #generative #named
MutAPK: Source-Codeless Mutant Generation for Android Apps (CEV, MOR, MLV), pp. 1090–1093.
ASEASE-2019-GaoZX0LK #automation #generative #overview
Automating App Review Response Generation (CG, JZ, XX0, DL0, MRL, IK), pp. 163–175.
ASEASE-2019-GodioBPAF #generative #performance #test coverage #testing
Efficient Test Generation Guided by Field Coverage Criteria (AG, VSB, PP, NA, MFF), pp. 91–101.
ASEASE-2019-Jiang #analysis #commit #generative #semantics
Boosting Neural Commit Message Generation with Code Semantic Analysis (SJ), pp. 1280–1282.
ASEASE-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.
ASEASE-2019-Liu0T0L #automation #generative
Automatic Generation of Pull Request Descriptions (ZL, XX0, CT, DL0, SL), pp. 176–188.
ASEASE-2019-Lukasczyk #dynamic typing #generative #source code #testing
Generating Tests to Analyse Dynamically-Typed Programs (SL), pp. 1226–1229.
ASEASE-2019-Wei #generative
Retrieve and Refine: Exemplar-Based Neural Comment Generation (BW), pp. 1250–1252.
ASEASE-2019-Yu19a #comprehension #crowdsourcing #debugging #generative
Crowdsourced Report Generation via Bug Screenshot Understanding (SY), pp. 1277–1279.
ESEC-FSEESEC-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-FSEESEC-FSE-2019-BiagiolaSRT #generative #testing #web
Diversity-based web test generation (MB, AS, FR, PT), pp. 142–153.
ESEC-FSEESEC-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-FSEESEC-FSE-2019-ChekamPT #generative #named
Mart: a mutant generation tool for LLVM (TTC, MP, YLT), pp. 1080–1084.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2019-Liu0MXXXL #api #generative #summary
Generating query-specific class API summaries (ML, XP0, AM, ZX, WX, SX, YL), pp. 120–130.
ESEC-FSEESEC-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.
GPCEGPCE-2019-ShaikhhaJK #compilation #domain-specific language #embedded #generative
Compiler generation for performance-oriented embedded DSLs (short paper) (AS, VJ, CEK), pp. 94–101.
SLESLE-2019-PacakE #generative #incremental
Generating incremental type services (AP, SE), pp. 197–201.
SLESLE-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.
FASEFASE-2019-ZweihoffNS #collaboration #generative #modelling #named #online
Pyro: Generating Domain-Specific Collaborative Online Modeling Environments (PZ, SN, BS), pp. 101–115.
CADECADE-2019-GutierrezL #automation #generative #logic #modelling
Automatic Generation of Logical Models with AGES (RG, SL), pp. 287–299.
CAVCAV-2019-EmmiE #concurrent #generative #named #refinement #testing
Violat: Generating Tests of Observational Refinement for Concurrent Objects (ME, CE), pp. 534–546.
HaskellHaskell-2018-MistaRH #branch #generative #process #quickcheck
Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
ECMFAECMFA-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.
ASEASE-2018-BajammalM0 #component #generative #reuse #web
Generating reusable web components from mockups (MB, DM, AM0), pp. 601–611.
ASEASE-2018-BorgesHZ #android #framework #generative #named #platform #testing
DroidMate-2: a platform for Android test generation (NPBJ, JH, AZ), pp. 916–919.
ASEASE-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.
ASEASE-2018-HanYL #debugging #learning #named #performance
PerfLearner: learning from bug reports to understand and generate performance test frames (XH, TY, DL0), pp. 17–28.
ASEASE-2018-HuangCPZWLZ #difference #generative #named
ClDiff: generating concise linked code differences (KH, BC0, XP0, DZ, YW, YL0, WZ), pp. 679–690.
ASEASE-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.
ASEASE-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.
ASEASE-2018-TerragniP #challenge #concurrent #effectiveness #generative #testing #thread
Effectiveness and challenges in generating concurrent tests for thread-safe classes (VT, MP), pp. 64–75.
ASEASE-2018-WangLYCZDX #android #case study #empirical #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-FSEESEC-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-FSEESEC-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.
GPCEGPCE-2018-Binsbergen #generative #metaprogramming
Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (LTvB), pp. 168–174.
GPCEGPCE-2018-RadanneT #generative #named #regular expression
Regenerate: a language generator for extended regular expressions (GR, PT), pp. 202–214.
SLESLE-2018-MerinoVS #generative #named #parametricity
Bacatá: a language parametric notebook generator (MVM, JJV, TvdS), pp. 210–214.
CCCC-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.
FASEFASE-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.
CAVCAV-2018-FarinierBBP #approach #generative #quantifier
Model Generation for Quantified Formulas: A Taint-Based Approach (BF, SB, RB, MLP), pp. 294–313.
IJCARIJCAR-2018-EchenimPS #framework #generative #modulo theories
A Generic Framework for Implicate Generation Modulo Theories (ME, NP, YS), pp. 279–294.
ECMFAECMFA-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.
ICMTICMT-2017-Strueber #generative #modelling #performance #search-based
Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering (DS), pp. 121–137.
MoDELSMoDELS-2017-EgeaD #automation #code generation #named #ocl #sql
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.
ASEASE-2017-HigoOK #abstract syntax tree #generative
Generating simpler AST edit scripts by considering copy-and-paste (YH, AO, SK), pp. 532–542.
ASEASE-2017-JiangAM #automation #commit #generative #using
Automatically generating commit messages from diffs using neural machine translation (SJ, AA, CM), pp. 135–146.
ASEASE-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.
ASEASE-2017-KjolstadCLKA #algebra #kernel #named
taco: a tool to generate tensor algebra kernels (FK, SC, DL, SK, SPA), pp. 943–948.
ASEASE-2017-LiSLLL #automation #generative #invariant #refinement
Automatic loop-invariant generation and refinement through selective sampling (JL0, JS0, LL0, QLL, SWL), pp. 782–792.
ASEASE-2017-SaddlerC #generative #named #testing #user interface
EventFlowSlicer: a tool for generating realistic goal-driven GUI tests (JAS, MBC), pp. 955–960.
ASEASE-2017-SoltanaSB #generative #statistics #testing
Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.
ASEASE-2017-ToffolaSP #effectiveness #exclamation #generative #mining #testing
Saying 'hi!' is not enough: mining inputs for effective test generation (LDT, CAS, MP), pp. 44–49.
ASEASE-2017-XuXXL #automation #developer #generative #named #summary
AnswerBot: automated generation of answer summary to developersź technical questions (BX, ZX, XX0, DL0), pp. 706–716.
ASEASE-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-FSEESEC-FSE-2017-CaiCZ #adaptation #generative #quality
Adaptively generating high quality fixes for atomicity violations (YC0, LC, JZ), pp. 303–314.
ESEC-FSEESEC-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-FSEESEC-FSE-2017-LongAR #automation #generative
Automatic inference of code transforms for patch generation (FL, PA, MR), pp. 727–739.
GPCEGPCE-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.
GPCEGPCE-2017-NakamaruIYC #api #generative #named
Silverchain: a fluent API generator (TN, KI, TY, SC), pp. 199–211.
GPCEGPCE-2017-SusungiRCHCTSF #composition #generative #optimisation #towards
Towards compositional and generative tensor optimizations (AS, NAR, JC, IH, AC, CT, JS, JF), pp. 169–175.
GPCEGPCE-2017-Zaytsev #generative #legacy #parsing #pattern matching
Parser generation by example for legacy pattern languages (VZ), pp. 212–218.
SLESLE-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.
FASEFASE-2017-AlvinPM #diagrams #generative #named #sequence chart #uml
StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.
FASEFASE-2017-SchneiderLO #generative #graph
Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.
CADECADE-2017-NagashimaK #generative #higher-order #proving
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL (YN, RK), pp. 528–545.
ECMFAECMFA-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.
ECMFAECMFA-2016-Lopez-Fernandez #generative #modelling #visual notation
Example-Based Generation of Graphical Modelling Environments (JJLF, AG, EG, JdL), pp. 101–117.
ICMTICMT-2016-JungHH #approach #aspect-oriented #composition #domain-specific language #generative #named
GECO: A Generator Composition Approach for Aspect-Oriented DSLs (RJ, RH, WH), pp. 141–156.
ICMTICMT-2016-PopoolaKR #generative #model transformation #named #transformation language
EMG: A Domain-Specific Transformation Language for Synthetic Model Generation (SP, DSK, HHR), pp. 36–51.
MoDELSMoDELS-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.
MoDELSMoDELS-2016-HarrandFMH #code generation #framework #named
ThingML: a language and code generation framework for heterogeneous targets (NH, FF, BM, KEH), pp. 125–135.
MoDELSMoDELS-2016-RuscioMPT #automation #generative
Automatic generation of detailed flight plans from high-level mission descriptions (DDR, IM, PP, MT), pp. 45–55.
ASEASE-2016-LiLKLG #big data #combinator #generative #testing
Applying combinatorial test data generation to big data applications (NL, YL, HRK, JL, YG), pp. 637–647.
ASEASE-2016-PatrickCSG #automation #generative #image #using
Automatic test image generation using procedural noise (MP, MDC, ROJHS, CAG), pp. 654–659.
ASEASE-2016-Puschel #generative #performance
Program generation for performance (MP), p. 1.
ASEASE-2016-Rodriguez-Cancio #automation #benchmark #constant #generative
Automatic microbenchmark generation to prevent dead code elimination and constant folding (MRC, BC, BB), pp. 132–143.
ASEASE-2016-TangWWZ #android #concurrent #debugging #generative #testing
Generating test cases to expose concurrency bugs in Android applications (HT, GW, JW, HZ), pp. 648–653.
ASEASE-2016-ThakurG16a #domain model #generative #modelling #named #specification
AnModeler: a tool for generating domain models from textual specifications (JST, AG), pp. 828–833.
ASEASE-2016-YamadaBAKC #combinator #generative #satisfiability #testing #using
Greedy combinatorial test case generation using unsatisfiable cores (AY, AB, CA, TK, EHC), pp. 614–624.
ASEASE-2016-ZhangHC #automation #generative #testing #towards
Towards automatically generating descriptive names for unit tests (BZ, EH, JC), pp. 625–636.
FSEFSE-2016-DhokR #detection #generative #testing
Directed test generation to detect loop inefficiencies (MD, MKR), pp. 895–907.
FSEFSE-2016-GhassabaniGW #generative #induction #performance #safety
Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
FSEFSE-2016-HasabnisS #code generation #execution #semantics #symbolic computation
Extracting instruction semantics via symbolic execution of code generators (NH, RS), pp. 301–313.
FSEFSE-2016-KaleeswaranSKG #feedback #generative
Semi-supervised verified feedback generation (SK, AS, AK, SG), pp. 739–750.
FSEFSE-2016-Kellogg #debugging #detection #generative #testing
Combining bug detection and test case generation (MK), pp. 1124–1126.
FSEFSE-2016-LiuCL #comprehension #concurrent #debugging #generative #quality
Understanding and generating high quality patches for concurrency bugs (HL, YC, SL), pp. 715–726.
FSEFSE-2016-Nandi #automation #generative
Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.
FSEFSE-2016-Panchekha #generative #interactive #web
Generating interactive web pages from storyboards (PP), pp. 1071–1072.
FSEFSE-2016-WangFMKDR #java #named #reuse
Hunter: next-generation code reuse for Java (YW, YF, RM, AK, ID, SPR), pp. 1028–1032.
FSEFSE-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.
FSEFSE-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.
FSEFSE-2016-ZhongZK #combinator #generative #testing
Combinatorial generation of structurally complex test inputs for commercial software applications (HZ, LZ, SK), pp. 981–986.
GPCEGPCE-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.
GPCEGPCE-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.
GPCEGPCE-2016-Rompf #composition #exclamation #lightweight #staging
Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
CCCC-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.
FASEFASE-2016-HuY #api #generative #hybrid #verification
Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
FASEFASE-2016-SemerathVV #generative #incremental #logic
Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
IJCARIJCAR-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.
QoSAQoSA-2015-Kramer #approach #consistency #generative #modelling #multi
A Generative Approach to Change-Driven Consistency in Multi-View Modeling (MEK), pp. 129–134.
DocEngDocEng-2015-BanerjeeMS #generative #summary
Generating Abstractive Summaries from Meeting Transcripts (SB, PM, KS), pp. 51–60.
HTHT-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.
PODSPODS-2015-GottlobPS #dependence
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
VLDBVLDB-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.
ICPCICPC-2015-HauptmannJW #automation #generative #refactoring #testing
Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPCICPC-2015-WhiteVJBP #android #debugging #generative
Generating reproducible and replayable bug reports from Android application crashes (MW, MLV, PJ, CBC, DP), pp. 48–59.
ICSMEICSME-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.
MSRMSR-2015-KarakoidasMLGS #ecosystem #generative #java
Generating the Blueprints of the Java Ecosystem (VK, DM, PL, GG, DS), pp. 510–513.
MSRMSR-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.
SANERSANER-2015-MoserPFW #documentation #generative #named
RbG: A documentation generator for scientific and engineering software (MM, JP, GF, MW), pp. 464–468.
SANERSANER-2015-WongLT #automation #generative #mining #named #source code
CloCom: Mining existing source code for automatic comment generation (EW, TL, LT), pp. 380–389.
CIAACIAA-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.
CIAACIAA-2015-HeamJ15a #automaton #generative #random #realtime
Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata (PCH, JLJ), pp. 153–164.
DLTDLT-2015-KlimannPS #automaton #infinity
A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group (IK, MP, DS), pp. 313–325.
ICALPICALP-v2-2015-Boreale #analysis #approximate #generative #probability
Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (MB), pp. 82–94.
LATALATA-2015-GodinKP #automaton #on the
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata (TG, IK, MP), pp. 328–339.
FMFM-2015-DurandS #formal method #framework #generative #named
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FMFM-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.
SEFMSEFM-2015-KnapikNP #generative #order
Generating None-Plans in Order to Find Plans (MK, AN, WP), pp. 310–324.
SEFMSEFM-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.
HaskellHaskell-2015-McDonellCGN #code generation #runtime #type safety
Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.
ICFPICFP-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.
CHICHI-2015-JangHSL #comparative #generative
Generation Like: Comparative Characteristics in Instagram (JYJ, KH, PCS, DL), pp. 4039–4042.
CHICHI-2015-ORourkeAGP #automation #framework #generative #interactive
A Framework for Automatically Generating Interactive Instructional Scaffolding (EO, EA, SG, ZP), pp. 1545–1554.
CHICHI-2015-Otterbacher #bias #crowdsourcing #metadata
Crowdsourcing Stereotypes: Linguistic Bias in Metadata Generated via GWAP (JO), pp. 1955–1964.
CHICHI-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.
CHICHI-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.
CSCWCSCW-2015-KobayashiAIST #multi
Motivating Multi-Generational Crowd Workers in Social-Purpose Work (MK, SA, TI, SS, HT), pp. 1813–1824.
CSCWCSCW-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.
CSCWCSCW-2015-VenerandiQCQS
Measuring Urban Deprivation from User Generated Content (AV, GQ, LC, DQ, DST), pp. 254–264.
HCIDHM-EH-2015-BordegoniCCC #design #experience #generative
Body Tracking as a Generative Tool for Experience Design (MB, SC, GC, UC), pp. 122–133.
HCIDHM-HM-2015-OkaTGOO #process #research
Researching Sounds Generated During the Second Lining Pounding Process (YO, YT, AG, KO, KO), pp. 154–164.
HCIDUXU-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.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-IKC-2015-Iwata #difference #learning
Method to Generate an Operation Learning Support System by Shortcut Key Differences in Similar Software (HI), pp. 332–340.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-IKD-2015-ImajiF #generative #summary #visual notation
Generating Summary Videos Based on Visual and Sound Information from Movies (YI, MF), pp. 190–203.
HCIHIMI-IKD-2015-WhiteFK #generative #interface
Generation of Infotips from Interface Labels (EW, SF, FK), pp. 226–234.
HCILCT-2015-Ai #automation #detection #fault #feedback #generative
Automatic Pronunciation Error Detection and Feedback Generation for CALL Applications (RA), pp. 175–186.
HCILCT-2015-TamuraTHN #generative #learning #wiki
Generating Quizzes for History Learning Based on Wikipedia Articles (YT, YT, YH, YIN), pp. 337–346.
CAiSECAiSE-2015-MrasekMB #automation #declarative #generative #modelling #process #specification
Automatic Generation of Optimized Process Models from Declarative Specifications (RM, JAM, KB), pp. 382–397.
ICEISICEIS-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.
ICEISICEIS-v3-2015-IatskiuGC #automation #generative
Automatic Generation of LIBRAS Signs by Graphic Symbols of SignWriting (CEAI, LSG, RdPC), pp. 71–78.
ECIRECIR-2015-BuitinckATR #detection #multi
Multi-emotion Detection in User-Generated Reviews (LB, JvA, ET, MdR), pp. 43–48.
ECIRECIR-2015-KingI #clustering #generative #music
Generating Music Playlists with Hierarchical Clustering and Q-Learning (JK, VI), pp. 315–326.
ICMLICML-2015-BachmanP #collaboration #generative #network #probability
Variational Generative Stochastic Networks with Collaborative Shaping (PB, DP), pp. 1964–1972.
ICMLICML-2015-GregorDGRW #generative #image #named #network
DRAW: A Recurrent Neural Network For Image Generation (KG, ID, AG, DJR, DW), pp. 1462–1471.
ICMLICML-2015-LiSZ #generative #network
Generative Moment Matching Networks (YL, KS, RSZ), pp. 1718–1727.
ICMLICML-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.
ICMLICML-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.
KDDKDD-2015-AlthoffDMADZ #generative #knowledge base #named #timeline
TimeMachine: Timeline Generation for Knowledge-Base Entities (TA, XLD, KM, SA, VD, WZ), pp. 19–28.
KDDKDD-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.
RecSysRecSys-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.
RecSysRecSys-2015-JannachLK #continuation #generative #music
Beyond “Hitting the Hits”: Generating Coherent Music Playlist Continuations with the Right Tracks (DJ, LL, IK), pp. 187–194.
RecSysRecSys-2015-Vall #automation #generative #music
Listener-Inspired Automated Music Playlist Generation (AV), pp. 387–390.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2015-LinYX #automation #detection #generative #parametricity #testing
Automatic Detection of Parameter Shielding for Test Case Generation (JL, JY, JX), pp. 571–574.
SEKESEKE-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.
SEKESEKE-2015-SongHJC #android #generative #testing
Generating various contexts from permissions for testing Android applications (KS, ARH, SJ, SDC), pp. 87–92.
SIGIRSIGIR-2015-GuoL #automation #generative #graph #music #recommendation
Automatic Feature Generation on Heterogeneous Graph for Music Recommendation (CG, XL), pp. 807–810.
SIGIRSIGIR-2015-WangSLE #difference #generative #timeline #twitter
Assessor Differences and User Preferences in Tweet Timeline Generation (YW, GS, JL, ME), pp. 615–624.
MODELSMoDELS-J-2011-BlouinCBB15 #generative #modelling #named
Kompren: modeling and generating model slicers (AB, BC, BB, OB), pp. 321–337.
ICMTICMT-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.
ECMFAECMFA-2015-BousseMCB #approach #generative #metamodelling
A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
MoDELSMoDELS-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.
SPLCSPLC-2015-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), pp. 388–389.
SPLCSPLC-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.
PADLPADL-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.
PPDPPPDP-2015-AngelisFPP #generative #semantics #verification
Semantics-based generation of verification conditions by program specialization (EDA, FF, AP, MP), pp. 91–102.
SASSAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
ASEASE-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.
ASEASE-2015-ChoudharyGO #android #automation #generative
Automated Test Input Generation for Android: Are We There Yet? (E) (SRC, AG, AO), pp. 429–440.
ASEASE-2015-Fard0W #generative #javascript #testing
Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-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.
ASEASE-2015-WolflSAKKW #case study #experience #generative
Generating Qualifiable Avionics Software: An Experience Report (E) (AW, NS, SA, HK, JK, GWU), pp. 726–736.
ASEASE-2015-ZhangHC #automation #generative
Automatically Generating Test Templates from Test Names (N) (BZ, EH, JC), pp. 506–511.
ESEC-FSEESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
ESEC-FSEESEC-FSE-2015-ArcuriFG #automation #generative #network #testing
Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSEESEC-FSE-2015-Jain #automation #generative #programming language
Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSEESEC-FSE-2015-Prasetya #generative #java #named #query #testing
T3i: a tool for generating and querying test suites for Java (ISWBP), pp. 950–953.
ESEC-FSEESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing
Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSEESEC-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-FSEESEC-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.
GTTSEGTTSE-2015-SmaragdakisBF #generative
Structured Program Generation Techniques (YS, AB, GF), pp. 154–178.
ICSEICSE-v1-2015-DeweyNH #automation #data type #generative
Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ICSEICSE-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.
ICSEICSE-v1-2015-KusanoCW #generative #invariant #parallel #source code #thread
Dynamic Generation of Likely Invariants for Multithreaded Programs (MK, AC, CW), pp. 835–846.
ICSEICSE-v2-2015-McBurney #automation #documentation #generative #source code #summary
Automatic Documentation Generation via Source Code Summarization (PWM), pp. 903–906.
ICSEICSE-v2-2015-Ouriques #modelling #testing
Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches (JFSO), pp. 879–882.
ICSEICSE-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.
ICSEICSE-v2-2015-Thompson #development #generative #towards
Towards Generation of Software Development Tasks (CAT), pp. 915–918.
ICSEICSE-v2-2015-VasquezCAP #automation #commit #generative #named
ChangeScribe: A Tool for Automatically Generating Commit Messages (MLV, LFCC, JA, DP), pp. 709–712.
SACSAC-2015-BispoRC #c #generative #matlab
C and OpenCL generation from MATLAB (JB, LR, JMPC), pp. 1315–1320.
SACSAC-2015-BolockA #automation #constraints #generative #towards #using
Towards automatic poetry generation using constraint handling rules (AEB, SA), pp. 1868–1873.
SACSAC-2015-BrideJM #approximate #generative #testing
Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SACSAC-2015-DuarteBGCT #behaviour #generative #towards
Towards context-aware behaviour generation (PAdSD, FMB, FAdAG, WVdC, FAMT), pp. 596–598.
SACSAC-2015-Kerschbaum #generative #outsourcing
Oblivious outsourcing of garbled circuit generation (FK), pp. 2134–2140.
SACSAC-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.
SACSAC-2015-Morelli #automation #generative #modelling
Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SACSAC-2015-RychnovskyH #generative #query #xml #xpath
Generating XML data for XPath queries (DR, IH), pp. 724–731.
SACSAC-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.
GPCEGPCE-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.
GPCEGPCE-2015-NarasimhanDTMG #experience
The next-generation in-stadium experience (PN, UD, JT, NDM, RG), pp. 1–10.
GPCEGPCE-2015-ReyndersDP #api #bound #generative
Generating safe boundary APIs between typed EDSLs and their environments (BR, DD, FP), pp. 31–34.
GPCEGPCE-2015-RingertRW #behaviour #code generation
Composing code generators for C&C ADLs with Application-specific behavior languages (JOR, BR, AW), pp. 113–116.
GPCEGPCE-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.
GPCEGPCE-2015-SelgradLKSL #generative #lightweight
Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
CASECASE-2015-ArdakaniORJ #generative #predict #realtime #using
Real-time trajectory generation using model predictive control (MMGA, BO, AR, RJ), pp. 942–948.
CASECASE-2015-GleesonBBCL #automation #code generation #optimisation
Optimizing robot trajectories for automatic robot code generation (DG, SB, RB, JSC, BL), pp. 495–500.
CASECASE-2015-HuangJG #distributed #generative #multi #optimisation
Multi-timescale optimization between distributed wind generators and electric vehicles in microgrid (QH, QSJ, XG), pp. 671–676.
CASECASE-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.
CASECASE-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.
CCCC-2015-BourkeCPPP #code generation #hybrid
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
CCCC-2015-Buchwald #generative #named #optimisation
Optgen: A Generator for Local Optimizations (SB), pp. 171–189.
CCCC-2015-NgCY #code generation #protocol
Protocols by Default — Safe MPI Code Generation Based on Session Types (NN, JGdFC, NY), pp. 212–232.
CGOCGO-2015-HasabnisQS #architecture #code generation #correctness #specification
Checking correctness of code generator architecture specifications (NH, RQ, RS), pp. 167–178.
CGOCGO-2015-HawkinsDBZ #optimisation
Optimizing binary translation of dynamically generated code (BH, BD, DB, QZ), pp. 68–78.
CGOCGO-2015-McAfeeO #framework #generative #learning #multi #named
EMEURO: a framework for generating multi-purpose accelerators via deep learning (LCM, KO), pp. 125–135.
DACDAC-2015-LiuSZLQ #generative #statistics
A statistical methodology for noise sensor placement and full-chip voltage map generation (XL, SS, PZ, XL, HQ), p. 6.
DACDAC-2015-Pomeranz #generative #testing
Generation of close-to-functional broadside tests with equal primary input vectors (IP), p. 6.
DACDAC-2015-RozicYDV #generative #performance #random
Highly efficient entropy extraction for true random number generators on FPGAs (VR, BY, WD, IV), p. 6.
DACDAC-2015-ShreejithF #embedded #generative #network #security
Security aware network controllers for next generation automotive embedded systems (SS, SAF), p. 6.
DATEDATE-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.
DATEDATE-2015-DoustiPP #generative #modelling
Accurate electrothermal modeling of thermoelectric generators (MJD, AP, MP), pp. 1603–1606.
DATEDATE-2015-FuWH #code generation
Improving SIMD code generation in QEMU (SYF, JJW, WCH), pp. 1233–1236.
DATEDATE-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.
DATEDATE-2015-NiemannHGW #formal method #generative #modelling
Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATEDATE-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.
DATEDATE-2015-StoppeWD #automation #design #locality
Automated feature localization for dynamically generated SystemC designs (JS, RW, RD), pp. 277–280.
DATEDATE-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.
HPDCHPDC-2015-SuWA #data analysis #generative #performance
In-Situ Bitmaps Generation and Efficient Data Analysis based on Bitmaps (YS, YW, GA), pp. 61–72.
PDPPDP-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.
PDPPDP-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.
PPoPPPPoPP-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.
PPoPPPPoPP-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.
ESOPESOP-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.
FASEFASE-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.
STOCSTOC-2015-KothariM #generative #pseudo
Almost Optimal Pseudorandom Generators for Spherical Caps: Extended Abstract (PKK, RM), pp. 247–256.
TACASTACAS-2015-ChakrabortyFMSV #generative #on the #parallel #satisfiability #scalability
On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
TACASTACAS-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.
CADECADE-2015-EchenimPT #equation #generative #logic #quantifier
Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
CAVCAV-2015-ChenHWZ #generative #invariant #polynomial
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
ICLPICLP-2015-Tarau #generative #on the
On Type-directed Generation of λ Terms (PT), pp. 60–72.
ICSTICST-2015-0001YPGS #analysis #generative #testing #using
Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
ICSTICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing
Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
ICSTICST-2015-JensenTSC #generative #testing
Test Generation from Business Rules (SHJ, ST, SS, SC), pp. 1–10.
ICSTICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing
JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICSTICST-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.
ICSTICST-2015-PouldingF #generative #testing
Re-Using Generators of Complex Test Data (SMP, RF), pp. 1–10.
ICSTICST-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.
ISSTAISSTA-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.
ISSTAISSTA-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.
ISSTAISSTA-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.
ISSTAISSTA-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.
ISSTAISSTA-2015-YatohSIH #generative #random testing #testing
Feedback-controlled random test generation (KY, KS, FI, SH), pp. 316–326.
ISSTAISSTA-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.
TAPTAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
TAPTAP-2015-AthanasiouLS #concurrent #generative #testing #using
Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
TAPTAP-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.
TAPTAP-2015-GenestierGP #array #deduction #generative #verification
Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.
TAPTAP-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.
CBSECBSE-2014-BenedittoW #configuration management #runtime #using
Using a model to generate reconfiguration plans at runtime (MEMDB, CMLW), pp. 65–74.
ECSAECSA-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.
ECSAECSA-2014-KochHD #generative #requirements #specification
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
DocEngDocEng-2014-HughesBBA #documentation #generative #summary
Generating summary documents for a variable-quality PDF document collection (JH, DFB, SRB, CEA), pp. 49–52.
DocEngDocEng-2014-PanLSTX #flexibility #library #named
FlexiFont: a flexible system to generate personal font libraries (WP, ZL, RS, YT, JX), pp. 17–20.
HTHT-2014-Abdel-HafezXJ #generative #rating
A rating aggregation method for generating product reputations (AAH, YX, AJ), pp. 291–293.
PODSPODS-2014-BenediktCT #generative #low cost #proving
Generating low-cost plans from proofs (MB, BtC, ET), pp. 200–211.
SIGMODSIGMOD-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.
VLDBVLDB-2014-0002LW #elicitation #generative
Generating Top-k Packages via Preference Elicitation (MX, LVSL, PTW), pp. 1941–1952.
VLDBVLDB-2014-MortonBGM #challenge
Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems (KM, MB, DG, JDM), pp. 453–456.
VLDBVLDB-2014-NagelBV #code generation #performance #query
Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
VLDBVLDB-2014-VartakMPP #automation #generative #named #query #visualisation
SEEDB: Automatically Generating Query Visualizations (MV, SM, AGP, NP), pp. 1581–1584.
ITiCSEITiCSE-2014-MornarGM #algorithm #automation #generative #pseudo #visualisation
System for automatic generation of algorithm visualizations based on pseudocode interpretation (JM, AG, SM), pp. 27–32.
ICPCICPC-2014-McBurneyM #automation #documentation #generative #source code #summary
Automatic documentation generation via source code summarization of method context (PWM, CM), pp. 279–290.
ICSMEICSME-2014-GuanaGS #named #towards
ChainTracker: Towards a Comprehensive Tool for Building Code-Generation Environments (VG, KG, ES), pp. 613–616.
ICSMEICSME-2014-VanderveenJT #generative #web #web service
A Web Service Test Generator (PV, MJ, AFT), pp. 516–520.
MSRMSR-2014-LazarRS14a #dataset #debugging #generative
Generating duplicate bug datasets (AL, SR, BS), pp. 392–395.
SCAMSCAM-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.
SCAMSCAM-2014-PetiotBJKS #c #generative #source code #testing
Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
ICALPICALP-v1-2014-FouqueT #generative #random
Close to Uniform Prime Number Generation with Fewer Random Bits (PAF, MT), pp. 991–1002.
IFMIFM-2014-FurstHBDSM #code generation
Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
SEFMSEFM-2014-Leroy #code generation #proving #tool support #verification
Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.
SFMSFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (, BB, CD, NJ, JPK, RW), pp. 65–121.
SFMSFM-2014-AlbertAGR #concept #concurrent #execution #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.
FLOPSFLOPS-2014-ClaessenDP #generative #random
Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.
LISPILC-2014-KeishiS #generative #lalr #named #parsing
PaGe: Portable LALR(1) Parser Generator (SK, AS), p. 8.
LISPILC-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.
GRAPHITEGRAPHITE-2014-KantP #game studies #generative
Generating and Solving Symbolic Parity Games (GK, JvdP), pp. 2–14.
GT-VMTGT-VMT-2014-DeckwerthV #constraints #generative #graph transformation #higher-order
Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).
ICGTICGT-2014-DeckwerthV #constraints #generative #graph
Attribute Handling for Generating Preconditions from Graph Constraints (FD, GV), pp. 81–96.
ICGTICGT-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.
ICGTICGT-2014-JansenN #generative #graph #pointer #source code #summary
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs (CJ, TN), pp. 49–64.
ICGTICGT-2014-KreowskiKLL #evaluation #generative #graph transformation #synthesis
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (HJK, SK, AL, ML), pp. 237–252.
CHICHI-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.
CHICHI-2014-SasWDFZ #design #generative #research
Generating implications for design through design research (CS, SW, SD, JF, JZ), pp. 1971–1980.
CHICHI-2014-SavvaCMH #automation #generative #keyword #named
TransPhoner: automated mnemonic keyword generation (MS, AXC, CDM, PH), pp. 3725–3734.
CHICHI-2014-SetlurM #automation #encoding #generative #semantics #visualisation
Automatic generation of semantic icon encodings for visualizations (VS, JDM), pp. 541–550.
CHICHI-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.
CHICHI-2014-YuKK14a #distributed #generative #idea
Distributed analogical idea generation: inventing with crowds (LY, AK, REK), pp. 1245–1254.
CSCWCSCW-2014-Meier #generative
Next generation humanitarian computing (PM), p. 1573.
CSCWCSCW-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.
HCIDHM-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.
HCIDUXU-DP-2014-Gatsou #generative
From Inexperienced Users to Co-creators: An Exploration of a Generative Method (CG), pp. 244–252.
HCIDUXU-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.
HCIHCI-AIMT-2014-NakaI #communication #effectiveness #generative #gesture
Proposal of the Effective Method of Generating Characteristic Gestures in Nonverbal Communication (TN, TI), pp. 102–112.
HCIHCI-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.
HCIHCI-TMT-2014-LuzSN #generative #human-computer #ontology #workflow
Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
HCIHCI-TMT-2014-MotylF #comparison #design #generative #idea
Comparison of Creativity Enhancement and Idea Generation Methods in Engineering Design Training (BM, SF), pp. 242–250.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-AS-2014-AsaiY #documentation #generative
EA Snippets: Generating Summarized View of Handwritten Documents Based on Emphasis Annotations (HA, HY), pp. 20–31.
HCIHIMI-DE-2014-HoriguchiASN #dependence #generative
Menu Hierarchy Generation Based on Syntactic Dependency Structures in Item Descriptions (YH, SA, TS, HN), pp. 157–166.
HCIHIMI-DE-2014-HuangL #design #generative
Generative Product Design Inspired by Natural Information (YH, JYL), pp. 583–593.
HCIHIMI-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.
CAiSECAiSE-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.
CAiSECAiSE-2014-RizziG #generative #named #parametricity
CubeLoad: A Parametric Generator of Realistic OLAP Workloads (SR, EG), pp. 610–624.
ICEISICEIS-v1-2014-HenriquesA #database #generative #modelling #sequence
Generative Modeling of Itemset Sequences Derived from Real Databases (RH, CA), pp. 264–272.
ICEISICEIS-v1-2014-HuangZZ #clustering #generative #multi
Multi-domain Schema Clustering and Hierarchical Mediated Schema Generation (QH, CZ, JZ), pp. 111–118.
ICEISICEIS-v2-2014-BassoPFR #information management #prototype #web
Assisted Tasks to Generate Pre-prototypes for Web Information Systems (FPB, RMP, RZF, FRF), pp. 14–25.
ICEISICEIS-v2-2014-KublerF #generative #information management #lifecycle #named #question
CaPLIM: The Next Generation of Product Lifecycle Information Management? (SK, KF), pp. 539–547.
ICEISICEIS-v2-2014-MahmoudBAG #approach #learning
A New Approach Based on Learning Services to Generate Appropriate Learning Paths (CBM, FB, MHA, FG), pp. 643–646.
ICEISICEIS-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.
CIKMCIKM-2014-BudaCMK #database #named #performance
VFDS: An Application to Generate Fast Sample Databases (TSB, TC, JM, MK), pp. 2048–2050.
CIKMCIKM-2014-MingYC #approach #re-engineering #summary #topic
A Dynamic Reconstruction Approach to Topic Summarization of User-Generated-Content (ZM, JY, TSC), pp. 311–320.
CIKMCIKM-2014-TkachenkoL #generative #modelling
Generative Modeling of Entity Comparisons in Text (MT, HWL), pp. 859–868.
CIKMCIKM-2014-YeLQPM #generative
A Generative Model for Generating Relevance Labels from Human Judgments and Click-Logs (XY, JL, ZQ, BP, DM), pp. 1907–1910.
CIKMCIKM-2014-ZhangXTW0 #clustering #framework #generative #named #platform #wiki
WiiCluster: a Platform for Wikipedia Infobox Generation (KZ, YX, HT, HW, WW), pp. 2033–2035.
ECIRECIR-2014-ChhabraB #generative #summary #towards
Towards Generating Text Summaries for Entity Chains (SC, SB), pp. 136–147.
ECIRECIR-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.
ICMLICML-c1-2014-ZhouT #generative #network #predict #probability
Deep Supervised and Convolutional Generative Stochastic Network for Protein Secondary Structure Prediction (JZ, OGT), pp. 745–753.
ICMLICML-c2-2014-BengioLAY #generative #network #probability
Deep Generative Stochastic Networks Trainable by Backprop (YB, EL, GA, JY), pp. 226–234.
ICMLICML-c2-2014-MaddisonT #generative #modelling #source code
Structured Generative Models of Natural Source Code (CJM, DT), pp. 649–657.
ICMLICML-c2-2014-RezendeMW #approximate #generative #modelling #probability
Stochastic Backpropagation and Approximate Inference in Deep Generative Models (DJR, SM, DW), pp. 1278–1286.
ICPRICPR-2014-BanerjeeCM #automation #classification #game studies #generative #wiki
Playscript Classification and Automatic Wikipedia Play Articles Generation (SB, CC, PM), pp. 3630–3635.
ICPRICPR-2014-RamaiahPG #generative
A Sigma-Lognormal Model for Handwritten Text CAPTCHA Generation (CR, RP, VG), pp. 250–255.
ICPRICPR-2014-RiabchenkoKC #generative #learning #modelling
Learning Generative Models of Object Parts from a Few Positive Examples (ER, JKK, KC), pp. 2287–2292.
ICPRICPR-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.
ICPRICPR-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.
KDDKDD-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.
KDDKDD-2014-YuanCL #generative #named #recommendation
COM: a generative model for group recommendation (QY, GC, CYL), pp. 163–172.
KDIRKDIR-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.
KEODKEOD-2014-HarzallahBGK #automation #experience #ontology #problem #quality
Ontology Quality Problems — An Experience with Automatically Generated Ontologies (MH, GB, TG, PK), pp. 120–129.
KMISKMIS-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.
MLDMMLDM-2014-PirasG #classification #generative #image #roadmap
Open Issues on Codebook Generation in Image Classification Tasks (LP, GG), pp. 328–342.
RecSysRecSys-2014-Liu0L #recommendation
Recommending user generated item lists (YL, MX, LVSL), pp. 185–192.
SEKESEKE-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.
SEKESEKE-2014-LiLWC #automation #data access #generative #policy #testing
Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
SEKESEKE-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.
SEKESEKE-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.
SKYSKY-2014-Ben-Av #algebra #generative #multi #ontology #using
Ontology Hierarchy Self Generation using Algebraic Multi-Grid (AMG) (RBA), pp. 79–85.
SKYSKY-2014-ExmanI #generative #named #ontology
Apogee: Application Ontology Generation from Domain Ontologies (IE, DI), pp. 31–42.
AMTAMT-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.
ECMFAECMFA-2014-SchwichtenbergGHE #modelling #normalisation #qvt
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations (SS, CG, ZH, GE), pp. 180–195.
ICMTICMT-2014-GonzalezC #analysis #constraints #generative #model transformation #testing
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis (CAG, JC), pp. 25–41.
ICMTICMT-2014-GuanaS #analysis
ChainTracker, a Model-Transformation Trace Analysis Tool for Code-Generation Environments (VG, ES), pp. 146–153.
ICMTICMT-2014-JilaniIK #approach #generative #model transformation #testing
A Search Based Test Data Generation Approach for Model Transformations (AAJ, MZI, MUK), pp. 17–24.
MODELSMoDELS-2014-NataleCSS #adaptation #approach #communication #component #generative
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink (MDN, FC, AS, ALSV), pp. 353–369.
SPLCSPLC-2014-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), p. 358.
SPLCSPLC-2014-SimidchievaO #composition #generative #product line #verification
Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
OOPSLAOOPSLA-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.
OOPSLAOOPSLA-2014-RosnerBPKAFK #bound #generative #hybrid #invariant
Bounded exhaustive test input generation from hybrid invariants (NR, VSB, PP, SAK, NA, MFF, SK), pp. 655–674.
OOPSLAOOPSLA-2014-SteeleLF #generative #performance #pseudo
Fast splittable pseudorandom number generators (GLSJ, DL, CHF), pp. 453–472.
HILTHILT-2014-HuguesG #ada #modelling
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models (JH, CG), pp. 39–46.
LOPSTRLOPSTR-2014-Vidal #execution #generative #prolog #testing
Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
PADLPADL-2014-BrackerG #domain-specific language #generative #javascript #monad #named
Sunroof: A Monadic DSL for Generating JavaScript (JB, AG), pp. 65–80.
PEPMPEPM-2014-KameyamaKS #code generation #combinator
Combinators for impure yet hygienic code generation (YK, OK, CcS), pp. 3–14.
PEPMPEPM-2014-MartinsSFW #attribute grammar #bidirectional #generative #grammarware
Generating attribute grammar-based bidirectional transformations from rewrite rules (PM, JS, JPF, EVW), pp. 63–70.
PLDIPLDI-2014-DeVitoRFAH #generative #runtime #using
First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.
POPLPOPL-2014-LongSKR #fault #generative #integer
Sound input filter generation for integer overflow errors (FL, SSD, DK, MCR), pp. 439–452.
ASEASE-2014-ArcuriFG #automation #dependence #generative #testing
Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASEASE-2014-CamposAFA #automation #generative #integration #testing
Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASEASE-2014-DingesA #execution #generative #using
Targeted test input generation using symbolic-concrete backward execution (PD, GAA), pp. 31–36.
ASEASE-2014-FardMM #automation #generative #testing #web
Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASEASE-2014-HollingPG #generative #lightweight #named #testing
8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
ASEASE-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.
ASEASE-2014-TurenneKGR #generative
A tool chain for generating the description files of highly available software (MT, AK, AG, SR), pp. 867–870.
FSEFSE-2014-GulwaniRZ #feedback #generative #performance #problem #programming
Feedback generation for performance problems in introductory programming assignments (SG, IR, FZ), pp. 41–51.
FSEFSE-2014-HavrikovHGZ #generative #named #testing #xml
XMLMate: evolutionary XML test generation (NH, MH, JPG, AZ), pp. 719–722.
FSEFSE-2014-MorenoBPOMC #automation #generative
Automatic generation of release notes (LM, GB, MDP, RO, AM, GC), pp. 484–495.
FSEFSE-2014-TaoKKX #automation #debugging
Automatically generated patches as debugging aids: a human study (YT, JK, SK, CX), pp. 64–74.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2014-NguyenKWF #dynamic analysis #invariant #using
Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
SACSAC-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.
SACSAC-2014-CaniGSST #automation #code generation #integration #towards
Towards automated malware creation: code generation and code integration (AC, MG, ES, GS, APT), pp. 157–160.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2014-VidalCNM #approach #automation #generative
A semi-automatic approach for generating customized R2RML mappings (VMPV, MAC, LETN, JMM), pp. 316–322.
SLESLE-2014-HartelHL #generative #testing #xtext
Test-Data Generation for Xtext — Tool Paper (JH, LH, RL), pp. 342–351.
SLESLE-2014-MeyersDLSVW #framework #generative #named
ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
CASECASE-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.
CASECASE-2014-HungLHTC #development
Development of a private cloud-based new-generation virtual metrology system (MHH, YCL, HCH, CCT, FTC), pp. 910–915.
CASECASE-2014-Murakami #approach #generative #multi #problem
A column generation approach for the multi-vehicle covering tour problem (KM), pp. 1063–1068.
CASECASE-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.
CASECASE-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.
CCCC-2014-BarenghiCMPP #generative
The PAPAGENO Parallel-Parser Generator (AB, SCR, DM, FP, MP), pp. 192–196.
CCCC-2014-CharlesCLEG #code generation
deGoal a Tool to Embed Dynamic Code Generators into Applications (HPC, DC, VL, FAE, RG), pp. 107–112.
CCCC-2014-Dinechin #code generation #using
Using the SSA-Form in a Code Generator (BDdD), pp. 1–17.
CGOCGO-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.
CGOCGO-2014-VenkatSHS #code generation
Non-affine Extensions to Polyhedral Code Generation (AV, MS, MWH, MMS), p. 185.
DACDAC-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.
DACDAC-2014-ChakrabortyMV #generative #satisfiability #scalability
Balancing Scalability and Uniformity in SAT Witness Generator (SC, KSM, MYV), p. 6.
DACDAC-2014-NaeemiCKPIR #generative #scalability
BEOL Scaling Limits and Next Generation Technology Prospects (AN, AC, VK, CP, RMI, SR), p. 6.
DACDAC-2014-RahmanXFZST #generative #independence #named #random
TI-TRNG: Technology Independent True Random Number Generator (MTR, KX, DF, XZ, JS, MT), p. 6.
DACDAC-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.
DACDAC-2014-XiangQZLYSL #generative
Row Based Dual-VDD Island Generation and Placement (HX, HQ, CZ, YSL, FY, AS, PFL), p. 6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-BhargavaM #encryption #generative #performance #reliability
An efficient reliable PUF-based cryptographic key generator in 65nm CMOS (MB, KM), pp. 1–6.
DATEDATE-2014-Fuller #challenge #design #embedded #generative
System design challenges for next generation wireless and embedded systems (DF), p. 1.
DATEDATE-2014-KimH #automation #generative #parallel
Automatic generation of custom SIMD instructions for Superword Level Parallelism (TK, YH), pp. 1–6.
DATEDATE-2014-Matsunaga #algorithm #generative #parallel #synthesis
Synthesis algorithm of parallel index generation units (YM), pp. 1–6.
DATEDATE-2014-MembarthRHT #android #architecture #code generation #embedded
Code generation for embedded heterogeneous architectures on android (RM, OR, FH, JT), pp. 1–6.
DATEDATE-2014-Pomeranz #generative #testing
Test and non-test cubes for diagnostic test generation based on merging of test cubes (IP), pp. 1–4.
DATEDATE-2014-RiefertCSBRB #approach #automation #effectiveness #fault #functional #generative #testing
An effective approach to automatic functional processor test generation for small-delay faults (AR, LMC, MS, PB, MSR, BB), pp. 1–6.
DATEDATE-2014-SabrySARM #generative
Integrated microfluidic power generation and cooling for bright silicon MPSoCs (MMS, AS, DA, PR, BM), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
HPCAHPCA-2014-TsengT #named #thread
CDTT: Compiler-generated data-triggered threads (HWT, DMT), pp. 650–661.
HPDCHPDC-2014-WangZCLR #generative
Next generation job management systems for extreme-scale ensemble computing (KW, XZ, HC, ML, IR), pp. 111–114.
LCTESLCTES-2014-SpinkWFT #code generation #performance
Efficient code generation in a region-based dynamic binary translator (TS, HW, BF, NPT), pp. 3–12.
OSDIOSDI-2014-BangertZ #generative #named #parsing
Nail: A Practical Tool for Parsing and Generating Data Formats (JB, NZ), pp. 615–628.
PDPPDP-2014-AcostaA #analysis #performance #source code
Performance Analysis of Paralldroid Generated Programs (AA, FA), pp. 60–67.
ESOPESOP-2014-BrainDKS #generative #proving #source code
Model and Proof Generation for Heap-Manipulating Programs (MB, CD, DK, PS), pp. 432–452.
STOCSTOC-2014-ArtemenkoS #generative #pseudo
Pseudorandom generators with optimal seed length for non-boolean poly-size circuits (SA, RS), pp. 99–108.
TACASTACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACASTACAS-2014-EssenG #generative
Analyzing the Next Generation Airborne Collision Avoidance System (CvE, DG), pp. 620–635.
CAVCAV-2014-ChengHRS #automation #generative #named #source code
G4LTL-ST: Automatic Generation of PLC Programs (CHC, CHH, HR, SS), pp. 541–549.
CAVCAV-2014-Nadel #automation #generative
Bit-Vector Rewriting with Automatic Rule Generation (AN), pp. 663–679.
ICSTICST-2014-AydinAB #automation #generative #testing
Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICSTICST-2014-ZaeemPK #automation #generative #mobile #testing
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSSICTSS-2014-AbdelmoulaGA #automation #embedded #generative #named #testing
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems (MA, DG, MA), pp. 97–112.
ICTSSICTSS-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.
IJCARIJCAR-2014-EchenimPT #equation #logic
A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.
IJCARIJCAR-2014-PapacchiniS #generative #logic
Terminating Minimal Model Generation Procedures for Propositional Modal Logics (FP, RAS), pp. 381–395.
ISSTAISSTA-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.
ISSTAISSTA-2014-MarianiPRS #named #testing #web
Link: exploiting the web of data to generate test inputs (LM, MP, OR, MS), pp. 373–384.
ISSTAISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web
Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.
TAPTAP-2014-JannesariKSW #classification #generative #parallel #testing
Generating Classified Parallel Unit Tests (AJ, NK, JS, FW), pp. 117–133.
TAPTAP-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.
TAPTAP-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.
QoSAQoSA-2013-DuSHGV #generative #modelling #sequence
Generating service models by trace subsequence substitution (MD, JGS, CMH, JG, SV), pp. 123–132.
DocEngDocEng-2013-AzevedoSASN #authoring #automation #multi
Multimedia authoring based on templates and semi-automatic generated wizards (RGDAA, RCMS, ECA, LFGS, CdSSN), pp. 205–214.
DocEngDocEng-2013-TruranSGC #automation #generative #guidelines
Automatic generation of limited-depth hyper-documents from clinical guidelines (MT, JS, GG, MC), pp. 245–248.
HTHT-2013-KrestelS #generative #sentiment #topic
Generating contextualized sentiment lexica based on latent topics and user ratings (RK, SS), pp. 129–138.
HTHT-2013-LeginusDL #generative #graph
Graph based techniques for tag cloud generation (ML, PD, RL), pp. 148–157.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
ICDARICDAR-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.
JCDLJCDL-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.
JCDLJCDL-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.
VLDBVLDB-2013-HassanzadehKKKOP #data analysis #generative
Next Generation Data Analytics at IBM Research (OH, AK, BK, RK, , IP), pp. 1174–1175.
VLDBVLDB-2013-ShkapskyZZ #datalog #graph #query
Graph Queries in a Next-Generation Datalog System (AS, KZ, CZ), pp. 1258–1261.
ITiCSEITiCSE-2013-TrabelsiA #education #generative #network #using
Using network packet generators and snort rules for teaching denial of service attacks (ZT, LA), pp. 285–290.
ICPCICPC-2013-KamimuraM #generative #summary #testing #towards
Towards generating human-oriented summaries of unit test cases (MK, GCM), pp. 215–218.
ICPCICPC-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.
ICPCICPC-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.
SCAMSCAM-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.
CIAACIAA-2013-KisielewiczS #automaton #generative
Generating Small Automata and the Černý Conjecture (AK, MS), pp. 340–348.
ICALPICALP-v1-2013-BringmannF #generative #geometry #graph #performance #random
Exact and Efficient Generation of Geometric Random Variates and Random Graphs (KB, TF), pp. 267–278.
ICALPICALP-v1-2013-IshaiKLOPSZ #generative #pseudo #robust
Robust Pseudorandom Generators (YI, EK, XL, RO, MP, AS, DZ), pp. 576–588.
ICALPICALP-v2-2013-Woods #generative
Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials (KW), pp. 410–421.
SEFMSEFM-2013-Choi #constraints #generative #operating system #specification #testing
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems (YC), pp. 305–319.
SEFMSEFM-2013-CristiaRF #framework #generative #testing
{log} as a Test Case Generator for the Test Template Framework (MC, GR, CSF), pp. 229–243.
HaskellHaskell-2013-ClaessenP #encryption #generative #pseudo #using
Splittable pseudorandom number generators using cryptographic hashing (KC, MHP), pp. 47–58.
ICFPICFP-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.
IFLIFL-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-VMTGT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation
Test Case Generation Using Visual Contracts (OR, TAK, RH).
CHICHI-2013-AnthonyKF #people
Analyzing user-generated youtube videos to understand touchscreen use by people with motor impairments (LA, YK, LF), pp. 1223–1232.
CHICHI-2013-HullmanDA #automation #generative #named #visualisation
Contextifier: automatic generation of annotated stock visualizations (JH, ND, EA), pp. 2707–2716.
CHICHI-2013-KhaledNB #design #game studies #generative
Design metaphors for procedural content generation in games (RK, MJN, PB), pp. 1509–1518.
CHICHI-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.
CHICHI-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.
HCIDUXU-WM-2013-LinL13a #case study #design #generative
An Experimental Study for Applying Generative Design to Electronic Consumer Products (MHL, LCL), pp. 392–401.
HCIHCI-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.
HCIHCI-AMTE-2013-WendlerP #generative #requirements #user interface
Requirements for a Definition of Generative User Interface Patterns (SW, IP), pp. 510–520.
HCIHCI-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.
HCIHCI-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.
HCIHCI-IMT-2013-DharmaT #diagrams
Mapping Texture Phase Diagram of Artificial Haptic Stimuli Generated by Vibrotactile Actuators (AAGD, KT), pp. 578–586.
HCIHCI-IMT-2013-ShimizuNS #algorithm #generative #search-based #using
System of Generating Japanese Sound Symbolic Expressions Using Genetic Algorithm (YS, TN, MS), pp. 126–134.
HCIHCI-UC-2013-BergmannMSO #automation #case study #generative #layout #user study
Automatic Layout Generation for Digital Photo Albums: A User Study (FBB, IHM, MSS, JBSdO), pp. 117–126.
HCIHCI-UC-2013-KellenCF #diagrams #performance #probability #problem
Improving User Performance in Conditional Probability Problems with Computer-Generated Diagrams (VK, SSC, XF), pp. 183–192.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-D-2013-OkuboN #composition #generative
Proposal of Avatar Generating Method by Composition of the Portraits Made by Friends (MO, SN), pp. 515–523.
HCIHIMI-LCCB-2013-BarotH #implementation #interface #lifecycle
Lifecycle Support of Automotive Manufacturing Systems through a Next-Generation Operator Interface Implementation (VB, RH), pp. 277–286.
HCIHIMI-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.
HCIOCSC-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.
CAiSECAiSE-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.
CAiSECAiSE-2013-RamirezBVW #generative #multi #process
Generating Multi-objective Optimized Business Process Enactment Plans (AJR, IB, CDV, BW), pp. 99–115.
CAiSECAiSE-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.
ICEISICEIS-J-2013-VielMPT13a #generative #interactive #multi #self
Self-Service Classroom Capture Generating Interactive Multivideo Objects (CCV, ELM, MdGCP, CACT), pp. 438–456.
ICEISICEIS-v1-2013-PuyanaQ #automation #generative #named #summary
GReAT — A Model for the Automatic Generation of Text Summaries (CGP, APQ), pp. 280–288.
ICEISICEIS-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.
CIKMCIKM-2013-BordinoML
Penguins in sweaters, or serendipitous entity search on user-generated content (IB, YM, ML), pp. 109–118.
CIKMCIKM-2013-ChristenV #flexibility #generative
Flexible and extensible generation and corruption of personal data (PC, DV), pp. 1165–1168.
ECIRECIR-2013-ChattopadhyayaSS #distance #edit distance #generative #performance
A Fast Generative Spell Corrector Based on Edit Distance (IC, KS, KS), pp. 404–410.
ICMLICML-c1-2013-LiLSHD #generative #learning #using
Learning Hash Functions Using Column Generation (XL, GL, CS, AvdH, ARD), pp. 142–150.
ICMLICML-c3-2013-JunZSR #learning
Learning from Human-Generated Lists (KSJ, X(Z, BS, TTR), pp. 181–189.
ICMLICML-c3-2013-PeharzTP #generative #network
The Most Generative Maximum Margin Bayesian Networks (RP, ST, FP), pp. 235–243.
KDDKDD-2013-BaiJS #automation #generative #set
Exploiting user clicks for automatic seed set generation for entity matching (XB, FPJ, SHS), pp. 980–988.
KDDKDD-2013-WangZR #comprehension #evolution #generative #probability #research
Understanding evolution of research themes: a probabilistic generative model for citations (XW, CZ, DR), pp. 1115–1123.
KDIRKDIR-KMIS-2013-VickN #generative #perspective
Relations between Information Literacy and Knowledge Generation in Innovation Teams — A Four Dimensional Perspective (TEV, MSN), pp. 437–442.
KEODKEOD-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.
MLDMMLDM-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.
RecSysRecSys-2013-Dooms #generative #hybrid #personalisation #recommendation
Dynamic generation of personalized hybrid recommender systems (SD), pp. 443–446.
RecSysRecSys-2013-LiuAYB #generative #using
Generating supplemental content information using virtual profiles (HL, MSA, BY, AB), pp. 295–302.
RecSysRecSys-2013-ZhengI #effectiveness
Effectiveness of the data generated on different time in latent factor model (QZ, HHSI), pp. 327–330.
SEKESEKE-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.
SEKESEKE-2013-NajeraMPE #generative #modelling #ontology
Generating Ontologies through Organizational Modeling (KN, AM, AP, HE), pp. 42–47.
SEKESEKE-2013-PossompesDHT #feature model #generative #modelling
Model-Driven Generation of Context-Specific Feature Models (TP, CD, MH, CT), pp. 250–255.
SEKESEKE-2013-SilvaBLDP #automation #generative #semantics #web #web service
Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
SEKESEKE-2013-SouzaSPFF #case study #generative #using
Generation of Thematic Maps using WPS-Cartographer: An experimental study (FCMS, ACCdS, VP, EF, VRTF), pp. 500–503.
SEKESEKE-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.
SIGIRSIGIR-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.
SIGIRSIGIR-2013-Leveling #coordination #generative #query
Interpretation of coordinations, compound generation, and result fusion for query variants (JL), pp. 805–808.
SIGIRSIGIR-2013-ZhaoGYHL #generative #social #timeline
Timeline generation with social attention (WXZ, YG, RY, YH, XL), pp. 1061–1064.
SIGIRSIGIR-2013-ZhuMZC #multi #topic
Topic hierarchy construction for the organization of multi-source user generated contents (XZ, ZM, XZ, TSC), pp. 233–242.
SKYSKY-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.
SKYSKY-2013-YagelLE #generative #named
KoDEgen: A Knowledge Driven Engineering Code Generating Tool (RY, AL, IE), pp. 24–33.
ECMFAECMFA-2013-PatzinaPPM #generative #modelling #monitoring #runtime
Model-Based Generation of Run-Time Monitors for AUTOSAR (LP, SP, TP, PM), pp. 70–85.
ICMTICMT-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.
SPLCSPLC-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.
SPLCSPLC-2013-HenardPPKT #generative #multi #product line #testing
Multi-objective test generation for software product lines (CH, MP, GP, JK, YLT), pp. 62–71.
SPLCSPLC-2013-KruegerC #generative #product line
Second generation systems and software product line engineering (CWK, PCC), pp. 283–284.
ECOOPECOOP-2013-CoxCS #generative #graph #invariant #relational
QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
ECOOPECOOP-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.
OOPSLAOOPSLA-2013-DilligDLM #abduction #generative #induction #invariant
Inductive invariant generation via abductive inference (ID, TD, BL, KLM), pp. 443–456.
OOPSLAOOPSLA-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.
LOPSTRLOPSTR-2013-PoulsenM #composition #generative #semantics
Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.
PEPMPEPM-2013-AktemurKKS #challenge #generative #programming
Shonan challenge for generative programming: short position paper (BA, YK, OK, CcS), pp. 147–154.
PLDIPLDI-2013-KongVSFPS #code generation
When polyhedral transformations meet SIMD code generation (MK, RV, KS, FF, LNP, PS), pp. 127–138.
PLDIPLDI-2013-SinghGS #automation #feedback #generative #programming
Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
SASSAS-2013-FouilheMP #abstract domain #correctness #generative #performance
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
SASSAS-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.
RERE-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.
RERE-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.
RERE-2013-Terzakis #quality #requirements
The impact of requirements on software quality across three product generations (JT), pp. 284–289.
ASEASE-2013-CamposAFd #fault #generative #locality #testing
Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ASEASE-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.
ASEASE-2013-LiRSDC #data flow #generative #named #source code
SEDGE: Symbolic example data generation for dataflow programs (KL, CR, YS, YD, CC), pp. 235–245.
ASEASE-2013-MirshokraieMP #generative #javascript #named #testing
PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ASEASE-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.
ASEASE-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.
ASEASE-2013-WongYT #automation #generative #mining #named
AutoComment: Mining question and answer sites for automatic comment generation (EW, JY, LT), pp. 562–567.
ASEASE-2013-WuestSG #automation #generative #metamodelling #sketching
Semi-automatic generation of metamodels from model sketches (DW, NS, MG), pp. 664–669.
ASEASE-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-FSEESEC-FSE-2013-AlbertAGW #concurrent #generative #named #testing
aPET: a test case generation tool for concurrent objects (EA, PA, MGZ, PYHW), pp. 595–598.
ESEC-FSEESEC-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-FSEESEC-FSE-2013-MachiryTN #android #generative #named
Dynodroid: an input generation system for Android apps (AM, RT, MN), pp. 224–234.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2013-Guana #code generation #maintenance
Supporting maintenance tasks on transformational code generation environments (VG), pp. 1369–1372.
ICSEICSE-2013-KimNSK #automation #generative
Automatic patch generation learned from human-written patches (DK, JN, JS, SK), pp. 802–811.
ICSEICSE-2013-ThummalapentaLSSC #generative #testing #web
Guided test generation for web applications (ST, KVL, SS, NS, SC), pp. 162–171.
SACSAC-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.
SACSAC-2013-CiraciV #code generation #points-to
Exploiting points-to maps for de-/serialization code generation (SC, OV), pp. 1712–1719.
SACSAC-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.
LDTALDTA-J-2009-ScottJ #generative #gll
GLL parse-tree generation (ES, AJ), pp. 1828–1844.
GPCEGPCE-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.
GPCEGPCE-2013-DhunganaFH #domain model #generative #modelling
Generation of conjoint domain models for system-of-systems (DD, AAF, AH), pp. 159–168.
GPCEGPCE-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.
GPCEGPCE-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.
CASECASE-2013-CecilGCS #collaboration #framework #generative
A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
CASECASE-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.
CASECASE-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.
CASECASE-2013-RoyS #constraints #generative #process
Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CCCC-2013-MooreC #automation #generative #machine learning #policy #using
Automatic Generation of Program Affinity Policies Using Machine Learning (RWM, BRC), pp. 184–203.
CGOCGO-2013-KruijfS #analysis #code generation #evaluation #implementation
Idempotent code generation: Implementation, analysis, and evaluation (MdK, KS), p. 12.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2013-YeYSJX #generative
Post-placement voltage island generation for timing-speculative circuits (RY, FY, ZS, WBJ, QX), p. 6.
DATEDATE-2013-HillebrechtKEWB #generative
Accurate QBF-based test pattern generation in presence of unknown values (SH, MAK, DE, HJW, BB), pp. 436–441.
DATEDATE-2013-KoeberlKS #generative
Memristor PUFs: a new generation of memory-based physically unclonable functions (PK, ÜK, ARS), pp. 428–431.
HPCAHPCA-2013-LiZL #distributed #generative
Enabling distributed generation powered sustainable high-performance data center (CL, RZ, TL), pp. 35–46.
ISMMISMM-2013-WangNG #effectiveness #generative #memory management
Generating sound and effective memory debuggers (YW, IN, RG), pp. 51–62.
PLOSPLOS-2013-SunFBG #agile #automation #file system #generative #tool support
Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
SOSPSOSP-2013-CoburnBSGS #transaction
From ARIES to MARS: transaction support for next-generation, solid-state drives (JC, TB, MS, RG, SS), pp. 197–212.
FASEFASE-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.
FASEFASE-2013-YangPX #approach #automation #generative #mobile
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
CADECADE-2013-Sofronie-Stokkermans #generative #hybrid #parametricity #reasoning #verification
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid Systems (VSS), pp. 360–376.
CAVCAV-2013-AlmagorAK #automation #generative #quality #specification
Automatic Generation of Quality Specifications (SA, GA, OK), pp. 479–494.
CAVCAV-2013-ChakrabortyMV #generative #satisfiability #scalability
A Scalable and Nearly Uniform Generator of SAT Witnesses (SC, KSM, MYV), pp. 608–623.
CAVCAV-2013-DaiXZ #generative #programming
Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CAVCAV-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.
CAVCAV-2013-VizelRN #generative #performance
Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
ICLPICLP-J-2013-AlbertBGRS #generative #testing
A CLP heap solver for test case generation (EA, MJGdlB, MGZ, JMR, PJS), pp. 721–735.
ICLPICLP-J-2013-CatB #dependence #detection #functional #generative
Detection and exploitation of functional dependencies for model generation (BdC, MB), pp. 471–485.
ICSTICST-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.
ICSTICST-2013-BagnaraCGG #float #generative #source code #testing
Symbolic Path-Oriented Test Data Generation for Floating-Point Programs (RB, MC, RG, AG), pp. 1–10.
ICSTICST-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.
ICSTICST-2013-FraserA #challenge #generative #named #testing
EvoSuite: On the Challenges of Test Case Generation in the Real World (GF, AA), pp. 362–369.
ICSTICST-2013-Gauthier #generative #modelling #research #testing
Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
ICSTICST-2013-LiuYTH #automation #debugging #generative #named
R2Fix: Automatically Generating Bug Fixes from Bug Reports (CL, JY, LT, MH), pp. 282–291.
ICSTICST-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.
ICSTICST-2013-PezzeRW #effectiveness #generative #integration #testing
Generating Effective Integration Test Cases from Unit Ones (MP, KR, JW), pp. 11–20.
ICSTICST-2013-SteenbuckF #concurrent #generative #testing
Generating Unit Tests for Concurrent Classes (SS, GF), pp. 144–153.
ICSTICST-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.
ICSTICST-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.
ICSTICST-2013-YuLKK #combinator #generative #named #testing
ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
ICTSSICTSS-2013-GuoQ #automation #generative #grammarware #testing
Automatic Grammar-Based Test Generation (HFG, ZQ), pp. 17–32.
ISSTAISSTA-2013-Buda #database #generative #testing #using
Generation of test databases using sampling methods (TSB), pp. 366–369.
ISSTAISSTA-2013-FraserSMAP #automation #generative #question #testing
Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTAISSTA-2013-HanazumiM #generative #java #source code
Generation of Java programs properties from test purposes (SH, ACVdM), pp. 362–365.
ISSTAISSTA-2013-HowarGR #analysis #generative #hybrid #interface #learning
Hybrid learning: interface generation through static, dynamic, and symbolic analysis (FH, DG, ZR), pp. 268–279.
ISSTAISSTA-2013-JensenPM #automation #generative #sequence #testing
Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
ISSTAISSTA-2013-KifetewPLOT #generative #orthogonal #testing
Orthogonal exploration of the search space in evolutionary test case generation (FMK, AP, ADL, RO, PT), pp. 257–267.
RTARTA-2013-Kari #automaton #generative
Pattern Generation by Cellular Automata (JK), pp. 1–3.
TAPTAP-2013-AichernigJK #generative #incremental #refinement #testing
Incremental Refinement Checking for Test Case Generation (BKA, EJ, MK), pp. 1–19.
TAPTAP-2013-BruckerFNW #case study #generative
Test Program Generation for a Microprocessor — A Case-Study (ADB, AF, YN, BW), pp. 76–95.
TAPTAP-2013-JamrozikFTH #execution #generative #symbolic computation #testing
Generating Test Suites with Augmented Dynamic Symbolic Execution (KJ, GF, NT, JdH), pp. 152–167.
TAPTAP-2013-PotzlH #constraints
Solving Constraints for Generational Search (DP, AH), pp. 197–213.
TLCATLCA-2013-BentonHN #generative #logic
Proof-Relevant Logical Relations for Name Generation (NB, MH, VN), pp. 48–60.
VMCAIVMCAI-2013-LarrazRR #array #generative #invariant #smt
SMT-Based Array Invariant Generation (DL, ERC, AR), pp. 169–188.
WICSA-ECSAWICSA-ECSA-2012-EdwardsBM #analysis #automation #code generation #modelling
Automated Analysis and Code Generation for Domain-Specific Models (GE, YB, NM), pp. 161–170.
WICSA-ECSAWICSA-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.
DocEngDocEng-2012-JayabalRS #challenge #generative
Challenges in generating bookmarks from TOC entries in e-books (YJ, CR, MJS), pp. 37–40.
JCDLJCDL-2012-LeeH #classification #generative #music #using
Generating ground truth for music mood classification using mechanical turk (JHL, XH), pp. 129–138.
SIGMODSIGMOD-2012-LuSLDWC #generative
Optimal top-k generation of attribute combinations based on ranked lists (JL, PS, CL, XD, SW, XC), pp. 409–420.
TPDLTPDL-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.
TPDLTPDL-2012-DamnjanovicH #content management #generative #interactive #library #using
Generating Content for Digital Libraries Using an Interactive Content Management System (UD, SH), pp. 474–479.
VLDBVLDB-2012-AlexandrovTM #generative #named #scalability
Myriad: Scalable and Expressive Data Generation (AA, KT, VM), pp. 1890–1893.
VLDBVLDB-2012-BlunschiJKMS #generative #named #sql
SODA: Generating SQL for Business Users (LB, CJ, DK, MM, KS), pp. 932–943.
ITiCSEITiCSE-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.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2012-Johnson #automation #consistency #generative #interface #named #testing
SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
ITiCSEITiCSE-2012-Luxton-ReillyDPS #how #learning #process #student
Activities, affordances and attitude: how student-generated questions assist learning (ALR, PD, BP, RS), pp. 4–9.
ITiCSEITiCSE-2012-Patitsas #education #generative #pseudo
Teaching labs on pseudorandom number generation (EAP), p. 376.
LATALATA-2012-Oliveira #generative #partial order
Canonizable Partial Order Generators (MdOO), pp. 445–457.
IFMIFM-2012-AndradeFLP #generative #java #testing
Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
IFMIFM-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.
SEFMSEFM-2012-DranidisBI #automation #generative #named #testing
JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFMSEFM-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-VMTGT-VMT-2012-ArijoH #generative #graph transformation #modelling
View-based Modelling and State-Space Generation for Graph Transformation Systems (NA, RH).
GT-VMTGT-VMT-2012-Taentzer #generative #graph #multi
Instance Generation from Type Graphs with Arbitrary Multiplicities (GT).
CHICHI-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.
CHICHI-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.
CAiSECAiSE-2012-BrouckeWBV #generative #process
Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
CAiSECAiSE-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.
CAiSECAiSE-2012-LeopoldMP #generative #modelling #natural language #process
Generating Natural Language Texts from Business Process Models (HL, JM, AP), pp. 64–79.
CAiSECAiSE-2012-PastorE #code generation #modelling #requirements
Full Model-Driven Practice: From Requirements to Code Generation (OP, SE), pp. 701–702.
ICEISICEIS-v1-2012-LindK #generative #idea
An Idea for Universal Generator of Hypotheses (GL, RK), pp. 169–174.
ICEISICEIS-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.
CIKMCIKM-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.
CIKMCIKM-2012-Chung #using
Finding food entity relationships using user-generated data in recipe service (YjC), pp. 2611–2614.
CIKMCIKM-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.
CIKMCIKM-2012-KummamuruJD #generative #navigation
Generating facets for phone-based navigation of structured data (KK, AJ, MD), pp. 1283–1292.
CIKMCIKM-2012-LinLLWCL #generative #microblog
Generating event storylines from microblogs (CL, CL, JL, DW, YC, TL), pp. 175–184.
CIKMCIKM-2012-LiuQ #generative #mining
Mining high utility itemsets without candidate generation (ML, JFQ), pp. 55–64.
CIKMCIKM-2012-LiuSJL #web
An unsupervised method for author extraction from web pages containing user-generated content (JL, XS, JJ, CYL), pp. 2387–2390.
CIKMCIKM-2012-LvZ #generative #query
Query likelihood with negative query generation (YL, CZ), pp. 1799–1803.
CIKMCIKM-2012-QuanzH #generative #learning #multi #named
CoNet: feature generation for multi-view semi-supervised learning with partially observed views (BQ, JH), pp. 1273–1282.
CIKMCIKM-2012-XuKZ #generative #timeline #word
A picture paints a thousand words: a method of generating image-text timelines (SX, LK, YZ), pp. 2511–2514.
ICMLICML-2012-AzarMK #complexity #generative #learning #on the
On the Sample Complexity of Reinforcement Learning with a Generative Model (MGA, RM, BK), p. 222.
ICMLICML-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.
ICMLICML-2012-McAfeeO #code generation #network #static analysis
Utilizing Static Analysis and Code Generation to Accelerate Neural Networks (LCM, KO), p. 192.
ICMLICML-2012-RifaiDVB #generative #process
A Generative Process for Contractive Auto-Encoders (SR, YD, PV, YB), p. 235.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-2012-GujraniyaM #classification #modelling #performance #topic #using
Efficient classification using phrases generated by topic models (DG, MNM), pp. 2331–2334.
ICPRICPR-2012-HanWHBR #generative #graph #probability
Sampling graphs from a probabilistic generative model (LH, RCW, ERH, LB, PR), pp. 1643–1646.
ICPRICPR-2012-HaraKMM #3d #generative #using #video
Fast-accurate 3D face model generation using a single video camera (TH, HK, AM, SM), pp. 1269–1272.
ICPRICPR-2012-IshidaKKN #generative #recognition #using
Road marking recognition for map generation using sparse tensor voting (HI, KK, YK, TN), pp. 1132–1135.
ICPRICPR-2012-MaedaNI #image #modelling
Surface matching by curvature distribution images generated via gaze modeling (MM, TN, KI), pp. 2194–2197.
ICPRICPR-2012-MorimuraK #generative #multi #statistics
Statistical Origin-destination generation with multiple sources (TM, SK), pp. 3443–3446.
ICPRICPR-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.
ICPRICPR-2012-SuWF #analysis #canonical #correlation #evaluation #generative
Evaluation of canonical correlation analysis: A Correlation Generation Model (YS, SW, YF), pp. 1751–1754.
ICPRICPR-2012-Ul-HasanBRSB #automation #database #generative
Semi-automated OCR database generation for Nabataean scripts (AUH, SSB, SFR, FS, TMB), pp. 1667–1670.
ICPRICPR-2012-WangX #generative #image #recognition
Discriminative and generative vocabulary tree for vein image recognition (JW, JX), pp. 3513–3516.
ICPRICPR-2012-YoonFW #generative
Bayesian separation of wind power generation signals (JWY, FF, MW), pp. 2660–2663.
ICPRICPR-2012-ZhangGYG #generative #online #parametricity #video
Nonparametric on-line background generation for surveillance video (RZ, WG, AY, MG), pp. 1177–1180.
KDDKDD-2012-Kearns #social
Experiments in social computation: (and the data they generate) (MK), p. 5.
KDIRKDIR-2012-SantosNF #generative #on the
On the Generation of Dynamic Business Indicators (FAPdS, RCdN, JBF), pp. 390–394.
KMISKMIS-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.
SEKESEKE-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.
SEKESEKE-2012-DamianiV #automation #diagrams #generative #interactive #interface #web
Automatic Generation of Web Interfaces from User Interaction Diagrams (FBD, PV), pp. 605–610.
SEKESEKE-2012-RakaLM #approach #generative #modelling #product line
Interoperable EMR Message Generation: A Model-Driven Software Product Line Approach (DR, SHL, MM), pp. 537–540.
SEKESEKE-2012-SoaresPCSTGD #architecture #automation #generative #modelling
Automatic Generation of Architectural Models From Goals Models (MS, JP, JC, CTLLS, CTNS, GG, DD), pp. 444–447.
SEKESEKE-2012-XuT #automation #concurrent #generative
Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
SIGIRSIGIR-2012-AnderkaSL #predict #quality #wiki
Predicting quality flaws in user-generated content: the case of wikipedia (MA, BS, NL), pp. 981–990.
SIGIRSIGIR-2012-XueC #generative #query
Generating reformulation trees for complex queries (XX, WBC), pp. 525–534.
SIGIRSIGIR-2012-YeLL #approach #generative #recommendation #social
Exploring social influence for recommendation: a generative model approach (MY, XL, WCL), pp. 671–680.
ECMFAECMFA-2012-SmolikV #code generation
Code Generation Nirvana (PCS, PV), pp. 319–327.
ICMTICMT-2012-Guerra #generative #model transformation #testing
Specification-Driven Test Generation for Model Transformations (EG), pp. 40–55.
ICMTICMT-2012-VarroDWS #algorithm #emf #generative #modelling
An Algorithm for Generating Model-Sensitive Search Plans for EMF Models (GV, FD, MW, AS), pp. 224–239.
MODELSMoDELS-2012-GonzalezC #approach #atl #generative #named #testing
ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
MODELSMoDELS-2012-GrammelKV #development #generative #modelling
Model Matching for Trace Link Generation in Model-Driven Software Development (BG, SK, KV), pp. 609–625.
MODELSMoDELS-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.
MODELSMoDELS-2012-SaadaDHNS #generative #model transformation
Generation of Operational Transformation Rules from Examples of Model Transformations (HS, XD, MH, CN, HAS), pp. 546–561.
SPLCSPLC-2012-GomezPCBL #documentation #framework #generative #named
DPLfw: a framework for variable content document generation (AG, MdCP, JHC, MRSB, ML), pp. 96–105.
SPLCSPLC-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.
LOPSTRLOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing
A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.
SASSAS-2012-SanchezSSC #generative #invariant #self #using
Invariant Generation for Parametrized Systems Using Self-reflection — (Extended Version) (AS, SS, CS, BYEC), pp. 146–163.
RERE-2012-NiknafsB #effectiveness #elicitation #generative #idea #requirements
The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 181–190.
RERE-2012-NiuM #clustering #generative #requirements #revisited
Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.
ASEASE-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.
ASEASE-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.
ASEASE-2012-FaunesSB #algorithm #generative #model transformation #using
Generating model transformation rules from examples using an evolutionary algorithm (MF, HAS, MB), pp. 250–253.
ASEASE-2012-Quesada #generative #modelling #parsing
A model-driven parser generator with reference resolution support (LQ), pp. 394–397.
FSEFSE-2012-Torlak #generative #modelling #multi #scalability #testing
Scalable test data generation from multidimensional models (ET), p. 36.
FSEFSE-2012-ZaeemK #generative #programming #using
Test input generation using dynamic programming (RNZ, SK), p. 34.
ICSEICSE-2012-AlrajehKLRU #generative #requirements
Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2012-XiongHSC #generative
Generating range fixes for software configuration (YX, AH, SS, KC), pp. 58–68.
SACSAC-2012-Hosokawa #generative
Corpus-based place metadatabase generation for geocoding (YH), pp. 965–967.
SACSAC-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.
LDTALDTA-2012-Winther #abstract syntax tree #precise
Improving precision of generated ASTs (JW), p. 10.
SLESLE-2012-BarenghiVCMP #generative #named #parallel #parsing #precedence
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars (AB, EV, SCR, DM, MP), pp. 264–274.
ASPLOSASPLOS-2012-KingDA #automation #generative #hardware #interface
Automatic generation of hardware/software interfaces (MK, ND, A), pp. 325–336.
CASECASE-2012-HansenOMO #approach #energy #generative #industrial
Enhanced approach for energy-efficient trajectory generation of industrial robots (CH, , DM, TO), pp. 1–7.
CASECASE-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.
CASECASE-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.
CGOCGO-2012-MurrayF #automation #compilation #set
Compiling for automatically generated instruction set extensions (ACM, BF), pp. 13–22.
CGOCGO-2012-ZhangM #3d #clustering #gpu
Auto-generation and auto-tuning of 3D stencil codes on GPU clusters (YZ, FM), pp. 155–164.
DACDAC-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.
DACDAC-2012-AhmadyanKV #generative
Goal-oriented stimulus generation for analog circuits (SNA, JAK, SV), pp. 1018–1023.
DACDAC-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.
DACDAC-2012-ZuluagaMP #generative #network #sorting #streaming
Computer generation of streaming sorting networks (MZ, PAM, MP), pp. 1245–1253.
DATEDATE-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.
DATEDATE-2012-KarimiCGP #fault #generative #testing
Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATEDATE-2012-KatzRZ #csp #generative #using
Generating instruction streams using abstract CSP (YK, MR, AZ), pp. 15–20.
DATEDATE-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.
DATEDATE-2012-QinM #automation #generative #protocol #testing
Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATEDATE-2012-Sasao #generative
Row-shift decompositions for index generation functions (TS), pp. 1585–1590.
DATEDATE-2012-SinghNL #generative #smt #testing
Hazard driven test generation for SMT processors (PS, VN, DLL), pp. 256–259.
DATEDATE-2012-Sun #automation #embedded #functional #generative #modelling
Automatic generation of functional models for embedded processor extensions (FS), pp. 304–307.
DATEDATE-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.
DATEDATE-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.
PPoPPPPoPP-2012-KimH #code generation #kernel #performance
Efficient SIMD code generation for irregular kernels (SK, HH), pp. 55–64.
PPoPPPPoPP-2012-KjolstadHS #automation #data type #generative #optimisation
Automatic datatype generation and optimization (FK, TH, MS), pp. 327–328.
PPoPPPPoPP-2012-LeisersonSS #generative #parallel #platform #thread
Deterministic parallel random-number generation for dynamic-multithreading platforms (CEL, TBS, JS), pp. 193–204.
PPoPPPPoPP-2012-LiLSGGR #generative #named #testing #verification
GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
ESOPESOP-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.
FASEFASE-2012-StaatsGWH #generative #on the #testing
On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
STOCSTOC-2012-Applebaum #generative #locality #pseudo #random
Pseudorandom generators with long stretch and low locality from random local one-way functions (BA), pp. 805–816.
STOCSTOC-2012-VadhanZ #generative #pseudo
Characterizing pseudoentropy and simplifying pseudorandom generator constructions (SPV, CJZ), pp. 817–836.
STOCSTOC-2012-VaziraniV #generative #quantum #random
Certifiable quantum dice: or, true random number generation secure against quantum adversaries (UVV, TV), pp. 61–76.
ICLPICLP-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.
ICLPICLP-2012-DrescherW #generative #lazy evaluation #set
Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.
ICSTICST-2012-BertolinoDLM #automation #generative #policy #testing
Automatic XACML Requests Generation for Policy Testing (AB, SD, FL, EM), pp. 842–849.
ICSTICST-2012-BeyeneA #generative #string #test coverage #testing
Generating String Test Data for Code Coverage (MB, JHA), pp. 270–279.
ICSTICST-2012-EndoS #comparison #finite #generative #state machine #testing
Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICSTICST-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.
ICSTICST-2012-KruseW #classification #generative #sequence #testing
Test Sequence Generation from Classification Trees (PMK, JW), pp. 539–548.
ICSTICST-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.
ICSTICST-2012-PavlovF #automation #generative #search-based #testing
Semi-automatic Search-Based Test Generation (YP, GF), pp. 777–784.
ICSTICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine
Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
ICSTICST-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.
ICSTICST-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.
ICTSSICTSS-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.
IJCARIJCAR-2012-EchenimP #calculus #generative
A Calculus for Generating Ground Explanations (ME, NP), pp. 194–209.
ISSTAISSTA-2012-NguyenMT #combinator #effectiveness #generative #modelling #testing
Combining model-based and combinatorial testing for effective test case generation (CDN, AM, PT), pp. 100–110.
ISSTAISSTA-2012-RobetalerFZO #generative #testing
Isolating failure causes through test case generation (JR, GF, AZ, AO), pp. 309–319.
ISSTAISSTA-2012-StaatsHKR #comprehension #correctness #invariant
Understanding user understanding: determining correctness of generated program invariants (MS, SH, MK, GR), pp. 188–198.
ISSTAISSTA-2012-ZhangED #composition #generative #pipes and filters #testing
Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
TAPTAP-2012-ChedorJM #generative #recursion #testing
Test Generation from Recursive Tiles Systems (SC, TJ, CM), pp. 99–114.
TAPTAP-2012-SenniF #constraints #data type #generative #logic programming #testing #using
Generation of Test Data Structures Using Constraint Logic Programming (VS, FF), pp. 115–131.
WICSAWICSA-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.
DRRDRR-2011-Dejean
Unsupervised method to generate page templates (HD), pp. 1–10.
HTHT-2011-ChilukuriI #algorithm
An algorithm to generate engaging narratives through non-linearity (VC, BI), pp. 291–298.
HTHT-2011-ZsomboriFGUCKCB #automation #generative #video
Automatic generation of video narratives from shared UGC (VZ, MF, RLG, MFU, PC, IK, RC, DCAB), pp. 325–334.
ICDARICDAR-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.
ICDARICDAR-2011-HadjarI #generative #layout
Minimizing User Annotations in the Generation of Layout Ground-Truthed Data (KH, RI), pp. 703–707.
ICDARICDAR-2011-UchidaSF #generative
A Generative Model for Handwritings Based on Enhanced Feature Desynchronization (SU, TS, YF), pp. 589–593.
SIGMODSIGMOD-2011-ArasuKL #constraints #declarative #generative #using
Data generation using declarative constraints (AA, RK, JL), pp. 685–696.
SIGMODSIGMOD-2011-ElmeleegyEL #generative #query
Leveraging query logs for schema mapping generation in U-MAP (HE, AKE, JL), pp. 121–132.
TPDLTPDL-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.
VLDBVLDB-2011-ArasuKL #constraints #declarative #generative #named #using
DataSynth: Generating Synthetic Data using Declarative Constraints (AA, RK, JL), pp. 1418–1421.
VLDBVLDB-2011-MarnetteMPRS
++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange (BM, GM, PP, SR, DS), pp. 1438–1441.
VLDBVLDB-2011-Tay #benchmark #generative #metric
Data Generation for Application-Specific Benchmarking (YCT), pp. 1470–1473.
VLDBVLDB-2012-QumsiyehPN11 #generative
Generating Exact- and Ranked Partially-Matched Answers to Questions in Advertisements (RQ, MSP, YKN), pp. 217–228.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2011-KurianMJ #generative #information retrieval #named #repository
IR2gT: a report generation tool for institutional repository (JCK, AM, BMJ), p. 371.
ITiCSEITiCSE-2011-Luxton-ReillyDPB #student
Supporting student-generated free-response questions (ALR, PD, BP, DJB), pp. 153–157.
SCAMSCAM-J-2009-ShubatiDD11 #generative #reasoning
Artefact generation in second life with case-based reasoning (AS, CWD, RD), pp. 431–446.
CSMRCSMR-2011-KessentiniSBW #design #detection #fault #generative #music
Design Defect Detection Rules Generation: A Music Metaphor (MK, HAS, MB, MW), pp. 241–248.
CSMRCSMR-2011-ShternT #composition #generative
Factbase and Decomposition Generation (MS, VT), pp. 111–120.
ICPCICPC-2011-SridharaPV #generative #parametricity #summary
Generating Parameter Comments and Integrating with Method Summaries (GS, LLP, KVS), pp. 71–80.
ICSMEICSM-2011-RastkarMB #generative #natural language #source code #summary
Generating natural language summaries for crosscutting source code concerns (SR, GCM, AWJB), pp. 103–112.
PASTEPASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards
Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
WCREWCRE-2011-AlbertCFGG #automation #generative #java #named #testing
jPET: An Automatic Test-Case Generator for Java (EA, IC, AFM, MGZ, SG), pp. 441–442.
DLTDLT-J-2009-Zetzsche11 #capacity #comprehension #generative #matrix #towards
Toward Understanding the Generative Capacity of Erasing Rules in Matrix Grammars (GZ), pp. 411–426.
AFLAFL-2011-IvanM #context-free grammar #generative #word
Müller context-free grammars generating well-ordered words (SI, ÁM), pp. 225–240.
CIAACIAA-2011-CarninoF #automaton #generative #markov #random #using
Random Generation of Deterministic Acyclic Automata Using Markov Chains (VC, SDF), pp. 65–75.
FMFM-2011-AmalioGK #automation #generative #modelling #specification
Building VCL Models and Automatically Generating Z Specifications from Them (NA, CG, PK), pp. 149–153.
HaskellHaskell-2011-DuregardJ #embedded #generative #parsing
Embedded parser generators (JD, PJ), pp. 107–117.
ICFPICFP-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.
IFLIFL-2011-ReichNR #canonical #generative #lazy evaluation #source code
Lazy Generation of Canonical Test Programs (JSR, MN, CR), pp. 69–84.
GCMGCM-2010-HoffmannM11 #adaptation #diagrams #generative #graph
Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars (BH, MM).
AGTIVEAGTIVE-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.
CHICHI-2011-BadshahGCVHP #feedback #generative #interactive #self
Interactive generator: a self-powered haptic feedback device (AB, SG, GC, NV, SH, SNP), pp. 2051–2054.
CHICHI-2011-CostaCS #collaboration #coordination #distributed #evolution #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.
CHICHI-2011-DurrantRKBFM #generative #named
Automics: souvenir generating photoware for theme parks (AD, DR, DSK, SB, JEF, DM), pp. 1767–1776.
CHICHI-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.
CSCWCSCW-2011-LiuSPT #challenge #generative #interactive
Supporting generation Y interactions: challenges for office work (WL, PJS, GP, JTF), pp. 669–672.
HCIDUXU-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.
HCIDUXU-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.
HCIHCD-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-UA-2011-OlivierWP #game studies #music #named #recommendation
MusicTagger: Exploiting User Generated Game Data for Music Recommendation (HO, MW, NP), pp. 678–687.
HCIHIMI-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.
HCIHIMI-v1-2011-ZenkoyohT #generative
Surprise Generator for Virtual KANSEI Based on Human Surprise Characteristics (MZ, KT), pp. 190–198.
HCIHIMI-v2-2011-TanerYNB #generative #performance #scalability
An Efficient and Scalable Meeting Minutes Generation and Presentation Technique (BT, CY, AON, SB), pp. 345–352.
HCIOCSC-2011-AhmadL11a #question #what
Interpreting User-Generated Content: What Makes a Blog Believeable? (RA, WGL), pp. 81–89.
HCIOCSC-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.
CAiSECAiSE-2011-CabanillasRCA #automation #generative #process
Automatic Generation of a Data-Centered View of Business Processes (CC, MR, ARC, AA), pp. 352–366.
CAiSECAiSE-2011-DelgadoRGP #generative #process
Business Process Service Oriented Methodology (BPSOM) with Service Generation in SoaML (AD, FR, IGRdG, MP), pp. 672–680.
CAiSECAiSE-2011-FriedrichMP #generative #natural language #process
Process Model Generation from Natural Language Text (FF, JM, FP), pp. 482–496.
CAiSECAiSE-2011-KofP #feedback #formal method #generative #modelling #requirements
From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
ICEISICEIS-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.
ICEISICEIS-v3-2011-Garcia-GarciaECA #approach #generative #named #taxonomy
NDT-Glossary — A MDE Approach for Glossary Generation (JAGG, MJEC, CRC, MA), pp. 170–175.
CIKMCIKM-2011-CarmelUGMR #generative #word
Folksonomy-based term extraction for word cloud generation (DC, EU, IG, YM, HR), pp. 2437–2440.
CIKMCIKM-2011-ChengKGSH #automation #generative
Automated feature generation from structured knowledge (WC, GK, TG, DHS, RH), pp. 1395–1404.
CIKMCIKM-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.
CIKMCIKM-2011-LeeC #collaboration #generative
Collaborative blacklist generation via searches-and-clicks (LHL, HHC), pp. 2153–2156.
CIKMCIKM-2011-LiCHLJ #collaboration #learning #online
Collaborative online learning of user generated content (GL, KC, SCHH, WL, RJ), pp. 285–290.
CIKMCIKM-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.
CIKMCIKM-2011-TangLP #generative #named
LogSig: generating system events from raw textual logs (LT, TL, CSP), pp. 785–794.
CIKMCIKM-2011-YeungI #corpus #generative #multi
Extracting multi-dimensional relations: a generative model of groups of entities in a corpus (CmAY, TI), pp. 1203–1208.
ECIRECIR-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.
ICMLICML-2011-EisensteinAX #generative #modelling
Sparse Additive Generative Models of Text (JE, AA, EPX), pp. 1041–1048.
ICMLICML-2011-SutskeverMH #generative #network
Generating Text with Recurrent Neural Networks (IS, JM, GEH), pp. 1017–1024.
KDDKDD-2011-CerratoJG #classification #generative
Classification of proxy labeled examples for marketing segment generation (DC, RJ, AG), pp. 343–350.
KDDKDD-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.
KDIRKDIR-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.
KMISKMIS-2011-VirtaW #information management #what
Sharing What You Know, Building Expertise — Information Sharing between Generations in a Business Organization (MV, GW), pp. 129–135.
MLDMMLDM-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.
MLDMMLDM-2011-MohebzadaRR #analysis #constraints #generative
Sensitivity Analysis for Weak Constraint Generation (JGM, MMR, GR), pp. 239–252.
RecSysRecSys-2011-IsaacmanICM #distributed #predict #rating
Distributed rating prediction in user generated content streams (SI, SI, AC, MM), pp. 69–76.
SEKESEKE-2011-AtitallahKSM #generative #information management #network
Knowledge management in next generation networks (SA, OAK, MS, EM), pp. 363–368.
SEKESEKE-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.
SEKESEKE-2011-WangLWL #automation #generative #integration #order #overview
A Brief Survey on Automatic Integration Test Order Generation (ZW, BL, LW, QL), pp. 254–257.
SIGIRSIGIR-2011-AgichteinG #information management #retrieval
Information organization and retrieval with collaboratively generated content (EA, EG), pp. 1307–1308.
SIGIRSIGIR-2011-HuggettR #generative
The Meta-Dex Suite: generating and analyzing indexes and meta-indexes (MH, ER), pp. 1285–1286.
SIGIRSIGIR-2011-WangA #analysis #semantics
Temporal latent semantic analysis for collaboratively generated content: preliminary results (YW, EA), pp. 1145–1146.
BXBX-2011-Xiong #generative
Fix Generation (YX), p. 65.
ECMFAECMFA-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.
ECMFAECMFA-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.
MODELSMoDELS-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.
MODELSMoDELS-2011-StenzelMR #code generation #qvt #verification
Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
PLEASEPLEASE-2011-SiyWZ #generative #modelling #ontology #product line
Ontology-based product line modeling and generation (HPS, AW, MZ), pp. 50–54.
LOPSTRLOPSTR-2011-AlbertGR #generative #testing
Resource-Driven CLP-Based Test Case Generation (EA, MGZ, JMR), pp. 25–41.
PEPMPEPM-2011-CaretteES #generative #geometry #kernel
A generative geometric kernel (JC, ME, SS), pp. 53–62.
PLDIPLDI-2011-Godefroid #generative #higher-order #testing
Higher-order test generation (PG), pp. 258–269.
PLDIPLDI-2011-LeeZSZ #generative #towards
Toward generating reducible replay logs (KHL, YZ, NS, XZ), pp. 246–257.
PLDIPLDI-2011-MengKM #editing #generative #program transformation
Systematic editing: generating program transformations from an example (NM, MK, KSM), pp. 329–342.
PLDIPLDI-2011-ParrF #generative #ll #parsing
LL(*): the foundation of the ANTLR parser generator (TP, KF), pp. 425–436.
POPLPOPL-2011-WeirichVJZ #abstraction #generative
Generative type abstraction and type-level computation (SW, DV, SLPJ, SZ), pp. 227–240.
PPDPPPDP-2011-Lagoon #challenge #constraints #generative #testing
The challenges of constraint-based test generation (VL), pp. 1–2.
SASSAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
ASEASE-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.
ASEASE-2011-Groce #adaptation #generative #programming
Coverage rewarded: Test input generation via adaptation-based programming (AG), pp. 380–383.
ASEASE-2011-HuangNPGBT #automation #classification #fault #generative #named #orthogonal
AutoODC: Automated generation of Orthogonal Defect Classifications (LH, VN, IP, RG, XB, JT), pp. 412–415.
ASEASE-2011-KamalrudinG #generative #prototype #requirements #user interface #validation
Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
ASEASE-2011-KhalekNK #constraints #generative
Mixed constraints for test input generation — An initial exploration (SAK, VPN, SK), pp. 548–551.
ASEASE-2011-PanWX #database #generative #testing
Generating program inputs for database application testing (KP, XW, TX), pp. 73–82.
ASEASE-2011-PietschYK #generative #modelling #tool support
Generating realistic test models for model processing tools (PP, HSY, UK), pp. 620–623.
ASEASE-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.
ASEASE-2011-ZhangED #automation #generative #testing
Automatic generation of load tests (PZ, SGE, MBD), pp. 43–52.
ESEC-FSEESEC-FSE-2011-FraserA #automation #generative #named #object-oriented #testing
EvoSuite: automatic test suite generation for object-oriented software (GF, AA), pp. 416–419.
ESEC-FSEESEC-FSE-2011-Hall #generative #state machine
Search based hierarchy generation for reverse engineered state machines (MH), pp. 392–395.
ESEC-FSEESEC-FSE-2011-HarmanJL #generative #higher-order #testing
Strong higher order mutation-based test data generation (MH, YJ, WBL), pp. 212–222.
ICSEICSE-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.
ICSEICSE-2011-HermansPD #data flow #diagrams #generative #spreadsheet
Supporting professional spreadsheet users by generating leveled dataflow diagrams (FH, MP, AvD), pp. 451–460.
ICSEICSE-2011-JarzabekT #evolution #flexibility #generative #reuse
Flexible generators for software reuse and evolution (SJ, HDT), pp. 920–923.
ICSEICSE-2011-Xiao #developer #generative #identification #problem #testing #towards
Problem identification for structural test generation: first step towards cooperative developer testing (XX), pp. 1179–1181.
ICSEICSE-2011-XiaoXTH #generative #identification #precise #problem #testing
Precise identification of problems for structural test generation (XX, TX, NT, JdH), pp. 611–620.
ICSEICSE-2011-Zhang #automation #generative #hybrid #java #named #testing
Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SACSAC-2011-BorgesMB #education #generative #modelling #towards
Towards the establishment of supporting mechanisms for modeling and generating educational content (VAB, JCM, EFB), pp. 1202–1207.
SACSAC-2011-CollavizzaVRDG #constraints #generative
A dynamic constraint-based BMC strategy for generating counterexamples (HC, NLV, MR, SD, TG), pp. 1633–1638.
SACSAC-2011-JeffersonMP #automation #constraints #generative #named
Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
SACSAC-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.
GPCEGPCE-J-2005-HuangZS11 #generative #static typing
Statically safe program generation with SafeGen (SSH, DZ, YS), pp. 376–391.
GPCEGPCE-J-2005-LutterothDW11 #generative #type system
A type system for reflective program generators (CL, DD, GW), pp. 392–422.
GPCEGPCE-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.
GPCEGPCE-2011-LiNN #diagrams #generative #geometry #source code
Generation of geometric programs specified by diagrams (YL, GSNJ), pp. 63–72.
GPCEGPCE-2011-Shubert #code generation #development #flexibility #modelling
Application of model based development to flexible code generation (GJS), pp. 95–96.
GPCEGPCE-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.
GPCEGPCE-2011-VermolenWV #database #evolution #generative #web
Generating database migrations for evolving web applications (SDV, GW, EV), pp. 83–92.
LDTALDTA-2011-JorgensenEF #generative #named #tool support #visualisation
VLex: visualizing a lexical analyzer generator — tool demonstration (AJ, GRE, BF), p. 12.
SLESLE-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.
ASPLOSASPLOS-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.
CASECASE-2011-NishiYI #approach #generative #problem #scheduling
Column generation approach to ship scheduling problems for international crude oil transportation (TN, SY, TI), pp. 468–473.
DACDAC-2011-BroedersL #behaviour #modelling
Extracting behavior and dynamically generated hierarchy from SystemC models (HB, RvL), pp. 357–362.
DACDAC-2011-HeRK #concept analysis #embedded #generative #testing
Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DACDAC-2011-KarakonstantisBATGR #platform
Significance driven computation on next-generation unreliable platforms (GK, NB, CDA, GT, VG, KR), pp. 290–291.
DACDAC-2011-KatzRZS #architecture #behaviour #generative #learning #quality
Learning microarchitectural behaviors to improve stimuli generation quality (YK, MR, AZ, GS), pp. 848–853.
DATEDATE-2011-ChenM #composition #functional #generative #testing
Decision ordering based property decomposition for functional test generation (MC, PM), pp. 167–172.
DATEDATE-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.
DATEDATE-2011-GraupnerJW #approach #design #generative #layout #optimisation
Generator based approach for analog circuit and layout design and optimization (AG, RJ, RW), pp. 1675–1680.
DATEDATE-2011-KelleyWDSRH #generative
Intermediate representations for controllers in chip generators (KK, MW, AD, PS, SR, MH), pp. 1394–1399.
DATEDATE-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.
DATEDATE-2011-LiuV #analysis #generative #performance #source code #validation
Efficient validation input generation in RTL by hybridized source code analysis (LL, SV), pp. 1596–1601.
DATEDATE-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.
DATEDATE-2011-Pomeranz #functional #generative #testing
Built-in generation of functional broadside tests (IP), pp. 1297–1302.
DATEDATE-2011-SinghSG #generative #performance #testing #using
Testing of high-speed DACs using PRBS generation with “Alternate-Bit-Tapping” (MS, MS, SG), pp. 377–382.
DATEDATE-2011-SommerKHSS #automation #design #generative #network
A new method for automated generation of compensation networks — The EDA Designer Finger (RS, DK, EH, ES, CS), pp. 1666–1672.
DATEDATE-2011-TinoK #architecture #generative #multi
Multi-objective Tabu Search based topology generation technique for application-specific Network-on-Chip architectures (AT, GNK), pp. 485–490.
FASEFASE-2011-TkachukR #analysis #automation #generative #web
Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
STOCSTOC-2011-GopalanMRZ #combinator #generative #pseudo
Pseudorandom generators for combinatorial shapes (PG, RM, OR, DZ), pp. 253–262.
STOCSTOC-2011-KouckyNP #generative #pseudo
Pseudorandom generators for group products: extended abstract (MK, PN, PP), pp. 263–272.
TACASTACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
TACASTACAS-2011-HoderKV #generative #invariant
Invariant Generation in Vampire (KH, LK, AV), pp. 60–64.
TACASTACAS-2011-JungLWY #generative #invariant #quantifier
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference (YJ, WL, BYW, KY), pp. 205–219.
TACASTACAS-2011-MertenSHM #generative
Next Generation LearnLib (MM, BS, FH, TMS), pp. 220–223.
CAVCAV-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.
CAVCAV-2011-SharmaDDA #generative #invariant #using
Simplifying Loop Invariant Generation Using Splitter Predicates (RS, ID, TD, AA), pp. 703–719.
ICLPICLP-2011-Bulwahn #generative #logic programming #testing
Smart test data generators via logic programming (LB), pp. 139–150.
ICLPICLP-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.
ICLPICLP-J-2011-LierlerT #approach #generative
Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.
ICSTICST-2011-Bogdanov #generative #testing
Test Generation for X-machines with Non-terminal States and Priorities of Operations (KB), pp. 130–139.
ICSTICST-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.
ICSTICST-2011-DadeauHK #generative #protocol #security #testing
Mutation-Based Test Generation from Security Protocols in HLPSL (FD, PCH, RK), pp. 240–248.
ICSTICST-2011-FraserZ #generative #testing
Exploiting Common Object Usage in Test Case Generation (GF, AZ), pp. 80–89.
ICSTICST-2011-GoKKL #approach #generative #testing #variability
A Systematic Test Case Generation Approach for Testing Message Length Variability (KG, SK, MK, JL), pp. 397–406.
ICSTICST-2011-HanselRHG #algorithm #embedded #generative #realtime
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
ICSTICST-2011-HeamN #data type #generative #named #random #recursion #testing
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing (PCH, CN), pp. 60–69.
ICSTICST-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.
ISSTAISSTA-2011-BabicMMS #automation #generative #testing
Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ISSTAISSTA-2011-FraserZ #generative #testing
Generating parameterized unit tests (GF, AZ), pp. 364–374.
ISSTAISSTA-2011-GligoricMK #code generation #named #performance
CoDeSe: fast deserialization via code generation (MG, DM, SK), pp. 298–308.
ISSTAISSTA-2011-GodefroidL #automation #generative #summary #testing
Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.
ISSTAISSTA-2011-LeS #analysis #detection #fault #generative
Generating analyses for detecting faults in path segments (WL, MLS), pp. 320–330.
ISSTAISSTA-2011-TanejaXTH #generative #named #performance #testing
eXpress: guided path exploration for efficient regression test generation (KT, TX, NT, JdH), pp. 1–11.
ISSTAISSTA-2011-ZhangSBE #automation #generative #testing
Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
ICSTSAT-2011-Nadel #generative #satisfiability
Generating Diverse Solutions in SAT (AN), pp. 287–301.
TAPTAP-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.
TAPTAP-2011-BueJM #approximate #generative #modelling #testing
Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
TAPTAP-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.
TAPTAP-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.
ECSAECSA-2010-KiwelekarJ #analysis #architecture #generative #ontology
Ontological Analysis for Generating Baseline Architectural Descriptions (AWK, RKJ), pp. 417–424.
ECSAECSA-2010-LungBSEG #architecture #generative #towards
Towards Architecture-Centric Software Generation (CHL, BB, KS, PE, UG), pp. 38–52.
DocEngDocEng-2010-HassanHH #generative #parametricity
Next generation typeface representations: revisiting parametric fonts (TH, CH, RDH), pp. 181–184.
DocEngDocEng-2010-PenadesCBL #documentation #generative #product line #variability
Document product lines: variability-driven document generation (MdCP, JHC, MRSB, ML), pp. 203–206.
DocEngDocEng-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.
TPDLECDL-2010-TonniesB #automation #metadata #metric #quality
Uncovering Hidden Qualities — Benefits of Quality Measures for Automatically Generated Metadata (ST, WTB), pp. 30–37.
HTHT-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.
HTHT-2010-HargoodMW #approach #generative
A semiotic approach for the generation of themed photo narratives (CH, DEM, MJW), pp. 19–28.
HTHT-2010-HsiehPJNS #generative #hypermedia
Assisting two-way mapping generation in hypermedia workspace (HwH, KP, AJ, GN, FMSI), pp. 99–108.
JCDLJCDL-2010-SautterBKM #automation #documentation #generative #named #performance
ProcessTron: efficient semi-automated markup generation for scientific documents (GS, KB, CK, TM), pp. 21–28.
SIGMODSIGMOD-2010-AgrawalCCGKX #generative #query #web
Query portals: dynamically generating portals for entity-oriented web queries (SA, KC, SC, VG, ACK, DX), pp. 1171–1174.
SIGMODSIGMOD-2010-PerezSL #flexibility #generative #named #xml
XTaGe: a flexible XML collection generator (MPC, IS, RBL), pp. 1139–1142.
SIGMODSIGMOD-2010-RaghavanR #framework #generative #multi #named #query
ProgXe: progressive result generation framework for multi-criteria decision support queries (VR, EAR), pp. 1135–1138.
SIGMODSIGMOD-2010-VartakRR #assurance #generative #named #query
QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.
VLDBVLDB-2010-LoCH #database #generative #query
Generating Databases for Query Workloads (EL, NC, WKH), pp. 848–859.
VLDBVLDB-2010-Matsudaira #3d #biology #dataset #scalability
High-End Biological Imaging Generates Very Large 3D+ and Dynamic Datasets (PM), p. 3.
VLDBVLDB-2011-KlingOD #database #execution #generative #performance #xml
Generating Efficient Execution Plans for Vertically Partitioned XML Databases (PK, MTÖ, KD), pp. 1–11.
EDMEDM-2010-AleahmadAK #automation #rating
Automatic Rating of User-Generated Math Solutions (TA, VA, RK), pp. 267–268.
EDMEDM-2010-DominguezYC #data mining #generative #mining #python
Data Mining for Generating Hints in a Python Tutor (AKD, KY, JRC), pp. 91–100.
ICSMEICSM-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.
ICSMEICSM-2010-PanditaXTH #generative #test coverage #testing
Guided test generation for coverage criteria (RP, TX, NT, JdH), pp. 1–10.
ICSMEICSM-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.
SCAMSCAM-2010-Graf #dependence #generative
Speeding Up Context-, Object- and Field-Sensitive SDG Generation (JG), pp. 105–114.
SCAMSCAM-2010-Pise #generative #parsing
The Fika Parser Generator (MP), pp. 99–100.
WCREWCRE-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.
AFLAFL-J-2008-AfoninK10 #on the #regular expression
On the Structure of Finitely Generated Semigroups of Unary Regular Languages (SA, EK), pp. 689–704.
AFLAFL-J-2008-DassowST10 #capacity #generative
Generative Capacity of Subregularly Tree Controlled Grammars (JD, RS, BT), pp. 723–740.
ICALPICALP-v2-2010-BrazdilEKL #scheduling
Space-Efficient Scheduling of Stochastically Generated Tasks (TB, JE, SK, ML), pp. 539–550.
LATALATA-2010-PlatekML #automaton #functional #generative
Restarting Automata with Structured Output and Functional Generative Description (MP, FM, ML), pp. 500–511.
SEFMSEFM-2010-XuZC #context-free grammar #generative #tool support
A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
FLOPSFLOPS-2010-CaballeroGS #constraints #generative #logic programming #sql #testing
Applying Constraint Logic Programming to SQL Test Case Generation (RC, YGR, FSP), pp. 191–206.
FLOPSFLOPS-2010-HaftmannN #code generation #higher-order #term rewriting
Code Generation via Higher-Order Rewrite Systems (FH, TN), pp. 103–117.
FLOPSFLOPS-2010-SeidelV #automation #generative #theorem
Automatically Generating Counterexamples to Naive Free Theorems (DS, JV), pp. 175–190.
FLOPSFLOPS-2010-ThiemannS #combinator #generative #polymorphism
Tag-Free Combinators for Binding-Time Polymorphic Program Generation (PT, MS), pp. 87–102.
GT-VMTGT-VMT-2010-StroblM #editing #generative #interactive #modelling #specification #visual notation
Specifying and Generating Editing Environments for Interactive Animated Visual Models (TS, MM).
CHICHI-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.
CSCWCSCW-2010-HechtG #locality #on the
On the “localness” of user-generated content (BH, DG), pp. 229–232.
EDOCEDOC-2010-BajwaBL #constraints #generative #natural language #ocl #specification
OCL Constraints Generation from Natural Language Specification (ISB, BB, MGL), pp. 204–213.
ICEISICEIS-AIDSS-2010-LassigT #enterprise #generative
New Approaches to Enterprise Cooperation Generation and Management (JL, UT), pp. 350–359.
ICEISICEIS-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.
ICEISICEIS-J-2010-ArtignanH10a #automation #generative #visual notation
From Coding to Automatic Generation of Legends in Visual Analytics (GA, MH), pp. 404–417.
CIKMCIKM-2010-CarmelRY #on the
On the relationship between novelty and popularity of user-generated content (DC, HR, EYT), pp. 1509–1512.
CIKMCIKM-2010-MirizziRNS #generative #online #retrieval #semantics
Semantic tags generation and retrieval for online advertising (RM, AR, TDN, EDS), pp. 1089–1098.
CIKMCIKM-2010-QiYXD #automation #generative #taxonomy
Choosing your own adventure: automatic taxonomy generation to permit many paths (XQ, DY, ZX, BDD), pp. 1853–1856.
CIKMCIKM-2010-SongLCLH #automation #web
Automatic extraction of web data records containing user-generated content (XS, JL, YC, CYL, HWH), pp. 39–48.
CIKMCIKM-2010-TakamuraO #learning #summary
Learning to generate summary as structured output (HT, MO), pp. 1437–1440.
CIKMCIKM-2010-WelchCC #generative #keyword #video
Generating advertising keywords from video content (MJW, JC, WC), pp. 1421–1424.
ECIRECIR-2010-InchesCC #documentation #online #statistics
Statistics of Online User-Generated Short Documents (GI, MJC, FC), pp. 649–652.
ICMLICML-2010-DillonBL #analysis #generative #learning
Asymptotic Analysis of Generative Semi-Supervised Learning (JVD, KB, GL), pp. 295–302.
ICMLICML-2010-DruckM #generative #learning #modelling #using
High-Performance Semi-Supervised Learning using Discriminatively Constrained Generative Models (GD, AM), pp. 319–326.
ICPRICPR-2010-CarliBBM #generative #kernel #modelling
Nonlinear Mappings for Generative Kernels on Latent Variable Models (ACC, MB, SB, VM), pp. 2134–2137.
ICPRICPR-2010-ChakrabortyG #recognition #speech
Role of Synthetically Generated Samples on Speech Recognition in a Resource-Scarce Language (RC, UG), pp. 1618–1621.
ICPRICPR-2010-DOrazioLM #generative #multi #synthesis #video
Panoramic Video Generation by Multi View Data Synthesis (TD, ML, NM), pp. 4105–4108.
ICPRICPR-2010-FreireCF #approach #generative #graph #problem
A Column Generation Approach for the Graph Matching Problem (ASF, RMCJ, CEF), pp. 1088–1091.
ICPRICPR-2010-HanWH #generative
A Supergraph-based Generative Model (LH, RCW, ERH), pp. 1566–1569.
ICPRICPR-2010-HoriKY #generative #image #multi #sequence #using
Arbitrary Stereoscopic View Generation Using Multiple Omnidirectional Image Sequences (MH, MK, NY), pp. 286–289.
ICPRICPR-2010-ImpedovoP #classification #evaluation #generative #multi #set
Generating Sets of Classifiers for the Evaluation of Multi-expert Systems (DI, GP), pp. 2166–2169.
ICPRICPR-2010-KimKP #algorithm #generative #simulation
A Simulation Study on the Generative Neural Ensemble Decoding Algorithms (SPK, MKK, GTP), pp. 3797–3800.
ICPRICPR-2010-RathgebU10a #database #generative
Iris-Biometric Hash Generation for Biometric Database Indexing (CR, AU), pp. 2848–2851.
ICPRICPR-2010-SuZSH #2d #detection #image
Detection of Shapes in 2D Point Clouds Generated from Images (JS, ZZ, AS, FH), pp. 2640–2643.
ICPRICPR-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.
KDDKDD-2010-AdaB #composition #generative
The new iris data: modular data generators (IA, MRB), pp. 413–422.
KDDKDD-2010-ChuaL #generative #modelling #network #online #rating #trust #using
Trust network inference for online rating data using generative models (FCTC, EPL), pp. 889–898.
KDDKDD-2010-KarguptaGF #data mining #generative #mining
The next generation of transportation systems, greenhouse emissions, and data mining (HK, JG, WF), pp. 1209–1212.
KDDKDD-2010-MiaoMYTCA #generative #modelling #network
Generative models for ticket resolution in expert networks (GM, LEM, XY, ST, YC, NA), pp. 733–742.
KDIRKDIR-2010-JedrzejczakW #generative #query #using
Integrated Candidate Generation in Processing Batches of Frequent Itemset Queries using Apriori (PJ, MW), pp. 487–490.
KDIRKDIR-2010-KrainesGHMT #generative #using
Generating Literature-based Knowledge Discoveries in Life Sciences using Relationship Associations (SBK, WG, DH, HM, TT), pp. 35–44.
KDIRKDIR-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.
KMISKMIS-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.
KMISKMIS-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.
SEKESEKE-2010-AmarGH #generative #ontology #standard #towards
Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.
SEKESEKE-2010-BaratK #approach #code generation #configuration management #development #modelling
Developing configurable extensible code generators for model-driven development approach (SB, VK), pp. 577–582.
SEKESEKE-2010-MoserDB #automation #generative #ontology #simulation #testing
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
SEKESEKE-2010-NasserDM #framework #generative #ontology #testing
An Ontology-based Software Test Generation Framework (VHN, WD, DM), pp. 192–197.
SIGIRSIGIR-2010-HeR #approach #automation #detection #generative #ranking
A ranking approach to target detection for automatic link generation (JH, MdR), pp. 831–832.
SIGIRSIGIR-2010-McCreadie
Leveraging user-generated content for news search (RM), p. 919.
SIGIRSIGIR-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.
ECMFAECMFA-2010-CregutCPFP #animation #framework #generative #platform
Generative Technologies for Model Animation in the TopCased Platform (XC, BC, MP, RF, JP), pp. 90–103.
ICMTICMT-2010-BehrensP #generative #modelling
Temporal Model-Based Diagnostics Generation for HVAC Control Systems (MB, GMP), pp. 31–44.
MODELSMoDELS-v1-2010-CruzF #approach #automation #generative #metamodelling #user interface
A Metamodel-Based Approach for Automatic User Interface Generation (AMRdC, JPF), pp. 256–270.
MODELSMoDELS-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.
SPLCSPLC-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.
TOOLSTOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named
EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
LOPSTRLOPSTR-2010-AlbertGRP #composition #generative #imperative #testing
Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
LOPSTRLOPSTR-2010-LlorensOST #csp #generative #graph #process
Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.
PEPMPEPM-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.
PEPMPEPM-2010-RudolphT #bytecode #code generation #named #runtime #type safety
Mnemonics: type-safe bytecode generation at run time (JR, PT), pp. 15–24.
POPLPOPL-2010-DiasR #automation #declarative #generative #using
Automatically generating instruction selectors using declarative machine descriptions (JD, NR), pp. 403–416.
POPLPOPL-2010-TateSL #compilation #generative #optimisation #proving
Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
SASSAS-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.
SASSAS-2010-MatringeMR #algebra #generative #hybrid #invariant #linear
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (NM, AVM, RR), pp. 373–389.
RERE-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.
SACSAC-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.
ASEASE-2010-HirschHG #generative #named #specification #visual notation #wiki
VikiBuilder: end-user specification and generation of visual wikis (CH, JGH, JCG), pp. 13–22.
ASEASE-2010-KhalekK #automation #database #generative #query #sql #testing
Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
ASEASE-2010-MontrieuxJHYST #code generation #tool support
Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.
ASEASE-2010-QiRL #evolution #generative #source code #testing
Test generation to expose changes in evolving programs (DQ, AR, ZL), pp. 397–406.
ASEASE-2010-RajeevSSR #code generation #named #testing
CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
ASEASE-2010-SridharaHMPV #automation #generative #java #summary #towards
Towards automatically generating summary comments for Java methods (GS, EH, DM, LLP, KVS), pp. 43–52.
ASEASE-2010-TanejaZX #automation #database #generative #named #testing
MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
ASEASE-2010-ZhengZLX #generative #random #recommendation #sequence #testing
Random unit-test generation with MUT-aware sequence recommendation (WZ, QZ, MRL, TX), pp. 293–296.
FSEFSE-2010-Rubinov #automation #generative #integration #testing
Generating integration test cases automatically (KR), pp. 357–360.
ICSEICSE-2010-BaresiM #automation #generative #java #named #testing
TestFul: automatic unit-test generation for Java classes (LB, MM), pp. 281–284.
ICSEICSE-2010-GligoricGJKKM #generative #programming #testing
Test generation through programming in UDITA (MG, TG, VJ, SK, VK, DM), pp. 225–234.
ICSEICSE-2010-Lewis #generative #invariant #named #realtime
Zenet: generating and enforcing real-time temporal invariants (CL), pp. 329–330.
ICSEICSE-2010-Malavolta #architecture #generative
Providing support for creating next generation software architecture languages (IM), pp. 517–518.
ICSEICSE-2010-RumpeSVW #development #generative
Generative software development (BR, MS, SV, IW), pp. 473–474.
ICSEICSE-2010-RuscioMMPP #generative
Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
ICSEICSE-2010-SteimannT #behaviour #constraints #generative
From behaviour preservation to behaviour modification: constraint-based mutant generation (FS, AT), pp. 425–434.
ICSEICSE-2010-ZhangYZCY #automation #debugging #generative #named
BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.
SACSAC-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.
SACSAC-2010-BaffaC #generative #modelling #policy #simulation
Modeling POMDPs for generating and simulating stock investment policies (ACEB, AEMC), pp. 2394–2399.
SACSAC-2010-Fenz #generative #metric #ontology
Ontology-based generation of IT-security metrics (SF), pp. 1833–1839.
SACSAC-2010-HarshCN #generative #network #towards
Gray networking: a step towards next generation computer networks (PH, RC, REN), pp. 1323–1328.
SACSAC-2010-KrishnanS #generative #modelling #testing
Data generation in model-based testing (PK, PAPS), pp. 2211–2215.
SACSAC-2010-LlorensOST #algorithm #control flow #graph
An algorithm to generate the context-sensitive synchronized control flow graph (ML, JO, JS, ST), pp. 2144–2148.
SACSAC-2010-LuccheseOP #dataset #generative #mining
A generative pattern model for mining binary datasets (CL, SO, RP), pp. 1109–1110.
SACSAC-2010-MisraNLC #generative #named #sequence
FANGS: high speed sequence mapping for next generation sequencers (SM, RN, SL, ANC), pp. 1539–1546.
SACSAC-2010-MiyanishiSU #generative #ranking
Hypothesis generation and ranking based on event similarities (TM, KS, KU), pp. 1552–1558.
SACSAC-2010-VogelsJP #generative #performance #proving #verification
A machine-checked soundness proof for an efficient verification condition generator (FV, BJ, FP), pp. 2517–2522.
SACSAC-2010-VoigtIR #automation #generative #metamodelling #named
MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
SACSAC-2010-WebsterGDKP #framework #generative
A framework for cross-disciplinary hypothesis generation (YWW, RCG, ERD, JK, MJP), pp. 1511–1515.
LDTALDTA-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.
LDTALDTA-2009-BoylandS10 #generative #parsing #recursion
TOOL PAPER: ScalaBison Recursive Ascent-Descent Parser Generator (JB, DS), pp. 65–74.
GPCEGPCE-2010-BordignonSS #composition #generative #modelling
Model-based kinematics generation for modular mechatronic toolkits (MB, UPS, KS), pp. 157–166.
GPCEGPCE-2010-GrechRF #generative #named #similarity
JEqualityGen: generating equality and hashing methods (NG, JR, BF), pp. 177–186.
GPCEGPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing
Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
GPCEGPCE-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.
SLESLE-2010-JohnstoneS10a #generative #using
Translator Generation Using ART (AJ, ES), pp. 306–315.
CASECASE-2010-DjuricSE #configuration management #generative
Global Kinematic Model generation for n-DOF reconfigurable machinery structure (AMD, RAS, WE), pp. 804–809.
CASECASE-2010-GujarathiM #generative #integration #using
Generative CAD and CAE integration using common data model (GPG, YM), pp. 586–591.
CASECASE-2010-JinJ #automation #bibliography #distributed #generative
Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
CASECASE-2010-ShoaeiLM #automation #flexibility #generative
Automatic generation of controllers for collision-free flexible manufacturing systems (MRS, BL, SM), pp. 368–373.
CCCC-2010-BaskaranRS #automation #code generation #source code
Automatic C-to-CUDA Code Generation for Affine Programs (MMB, JR, PS), pp. 244–263.
CGOCGO-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.
DACDAC-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.
DACDAC-2010-LefteriuM #generative #modelling #parametricity
Generating parametric models from tabulated data (SL, JM), pp. 679–682.
DACDAC-2010-LimKH #functional #generative #modelling #performance
An efficient test vector generation for checking analog/mixed-signal functional models (BL, JK, MAH), pp. 767–772.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2010-CharfiMGTB #code generation #modelling #optimisation #towards
Toward optimized code generation through model-based optimization (AC, CM, SG, FT, PB), pp. 1313–1316.
DATEDATE-2010-ChenQM #generative #performance #satisfiability #testing
Efficient decision ordering techniques for SAT-based test generation (MC, XQ, PM), pp. 490–495.
DATEDATE-2010-CollinsVC #code generation #manycore #parallel #recursion
Recursion-driven parallel code generation for multi-core platforms (RLC, BV, LPC), pp. 190–195.
DATEDATE-2010-KarmarkarT #generative #scalability
Scalable codeword generation for coupled buses (KK, ST), pp. 729–734.
DATEDATE-2010-KiladaS #design #generative #latency #network
Control network generator for latency insensitive designs (EK, KSS), pp. 1773–1778.
DATEDATE-2010-KrekuTV #automation #compilation #generative
Automatic workload generation for system-level exploration based on modified GCC compiler (JK, KT, GV), pp. 369–374.
DATEDATE-2010-PeiLL #generative #testing
An on-chip clock generation scheme for faster-than-at-speed delay testing (SP, HL, XL), pp. 1353–1356.
DATEDATE-2010-VasudevanSPTTJ #automation #data mining #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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2010-ZhangLZMC #architecture #communication #generative
Domain specific architecture for next generation wireless communication (BZ, HL, HZ, FM, TC), pp. 1414–1419.
LCTESLCTES-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.
OSDIOSDI-2010-HaridasanMTTZ #framework #generative #scalability
StarTrack Next Generation: A Scalable Infrastructure for Track-Based Applications (MH, IM, DT, CAT, LZ), pp. 409–422.
PPoPPPPoPP-2010-PerarnauH #cpu #generative #named
KRASH: reproducible CPU load generation on many cores machines (SP, GH), pp. 327–328.
PPoPPPPoPP-2010-UpadhyayaMP #data type #generative #performance #using
Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
ESOPESOP-2010-JagadeesanPR #generative #memory management #modelling #semantics
Generative Operational Semantics for Relaxed Memory Models (RJ, CP, JR), pp. 307–326.
STOCSTOC-2010-HaitnerRV #generative #performance #pseudo
Efficiency improvements in constructing pseudorandom generators from one-way functions (IH, OR, SPV), pp. 437–446.
STOCSTOC-2010-MekaZ #generative #polynomial #pseudo
Pseudorandom generators for polynomial threshold functions (RM, DZ), pp. 427–436.
CAVCAV-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.
CAVCAV-2010-Mador-HaimAM #consistency #generative #memory management #modelling #testing
Generating Litmus Tests for Contrasting Memory Consistency Models (SMH, RA, MMKM), pp. 273–287.
CAVCAV-2010-ThakurLLBDEAR #generative #proving
Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.
ICLPICLP-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.
ICSTICST-2010-BruckerBKW #generative #policy #testing
Verified Firewall Policy Transformations for Test Case Generation (ADB, LB, PK, BW), pp. 345–354.
ICSTICST-2010-FeliachiG #automation #generative #modelling #testing
Generating Transition Probabilities for Automatic Model-Based Test Generation (AF, HLG), pp. 99–102.
ICSTICST-2010-LodingP #automaton #generative #model checking #testing
Timed Moore Automata: Test Data Generation and Model Checking (HL, JP), pp. 449–458.
ICSTICST-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.
ICSTICST-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.
ICSTICST-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.
ICTSSICTSS-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.
ICTSSICTSS-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.
ICTSSICTSS-2010-LamanchaU #generative #product line #testing #using
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage (BPL, MPU), pp. 111–125.
ISSTAISSTA-2010-ArtziDTP #effectiveness #fault #generative #locality #testing
Directed test generation for effective fault localization (SA, JD, FT, MP), pp. 49–60.
ISSTAISSTA-2010-DallmeierKMHZ #generative #mining #specification #testing
Generating test cases for specification mining (VD, NK, CM, SH, AZ), pp. 85–96.
ISSTAISSTA-2010-FraserZ #generative #testing
Mutation-driven generation of unit tests and oracles (GF, AZ), pp. 147–158.
ISSTAISSTA-2010-StaatsP #execution #generative #parallel #symbolic computation #testing
Parallel symbolic execution for structural test generation (MS, CSP), pp. 183–194.
TAPTAP-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.
TAPTAP-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.
TAPTAP-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.
TAPTAP-2010-GoldbergM #encoding #generative #proving #testing
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding (EG, PM), pp. 101–116.
TAPTAP-2010-JulliandSBM #abstraction #modelling #testing
Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.
TAPTAP-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-ECSAWICSA-ECSA-2009-Bass #approach #architecture #design
Generate and test as a software architecture design approach (LB), pp. 309–312.
WICSA-ECSAWICSA-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.
DocEngDocEng-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.
TPDLECDL-2009-FerreiraGALV #ambiguity #generative #named
SyGAR — A Synthetic Data Generator for Evaluating Name Disambiguation Methods (AAF, MAG, JMA, AHFL, AV), pp. 437–441.
HTHT-2009-SteichenLOW #corpus #generative #hypermedia #reuse
Dynamic hypertext generation for reusing open corpus content (BS, SL, AO, VW), pp. 119–128.
ICDARICDAR-2009-LeungL #generative #recognition
Recognition of Handwritten Chinese Characters by Combining Regularization, Fisher’s Discriminant and Distorted Sample Generation (KCL, CHL), pp. 1026–1030.
ICDARICDAR-2009-SaabniE09a #database #generative #online #performance #recognition
Efficient Generation of Comprehensive Database for Online Arabic Script Recognition (RS, JES), pp. 1231–1235.
ICDARICDAR-2009-StreckerBAB #automation #documentation #generative #image
Automated Ground Truth Data Generation for Newspaper Document Images (TS, JvB, SA, TMB), pp. 1275–1279.
JCDLJCDL-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.
JCDLJCDL-2009-Efron #data fusion #generative #information retrieval #modelling
Generative model-based metasearch for data fusion in information retrieval (ME), pp. 153–162.
SIGMODSIGMOD-2009-CormodeS #generative #modelling
Anonymized data: generation, models, usage (GC, DS), pp. 1015–1018.
SIGMODSIGMOD-2009-GhazalSBCKG #generative #query
Dynamic plan generation for parameterized queries (AG, DYS, RB, AC, MK, VG), pp. 909–916.
SIGMODSIGMOD-2009-OlstonCS #data flow #generative #source code
Generating example data for dataflow programs (CO, SC, US), pp. 245–256.
SIGMODSIGMOD-2009-RadwanPSY #generative
Top-k generation of integrated schemas based on directed and weighted correspondences (AR, LP, IRS, AAY), pp. 641–654.
EDMEDM-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.
ITiCSEITiCSE-2009-DennyLHP #repository #student #topic
Coverage of course topics in a student generated MCQ repository (PD, ALR, JH, HCP), pp. 11–15.
ICSMEICSM-2009-DaraLLST #execution #testing #using
Using dynamic execution data to generate test cases (RD, SL, WL, ASG, LT), pp. 433–436.
ICSMEICSM-2009-SchugerlRC #documentation #perspective #web
Beyond generated software documentation — A web 2.0 perspective (PS, JR, PC), pp. 547–550.
CIAACIAA-2009-HeamNS #automaton #generative #random
Random Generation of Deterministic Tree (Walking) Automata (PCH, CN, SS), pp. 115–124.
CIAACIAA-2009-Prochazka #automaton #compilation #generative
Compiler Generator Based on Restarting Automata (JP), pp. 253–257.
LATALATA-2009-BonizzoniFMM
Picture Languages Generated by Assembling Tiles (PB, CF, ARSM, GM), pp. 224–235.
LATALATA-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.
LATALATA-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.
LATALATA-2009-PribavkinaR #automaton
Finitely Generated Synchronizing Automata (EVP, ER), pp. 672–683.
IFMIFM-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-VMTGT-VMT-2009-MazanekM #diagrams #editing #generative
Generating Correctness-Preserving Editing Operations for Diagram Editors (SM, MM), pp. 38–49.
CHICHI-2009-BlytheC
Critical methods and user generated content: the iPhone on YouTube (MB, PAC), pp. 1467–1476.
CHICHI-2009-ReichlingW #automation #generative #recommendation
Expert recommender systems in practice: evaluating semi-automatic profile generation (TR, VW), pp. 59–68.
HCIDHM-2009-EngstlerB #generative
Generation of Percentile Values for Human Joint Torque Characteristics (FE, HB), pp. 95–104.
HCIHCD-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.
HCIHCD-2009-YuL #generative #idea #using
Facilitating Idea Generation Using Personas (DJY, WCL), pp. 381–388.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-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.
HCIHCI-VAD-2009-OHearB #enterprise #process #user interface #using
Using Activity Descriptions to Generate User Interfaces for ERP Software (TO, YB), pp. 577–586.
HCIHCI-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.
HCIHIMI-DIE-2009-NelsonV #self
Effects of a Mnemonic Technique on Subsequent Recall of Assigned and Self-generated Passwords (DN, KPLV), pp. 693–701.
HCIHIMI-DIE-2009-VenkatacharyaRB #design #generative
Designing for the Next Generation: Generation-Y Expectations (PSV, SR, LB), pp. 190–196.
HCIHIMI-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.
HCIHIMI-II-2009-DwyerL #assurance #concept #generative
Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.
HCIHIMI-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.
HCIOCSC-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.
VISSOFTVISSOFT-2009-HassaineDSP #analysis #generative #maintenance #visualisation
Generating visualization-based analysis scenarios from maintenance task descriptions (SH, KD, HAS, PP), pp. 41–44.
CAiSECAiSE-2009-GiachettiMP #automation #domain-specific language #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.
CAiSECAiSE-2009-MaoBPF #automation #generative #using
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.
CAiSECAiSE-2009-MetzgerP #framework #generative #research #towards
Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework (AM, KP), pp. 11–16.
ICEISICEIS-DISI-2009-SofokleousAK #execution #generative #symbolic computation #testing
Symbolic Execution for Dynamic, Evolutionary Test Data Generation (AAS, ASA, AK), pp. 144–150.
ICEISICEIS-ISAS-2009-KillispergerPSS #generative #process #validation
Method Manual based Process Generation and Validation (PK, GP, MS, TS), pp. 256–261.
ICEISICEIS-ISAS-2009-MateoPL #automation #generative #product line #testing
Automatic Generation of Test Cases in Software Product Lines (PRM, MP, BPL), pp. 124–130.
ICEISICEIS-J-2009-KrohaR #generative #requirements #validation
Text Generation for Requirements Validation (PK, MR), pp. 467–478.
ICEISICEIS-J-2009-SiepermannS #automation #generative
e-Learning in Logistics Cost Accounting Automatic Generation and Marking of Exercises (MS, CS), pp. 665–676.
CIKMCIKM-2009-BalasubramanianC #automation #generative #modelling #topic #using
Automatic generation of topic pages using query-based aspect models (NB, SC), pp. 2049–2052.
CIKMCIKM-2009-BhatiaLM #generative
Generating synopses for document-element search (SB, SL, PM), pp. 2003–2006.
CIKMCIKM-2009-GaoW #generative #performance
Efficient itemset generator discovery over a stream sliding window (CG, JW), pp. 355–364.
CIKMCIKM-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.
CIKMCIKM-2009-KimZ #comparative #generative #summary
Generating comparative summaries of contradictory opinions in text (HDK, CZ), pp. 385–394.
CIKMCIKM-2009-NicolaK #generative #query #sql #xml
Generating SQL/XML query and update statements (MN, TK), pp. 1187–1196.
CIKMCIKM-2009-ParkG #automation #metric #realtime #towards #using
Towards real-time measurement of customer satisfaction using automatically generated call transcripts (YP, SCG), pp. 1387–1396.
CIKMCIKM-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.
CIKMCIKM-2009-XueC #automation #generative #query
Automatic query generation for patent search (XX, WBC), pp. 2037–2040.
CIKMCIKM-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.
ECIRECIR-2009-Rijke #question #what
Searching User Generated Content: What’s Next? (MdR), p. 2.
ECIRECIR-2009-TsegayPTZ #documentation #generative #performance #query
Document Compaction for Efficient Query Biased Snippet Generation (YT, SJP, AT, JZ), pp. 509–520.
ICMLICML-2009-LiYX #collaboration #generative #learning
Transfer learning for collaborative filtering via a rating-matrix generative model (BL, QY, XX), pp. 617–624.
KDDKDD-2009-DuFWA #communication #generative #network #scalability
Large human communication networks: patterns and a utility-driven generator (ND, CF, BW, LA), pp. 269–278.
KDDKDD-2009-GuoTCZZ #generative #network #online #social
Analyzing patterns of user content generation in online social networks (LG, ET, SC, XZ, YEZ), pp. 369–378.
KDIRKDIR-2009-VillalbaC #biology #case study #classification #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.
KEODKEOD-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.
RecSysRecSys-2009-CarolisNPG #comparative #generative
Generating comparative descriptions of places of interest in the tourism domain (BDC, NN, VLP, EG), pp. 277–280.
RecSysRecSys-2009-GreenLAMKHBM #generative #recommendation
Generating transparent, steerable recommendations from textual descriptions of items (SJG, PL, JA, FM, SK, JH, JB, XWM), pp. 281–284.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2009-NasserDM #generative #knowledge-based #testing
Knowledge-based Software Test Generation (VHN, WD, DM), pp. 312–317.
ECMFAECMDA-FA-2009-MougenotDBS #generative #metamodelling #random
Uniform Random Generation of Huge Metamodel Instances (AM, AD, XB, MS), pp. 130–145.
ICMTICMT-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.
ICMTICMT-2009-SenBM #automation #generative #model transformation #testing
Automatic Model Generation Strategies for Model Transformation Testing (SS, BB, JMM), pp. 148–164.
MODELSMoDELS-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.
MODELSMoDELS-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.
OOPSLAOOPSLA-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.
TOOLSTOOLS-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.
TOOLSTOOLS-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.
AdaEuropeAdaEurope-2009-BuchsLC #generative #model checking #modelling #process #testing
Model Checking Techniques for Test Generation from Business Process Models (DB, LL, AC), pp. 59–74.
AdaEuropeAdaEurope-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.
LOPSTRLOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards
Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.
PLDIPLDI-2009-RavitchJAL #automation #generative #library #static analysis #using
Automatic generation of library bindings using static analysis (TR, SJ, EA, BL), pp. 352–362.
POPLPOPL-2009-LublinermanST #code generation #composition #diagrams
Modular code generation from synchronous block diagrams: modularity vs. code size (RL, CS, ST), pp. 78–89.
SASSAS-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.
AdaSIGAda-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.
ASEASE-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.
ASEASE-2009-DallmeierZM #behaviour #generative
Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.
ASEASE-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.
ASEASE-2009-DenneyF #approach #documentation #traceability
A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software (ED, BF), pp. 560–564.
ASEASE-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.
ASEASE-2009-HewettK #automation #component #generative #integration #order #testing
Automated Test Order Generation for Software Component Integration Testing (RH, PK), pp. 211–220.
ASEASE-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.
ASEASE-2009-PradelG #automation #generative #scalability #specification
Automatic Generation of Object Usage Specifications from Large Method Traces (MP, TRG), pp. 371–382.
ASEASE-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-FSEESEC-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.
GTTSEGTTSE-2009-JorgesSM #code generation #tutorial
Building Code Generators with Genesys: A Tutorial Introduction (SJ, BS, TMS), pp. 364–385.
ICSEICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case
WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
ICSEICSE-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.
SACSAC-2009-CastelliMZ #generative #pervasive #self
Self-organized control of knowledge generation in pervasive computing systems (GC, RM, FZ), pp. 1202–1208.
SACSAC-2009-LeccaPPS #generative #network #parametricity #probability
A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
SACSAC-2009-LinL #generative #mining
Optimal candidate generation in spatial co-location mining (ZL, SL), pp. 1441–1445.
SACSAC-2009-SuzukiOSKTK #generative #quality #requirements
A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.
SACSAC-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.
GPCEGPCE-2009-CassouBLC #approach #generative #pervasive #programming
A generative programming approach to developing pervasive computing systems (DC, BB, NL, CC), pp. 137–146.
GPCEGPCE-2009-Cordy #domain-specific language #generative
Eating our own dog food: DSLs for generative and transformational engineering (JRC), pp. 3–4.
GPCEGPCE-2009-HeidenreichJSWB #generative
Generating safe template languages (FH, JJ, MS, CW, MB), pp. 99–108.
GPCEGPCE-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.
SLESLE-2009-Cordy #domain-specific language #generative
Eating Our Own Dog Food: DSLs for Generative and Transformational Engineering (JRC), p. 1.
SLESLE-2009-JongeNKV #fault #flexibility #parsing
Natural and Flexible Error Recovery for Generated Parsers (MdJ, ENN, LCLK, EV), pp. 204–223.
SLESLE-2009-Jugel #api #generative #library
Generating Smart Wrapper Libraries for Arbitrary APIs (UJ), pp. 354–373.
CASECASE-2009-AnderssonLFF #generative
Generation of restart states for manufacturing systems with discarded workpieces (KA, BL, PF, MF), pp. 191–196.
CASECASE-2009-SathiR #automation #generative
STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.
CGOCGO-2009-LeatherBO #automation #compilation #generative #machine learning #optimisation
Automatic Feature Generation for Machine Learning Based Optimizing Compilation (HL, EVB, MFPO), pp. 81–91.
CGOCGO-2009-VoronenkoMP #generative #library #linear
Computer Generation of General Size Linear Transform Libraries (YV, FdM, MP), pp. 102–113.
DACDAC-2009-DangRMM #generative #interactive #pipes and filters #source code
Generating test programs to cover pipeline interactions (TND, AR, TM, PM), pp. 142–147.
DATEDATE-2009-BombieriFPV #generative
Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
DATEDATE-2009-BraunesS #generative
Generating the trace qualification configuration for MCDS from a high level language (JB, RGS), pp. 1560–1563.
DATEDATE-2009-ChambersMV #generative #performance #satisfiability
Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
DATEDATE-2009-KavousianosC #fault #generative #testing
Generation of compact test sets with high defect coverage (XK, KC), pp. 1130–1135.
DATEDATE-2009-MilderHP #automation #generative #permutation #streaming
Automatic generation of streaming datapaths for arbitrary fixed permutations (PAM, JCH, MP), pp. 1118–1123.
DATEDATE-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.
DATEDATE-2009-RemersaroRRP #generative #scalability #testing
A scalable method for the generation of small test sets (SR, JR, SMR, IP), pp. 1136–1141.
DATEDATE-2009-TangGCR #generative #multi
Improving compressed test pattern generation for multiple scan chain failure diagnosis (XT, RG, WTC, SMR), pp. 1000–1005.
DATEDATE-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.
HPCAHPCA-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.
ISMMISMM-2009-Vengerov #analysis #garbage collection #modelling #optimisation #throughput
Modeling, analysis and throughput optimization of a generational garbage collector (DV), pp. 1–9.
LCTESLCTES-2009-HeinzW #code generation #towards
Towards device emulation code generation (TH, RW), pp. 109–118.
FASEFASE-2009-GiannakopoulouP #composition #generative #interface #verification
Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
FoSSaCSFoSSaCS-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.
TACASTACAS-2009-VanoverbergheTP #generative #pointer #source code
Test Input Generation for Programs with Pointers (DV, NT, FP), pp. 277–291.
CADECADE-2009-CimattiGS #generative
Interpolant Generation for UTVPI (AC, AG, RS), pp. 167–182.
CAVCAV-2009-GuptaR #generative #invariant #named #performance
InvGen: An Efficient Invariant Generator (AG, AR), pp. 634–640.
CAVCAV-2009-Jacobs #generative #incremental #reasoning
Incremental Instance Generation in Local Reasoning (SJ), pp. 368–382.
CAVCAV-2009-KanadeAIRSS #generative #modelling
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
ICLPICLP-2009-Sato #generative #modelling
Generative Modeling by PRISM (TS), pp. 24–35.
ICSTICST-2009-AngelettiGNPS #analysis #automation #generative #testing
Automatic Test Generation for Coverage Analysis of ERTMS Software (DA, EG, MN, AP, SS), pp. 303–306.
ICSTICST-2009-BandyopadhyayG #generative #modelling #sequence #state machine #uml #using
Test Input Generation Using UML Sequence and State Machines Models (AB, SG), pp. 121–130.
ICSTICST-2009-BardinH #generative #testing
Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
ICSTICST-2009-FraserG #evaluation #generative #model checking #specification #testing
An Evaluation of Model Checkers for Specification Based Test Case Generation (GF, AG), pp. 41–50.
ICSTICST-2009-GligoricGLMK #generative #graph #java #optimisation
Optimizing Generation of Object Graphs in Java PathFinder (MG, TG, SL, DM, SK), pp. 51–60.
ICSTICST-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.
ICSTICST-2009-SiddiquiK #generative #named #parallel #testing
PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.
ISSTAISSTA-2009-ElkarabliehGL #generative #pointer #precise #reasoning #testing
Precise pointer reasoning for dynamic test generation (BE, PG, MYL), pp. 129–140.
MBTMBT-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.
MBTMBT-2009-KrennA #contract #generative #specification #testing
Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.
ICSTSAT-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.
FATESTestCom-FATES-2009-Gecse #automation #framework #generative #towards
Towards Automatic Generation of a Coherent TTCN-3 Template Framework (RG), pp. 223–228.
FATESTestCom-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.
FATESTestCom-FATES-2009-SimaoPY #generative #testing
Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
FATESTestCom-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.
VMCAIVMCAI-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.
ECSAECSA-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.
DocEngDocEng-2008-AlkhateebL #composition #documentation #generative #towards #using
Towards extending and using SPARQL for modular document generation (FA, SL), pp. 164–172.
DRRDRR-2008-BalAFF #documentation #generative #interactive
Interactive degraded document enhancement and ground truth generation (GB, GA, OF, GF), p. 68150.
TPDLECDL-2008-AssanteCCFLMMPS #generative #library
An Extensible Virtual Digital Libraries Generator (MA, LC, DC, LF, LL, PM, AM, PP, MS), pp. 122–134.
HTHT-2008-KolakS #generative #mining
Generating links by mining quotations (OK, BNS), pp. 117–126.
JCDLJCDL-2008-LuKWG #generative #metadata
A metadata generation system for scanned scientific volumes (XL, BK, JZW, CLG), pp. 167–176.
SIGMODSIGMOD-2008-ChiticariuKP #generative #interactive
Interactive generation of integrated schemas (LC, PGK, LP), pp. 833–846.
SIGMODSIGMOD-2008-FisherWZ #ad hoc #automation #generative #named
LearnPADS: automatic tool generation from ad hoc data (KF, DW, KQZ), pp. 1299–1302.
SIGMODSIGMOD-2008-HuangLC #generative #query #xml
Query biased snippet generation in XML search (YH, ZL, YC), pp. 315–326.
SIGMODSIGMOD-2008-MishraKZ #database #generative #query #testing
Generating targeted queries for database testing (CM, NK, CZ), pp. 499–510.
VLDBVLDB-2008-Cohen #constraints #generative #using #xml
Generating XML structure using examples and constraints (SC), pp. 490–501.
VLDBVLDB-2008-GolabKKSY #dependence #functional #generative #on the
On generating near-optimal tableaux for conditional functional dependencies (LG, HJK, FK, DS, BY), pp. 376–390.
VLDBVLDB-2008-HuangLC #generative #named #xml
eXtract: a snippet generation system for XML search (YH, ZL, YC), pp. 1392–1395.
CSEETCSEET-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.
EDMEDM-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.
ICSMEICSM-2008-He #generative #programming #refinement #testing
Refinement and test case generation in Unifying Theory of Programming (JH), p. 6.
ICSMEICSM-2008-ZhangBJAL #analysis #generative #visual notation
Query-based filtering and graphical view generation for clone analysis (YZ, HAB, SJ, DA, ML), pp. 376–385.
WCREWCRE-2008-GeestVDV #domain-specific language #generative
Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
DLTDLT-J-2007-Jez08 #boolean grammar
Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
CIAACIAA-2008-DolzhenkoJ #2d #complexity #on the #transducer
On Complexity of Two Dimensional Languages Generated by Transducers (ED, NJ), pp. 181–190.
ICALPICALP-B-2008-Chen #constraints #quantifier
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (HC), pp. 197–208.
LATALATA-2008-KitaevMS #morphism #order #word
Counting Ordered Patterns in Words Generated by Morphisms (SK, TM, PS), pp. 287–298.
SEFMSEFM-2008-BonifacioMS #generative #modelling #testing
A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.
SEFMSEFM-2008-Gladisch #branch #generative #testing
Verification-Based Test Case Generation for Full Feasible Branch Coverage (CG), pp. 159–168.
SEFMSEFM-2008-Salaun #generative #protocol #specification
Generation of Service Wrapper Protocols from Choreography Specifications (GS), pp. 313–322.
SEFMSEFM-2008-SampathRRS #behaviour #code generation #testing
Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.
GT-VMTGT-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-VMTGT-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.
CHICHI-2008-GajosWW #interface #performance
Improving the performance of motor-impaired users with automatically-generated, ability-based interfaces (KZG, JOW, DSW), pp. 1257–1266.
CHICHI-2008-SimonMB #automation #generative #named
MySong: automatic accompaniment generation for vocal melodies (IS, DM, SB), pp. 725–734.
EDOCEDOC-2008-PagopK #component #framework #generative
EJB 3.X — The 3rd Generation Component Framework (SP, AK).
ICEISICEIS-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.
ICEISICEIS-DISI-2008-BohmWHL #generative #integration #modelling #optimisation #process
Model-Driven Generation and Optimization of Complex Integration Processes (MB, UW, DH, WL), pp. 131–136.
ICEISICEIS-DISI-2008-SchulteHSES #collaboration #flexibility #framework #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.
ICEISICEIS-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.
ICEISICEIS-ISAS2-2008-CasanovaBBF #generative
Generalization and Blending in the Generation of Entity-Relationship Schemas by Analogy (MAC, SDJB, KKB, ALF), pp. 43–48.
ICEISICEIS-ISAS2-2008-KiyomotoOT #automation #generative #on the fly #protocol #security
On-the-Fly Automatic Generation of Security Protocols (SK, HO, TT), pp. 97–104.
ICEISICEIS-J-2008-BringasP
Next-Generation Misuse and Anomaly Prevention System (PGB, YKP), pp. 117–129.
CIKMCIKM-2008-ZhaoC #documentation #generative #retrieval
A generative retrieval model for structured documents (LZ, JC), pp. 1163–1172.
ECIRECIR-2008-Berendt #documentation #information retrieval #mining #web
You Are a Document Too: Web Mining and IR for Next-Generation Information Literacy (BB), p. 3.
ECIRECIR-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.
ICMLICML-2008-LiangJ #analysis #generative #pseudo
An asymptotic analysis of generative, discriminative, and pseudolikelihood estimators (PL, MIJ), pp. 584–591.
ICPRICPR-2008-ChenWWM #detection #generative
GA based feature generation for training cascade object detector (QC, HW, TW, KM), pp. 1–4.
ICPRICPR-2008-GalballyCLMF #generative
Fake fingertip generation from a minutiae template (JG, RC, AL, DM, JFA), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-MatsuoSS #automation #generative #recognition
Automatic generation of HMM topology for sign language recognition (TM, YS, NS), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-SukF #automation #equation #invariant
Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
ICPRICPR-2008-SuS #generative #modelling #using
Generative models for fingerprint individuality using ridge models (CS, SNS), pp. 1–4.
ICPRICPR-2008-TorselloD #generative #graph #learning
Supervised learning of a generative model for edge-weighted graphs (AT, DLD), pp. 1–4.
ICPRICPR-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.
ICPRICPR-2008-WhiteW #generative #graph #modelling
Parts based generative models for graphs (DHW, RCW), pp. 1–4.
KDDKDD-2008-ChakrabartiKP #generative #web
Generating succinct titles for web URLs (DC, RK, KP), pp. 79–87.
KDDKDD-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.
KDDKDD-2008-McGlohonAF #component #generative #graph
Weighted graphs and disconnected components: patterns and a generator (MM, LA, CF), pp. 524–532.
KRKR-2008-TunD #generative #ontology #reuse
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction (NNT, JSD), pp. 318–328.
SEKESEKE-2008-Barros #information management #predict #using
Predicting Software Project Size Using Project Generated Information (MdOB), pp. 149–154.
SEKESEKE-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.
SEKESEKE-2008-GallegosOGRSV #generative #specification
A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKESEKE-2008-HansenZS #embedded #generative #web #web service
Ontology-Enabled Generation of Embedded Web Services (KMH, WZ, GS), pp. 345–350.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2008-SekiHU #generative
Generating diverse katakana variants based on phonemic mapping (KS, HH, KU), pp. 793–794.
SIGIRSIGIR-2008-TsagiasLR #speech
Term clouds as surrogates for user generated speech (MT, ML, MdR), pp. 773–774.
SIGIRSIGIR-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.
ECMFAECMDA-FA-2008-ChevillatCSSW #generative #modelling
Model-Based Generation of Interlocking Controller Software from Control Tables (CC, DAC, PAS, JGS, LW), pp. 349–360.
ECMFAECMDA-FA-2008-RosePKP #generative
The Epsilon Generation Language (LMR, RFP, DSK, FP), pp. 1–16.
ICMTICMT-2008-HemelKV #code generation #model transformation
Code Generation by Model Transformation (ZH, LCLK, EV), pp. 183–198.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-Gessenharter #code generation #java #semantics #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-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.
MODELSMoDELS-2008-ProutADS #code generation #configuration management #semantics
Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
SPLCSPLC-2008-SantosKL #automation #domain-specific language #generative #modelling
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
SPLCSPLC-2008-WeissLSDS #code generation
Decision-Model-Based Code Generation for SPLE (DMW, JJL, JHS, TTDT, HS), pp. 129–138.
MODELSMoDELS-2008-FalleriHLN #automation #generative #metamodelling #model transformation
Metamodel Matching for Automatic Model Transformation Generation (JRF, MH, ML, CN), pp. 326–340.
MODELSMoDELS-2008-Gessenharter #code generation #java #semantics #uml
Mapping the UML2 Semantics of Associations to a Java Code Generation Model (DG), pp. 813–827.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-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.
MODELSMoDELS-2008-ProutADS #code generation #configuration management #semantics
Semantically Configurable Code Generation (AP, JMA, NAD, PS), pp. 705–720.
AdaEuropeAdaEurope-2008-NarayananK #approach #automation #multi #semantics
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions (SHKN, MTK), pp. 185–198.
LOPSTRLOPSTR-2008-AlbertGP #bytecode #generative #partial evaluation #testing
Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.
LOPSTRLOPSTR-2008-DegraveSV #automation #generative #testing
Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
PADLPADL-2008-KellerCCSB #generative #monte carlo
Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.
POPLPOPL-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.
POPLPOPL-2008-YorshYC #generative #precise #summary
Generating precise and concise procedure summaries (GY, EY, SC), pp. 221–234.
PPDPPPDP-2008-MoralesCH #automaton #generative #using
Comparing tag scheme variations using an abstract machine generator (JFM, MC, MVH), pp. 32–43.
RERE-2008-Kof #generative #sequence chart
From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction (LK), pp. 331–332.
RERE-2008-MakinoO #difference #generative
A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.
REFSQREFSQ-2008-SchlosserJM #database #requirements #using
Using a Creativity Workshop to Generate Requirements for an Event Database Application (CS, SJ, NAMM), pp. 109–122.
ASEASE-2008-BurnimS #generative #heuristic #scalability #testing
Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
ASEASE-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.
ASEASE-2008-GeW #feature model #framework #generative #modelling #named #platform
Rhizome: A Feature Modeling and Generation Platform (GG, EJWJ), pp. 375–378.
ASEASE-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.
ASEASE-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.
ASEASE-2008-Papailiopoulou #automation #generative #source code #testing
Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.
ASEASE-2008-TanejaX #automation #generative #named #testing
DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.
ASEASE-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.
FSEFSE-2008-DragertDR #concurrent #generative #using
Generation of concurrency control code using discrete-event systems theory (CD, JD, KR), pp. 146–157.
FSEFSE-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.
ICSEICSE-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.
ICSEICSE-2008-GrundyHHL #eclipse #generative #multi #named
Marama: an eclipse meta-toolset for generating multi-view environments (JCG, JGH, JH, KNLL), pp. 819–822.
ICSEICSE-2008-LorenzoliMP #automation #behaviour #generative #modelling
Automatic generation of software behavioral models (DL, LM, MP), pp. 501–510.
ICSEICSE-2008-MalikPUK #generative #invariant #named #representation
Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
SACSAC-2008-BelliH #generative #testing
Test generation and minimization with “basic” statecharts (FB, AH), pp. 718–723.
SACSAC-2008-BuenoWJ #automation #generative #testing #using
Automatic test data generation using particle systems (PMSB, WEW, MJ), pp. 809–814.
SACSAC-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.
SACSAC-2008-FazzingaFTGM #documentation #generative
A wrapper generation system for PDF documents (BF, SF, AT, SG, EM), pp. 442–446.
SACSAC-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.
SACSAC-2008-GrigorovRCK #automation #design #generative #industrial
Template design and automatic generation of controllers for industrial robots (LG, KR, JERC, SK), pp. 1612–1613.
SACSAC-2008-MartinottoJCGDP #generative #network #random
Generation of continuous random networks by simulated annealing (ALM, FJ, LAC, VG, RVD, CAP), pp. 48–49.
SACSAC-2008-PiresBR #design #generative #testing #uml
UML-based design test generation (WP, JB, FR), pp. 735–740.
SACSAC-2008-SomeC #approach #case study #generative
An approach for supporting system-level test scenarios generation from textual use cases (SSS, XC), pp. 724–729.
SACSAC-2008-VieiraVN #generative
A biologically inspired generation of virtual characters (RCCV, CAV, JBCN), pp. 1218–1224.
GPCEGPCE-2008-DenneyF #automation #generative #verification
Generating customized verifiers for automatically generated code (ED, BF), pp. 77–88.
GPCEGPCE-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.
GPCEGPCE-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.
GPCEGPCE-2008-RothamelL #generative #implementation #incremental #query
Generating incremental implementations of object-set queries (TR, YAL), pp. 55–66.
SLESLE-2008-OverbeyJ #abstract syntax tree #generative #syntax
Generating Rewritable Abstract Syntax Trees (JLO, REJ), pp. 114–133.
ASPLOSASPLOS-2008-WegielK #concurrent #memory management #parallel
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction (MW, CK), pp. 91–102.
CASECASE-2008-AsarUAH #generative #network
Traffic responsive signal timing plan generation based on neural network (AuA, MSU, JA, RuH), pp. 833–838.
CASECASE-2008-CamponogaraP #generative #problem #scheduling
Column generation for solving a compressor scheduling problem (EC, AP), pp. 796–801.
CASECASE-2008-SharmaBDC #assembly #generative #optimisation #sequence #using
Generation of optimized robotic assembly sequence using ant colony optimization (SS, BBB, PD, BBC), pp. 894–899.
CASECASE-2008-WangZZ #generative
A force control assisted robot path generation system (JW, HZ, GZ), pp. 528–533.
CCCC-2008-FranchettiP #generative #permutation
Generating SIMD Vectorized Permutations (FF, MP), pp. 116–131.
CCCC-2008-LimR #bytecode #generative
A System for Generating Static Analyzers for Machine Instructions (JL, TWR), pp. 36–52.
DACDAC-2008-ChongP #agile #float #generative
Rapid application specific floating-point unit generation with bit-alignment (YJC, SP), pp. 62–67.
DACDAC-2008-DasV #adaptation #synthesis
Topology synthesis of analog circuits based on adaptively generated building blocks (AD, RV), pp. 44–49.
DACDAC-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.
DATEDATE-2008-BombieriDF #automation #design #generative
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation (NB, ND, FF), pp. 15–20.
DATEDATE-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.
DATEDATE-2008-KoN08a #automation #generative #on the #validation
On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
DATEDATE-2008-LeeNKT #fault #generative
Layout-Aware, IR-Drop Tolerant Transition Fault Pattern Generation (JL, SN, MK, MT), pp. 1172–1177.
DATEDATE-2008-LublinermanT #code generation #composition #diagrams #reuse #usability
Modularity vs. Reusability: Code Generation from Synchronous Block Diagrams (RL, ST), pp. 1504–1509.
DATEDATE-2008-PlazaMB #constraints #generative #random #using
Random Stimulus Generation using Entropy and XOR Constraints (SP, ILM, VB), pp. 664–669.
DATEDATE-2008-RoginKFDR #automation #design #generative #hardware
Automatic Generation of Complex Properties for Hardware Designs (FR, TK, GF, RD, SR), pp. 545–548.
DATEDATE-2008-VenutoR #generative
PWM-Based Test Stimuli Generation for BIST of High Resolution ADCs (DDV, LR), pp. 284–287.
DATEDATE-2008-ZhouPB #analysis #generative #metric #modelling #using
Harvesting Wasted Heat in a Microprocessor Using Thermoelectric Generators: Modeling, Analy