2183 papers:
ASE-2019-GaoZX0LK #automation #generative #overview- Automating App Review Response Generation (CG, JZ, XX0, DL0, MRL, IK), pp. 163–175.
ASE-2019-Gerostathopoulos #automation #evaluation- Automated Trainability Evaluation for Smart Software Functions (IG, SK, CS, TB, AK), pp. 998–1001.
ASE-2019-Gladisch0HOVP #automation #experience #search-based #testing- Experience Paper: Search-Based Testing in Automated Driving Control Applications (CG, TH0, CH, JO, AvV, TP), pp. 26–37.
ASE-2019-KohlerS #automation #programming #refactoring- Automated Refactoring to Reactive Programming (MK, GS), pp. 835–846.
ASE-2019-LiuFXLGGY #automation #evaluation #named #performance #simulation #tool support #workflow- FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing (XL, LF, JX, XL, LG, JCG, YY), pp. 1114–1117.
ASE-2019-LiY0C #android #approach #automation #black box #named #testing- Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing (YL, ZY, YG0, XC), pp. 1070–1073.
ASE-2019-PiskachevDJB #automation #detection #named- SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods (GP, LNQD, OJ, EB), pp. 1094–1097.
ASE-2019-Reich #automation #requirements #verification- Inference of Properties from Requirements and Automation of Their Formal Verification (MR), pp. 1222–1225.
ASE-2019-SungKKJK #automation #case study #testing- Test Automation and Its Limitations: A Case Study (AS, SK, YK, YJ, JK), pp. 1208–1209.
ASE-2019-WuZ0TZ #automation #program transformation- Automating CUDA Synchronization via Program Transformation (MW, LZ, CL0, SHT, YZ), pp. 748–759.
ASE-2019-YuF0Z0 #automation #image #layout #mobile #named #platform #recognition #testing- LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform (SY, CF, YF0, WZ, ZC0), pp. 1066–1069.
ASE-2019-ZhangYD #abstraction #automation #concurrent- Automating Non-Blocking Synchronization In Concurrent Data Abstractions (JZ, QY, DD), pp. 735–747.
ESEC-FSE-2019-AsthanaKBBBMMA #automation #named #scalability- WhoDo: automating reviewer suggestions at scale (SA, RK0, RB, CB, CB, CSM, SM, BA), pp. 937–945.
ESEC-FSE-2019-BavishiYP #automation #data-driven #named #static analysis #synthesis- Phoenix: automated data-driven synthesis of repairs for static analysis violations (RB, HY, MRP), pp. 613–624.
ESEC-FSE-2019-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.
ESEC-FSE-2019-MiryeganehAH #approach #automation #dataset #integration #towards- An IR-based approach towards automated integration of geo-spatial datasets in map-based software systems (NM, MA, HH), pp. 946–954.
ESEC-FSE-2019-Ren #automation #migration- Automated patch porting across forked projects (LR), pp. 1199–1201.
ESEC-FSE-2019-YuFMRPC #automation #named #testing #user interface- TERMINATOR: better automated UI test case prioritization (ZY0, FMF, TM, GR, KP, SC), pp. 883–894.
GPCE-2019-NiekeHS #automation #evolution #metamodelling- Automated metamodel augmentation for seamless model evolution tracking and planning (MN, AH, CS), pp. 68–80.
ESOP-2019-FruminGK #automation #c #nondeterminism #reasoning- Semi-automated Reasoning About Non-determinism in C Expressions (DF, LG, RK), pp. 60–87.
ESOP-2019-MartinezADGHHNP #automation #metaprogramming #proving #smt- Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
FASE-2019-BravettiGMTZ #automation #deployment- Optimal and Automated Deployment for Microservices (MB, SG, JM, IT, GZ), pp. 351–368.
CADE-2019-LiT #automation #protocol #proving #security #theorem proving #verification- Combining ProVerif and Automated Theorem Provers for Security Protocol Verification (DLL, AT), pp. 354–365.
CADE-2019-ZhaoS #automation #logic #strict- FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions (YZ, RAS), pp. 568–579.
CAV-2019-FarzanV #automation #verification- Automated Hypersafety Verification (AF, AV), pp. 200–218.
CAV-2019-KangLT #automation #framework #platform #synthesis- Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.
CAV-2019-NagarJ #automation #verification- Automated Parameterized Verification of CRDTs (KN, SJ), pp. 459–477.
ASE-2018-ChenSXHJ #approach #automation #execution #metric #test coverage- An automated approach to estimating code coverage measures via execution logs (BC, JS, PX, XH, ZM(J), pp. 305–316.
ASE-2018-Cleland-Huang #automation #challenge #requirements- Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote) (JCH), p. 3.
ASE-2018-GafurovHM #automation #industrial #testing- Achieving test automation with testers without coding skills: an industrial report (DG, AEH, MM), pp. 749–756.
ASE-2018-MoSCRKN #analysis #architecture #automation #case study #experience- Experiences applying automated architecture analysis tool suites (RM, WS, YC, SR, RK, MN), pp. 779–789.
ASE-2018-PatwardhanSSKG #ambiguity #automation #towards #using- Towards automating disambiguation of regulations: using the wisdom of crowds (MP, AS, RS, SK, SG), pp. 850–855.
ASE-2018-UdeshiAC #automation #testing- Automated directed fairness testing (SU, PA, SC0), pp. 98–108.
ASE-2018-WangSK #alloy #automation- Automated model repair for Alloy (KW, AS, SK), pp. 577–588.
ESEC-FSE-2018-Afzal #assurance #automation #quality- Quality assurance automation in autonomous systems (AA), pp. 948–951.
ESEC-FSE-2018-DongWLGBLXK #android #automation #detection #named- FraudDroid: automated ad fraud detection for Android apps (FD, HW, LL0, YG0, TFB, TL, GX, JK), pp. 257–268.
ESEC-FSE-2018-ErataGKT #automation #first-order #logic #named #reasoning #relational- AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning (FE, AG, IK, BT), pp. 920–923.
ESEC-FSE-2018-Fazzini #automation #maintenance #mobile #testing- Automated support for mobile application testing and maintenance (MF), pp. 932–935.
ESEC-FSE-2018-GulzarWK #automation #big data #data analysis #data-driven #debugging #named #scalability- BigSift: automated debugging of big data analytics in data-intensive scalable computing (MAG, SW, MK), pp. 863–866.
ESEC-FSE-2018-HashimotoMI #automation #debugging #semantics #source code- Automated patch extraction via syntax- and semantics-aware Delta debugging on source code changes (MH, AM, TI), pp. 598–609.
ESEC-FSE-2018-HuaZWK #approach #automation #generative #lazy evaluation #named #program repair #sketching #using- SketchFix: a tool for automated program repair approach using lazy candidate generation (JH, MZ, KW, SK), pp. 888–891.
ESEC-FSE-2018-Lima #automation #distributed #integration #testing- Automated scenario-based integration testing of distributed systems (BL), pp. 956–958.
ESEC-FSE-2018-MaLLZG #analysis #automation #debugging #difference #named #network- MODE: automated neural network model debugging via state differential analysis and input selection (SM, YL, WCL, XZ, AG), pp. 175–186.
ESEC-FSE-2018-SongM0 #approach #automation #estimation #novel- A novel automated approach for software effort estimation based on data augmentation (LS, LLM, XY0), pp. 468–479.
ESEC-FSE-2018-WangGXXNDHX #automation #black box #named #testing- FACTS: automated black-box testing of FinTech systems (QW, LG, MX, LX, WN, LD, LH0, TX), pp. 839–844.
ESEC-FSE-2018-ZhangHHZZ #automation #refactoring #spreadsheet- Automated refactoring of nested-IF formulae in spreadsheets (JZ0, SH, DH, LZ0, DZ), pp. 833–838.
GPCE-2018-LiuAT #automation #constraints #execution #named #realtime #refactoring- RT-trust: automated refactoring for trusted execution under real-time constraints (YL, KA, ET), pp. 175–187.
CAV-2018-CeskaMMSVV #approximate #automation #design #named- ADAC: Automated Design of Approximate Circuits (MC0, JM, VM, LS, ZV, TV), pp. 612–620.
IJCAR-2018-HannulaL #automation #reasoning #set- Automated Reasoning About Key Sets (MH, SL), pp. 47–63.
IJCAR-2018-KatelaanJW #automation #logic #modelling- A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.
IJCAR-2018-ZhaoS #automation #logic #named #semantics- FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics (YZ, RAS), pp. 19–27.
JCDL-2017-AlawiniCDSS #automation #experience- Automating Data Citation: The eagle-i Experience (AA, LC, SBD, NPDS, GS), pp. 169–178.
Haskell-2017-Remy #automation #named #parametricity #reuse- Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) (DR), p. 1.
ECMFA-2017-Kraas #automation #on the #uml- On the Automated Derivation of Domain-Specific UML Profiles (AK), pp. 3–19.
ICMT-2017-NassarRA #approach #automation #emf #interactive #modelling #rule-based- Rule-Based Repair of EMF Models: An Automated Interactive Approach (NN, HR, TA), pp. 171–181.
ASE-2017-AbateBCCCDKKP #automation #named #physics #synthesis- DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
ASE-2017-FazziniO #automation #consistency #detection #mobile #nondeterminism #platform- Automated cross-platform inconsistency detection for mobile apps (MF, AO), pp. 308–318.
ASE-2017-MaoHJ #automation #mobile #testing- Crowd intelligence enhances automated mobile testing (KM, MH, YJ0), pp. 16–26.
ASE-2017-MirhosseiniP #automation #dependence #developer #question- Can automated pull requests encourage software developers to upgrade out-of-date dependencies? (SM, CP), pp. 84–94.
ASE-2017-XinR #automation #program repair- Leveraging syntax-related code for automated program repair (QX, SPR), pp. 660–670.
ASE-2017-XuXXL #automation #developer #generative #named #summary- AnswerBot: automated generation of answer summary to developersź technical questions (BX, ZX, XX0, DL0), pp. 706–716.
ESEC-FSE-2017-ErataGTK #automation #configuration management #reasoning #semantics- A tool for automated reasoning about traces based on configurable formal semantics (FE, AG, BT, GK), pp. 959–963.
ESEC-FSE-2017-MaggioPFH #automation #multi #using- Automated control of multiple software goals using multiple actuators (MM, AVP, AF, HH), pp. 373–384.
ESEC-FSE-2017-MatinnejadNB #automation #case study #hybrid #industrial #testing- Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
ESEC-FSE-2017-Mills #automation #classification #traceability- Automating traceability link recovery through classification (CM), pp. 1068–1070.
ESEC-FSE-2017-YangZLT #automation #program repair #testing- Better test cases for better automated program repair (JY0, AZ, YL, LT0), pp. 831–841.
ESEC-FSE-2017-YiAKTR #automation #program repair #programming #using- A feasibility study of using automated program repair for introductory programming assignments (JY, UZA, AK, SHT, AR), pp. 740–751.
ESEC-FSE-2017-ZhouS #automation #commit #debugging #identification #security- Automated identification of security issues from commit messages and bug reports (YZ, AS), pp. 914–919.
SLE-2017-RoychoudhurySKK #automation- A domain-specific controlled English language for automated regulatory compliance (SR, SS, DK, VK), pp. 175–181.
FASE-2017-UvaPRAF #automation #java #satisfiability #specification- Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.
CAV-2017-AbateBCCDKKP #automation #physics #synthesis- Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
CAV-2017-ChatterjeeFM #analysis #automation #bound- Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds (KC, HF0, AM), pp. 118–139.
CAV-2017-Carbonneaux0RS #analysis #automation #coq #proving- Automated Resource Analysis with Coq Proof Objects (QC, JH0, TWR, ZS), pp. 64–85.
CAV-2017-UnnoTS #automation #horn clause #induction- Automating Induction for Solving Horn Clauses (HU0, ST, HS), pp. 571–591.
BX-2016-KramerR #automation #bidirectional #model transformation- Automated Inversion of Attribute Mappings in Bidirectional Model Transformations (MEK, KR), pp. 61–76.
ECMFA-2016-KessentiniSW #approach #automation #co-evolution #metamodelling #multi #optimisation #using- Automated Metamodel/Model Co-evolution Using a Multi-objective Optimization Approach (WK, HAS, MW), pp. 138–155.
ECMFA-2016-WangLYAN #automation #framework #modelling #named- MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System (SW, HL, TY, SA, JN), pp. 191–204.
MoDELS-2016-AlkhaziRKWG #approach #atl #automation #model transformation #refactoring #search-based- Automated refactoring of ATL model transformations: a search-based approach (BA, TR, MK, MW, WIG), pp. 295–304.
MoDELS-2016-FangLDE #automation #industrial #modelling #multi #variability- Multi-variability modeling and realization for software derivation in industrial automation management (MF, GL, JD, CE), pp. 2–12.
MoDELS-2016-RueggLPKSH #automation #diagrams #incremental #layout #migration- Incremental diagram layout for automated model migration (UR, RL, AP, AK, CDS, RvH), pp. 185–195.
MoDELS-2016-TuchschererWT #automation #c++ #collaboration #modelling- Modern C++ as a modeling language for automated driving and human-robot collaboration (DT, AW, FT), pp. 136–142.
ASE-2016-BaekB #android #automation #comparison #modelling #multi #testing #user interface #using- Automated model-based Android GUI testing using multi-level GUI comparison criteria (YMB, DHB), pp. 238–249.
ASE-2016-CeccatoNAB #automation #black box #injection #named #security #testing- SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities (MC, CDN, DA, LCB), pp. 167–177.
ASE-2016-KangRJ #api #automation #c #fault #named #specification- APEx: automated inference of error specifications for C APIs (YJK, BR, SJ), pp. 472–482.
ASE-2016-Keng #automation #behaviour #mobile #privacy #testing- Automated testing and notification of mobile app privacy leak-cause behaviours (JCJK), pp. 880–883.
ASE-2016-KrishnaMF #automation #learning- Too much automation? the bellwether effect and its implications for transfer learning (RK, TM, WF), pp. 122–131.
ASE-2016-MoketarKSRG #automation #collaboration #requirements #validation- An automated collaborative requirements engineering tool for better validation of requirements (NAM, MK, SS, MR, JCG), pp. 864–869.
ASE-2016-RazaF #analysis #automation #development #named #performance #recommendation- ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development (MR, JPF), pp. 798–803.
FSE-2016-Nandi #automation #generative- Automatic trigger generation for end user written rules for home automation (CN), pp. 1109–1111.
FSE-2016-NejatiS0BM #automation #design #impact analysis #modelling #requirements- Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
FSE-2016-Rolim #automation #using- Automating repetitive code changes using examples (RR), pp. 1063–1065.
FSE-2016-ZengLZXDLYX #android #automation #case study #generative #industrial #question- Automated test input generation for Android: are we really there yet in an industrial case? (XZ, DL0, WZ, FX, YD, WL, WY0, TX0), pp. 987–992.
GPCE-2016-MakkiLJ #automation #framework #process #testing- Automated regression testing of BPMN 2.0 processes: a capture and replay framework for continuous delivery (MM, DVL, WJ), pp. 178–189.
SLE-2016-MeyersDDV #automation #domain-specific language #modelling #testing- Automated testing support for reactive domain-specific modelling languages (BM, JD, ID, HV), pp. 181–194.
ESOP-2016-MalechaB #automation #performance- Extensible and Efficient Automation Through Reflective Tactics (GM, JB), pp. 532–559.
FASE-2016-BasuB #automation- Automated Choreography Repair (SB0, TB), pp. 13–30.
FASE-2016-DebreceniRVCMT #automation #design- Automated Model Merge by Design Space Exploration (CD, IR, DV, XDC, XM, ST), pp. 104–121.
FASE-2016-WeckesserLSRS #automation #bound #detection #exclamation #feature model #modelling- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models (MW, ML, TS, BR, AS), pp. 158–175.
CAV-2016-ElkaderGPS #automation #composition #reasoning #refinement- Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement (KAE, OG, CSP, SS), pp. 329–351.
CAV-2016-GarioCMTR #automation #design #model checking #scalability- Model Checking at Scale: Automated Air Traffic Control Design Space Exploration (MG, AC, CM, ST, KYR), pp. 3–22.
CAV-2016-SantolucitoZP #automation #learning #probability- Probabilistic Automated Language Learning for Configuration Files (MS, EZ, RP), pp. 80–87.
CSL-2016-Muscholl #automation #distributed #synthesis- Automated Synthesis: Going Distributed (AM), p. 2.
IJCAR-2016-ZoharZ #automation #calculus #named #satisfiability- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (YZ, AZ), pp. 487–495.
ECSA-2015-HansenM #automation #community #composition #detection #using- (Automated) Software Modularization Using Community Detection (KMH, KM), pp. 95–102.
QoSA-2015-HofigZS #automation #dependence #using- Automated Failure Propagation using Inner Port Dependency Traces (KH, MZ, KS), pp. 123–128.
DocEng-2015-KidoYTA #automation #documentation #layout #optimisation- Document Layout Optimization with Automated Paraphrasing (YK, HY, GT, AA), pp. 13–16.
DRR-2015-ClawsonB #automation- Intelligent indexing: a semi-automated, trainable system for field labeling (RC, WAB).
HT-2015-Jain #automation #platform #social- Automated Methods for Identity Resolution across Heterogeneous Social Platforms (PJ), pp. 307–310.
VLDB-2015-PotharajuCHNWZJ #automation #detection #knowledge base #named- ConfSeer: Leveraging Customer Support Knowledge Bases for Automated Misconfiguration Detection (RP, JC, LH, CNR, MW, LZ, NJ), pp. 1828–1839.
ITiCSE-2015-AntonucciENPM #automation #incremental #programming- An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
ITiCSE-2015-BlauM #automation #feedback #java #student- FrenchPress Gives Students Automated Feedback on Java Program Flaws (HB, JEBM), pp. 15–20.
ICPC-2015-HauptmannJW #automation #generative #refactoring #testing- Generating refactoring proposals to remove clones from automated system tests (BH, EJ, VW), pp. 115–124.
ICPC-2015-LeVLP #automation #commit #information management #named- RCLinker: automated linking of issue reports and commits leveraging rich contextual information (TDBL, MLV, DL, DP), pp. 36–47.
ICSME-2015-LuciaDGR #automation #behaviour #design pattern #detection #dynamic analysis #towards- Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.
ICSME-2015-SumiHHK #automation #program repair #towards- Toward improving graftability on automated program repair (SS, YH, KH, SK), pp. 511–515.
ICSME-2015-Vogel-HeuserFRF #automation #case study #challenge #hardware #industrial #maintenance- Challenges for maintenance of PLC-software and its related hardware for automated production systems: Selected industrial Case Studies (BVH, JF, SR, SF, SU), pp. 362–371.
SANER-2015-RoehmNB #automation #interactive- Automated extraction of failure reproduction steps from user interaction traces (TR, SN, BB), pp. 121–130.
SCAM-2015-GhanavatiA #automation #memory management #testing- Automated memory leak diagnosis by regression testing (MG, AA), pp. 191–200.
SCAM-2015-PintoKT #analysis #automation #multi #performance- Automating the performance deviation analysis for multiple system releases: An evolutionary study (FP, UK, CT), pp. 201–210.
ICALP-v2-2015-Muscholl #automation #distributed #synthesis- Automated Synthesis of Distributed Controllers (AM), pp. 11–27.
LATA-2015-AutiliIMST #automation #specification #synthesis- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
LATA-2015-FarzanHHKP #automation #verification- Automated Program Verification (AF, MH, JH, ZK, AP), pp. 25–46.
FM-2015-ElkaderGPS #automation #reasoning- Automated Circular Assume-Guarantee Reasoning (KAE, OG, CSP, SS), pp. 23–39.
FM-2015-FernandezAKK #automation #verification- Automated Verification of RPC Stub Code (MF, JA, GK, IK), pp. 273–290.
CHI-2015-DehaisPSFG #automation #realtime- “Automation Surprise” in Aviation: Real-Time Solutions (FD, VP, SS, JF, TG), pp. 2525–2534.
CHI-2015-GaoYHF #automation #collaboration #game studies #how #multi- Improving Multilingual Collaboration by Displaying How Non-native Speakers Use Automated Transcripts and Bilingual Dictionaries (GG, NY, AMJH, SRF), pp. 3463–3472.
CHI-2015-KonradBCTNDPW #adaptation #automation #reduction- Finding the Adaptive Sweet Spot: Balancing Compliance and Achievement in Automated Stress Reduction (AK, VB, NC, ST, LN, HD, PP, SW), pp. 3829–3838.
CHI-2015-MaurielloNF #automation #comprehension #energy- Understanding the Role of Thermography in Energy Auditing: Current Practices and the Potential for Automated Solutions (MLM, LN, JEF), pp. 1993–2002.
CHI-2015-SutherlandHY #automation #predict- The Role of Environmental Predictability and Costs in Relying on Automation (SCS, CH, MEY), pp. 2535–2544.
CHI-2015-YunASLZL #automation #online- Beyond Eco-Feedback: Adding Online Manual and Automated Controls to Promote Workplace Sustainability (RY, AA, PS, BL, CZ, VL), pp. 1989–1992.
DHM-EH-2015-GoffRB #effectiveness #interactive #towards- Toward a Model for Effective Human-Automation Interaction: The Mediated Agency (KLG, AR, BB), pp. 274–283.
DUXU-DD-2015-FilhoPV15b #automation #mobile #testing #usability- Emotions Logging in Automated Usability Tests for Mobile Devices (JFF, WP, TV), pp. 428–435.
DUXU-IXD-2015-GoncalvesQ #automation #behaviour #case study #interactive- Drivers and Automation: A Study About Cultural and Behavioral Influence in the Interaction with Driver Assistants (RCG, MQ), pp. 462–472.
HCI-IT-2015-DibitontoM #automation #performance- Improving User Performance in a Smart Surveillance Scenario through Different Levels of Automation (MD, CMM), pp. 706–716.
HCI-IT-2015-EskerudSOH #approach #automation #design #interface- Controlling the Home — A User Participatory Approach to Designing a Simple Interface for a Complex Home Automation System (ME, AS, CSO, HH), pp. 717–728.
HCI-UC-2015-Wittenberg #automation #industrial #question #requirements #user interface- Cause the Trend Industry 4.0 in the Automated Industry to New Requirements on User Interfaces? (CW), pp. 238–245.
CAiSE-2015-LeopoldMFPSM #automation #modelling #process #towards- Towards the Automated Annotation of Process Models (HL, CM, MF, FP, HS, JM), pp. 401–416.
ICEIS-v1-2015-PfaffK #automation #benchmark #classification #documentation #identification #metric #natural language- Natural Language Processing Techniques for Document Classification in IT Benchmarking — Automated Identification of Domain Specific Terms (MP, HK), pp. 360–366.
ICEIS-v2-2015-IanzenFPMR #automation #product line- Scoping Automation in Software Product Lines (AI, RMF, MAP, AM, SSR), pp. 82–91.
ECIR-2015-Dori-HacohenA #automation #detection #web- Automated Controversy Detection on the Web (SDH, JA), pp. 423–434.
KDD-2015-BerralPCCRG #automation #framework #information management #named- ALOJA-ML: A Framework for Automating Characterization and Knowledge Discovery in Hadoop Deployments (JLB, NP, DC, AC, RR, DG), pp. 1701–1710.
KDD-2015-LaptevAF #automation #detection #framework #scalability- Generic and Scalable Framework for Automated Time-series Anomaly Detection (NL, SA, IF), pp. 1939–1947.
RecSys-2015-HarveyE #automation #personalisation #recommendation- Automated Recommendation of Healthy, Personalised Meal Plans (MH, DE), pp. 327–328.
RecSys-2015-Stock #automation #persuasion #speech- A (Persuasive?) Speech on Automated Persuasion (OS), pp. 1–2.
RecSys-2015-Vall #automation #generative #music- Listener-Inspired Automated Music Playlist Generation (AV), pp. 387–390.
SEKE-2015-FiondellaGL #automation #predict- A Smartphone-based System for Automated Congestion Prediction (LF, SSG, NL), pp. 195–200.
SEKE-2015-LinHX #automation #framework #statistics #testing #user interface- An Automated Testing Framework for Statistical Testing of GUI Applications (LL, JH, YX), pp. 72–79.
SIGIR-2015-SallesGRR #automation #classification #effectiveness #fault #named #random- BROOF: Exploiting Out-of-Bag Errors, Boosting and Random Forests for Effective Automated Classification (TS, MAG, VR, LCdR), pp. 353–362.
ECMFA-J-2012-PuissantSM15 #automation #consistency #nondeterminism #using- Resolving model inconsistencies using automated regression planning (JPP, RVDS, TM), pp. 461–481.
MoDELS-2015-IftikharIKM #approach #automation #framework #game studies #modelling #testing- An automated model based testing approach for platform games (SI, MZI, MUK, WM), pp. 426–435.
SPLC-2015-FangLDEZ #automation #industrial #modelling #towards- Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
SPLC-2015-FontBHC #automation #formal method #product line #variability- Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
SPLC-2015-HotzWRGL #automation #evaluation #multi- Evaluation across multiple views for variable automation systems (LH, YW, MR, OG, JL), pp. 311–315.
SPLC-2015-PatelS #as a service #automation #testing #using #variability- Automated testing of software-as-a-service configurations using a variability language (SP, VS), pp. 253–262.
OOPSLA-2015-FuBS #analysis #automation #fault- Automated backward error analysis for numerical code (ZF, ZB, ZS), pp. 639–654.
OOPSLA-2015-MadhavanMGK #automation #comparison- Automating grammar comparison (RM, MM, SG, VK), pp. 183–200.
OOPSLA-2015-UrecheBSO #ad hoc #automation #data transformation #representation- Automating ad hoc data representation transformations (VU, AB, YS, MO), pp. 801–820.
PLDI-2015-PrountzosMP #automation #graph #parallel #source code- Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.
POPL-2015-Gulwani #automation- Automating Repetitive Tasks for the Masses (SG), pp. 1–2.
PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification- Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
ASE-2015-ChoudharyGO #android #automation #generative- Automated Test Input Generation for Android: Are We There Yet? (E) (SRC, AG, AO), pp. 429–440.
ASE-2015-MaAZSGR15a #automation #generative #named #program analysis #using- GRT: An Automated Test Generator Using Orchestrated Program Analysis (LM, CA, CZ, HS, JG, RR), pp. 842–847.
ASE-2015-MartinezZBKT #automation #modelling #product line- Automating the Extraction of Model-Based Software Product Lines from Model Variants (T) (JM, TZ, TFB, JK, YLT), pp. 396–406.
ASE-2015-SohanAM #api #automation #documentation #named #rest #using- SpyREST: Automated RESTful API Documentation Using an HTTP Proxy Server (N) (SMS, CA, FM), pp. 271–276.
ASE-2015-SohanAM15a #api #automation #documentation #rest- SpyREST in Action: An Automated RESTful API Documentation Tool (SMS, CA, FM), pp. 813–818.
ASE-2015-Vargas-Baldrich #automation #bytecode #dependence #using- Automated Tagging of Software Projects Using Bytecode and Dependencies (N) (SVB, MLV, DP), pp. 289–294.
ASE-2015-ZimmermanR #automation #framework #recommendation- An Automated Framework for Recommending Program Elements to Novices (N) (KZ, CRR), pp. 283–288.
ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements- NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ESEC-FSE-2015-ArcuriFG #automation #generative #network #testing- Generating TCP/UDP network data for automated unit test generation (AA, GF, JPG), pp. 155–165.
ESEC-FSE-2015-FilieriHM #adaptation #automation #design #multi #self- Automated multi-objective control for self-adaptive software design (AF, HH, MM), pp. 13–24.
ESEC-FSE-2015-GhaisasMBGKV #automation #security #towards- Towards automating the security compliance value chain (SG, MM, BB, AG, RK, HMV), pp. 1014–1017.
ESEC-FSE-2015-Jain #automation #generative #programming language- Automated generation of programming language quizzes (SJ), pp. 1051–1053.
ESEC-FSE-2015-Shamshiri #automation #evolution #generative #testing- Automated unit test generation for evolving software (SS), pp. 1038–1041.
ESEC-FSE-2015-SmithBGB #automation #program repair- Is the cure worse than the disease? overfitting in automated program repair (EKS, ETB, CLG, YB), pp. 532–543.
ESEC-FSE-2015-Theisen #approximate #automation- Automated attack surface approximation (CT), pp. 1063–1065.
ICSE-v1-2015-DeweyNH #automation #data type #generative- Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
ICSE-v1-2015-HuaKM #automation #editing #question #refactoring- Does Automated Refactoring Obviate Systematic Editing? (LH, MK, KSM), pp. 392–402.
ICSE-v1-2015-TanR #automation #named- relifix: Automated Repair of Software Regressions (SHT, AR), pp. 471–482.
ICSE-v1-2015-VakilianSMM #automation #composition- Automated Decomposition of Build Targets (MV, RS, JDM, VM), pp. 123–133.
ICSE-v1-2015-WongZWLT #automation #execution #named #symbolic computation #testing- DASE: Document-Assisted Symbolic Execution for Improving Automated Software Testing (EW, LZ, SW, TL, LT), pp. 620–631.
ICSE-v1-2015-YandrapallySS #automation #composition #testing #user interface- Automated Modularization of GUI Test Cases (RY, GS, SS), pp. 44–54.
ICSE-v2-2015-FooJAHZF #automation #case study #detection #industrial #performance- An Industrial Case Study on the Automated Detection of Performance Regressions in Heterogeneous Environments (KCF, ZMJ, BA, AEH, YZ, PF), pp. 159–168.
ICSE-v2-2015-Gil #adaptation #automation #self- Automated Planning for Self-Adaptive Systems (RG), pp. 839–842.
ICSE-v2-2015-PeiFNM #automation #development #ide #program repair- Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
ICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support- TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
SAC-2015-ByunC #automation #constraints #operating system #safety #testing #using- Automated system-level safety testing using constraint patterns for automotive operating systems (TB, YC), pp. 1815–1822.
SAC-2015-LeottaSRT #automation #generative #testing #visual notation #web- Automated generation of visual web tests from DOM-based web tests (ML, AS, FR, PT), pp. 775–782.
SAC-2015-MalechaGS #automation- Automated software winnowing (GM, AG, NS), pp. 1504–1511.
SAC-2015-Morelli #automation #generative #modelling- Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SAC-2015-RaniseTV #analysis #automation #constraints #policy- Automated analysis of RBAC policies with temporal constraints and static role hierarchies (SR, ATT, LV), pp. 2177–2184.
SAC-2015-Usener #assessment #automation #data type #education #named- EASy-DSBuilder: automated assessment of tree data structures in computer science teaching (CAU), pp. 220–226.
GPCE-2015-ByalikCT #automation #named #programming #synthesis- Native-2-native: automated cross-platform code synthesis from web-based programming resources (AB, SC, ET), pp. 99–108.
ASPLOS-2015-XuLWZ #automation #power management #runtime- Automated OS-level Device Runtime Power Management (CX, FXL, YW, LZ), pp. 239–252.
CASE-2015-AicherRV #abstraction #automation #simulation #towards #verification- Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.
CASE-2015-BergagardF #automation #on the #using- On restart of automated manufacturing systems using restart states (PB, MF), pp. 166–167.
CASE-2015-CarliDEAV #automation #evaluation #using- Automated evaluation of urban traffic congestion using bus as a probe (RC, MD, NE, BA, AV), pp. 967–972.
CASE-2015-ChengHL #automation #petri net #robust #synthesis #using- Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
CASE-2015-ChenH #assembly #automation #distributed #petri net #using- Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASE-2015-ChenN #automation- A cascade control for Sander automation system (ZC, BN), pp. 894–899.
CASE-2015-CheongSB #ad hoc #automation #optimisation- Ad-hoc automated teller machine failure forecast and field service optimization (MLFC, KPS, BCB), pp. 1427–1433.
CASE-2015-ChuFRSKT #approach #automation #hardware #integration- A LC-MS integration approach in life science automation: Hardware integration and software integration (XC, HF, TR, NS, MK, KT), pp. 979–984.
CASE-2015-ClevelandTDPKDB #automation #programming #recognition #segmentation #semantics- An automated system for semantic object labeling with soft object recognition and dynamic programming segmentation (JC, DT, PD, CJP, TK, KD, JB, VK), pp. 683–690.
CASE-2015-DamesK #automation #detection #locality #multi #smarttech- Automated detection, localization, and registration of smart devices with multiple robots (PD, VK), pp. 564–571.
CASE-2015-DasCQMTMK #automation #monitoring #precise- Devices, systems, and methods for automated monitoring enabling precision agriculture (JD, GC, CQ, AM, PT, YM, VK), pp. 462–469.
CASE-2015-DijkmanRB #automation #how- How to assess sustainability in automated manufacturing (TJD, JMR, NB), pp. 1351–1356.
CASE-2015-FerrerALVLH #approach #assembly #automation #process- An approach for knowledge-driven product, process and resource mappings for assembly automation (BRF, BA, AL, DAV, JLML, RH), pp. 1104–1109.
CASE-2015-FleischerAT #automation #composition #evaluation- A cross-platform modular software solution for automated data evaluation applied in elemental and structural mass spectrometry (HF, MA, KT), pp. 758–763.
CASE-2015-GoeckeE #automation #robust #towards- Towards a more robust automated MAG welding (SFG, MES), pp. 417–418.
CASE-2015-HagqvistCH #automation- Automation of a laser welding system for additive manufacturing (PH, AKC, AH), pp. 900–905.
CASE-2015-KaipaTSKLG #automation #using- Resolving automated perception system failures in bin-picking tasks using assistance from remote human operators (KNK, SSTK, SS, AMK, JDL, SKG), pp. 1453–1458.
CASE-2015-KanCLY #automation #health #internet #mobile #network #towards- Mobile sensing and network analytics for realizing smart automated systems towards health Internet of Things (CK, YC, FL, HY), pp. 1072–1077.
CASE-2015-LennvallRS #automation #scheduling- Scheduling of electrical loads in home automation systems (TL, LR, PS), pp. 1307–1312.
CASE-2015-RacchettiTF #automation #documentation #generative #lifecycle #usability- Generating automatically the documentation from PLC code by D4T3 to improve the usability and life cycle management of software in automation (LR, LT, CF), pp. 168–173.
CASE-2015-SrinivasanBSSR #automation #machine learning #modelling #network #using- Modelling time-varying delays in networked automation systems with heterogeneous networks using machine learning techniques (SS, FB, GS, BS, SR), pp. 362–368.
CASE-2015-WangTG #automation #performance- Automated performance tracking for heat exchangers in HVAC (PW, XT, RG), pp. 949–954.
CASE-2015-YangH0 #assembly #automation #distributed #petri net- A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
DAC-2015-BuiniPG #automation #cyber-physical #design #modelling #physics #variability- Including variability of physical models into the design automation of cyber-physical systems (HMB, SP, TG), p. 6.
DAC-2015-MiuraFNHHA #concept- EM attack sensor: concept, circuit, and design-automation methodology (NM, DF, MN, NH, YiH, TA), p. 6.
DAC-2015-PapamichaelMH #algorithm #automation #design #named #performance #search-based #using- Nautilus: fast automated IP design space search using guided genetic algorithms (MKP, PM, JCH), p. 6.
DAC-2015-PolianF #architecture #automation #challenge #design #quantum #scalability- Design automation challenges for scalable quantum architectures (IP, AGF), p. 6.
DAC-2015-SchatzVZ #automation #component #deployment- Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context (BS, SV, SZ), p. 6.
DATE-2015-BerryhillV #automation #functional- Automated rectification methodologies to functional state-space unreachability (RB, AGV), pp. 1401–1406.
DATE-2015-SonghoriMLK #automation #data analysis #framework #hardware #named- AHEAD: automated framework for hardware accelerated iterative data analysis (EMS, AM, XL, FK), pp. 942–947.
DATE-2015-StoppeWD #automation #design #locality- Automated feature localization for dynamically generated SystemC designs (JS, RW, RD), pp. 277–280.
DATE-2015-TaatizadehN #automation #design #detection #embedded #validation- A methodology for automated design of embedded bit-flips detectors in post-silicon validation (PT, NN), pp. 73–78.
HPDC-2015-RothMV #automation #communication #parallel- Automated Characterization of Parallel Application Communication Patterns (PCR, JSM, JSV), pp. 73–84.
HPDC-2015-WahibM #automation #gpu #kernel #scalability- Automated GPU Kernel Transformations in Large-Scale Production Stencil Applications (MW, NM), pp. 259–270.
PPoPP-2015-JinLMLLPCK #automation #benchmark #generative #identification #metric #modelling #parallel #statistics- Combining phase identification and statistic modeling for automated parallel benchmark generation (YJ, ML, XM, QL, JSL, NP, JYC, SK), pp. 269–270.
SOSP-2015-KasikciSPPC #automation #sketching- Failure sketching: a technique for automated root cause diagnosis of in-production failures (BK, BS, CP, GP, GC), pp. 344–360.
TACAS-2015-HeizmannDLMP #array #contest- Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
CADE-2015-AlamaOZ #automation #concept- Automating Leibniz’s Theory of Concepts (JA, PEO, ENZ), pp. 73–97.
CADE-2015-DSilvaU #abstract interpretation #automation #deduction- Abstract Interpretation as Automated Deduction (VD, CU), pp. 450–464.
CADE-2015-FurbachPS #automation #reasoning- Automated Reasoning in the Wild (UF, BP, CS), pp. 55–72.
CADE-2015-HouGT #automation #logic #proving #theorem proving- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.
CADE-2015-Plaisted #automation #deduction #first-order- History and Prospects for First-Order Automated Deduction (DAP), pp. 3–28.
CAV-2015-CookKP #automation #infinity #on the #verification- On Automation of CTL* Verification for Infinite-State Systems (BC, HK, NP), pp. 13–29.
CAV-2015-HawblitzelPQT #automation #composition #concurrent #reasoning #refinement #source code- Automated and Modular Refinement Reasoning for Concurrent Programs (CH, EP, SQ, ST), pp. 449–465.
ICLP-2015-LeeWZ #automation #programming #reasoning #set #using- Automated Reasoning about XACML 3.0 Delegation Using Answer Set Programming (JL, YW, YZ), pp. 247–259.
ICST-2015-ErmanTBRA #approach #automation #clustering #development #information management #multi #navigation #testing- Navigating Information Overload Caused by Automated Testing — a Clustering Approach in Multi-Branch Development (NE, VT, MB, PR, AA), pp. 1–9.
ICST-2015-KochharTNZL #automation #comprehension #developer #testing- Understanding the Test Automation Culture of App Developers (PSK, FT, NN, TZ, DL), pp. 1–10.
ICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing- JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ICST-2015-TokcanOT #automation #development #framework #multi #named #testing- MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio (MDT, OO, HT), pp. 1–2.
ISSTA-2015-BarrHJMP #automation- Automated software transplantation (ETB, MH, YJ, AM, JP), pp. 257–269.
ISSTA-2015-Hothersall-Thomas #automation #named #security #testing- BrowserAudit: automated testing of browser security features (CHT, SM, CN), pp. 37–47.
ISSTA-2015-RojasFA #automation #development #empirical #generative #testing- Automated unit test generation during software development: a controlled experiment and think-aloud observations (JMR, GF, AA), pp. 338–349.
ISSTA-2015-ShenLPG #automation #detection #performance #profiling #search-based #using- Automating performance bottleneck detection using search-based application profiling (DS, QL, DP, MG), pp. 270–281.
ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing- RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
SAT-2015-FalknerLH #analysis #automation #named #performance #satisfiability- SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers (SF, MTL, FH), pp. 215–222.
ECSA-2014-AnvaariZ #architecture #automation #design #development #framework- Semi-automated Design Guidance Enhancer (SADGE): A Framework for Architectural Guidance Development (MA, OZ), pp. 41–49.
WICSA-2014-UusitaloRKMM #architecture #automation #lessons learnt #safety- Lessons Learned from Safety-Critical Software-Based Automation Architectures of Nuclear Power Plants (EJU, MR, MK, VM, TM), pp. 45–48.
DocEng-2014-BoschGL #automation #css #reduction #refactoring- Automated refactoring for size reduction of CSS style sheets (MB, PG, NL), pp. 13–16.
DRR-2014-DiemKFS #automation #clustering #documentation #image #retrieval- Semi-automated document image clustering and retrieval (MD, FK, SF, RS), p. ?–10.
JCDL-2014-KargakisT #automation #information management #named #reasoning- Epimenides: An information system offering automated reasoning for the needs of digital preservation (YK, YT), pp. 411–412.
VLDB-2014-HassanSWZLYY #automation #monitoring- Data In, Fact Out: Automated Monitoring of Facts by FactWatcher (NH, AS, YW, GZ, CL, JY, CY), pp. 1557–1560.
CSEET-2014-BoeschS #automation #learning- Automated mentor assignment in blended learning environments (CB, KS), pp. 94–98.
ITiCSE-2014-HakulinenM #assessment #automation #programming- QR code programming tasks with automated assessment (LH, LM), pp. 177–182.
ITiCSE-2014-StrieweG #assessment #automation #diagrams #process #uml- Automated assessment of UML activity diagrams (MS, MG), p. 336.
CSMR-WCRE-2014-TianLL #automation #database #similarity #word- Automated construction of a software-specific word similarity database (YT, DL, JLL), pp. 44–53.
CSMR-WCRE-2014-VosTPKBHS #automation #internet #named #process #testing- FITTEST: A new continuous and automated testing process for future Internet applications (TEJV, PT, WP, PMK, AB, MH, OS), pp. 407–410.
ICPC-2014-SilvaTV #automation #recommendation #refactoring- Recommending automated extract method refactorings (DS, RT, MTV), pp. 146–156.
ICSME-2014-ChristopheSRM #automation #functional #maintenance #testing #web- Prevalence and Maintenance of Automated Functional Tests for Web Applications (LC, RS, CDR, WDM), pp. 141–150.
ICSME-2014-HallKWM #automation #source code #tool support- Establishing the Source Code Disruption Caused by Automated Remodularisation Tools (MH, MAK, NW, PM), pp. 466–470.
ICSME-2014-KerzaziKA #automation #empirical #why- Why Do Automated Builds Break? An Empirical Study (NK, FK, BA), pp. 41–50.
SCAM-2014-MurtazaHKC #automation #detection- Total ADS: Automated Software Anomaly Detection System (SSM, AHL, WK, MC), pp. 83–88.
FM-2014-BonakdarpourHK #authentication #automation #knowledge-based #protocol- Knowledge-Based Automated Repair of Authentication Protocols (BB, RH, SSK), pp. 132–147.
FM-2014-DenmanM #automation #proving- Automated Real Proving in PVS via MetiTarski (WD, CAM), pp. 194–199.
IFM-2014-ChaudhariD #automation #proving #theorem proving- Automated Theorem Prover Assisted Program Calculations (DLC, OPD), pp. 205–220.
SEFM-2014-AlrajehC #automation #composition #detection #specification- Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
CHI-2014-GaoHAHD #automation #named #pipes and filters #visualisation- NewsViews: an automated pipeline for creating custom geovisualizations for news (TG, JH, EA, BH, ND), pp. 3005–3014.
CHI-2014-GaoYHEF #automation #communication #multi- Effects of public vs. private automated transcripts on multiparty communication between native and non-native english speakers (GG, NY, AMJH, AE, SRF), pp. 843–852.
CHI-2014-OrtegaV #3d #automation- Direct drawing on 3D shapes with automated camera control (MO, TV), pp. 2047–2050.
CHI-2014-Oulasvirta #automation #human-computer #modelling- Automated nonlinear regression modeling for HCI (AO), pp. 3899–3902.
CHI-2014-SavvaCMH #automation #generative #keyword #named- TransPhoner: automated mnemonic keyword generation (MS, AXC, CDM, PH), pp. 3725–3734.
HCI-AS-2014-JanssonSBAT #automation #design- Authority and Level of Automation — Lessons to Be Learned in Design of In-vehicle Assistance Systems (AJ, PS, IB, AA, ST), pp. 413–424.
HCI-AS-2014-NiedoberHMKSCJL #automation #case study #trust- Influence of Cultural, Organizational and Automation Factors on Human-Automation Trust: A Case Study of Auto-GCAS Engineers and Developmental History (DJN, NTH, GM, KK, MS, AC, WJ, JBL), pp. 473–484.
HCI-TMT-2014-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.
CAiSE-2014-0001PBKLSFW #automation #process- Automating Data Exchange in Process Choreographies (AM, LP, KB, SK, TL, TS, DF, MW), pp. 316–331.
ICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #requirements #testing- An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
CIKM-2014-KangKL #automation #owl #performance- A Meta-reasoner to Rule Them All: Automated Selection of OWL Reasoners Based on Efficiency (YBK, SK, YFL), pp. 1935–1938.
ICML-c2-2014-DasL #automation #interactive- Automated inference of point of view from user interactions in collective intelligence venues (SD, AL), pp. 82–90.
ICPR-2014-AfridiLM #automation #rating- An Automated System for Plant-Level Disease Rating in Real Fields (MJA, XL, JMM), pp. 148–153.
ICPR-2014-EnzbergA #automation #fault #recognition- A Defect Recognition System for Automated Inspection of Non-rigid Surfaces (SvE, AAH), pp. 1812–1816.
ICPR-2014-HaoXPSK #automation #semantics #topic #using- Automated Chinese Essay Scoring from Topic Perspective Using Regularized Latent Semantic Indexing (SH, YX, HP, KS, DK), pp. 3092–3097.
ICPR-2014-MavadatiM #automation #metric #modelling- Temporal Facial Expression Modeling for Automated Action Unit Intensity Measurement (SMM, MHM), pp. 4648–4653.
ICPR-2014-NathLHWBS #automation #behaviour #recognition #social- Automated Social Behaviour Recognition at Low Resolution (TN, GL, BH, BW, SDB, PS), pp. 2323–2328.
ICPR-2014-SuDAGSLLPLLT #automation #predict- Automated Prediction of Glasgow Outcome Scale for Traumatic Brain Injury (BS, TAD, AKA, TG, TS, SL, CCTL, BCP, CKL, TYL, CLT), pp. 3245–3250.
ICPR-2014-TanYZBYMM #automation #framework #quantifier #robust- An Automated and Robust Framework for Quantification of Muscle and Fat in the Thigh (CT, ZY, SZ, BB, HJY, CM, DNM), pp. 3173–3178.
KDD-2014-PolozovG #automation #named #web- LaSEWeb: automating search strategies over semi-structured web data (OP, SG), pp. 741–750.
KDD-2014-SpanglerWBNDHRPCMSKLLPLDCL #automation #generative #mining- Automated hypothesis generation based on mining scientific literature (WSS, ADW, BJB, MN, TD, PJH, SR, CRP, AC, JNM, IS, LK, AL, JJL, NP, AML, LAD, YC, OL), pp. 1877–1886.
KDIR-2014-HaraSOM #automation #information management #towards- Annotating Cohesive Statements of Anatomical Knowledge Toward Semi-automated Information Extraction (KH, IS, KO, IM), pp. 342–347.
KR-2014-DiakidoyKM0 #approach #automation #comprehension- A Psychology-Inspired Approach to Automated Narrative Text Comprehension (IAD, ACK, LM, RM).
RecSys-2014-PeraN14a #automation #recommendation- Automating readers’ advisory to make book recommendations for K-12 readers (MSP, YKN), pp. 9–16.
SEKE-2014-ChourabiA #automation #process #specification- Automated transformation of business rules specification to business process model (OC, JA), pp. 684–687.
SEKE-2014-RodriguesPTZOS #automation #component #design #on the #requirements- On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment (EMR, LTP, LT, AFZ, FMdO, RSS), pp. 402–407.
SEKE-2014-ShankarN #automation #metric #tool support- Automated Metrics Collection for IEC61131-3 Languages from Engineering Tools (MS, AN), pp. 7–12.
SEKE-2014-XuL #approach #architecture #automation #synthesis #using- Automated Software Architectural Synthesis using Patterns: A Cooperative Coevolution Approach (YX, PL), pp. 174–180.
SEKE-2014-XuS #automation #effectiveness #petri net #testing- Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
ICMT-2014-WieberAS #automation #graph grammar #model transformation #on the #testing- On the Usage of TGGs for Automated Model Transformation Testing (MW, AA, AS), pp. 1–16.
MoDELS-2014-BascianiRIP #automation #metamodelling #model transformation- Automated Chaining of Model Transformations with Incompatible Metamodels (FB, DDR, LI, AP), pp. 602–618.
SPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow- Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
SPLC-2014-Reinhartz-Berger #automation #domain model #modelling- Can domain modeling be automated?: levels of automation in domain modeling (IRB), p. 359.
SPLC-2014-VacchiCCA #automation #component #implementation #model inference #variability- Automating variability model inference for component-based language implementations (EV, WC, BC, MA), pp. 167–176.
SPLC-2014-YuZZJ #automation #case study #feature model #named- TDL: a transformation description language from feature model to use case for automated use case derivation (WY, WZ, HZ, ZJ), pp. 187–196.
ECOOP-2014-MayerS #automation #domain-specific language #framework #java #multi #refactoring- Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks (PM, AS), pp. 437–462.
OOPSLA-2014-GligoricSPVNL #automation #dynamic analysis #migration #refactoring #search-based #using- Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
PEPM-2014-LiTSF #automation #evolution #testing #web #web service- Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
PLDI-2014-RickettsRJTL #automation #proving- Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.
RE-2014-AdedjoumaSB #approach #automation #case study #detection- Automated detection and resolution of legal cross references: Approach and a study of Luxembourg’s legislation (MA, MS, LCB), pp. 63–72.
RE-2014-BhowmikNMS #automation #requirements- Automated support for combinational creativity in requirements engineering (TB, NN, AM, JS), pp. 243–252.
RE-2014-NguyenGA #analysis #automation #named #ontology #requirements- GUITAR: An ontology-based automated requirements analysis tool (THN, JCG, MA), pp. 315–316.
RE-2014-RahimiMC #automation #quality #requirements #specification #visualisation- Automated extraction and visualization of quality concerns from requirements specifications (MR, MM, JCH), pp. 253–262.
ASE-2014-ArcuriFG #automation #dependence #generative #testing- Automated unit test generation for classes with environment dependencies (AA, GF, JPG), pp. 79–90.
ASE-2014-AzimNM #automation #self #smarttech #towards- Towards self-healing smartphone software via automated patching (TA, IN, LMM), pp. 623–628.
ASE-2014-BecanSABBB #automation #comparison #formal method #matrix- Automating the formalization of product comparison matrices (GB, NS, MA, OB, AB, BB), pp. 433–444.
ASE-2014-CamposAFA #automation #generative #integration #testing- Continuous test generation: enhancing continuous integration with automated test generation (JCMdC, AA, GF, RFLMdA), pp. 55–66.
ASE-2014-CosmoLTZZEA #automation #deployment #synthesis- Automated synthesis and deployment of cloud applications (RDC, ML, RT, SZ, JZ, AE, AA), pp. 211–222.
ASE-2014-EllisHKLLLMM #analysis #automation #requirements- Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
ASE-2014-FardMM #automation #generative #testing #web- Leveraging existing tests in automated test generation for web applications (AMF, MM, AM), pp. 67–78.
ASE-2014-FelsingGKRU #automation #verification- Automating regression verification (DF, SG, VK, PR, MU), pp. 349–360.
ASE-2014-GayRH #automation- Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.
ASE-2014-GligoricNLM #automation #comparison #empirical #evaluation #testing- An empirical evaluation and comparison of manual and automated test selection (MG, SN, OL, DM), pp. 361–372.
ASE-2014-MakhdoomKS #automation #execution #incremental #maintenance #symbolic computation #testing- Incremental symbolic execution for automated test suite maintenance (SM, MAK, JHS), pp. 271–276.
ASE-2014-Mohr #automation #composition- Issues of automated software composition in AI planning (FM), pp. 895–898.
ASE-2014-MolotnikovVR #automation #c #verification- Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.
ASE-2014-RahimiC #automation- Personas in the middle: automated support for creating personas as focal points in feature gathering forums (MR, JCH), pp. 479–484.
ASE-2014-SeguraSC #analysis #automation #case study #e-commerce #experience #testing #variability- Automated variability analysis and testing of an E-commerce site.: an experience report (SS, ABS, ARC), pp. 139–150.
ASE-2014-TarvoR #analysis #automation #modelling #parallel #performance #source code #thread- Automated analysis of multithreaded programs for performance modeling (AT, SPR), pp. 7–18.
ASE-2014-TillmannHX #automation #generative #testing- Transferring an automated test generation tool to practice: from pex to fakes and code digger (NT, JdH, TX), pp. 385–396.
FSE-2014-BohmeP #automation #on the #performance #testing- On the efficiency of automated testing (MB, SP), pp. 632–642.
ICSE-2014-BagheriTS #automation #dynamic analysis #named- TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
ICSE-2014-DegiovanniAAU #automation #satisfiability- Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
ICSE-2014-FilieriHM #adaptation #automation #design #self- Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
ICSE-2014-GeM #automation #refactoring #validation- Manual refactoring changes with automated refactoring validation (XG, ERMH), pp. 1095–1105.
ICSE-2014-JungLRP #automation #detection #memory management- Automated memory leak detection for production use (CJ, SL, ER, SP), pp. 825–836.
ICSE-2014-KaleeswaranTKO #automation #named #synthesis- MintHint: automated synthesis of repair hints (SK, VT, AK, AO), pp. 266–276.
ICSE-2014-QiMLDW #automation #program repair #random- The strength of random search on automated program repair (YQ, XM, YL, ZD, CW), pp. 254–265.
ICSE-2014-RodegheroMMBD #automation #source code #summary- Improving automated source code summarization via an eye-tracking study of programmers (PR, CM, PWM, NB, SKD), pp. 390–401.
ICSE-2014-YuSR #automation #framework #named #testing- SimRT: an automated framework to support regression testing for data races (TY, WSa, GR), pp. 48–59.
SAC-2014-BertoutFO #automation #clustering #heuristic #realtime #set- A heuristic to minimize the cardinality of a real-time task set by automated task clustering (AB, JF, RO), pp. 1431–1436.
SAC-2014-CaniGSST #automation #code generation #integration #towards- Towards automated malware creation: code generation and code integration (AC, MG, ES, GS, APT), pp. 157–160.
SAC-2014-GriebeG #approach #automation #mobile #modelling #testing- A model-based approach to test automation for context-aware mobile applications (TG, VG), pp. 420–427.
SAC-2014-KleffmannBHG #automation #interactive #navigation #scalability #sketching #version control- Automated versioning and temporal navigation for model sketches on large interactive displays (MK, MB, EH, VG), pp. 161–168.
SAC-2014-ParraJGI #approach #automation #product line- An SOA approach for automating software product line adoption (CP, DJ, LG, AI), pp. 1231–1238.
SAC-2014-RaneburgerKPSA #automation #design #generative #interactive #process #user interface- A process for facilitating interaction design through automated GUI generation (DR, HK, RP, VS, AA), pp. 1324–1330.
CASE-2014-GargSYPCHPAG #analysis #automation #reachability- Exact reachability analysis for planning skew-line needle arrangements for automated brachytherapy (AG, TS, GY, SP, JAMC, ICH, JP, AA, KYG), pp. 524–531.
CASE-2014-HuCLY #approach #automation #comparative #petri net #using- A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.
CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net- Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
CASE-2014-RenfrewHHC #automation #image #segmentation- Automated segmentation and characterization of ion-abrasion scanning electron microscopy fuel cell images (MR, NH, AH, MCC), pp. 56–60.
CASE-2014-TanHZ #automation #development #validation- Development and validation of an automated steering control system for bus revenue service (HST, JH, WBZ), pp. 31–36.
CGO-2014-SureshS #algorithm #automation #detection #fault #grid #problem- Automated Algorithmic Error Resilience for Structured Grid Problems Based on Outlier Detection (AS, JS), p. 240.
DAC-2014-Rodriguez-NavasSHNLL #approach #automation #functional #safety #specification #verification- Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach (GRN, CCS, HH, MN, OL, HL), p. 4.
DAC-2014-Rutenbar #automation #design #education- The First EDA MOOC: Teaching Design Automation to Planet Earth (RAR), p. 6.
DAC-2014-XiaCK #algorithm #automation #detection #development- An Automobile Detection Algorithm Development for Automated Emergency Braking System (LX, TDC, KAAK), p. 6.
DATE-2014-AfacanAFDB #automation #design #modelling #optimisation- Model based hierarchical optimization strategies for analog design automation (EA, SA, FVF, GD, IFB), pp. 1–4.
DATE-2014-CanedoFR #automation #cyber-physical #design #multi- Multi-disciplinary integrated design automation tool for automotive cyber-physical systems (AC, MAAF, JHR), pp. 1–2.
DATE-2014-CasparLH #automation #strict #testing #using- Automated system testing using dynamic and resource restricted clients (MC, ML, WH), pp. 1–4.
DATE-2014-GuoWWH #automation #effectiveness #named #test coverage- EATBit: Effective automated test for binary translation with high code coverage (HG, ZW, CW, RH), pp. 1–6.
DATE-2014-MeeusS #automation #reuse #synthesis- Automating data reuse in High-Level Synthesis (WM, DS), pp. 1–4.
DATE-2014-MottaghiRD #framework #named #network #performance- RETLab: A fast design-automation framework for arbitrary RET networks (MDM, AR, CD), pp. 1–6.
DATE-2014-MunirK #automation #design #named- D2Cyber: A design automation tool for dependable cybercars (AM, FK), pp. 1–4.
DATE-2014-NepalLBR #approximate #automation #behaviour #named #synthesis- ABACUS: A technique for automated behavioral synthesis of approximate computing circuits (KN, YL, RIB, SR), pp. 1–6.
OSDI-2014-HawblitzelHLNPZZ #automation #security #verification- Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
PDP-2014-BoobGP #automation #cpu #gpu #parallel #performance- Automated Instantiation of Heterogeneous Fast Flow CPU/GPU Parallel Pattern Applications in Clouds (SB, HGV, AMP), pp. 162–169.
TACAS-2014-HeizmannCDHLMSWP #contest #satisfiability- Ultimate Automizer with Unsatisfiable Cores — (Competition Contribution) (MH, JC, DD, JH, ML, BM, CS, SW, AP), pp. 418–420.
TACAS-2014-HuthK #automation #named #reasoning #trust- PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence (MH, JHPK), pp. 109–123.
CAV-2014-PiskacWZ #automation #logic- Automating Separation Logic with Trees and Data (RP, TW, DZ), pp. 711–728.
ICST-2014-AssiriB #assessment #automation #quality- An Assessment of the Quality of Automated Program Operator Repair (FYA, JMB), pp. 273–282.
ICST-2014-AydinAB #automation #generative #testing- Automated Test Generation from Vulnerability Signatures (AA, MA, TB), pp. 193–202.
ICST-2014-MiicBT #analysis #automation #multi #platform #test coverage #testing- Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application (MM, IB, MT), pp. 95–98.
ICST-2014-PouldingW #automation #probability- Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles (SMP, HW), pp. 293–302.
ICST-2014-VarvaressosLMGH #automation #case study #debugging #game studies #monitoring #runtime #video- Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring (SV, KL, ABM, SG, SH), pp. 143–152.
ICST-2014-WiklundSEL #analysis #automation #empirical #testing- Impediments for Automated Testing — An Empirical Analysis of a User Support Discussion Board (KW, DS, SE, KL), pp. 113–122.
ICST-2014-ZaeemPK #automation #generative #mobile #testing- Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps (RNZ, MRP, SK), pp. 183–192.
ICTSS-2014-Bures #automation #detection #maintenance #testing- Change Detection System for the Maintenance of Automated Testing (MB), pp. 192–197.
ICTSS-2014-PalmieriCO #automation #testing- Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, AÖ), pp. 129–144.
ICTSS-2014-WotawaB #automation #exclamation #security #testing- Plan It! Automated Security Testing Based on Planning (FW, JB), pp. 48–62.
IJCAR-2014-NigamRL #automation #named #permutation #proving- Quati: An Automated Tool for Proving Permutation Lemmas (VN, GR, LL), pp. 255–261.
ISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing- Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTA-2014-LoyolaSKR #automation #named #set- Dodona: automated oracle data set selection (PL, MS, IYK, GR), pp. 193–203.
ISSTA-2014-YandrapallyTSC #automation #robust #testing #using- Robust test automation using contextual clues (RY, ST, SS, SC), pp. 304–314.
ISSTA-2014-ZhangC #automation #detection #exception #information management #lightweight- Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.
RTA-TLCA-2014-HirokawaM #analysis #automation #complexity- Automated Complexity Analysis Based on Context-Sensitive Rewriting (NH, GM), pp. 257–271.
SMT-2014-Melquiond #algorithm #automation #float #verification- Automating the Verification of Floating-Point Algorithms (GM), p. 63.
TAP-2014-BardinCDK #automation #testing #tool support- An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread- Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
CBSE-2013-CiccozziSCS #assessment #automation #component #deployment #embedded #towards- An automated round-trip support towards deployment assessment in component-based embedded systems (FC, MS, AC, MS), pp. 179–188.
ECSA-2013-SilvaB #architecture #automation #consistency #named- PANDArch: A Pluggable Automated Non-intrusive Dynamic Architecture Conformance Checker (LdS, DB), pp. 240–248.
ECSA-2013-ZouariR #adaptation #automation #deployment #distributed #towards- Towards Automated Deployment of Distributed Adaptation Systems (MZ, IBR), pp. 336–339.
DocEng-2013-ConstantinPV #named- PDFX: fully-automated PDF-to-XML conversion of scientific literature (AC, SP, AV), pp. 177–180.
DocEng-2013-PiccoliO #automation #documentation #flexibility #layout- Balancing font sizes for flexibility in automated document layout (RFBP, JBSdO), pp. 151–160.
DRR-2013-ClawsonBCPKRB #automation #recognition- Automated recognition and extraction of tabular fields for the indexing of census records (RC, KB, GC, MP, DJK, JR, WAB).
ICDAR-2013-ChherawalaRC #automation #design #question #recognition- Feature Design for Offline Arabic Handwriting Recognition: Handcrafted vs Automated? (YC, PPR, MC), pp. 290–294.
ICDAR-2013-HaoGZXPSK #automation #detection #fault #finite #transducer- Automated Error Detection and Correction of Chinese Characters in Written Essays Based on Weighted Finite-State Transducer (SH, ZG, MZ, YX, HP, KS, DK), pp. 763–767.
ICDAR-2013-ThadchanamoorthyKPPK #automation #database #development #recognition- Tamil Handwritten City Name Database Development and Recognition for Postal Automation (ST, NDK, HLP, UP, FK), pp. 793–797.
JCDL-2013-SchneiderM #automation #mobile #web- First steps in archiving the mobile web: automated discovery of mobile websites (RS, FM), pp. 53–56.
CSEET-2013-JezekMP #automation #evaluation #experience #question- Automated evaluation of regular lab assignments: A bittersweet experience? (PJ, MM, TP), pp. 249–258.
CSMR-2013-AbebeT #automation #identifier- Automated Identifier Completion and Replacement (SLA, PT), pp. 263–272.
CSMR-2013-DuclosDGA #automation #c++ #named #testing- ACRE: An Automated Aspect Creator for Testing C++ Applications (ED, SLD, YGG, BA), pp. 121–130.
ICSM-2013-Kwon #automation #distributed #energy #execution #fault tolerance #re-engineering- Automated S/W Reengineering for Fault-Tolerant and Energy-Efficient Distributed Execution (YWK), pp. 582–585.
ICSM-2013-LeL #approach #automation #effectiveness #fault #locality #predict #tool support- Will Fault Localization Work for These Failures? An Automated Approach to Predict Effectiveness of Fault Localization Tools (TDBL, DL), pp. 310–319.
ICSM-2013-QiML #automation #performance #program repair #testing- Efficient Automated Program Repair through Fault-Recorded Testing Prioritization (YQ, XM, YL), pp. 180–189.
ICSM-2013-ShahDM #automation #java #on the #refactoring- On the Automation of Dependency-Breaking Refactorings in Java (SMAS, JD, CM), pp. 160–169.
ICSM-2013-WrightJKCW #automation #refactoring #scalability #using- Large-Scale Automated Refactoring Using ClangMR (HKW, DJ, MK, CC, ZW), pp. 548–551.
ICSM-2013-XinQHXZWG #concurrent #empirical #source code- An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs (RX, ZQ, SH, CX, YZ, YW, HG), pp. 100–109.
ICSM-2013-YukselS #analysis #automation #case study #classification- Automated Classification of Static Code Analysis Alerts: A Case Study (UY, HS), pp. 532–535.
PASTE-2013-DingesCA #automation #concurrent #execution #set- Automated inference of atomic sets for safe concurrent execution (PD, MC, GA), pp. 1–8.
WCRE-2013-IshioHKO #automation #effectiveness #feature model #on the- On the effectiveness of accuracy of automated feature location technique (TI, SH, HK, TO), pp. 381–390.
WCRE-2013-ThungLL #automation #library #recommendation- Automated library recommendation (FT, DL, JLL), pp. 182–191.
IFM-2013-MoranHS #automation #verification- Automated Anonymity Verification of the ThreeBallot Voting System (MM, JH, SS), pp. 94–108.
SEFM-2013-BennaceurCIJ #automation #behaviour #ontology #reasoning #synthesis- Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning (AB, CC, MI, BJ), pp. 274–288.
SEFM-2013-KeshishzadehMM #automation #debugging #detection #domain-specific language #fault #smt #using- Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.
SFM-2013-KopfR #analysis #automation #data flow- Automation of Quantitative Information-Flow Analysis (BK, AR), pp. 1–28.
ICFP-2013-LorenzenE #automation #composition #verification- Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.
CHI-2013-GartenbergBPMT #adaptation #automation #fault- Adaptive automation and cue invocation: the effect of cue timing on operator error (DG, LAB, JP, JMM, JGT), pp. 3121–3130.
CHI-2013-ZhuZ #agile #automation #low cost #named #prototype #tool support- AutoGami: a low-cost rapid prototyping toolkit for automated movable paper craft (KZ, SZ), pp. 661–670.
DHM-SET-2013-MamessierF #automation #interactive #modelling #simulation- Simulating the Impact of Mental Models on Human Automation Interaction in Aviation (SM, KMF), pp. 61–69.
DUXU-WM-2013-SchutzOV #approach #automation #development #evaluation #usability- SysML-Based Approach for Automation Software Development — Explorative Usability Evaluation of the Provided Notation (DS, MO, BVH), pp. 568–574.
HCI-AMTE-2013-EngelMHF #automation #generative #specification #user interface- Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation (JE, CM, CH, PF), pp. 300–309.
HCI-AMTE-2013-MartinHE #automation #modelling #user interface- Patterns and Models for Automated User Interface Construction — In Search of the Missing Links (CM, CH, JE), pp. 401–410.
HCI-AMTE-2013-SantosM #automation #design #identification #implementation #interactive- Design and Implementation of ErgoIdentifier: A Tool for Automated Identification of Websites Interaction Elements (OFdS, MM), pp. 249–255.
HCI-III-2013-RukavinaGTHWTJ #automation #classification #gender- The Impact of Gender and Sexual Hormones on Automated Psychobiological Emotion Classification (SR, SG, JWT, DH, SW, HCT, LJB), pp. 474–482.
HIMI-HSM-2013-BattisteCMSVCS #automation #student #tool support- The Effects of Early Training with Automation Tools on the Air Traffic Management Strategies of Student ATCos (HB, WC, TM, KS, KPLV, DC, TZS), pp. 13–21.
HIMI-HSM-2013-HighamVMSB #automation #trust- Training Air Traffic Controller Trust in Automation within a NextGen Environment (TMH, KPLV, JM, TZS, VB), pp. 76–84.
HIMI-HSM-2013-MoreiraB #automation #interface- A Semiotic Based Method for Evaluating Automated Cockpit Interfaces (WM, RB), pp. 530–539.
HIMI-LCCB-2013-MantheyHRSE #automation #framework #multi #video #workflow- A Support Framework for Automated Video and Multimedia Workflows for Production and Archive (RM, RH, MR, MS, ME), pp. 336–341.
CAiSE-2013-AgtK #automation #modelling #network #scalability #semantics- Automated Construction of a Large Semantic Network of Related Terms for Domain-Specific Modeling (HA, RDK), pp. 610–625.
CAiSE-2013-CardosoBBKL #automation #in the cloud- Cloud Computing Automation: Integrating USDL and TOSCA (JC, TB, UB, OK, FL), pp. 1–16.
CAiSE-2013-MethME #automation #elicitation #information management #requirements- Is Knowledge Power? The Role of Knowledge in Automated Requirements Elicitation (HM, AM, ME), pp. 578–593.
ICEIS-J-2013-PintoKG13a #analysis #approach #architecture #automation #evaluation #metadata- An Automated Architectural Evaluation Approach Based on Metadata and Code Analysis (FP, UK, EMG), pp. 490–505.
ICEIS-v3-2013-PintoKG #architecture #automation #enterprise #evaluation #information management- Automating the Architecture Evaluation of Enterprise Information Systems (FP, UK, EMG), pp. 333–340.
ECIR-2013-PritsosS #automation #classification #identification- Open-Set Classification for Automated Genre Identification (DAP, ES), pp. 207–217.
KDD-2013-KongY #automation #classification #distance #learning- Discriminant malware distance learning on structural information for automated malware classification (DK, GY), pp. 1357–1365.
KEOD-2013-HafnerHWO #automation #ontology- Semi-automated Ontology Population from Building Construction Drawings (PH, VH, HW, JO), pp. 379–386.
KEOD-2013-LinnenbergMCSF #automation #energy #evaluation #lightweight #named #ontology #performance- OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.
KEOD-2013-WohlgenanntBS #automation #evolution #learning #ontology #prototype- A Prototype for Automating Ontology Learning and Ontology Evolution (GW, SB, MS), pp. 407–412.
SEKE-2013-DiaoSYG #automation #semantics- A Semantic-based Semi-automated Role Mapping Mechanism (LD, WS, ILY, JG), pp. 14–17.
SEKE-2013-FreireCNMKAS #automation #overview #perspective #re-engineering- Automated Support for Controlled Experiments in Software Engineering: A Systematic Review (MAF, DAdC, ECN, TM, UK, EA, SS), pp. 504–509.
SEKE-2013-JulianoTSM #assessment #automation #case study #complexity #similarity- Automated Computation of Use Cases Similarity can Aid the Assessment of Cohesion and Complexity of Classes (RCJ, BANT, MSS, MdAM), pp. 494–499.
SEKE-2013-MolleriSB #approach #automation #overview #process- Proposal of an Automated Approach to Support the Systematic Review of Literature Process (JSM, LEdS, FBVB), pp. 488–493.
SEKE-2013-MoshirpourEF #approach #automation #ontology #using- Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (MM, AE, BHF), pp. 63–66.
SIGIR-2013-Ekstrand-AbuegPA #automation- Live nuggets extractor: a semi-automated system for text extraction and test collection creation (MEA, VP, JAA), pp. 1087–1088.
ICMT-2013-HermannGNBMPE #automation #graph grammar #on the #using- On an Automated Translation of Satellite Procedures Using Triple Graph Grammars (FH, SG, NN, BB, GM, AP, TE), pp. 50–51.
MoDELS-2013-NieYAZF #automation #constraints #cyber-physical #named- Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
MoDELS-2013-SelimBCDW #automation #industrial #model transformation #verification- Automated Verification of Model Transformations in the Automotive Industry (GMKS, FB, JRC, JD, SW), pp. 690–706.
MoDELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using- Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
ECOOP-2013-NegaraCVJD #automation #case study #comparative #refactoring- A Comparative Study of Manual and Automated Refactorings (SN, NC, MV, REJ, DD), pp. 552–576.
ECOOP-2013-VakilianCMNJ #automation #composition #paradigm #refactoring- A Compositional Paradigm of Automating Refactorings (MV, NC, RZM, SN, REJ), pp. 527–551.
PLDI-2013-SinghGS #automation #feedback #generative #programming- Automated feedback generation for introductory programming assignments (RS, SG, ASL), pp. 15–26.
POPL-2013-UnnoTK #automation #functional #higher-order #source code #verification- Automating relatively complete verification of higher-order functional programs (HU, TT, NK), pp. 75–86.
RE-2013-MasseyEAS #analysis #automation #documentation #mining #policy #requirements- Automated text mining for requirements analysis of policy documents (AKM, JE, AIA, PPS), pp. 4–13.
ASE-2013-BarnesPG #architecture #automation #evolution- Automated planning for software architecture evolution (JMB, AP, DG), pp. 213–223.
ASE-2013-DhunganaTWW #automation #interactive #rule-based #verification- Automated verification of interactive rule-based configuration systems (DD, CHT, CW, PW), pp. 551–561.
ASE-2013-Frank #automation #challenge #validation #verification- The challenges of verification and validation of automated planning systems (JF), p. 2.
ASE-2013-GambiHD #automation #testing- Automated testing of cloud-based elastic systems with AUToCLES (AG, WH, SD), pp. 714–717.
ASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using- Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
ASE-2013-MaezawaWTH #ajax #automation #interactive #invariant #verification- Automated verification of pattern-based interaction invariants in Ajax applications (YM, HW, YT, SH), pp. 158–168.
ASE-2013-NguyenT #automation #classification #combinator #dependence #testing- Automated inference of classifications and dependencies for combinatorial testing (DCN, PT), pp. 622–627.
ASE-2013-TillmannHXB #automation #education #game studies #generative #named #testing- Pex4Fun: A web-based environment for educational gaming via automated test generation (NT, JdH, TX, JB), pp. 730–733.
ESEC-FSE-2013-AroraSBZG #automation #consistency #flexibility #named- RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
ESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web- Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSE-2013-Nenashev #automation #hardware #named #programmable #re-engineering- PHRT: a model and programmable tool for hardware reengineering automation (ON), pp. 719–722.
ESEC-FSE-2013-NguyenMT #automation #effectiveness #empirical- Automated oracles: an empirical study on cost and effectiveness (CDN, AM, PT), pp. 136–146.
ICSE-2013-AlmorsyGI #analysis #architecture #automation #security #using- Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
ICSE-2013-FranklinGLD #automation #functional #imperative #named #programming #refactoring- LAMBDAFICATOR: from imperative to functional programming through automated refactoring (LF, AG, JL, DD), pp. 1287–1290.
ICSE-2013-HenardPPKT #automation #feature model #modelling #testing #towards- Towards automated testing and fixing of re-engineered feature models (CH, MP, GP, JK, YLT), pp. 1245–1248.
ICSE-2013-MemonC #automation #modelling #testing #tool support #user interface- Automated testing of GUI applications: models, tools, and controlling flakiness (AMM, MBC), pp. 1479–1480.
ICSE-2013-PaveseBU #automation #estimation #reliability- Automated reliability estimation over partial systematic explorations (EP, VAB, SU), pp. 602–611.
ICSE-2013-ThummalapentaDSCGNS #automation #case study #industrial #performance #testing- Efficient and change-resilient test automation: an industrial case study (ST, PD, SS, SC, SG, DDN, SS), pp. 1002–1011.
ICSE-2013-Zhang04a #automation #fault #java #named- ConfDiagnoser: an automated configuration error diagnosis tool for Java software (SZ), pp. 1438–1440.
ICSE-2013-ZhangE #automation #fault- Automated diagnosis of software configuration errors (SZ, MDE), pp. 312–321.
SAC-2013-HerzogKHFK #automation #identification #web- Feature-based object identification for web automation (CH, IK, WH, RRF, BKS), pp. 742–749.
SAC-2013-JungWKO #architecture #automation #interactive #using- Heterogeneous device interaction using an IPv6 enabled service-oriented architecture for building automation systems (MJ, JW, WK, AO), pp. 1939–1941.
SAC-2013-WestermannHF #automation #empirical #performance #specification- An experiment specification language for goal-driven, automated performance evaluations (DW, JH, RF), pp. 1043–1048.
GPCE-2013-AnKGTS #automation #framework #generative #in the cloud #modelling #performance #testing- Model-driven generative framework for automated OMG DDS performance testing in the cloud (KA, TK, ASG, ST, AS), pp. 179–182.
SLE-2013-BatoryGMS #automation #design #graph grammar- Dark Knowledge and Graph Grammars in Automated Software Design (DSB, RG, BM, JS), pp. 1–18.
ASPLOS-2013-SahooCGA #automation #fault #invariant #locality #using- Using likely invariants for automated software fault localization (SKS, JC, CG, VSA), pp. 139–152.
ASPLOS-2013-SchulteDWF #assembly #automation #embedded #source code- Automated repair of binary and assembly programs for cooperating embedded devices (EMS, JD, WW, SF), pp. 317–328.
CASE-2013-ChenCLZZF #assembly #automation #performance #process- Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASE-2013-Fries #agile #automation #fault #fuzzy #multi #using- Automation of rapid fault diagnosis in manufacturing systems using multiple fuzzy agents (TPF), pp. 65–70.
CASE-2013-Holzmuller-LaueGT #automation #modelling #workflow- Model-driven complex workflow automation for laboratories (SHL, BG, KT), pp. 758–763.
CASE-2013-HuMW #automation #energy- Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.
CASE-2013-HuZL #automation #performance #petri net #synthesis #using- Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.
CASE-2013-HuZL13a #automation #distributed #petri net #scalability- Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASE-2013-JunKZRK #automation- Automation for individualization of Kinect-based quantitative progressive exercise regimen (SkJ, SK, XZ, DKR, VNK), pp. 243–248.
CASE-2013-LanzaKPSS #analysis #automation #detection #fault #using- Automated optical detection of particles and defects on a Li-Ion-cell surface using a single-point analysis (GL, AK, SP, AS, SS), pp. 675–680.
CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
CASE-2013-MashaeiL #automation #concurrent #design- Concurrent design and control of automated material handling systems (MM, BL), pp. 292–299.
CASE-2013-Nieves-RiveraXJMZ #automation #development- Development of a position sensitive device and control method for automated robot calibration (ENR, NX, YJ, CM, GZ), pp. 1127–1132.
CASE-2013-PerinF #automation #modelling- Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
CASE-2013-RajaramanDSB #automation #locality- Automated workpiece localization for robotic welding (MR, MDH, KS, DAB), pp. 681–686.
CASE-2013-ZenobioCTS #architecture #automation #named- EDISON: An innovative lighting architecture facilitating building automation (DDZ, NDC, ST, KS), pp. 231–236.
CGO-2013-HomescuNLBF #automation- Profile-guided automated software diversity (AH, SN, PL, SB, MF), p. 11.
DAC-2013-Miskov-ZivanovMF #analysis #automation #behaviour #design #network- Dynamic behavior of cell signaling networks: model design and analysis automation (NMZ, DM, JRF), p. 6.
DATE-2013-JainTG #automation- Automated determination of top level control signals (RKJ, PT, SG), pp. 509–512.
DATE-2013-NiakiS #automation #embedded #parallel #simulation- An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
PLOS-2013-AryaDVC #automation #debugging #process- Semi-automated debugging via binary search through a process lifetime (KA, TD, AMV, GC), p. 7.
PLOS-2013-SunFBG #agile #automation #file system #generative #tool support- Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
FASE-2013-YangPX #approach #automation #generative #mobile- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
TACAS-2013-HeizmannCDEHLNSP #contest- Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
CADE-2013-ClaessenJRS #automation #induction #proving #using- Automating Inductive Proofs Using Theory Exploration (KC, MJ, DR, NS), pp. 392–406.
CADE-2013-HawblitzelKLR #automation #proving #source code #theorem proving #towards #using- Towards Modularly Comparing Programs Using Automated Theorem Provers (CH, MK, SKL, HR), pp. 282–299.
CADE-2013-Shankar #automation #performance #reasoning- Automated Reasoning, Fast and Slow (NS), pp. 145–161.
CAV-2013-HolikLRSV #analysis #automation #automaton- Fully Automated Shape Analysis Based on Forest Automata (LH, OL, AR, JS, TV), pp. 740–755.
CAV-2013-PiskacWZ #automation #logic #smt #using- Automating Separation Logic Using SMT (RP, TW, DZ), pp. 773–789.
ICST-2013-AlegrothFO #automation #case study #industrial #testing- Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study (EA, RF, HHO), pp. 56–65.
ICST-2013-AlegrothNO #automation #named #testing- JAutomate: A Tool for System- and Acceptance-test Automation (EA, MN, HHO), pp. 439–446.
ICST-2013-CanforaMVDFM #automation #case study #performance #smarttech #testing #user interface- A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones (GC, FM, CAV, MD, AF, CM), pp. 66–69.
ICST-2013-GreilerDS #automation #detection #smell- Automated Detection of Test Fixture Strategies and Smells (MG, AvD, MADS), pp. 322–331.
ISSTA-2013-FraserSMAP #automation #generative #question #testing- Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
ISSTA-2013-JensenPM #automation #generative #sequence #testing- Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
ISSTA-2013-QiMLW #automation #effectiveness #fault #locality #program repair #using- Using automated program repair for evaluating the effectiveness of fault localization techniques (YQ, XM, YL, CW), pp. 191–201.
ISSTA-2013-YuSR #automation #framework #named #testing- SimRacer: an automated framework to support testing for process-level races (TY, WSa, GR), pp. 167–177.
QoSA-2012-HaitzerZ #abstraction #architecture #automation #component #lifecycle- DSL-based support for semi-automated architectural component model abstraction throughout the software lifecycle (TH, UZ), pp. 61–70.
WICSA-ECSA-2012-EdwardsBM #analysis #automation #code generation #modelling- Automated Analysis and Code Generation for Domain-Specific Models (GE, YB, NM), pp. 161–170.
WICSA-ECSA-2012-FrancoBR #architecture #automation #predict #reliability- Automated Reliability Prediction from Formal Architectural Descriptions (JMF, RB, MZR), pp. 302–309.
DocEng-2012-OliveiraGL #automation #towards- Toward automated schema-directed code revision (RO, PG, NL), pp. 103–106.
DRR-2012-DasSS #automation #documentation #tool support #workflow- Questioned document workflow for handwriting with automated tools (KD, SNS, HS).
SIGMOD-2012-GolshanLT #automation- SOFIA SEARCH: a tool for automating related-work search (BG, TL, ET), pp. 621–624.
ITiCSE-2012-Johnson #automation #consistency #generative #interface #named #testing- SpecCheck: automated generation of tests for interface conformance (CJ), pp. 186–191.
CSMR-2012-MoghadamC #automation #design #difference #refactoring #using- Automated Refactoring Using Design Differencing (IHM, MÓC), pp. 43–52.
ICPC-2012-Mahmoud #automation #effectiveness #process #towards- Toward an effective automated tracing process (AM), pp. 269–272.
ICSM-2012-Schutter #architecture #automation- Automated architectural reviews with Semmle (KDS), pp. 557–565.
ICSM-2012-ZouG #algorithm #automation #case study #detection #industrial #what #why- An industrial case study of Coman’s automated task detection algorithm: What Worked, What Didn’t, and Why (LZ, MWG), pp. 6–14.
WCRE-2012-GarzonL #automation #how #tool support- Exploring How to Develop Transformations and Tools for Automated Umplification (MG, TCL), pp. 491–494.
WCRE-2012-IchiiMNCO #approach #automation #modelling #rule-based #source code- A Rule-based Automated Approach for Extracting Models from Source Code (MI, TM, YN, MC, HO), pp. 308–317.
WCRE-2012-NegaraS #automation #javascript #testing #web- Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.
SEFM-2012-DranidisBI #automation #generative #named #testing- JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFM-2012-PaulSS #assembly #automation #verification- Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.
FLOPS-2012-Terauchi #automation #functional #higher-order #source code #verification- Automated Verification of Higher-Order Functional Programs (TT), p. 2.
EDOC-2012-FarwickPBSVH #architecture #automation #enterprise #maintenance #metamodelling- A Meta-Model for Automated Enterprise Architecture Model Maintenance (MF, WP, RB, CMS, KV, IH), pp. 1–10.
EDOC-2012-HolmesZD #automation #modelling #monitoring #runtime #version control- Automating the Management and Versioning of Service Models at Runtime to Support Service Monitoring (TH, UZ, SD), pp. 211–218.
ICEIS-v1-2012-KlinkmullerMLF #automation #comparison #network #towards- Towards Automated Logistics Service Comparison — Decision Support for Logistics Network Management (CK, SM, AL, BF), pp. 259–264.
ICEIS-v2-2012-CasalinoCMG #automation #industrial- ICT Adoption and Organizational Change — An Innovative Training System on Industrial Automation Systems for Enhancing Competitiveness of SMEs (NC, MC, MdM, MG), pp. 283–288.
CIKM-2012-ChenW #automation #classification #naive bayes- Automated feature weighting in naive bayes for high-dimensional data classification (LC, SW), pp. 1243–1252.
CIKM-2012-KranenWRRS #algorithm #automation #evaluation- A tool for automated evaluation of algorithms (PK, SW, TR, SR, TS), pp. 2692–2694.
CIKM-2012-WangQD #automation #clustering #documentation #using- Improving document clustering using automated machine translation (XW, BQ, ID), pp. 645–653.
ICPR-2012-AroraE #automation #case study #classification #comparative #towards- Towards automated classification of fine-art painting style: A comparative study (RSA, AME), pp. 3541–3544.
ICPR-2012-BholeP #automation #segmentation- Automated person segmentation in videos (CB, CJP), pp. 3672–3675.
ICPR-2012-HardingHCLC #automation #detection #image- Automated detection of skeletal muscle twitches from B-mode ultrasound images: An application to motor neuron disease (PJH, EFHT, RC, IL, NC), pp. 2630–2633.
ICPR-2012-HuangL #analysis #automation #component #detection #independence- Automated mitosis detection based on eXclusive Independent Component Analysis (CHH, HKL), pp. 1856–1859.
ICPR-2012-KalkanNDL #automation #classification- Automated classification of local patches in colon histopathology (HK, MN, RPWD, ML), pp. 61–64.
ICPR-2012-LoprestiN #automation- Optimal data partition for semi-automated labeling (DPL, GN), pp. 286–289.
ICPR-2012-RattaniMGR #approach #automation #classification- A dual-staged classification-selection approach for automated update of biometric templates (AR, GLM, EG, FR), pp. 2972–2975.
ICPR-2012-Ul-HasanBRSB #automation #database #generative- Semi-automated OCR database generation for Nabataean scripts (AUH, SSB, SFR, FS, TMB), pp. 1667–1670.
KR-2012-BaralD #automation #how #learning #programming #set- Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation (CB, JD).
KR-2012-HaufeT #automation #game studies #verification- Automated Verification of Epistemic Properties for General Game Playing (SH, MT).
MLDM-2012-Garcia-ConstantinoCNRS #approach #automation #classification #summary- A Semi-Automated Approach to Building Text Summarisation Classifiers (MGC, FC, PJN, AR, CS), pp. 495–509.
SEKE-2012-DuttaUA #analysis #approach #automation #semantics #verification- Requirement Analysis and Automated Verification: A Semantic Approach (AD, PDU, SA), pp. 51–54.
SEKE-2012-LiuLLGCYL #automation #execution #parallel #testing- Parallel Path Execution for Software Testing Over Automated Test Cloud (WL, XL, FL, YG, LC, GY, ZL), pp. 279–282.
SEKE-2012-MolleriB #automation #overview #perspective #process- Automated Approaches to Support Secondary Study Processes: a Systematic Review (JSM, FBVB), pp. 143–147.
SEKE-2012-RodriguesZJGMD #automation #named #product line- PlugSPL: An Automated Environment for Supporting Plugin-based Software Product Lines (EdMR, AFZ, EAdOJ, IMdSG, JCM, ARPD), pp. 647–650.
SEKE-2012-XuT #automation #concurrent #generative- Automated Generation of Concurrent Test Code from Function Nets (DX, JT), pp. 346–351.
SIGIR-2012-BerardiES #automation #classification #ranking- A utility-theoretic ranking method for semi-automated text classification (GB, AE, FS), pp. 961–970.
ECMFA-2012-BehjatiNYGB #automation #embedded #modelling- Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFA-2012-RadjenovicMPRMBK #automation #embedded #modelling #named #uml #verification- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems (AR, NDM, RFP, MR, AM, LB, DSK), pp. 340–351.
MoDELS-2012-ScheidgenZFK #automation #modelling #scalability- Automated and Transparent Model Fragmentation for Persisting Large Models (MS, AZ, JF, THK), pp. 102–118.
PLEASE-2012-QuintonDHMC #feature model #modelling #using- Using feature modelling and automations to select among cloud solutions (CQ, LD, PH, SM, EC), pp. 17–20.
SPLC-2012-SoltaniAGHB #automation #feature model #non-functional #requirements- Automated planning for feature model configuration based on functional and non-functional requirements (SS, MA, DG, MH, EB), pp. 56–65.
OOPSLA-2012-MagillHSM #automation- Automating object transformations for dynamic software updating (SM, MH, SS, KSM), pp. 265–280.
OOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code- Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
HILT-2012-BeltCHR #ada #automation #contract #using #verification- Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan (JB, PC, JH, R), pp. 3–4.
PLDI-2012-DilligDA #abduction #automation #fault #using- Automated error diagnosis using abductive inference (ID, TD, AA), pp. 181–192.
PLDI-2012-GodefroidT #automation #encoding #synthesis- Automated synthesis of symbolic instruction encodings from I/O samples (PG, AT), pp. 441–452.
QAPL-2012-BelardinelliGL #automation #protocol #quantum #using #verification- Automated Verification of Quantum Protocols using MCMAS (FB, PG, AL), pp. 48–62.
ASE-2012-AlmorsyGI #analysis #automation #using- Supporting automated vulnerability analysis using formalized vulnerability signatures (MA, JG, ASI), pp. 100–109.
ASE-2012-AlmorsyGI12a #automation #re-engineering #using- Supporting automated software re-engineering using re-aspects (MA, JG, ASI), pp. 230–233.
ASE-2012-AmalfitanoFTCM #android #automation #testing #user interface #using- Using GUI ripping for automated testing of Android applications (DA, ARF, PT, SDC, AMM), pp. 258–261.
ASE-2012-AminGC #approach #automation #linear #modelling- An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling (AA, LG, AC), pp. 130–139.
ASE-2012-BauersfeldV #automation #java #library #named #robust #testing #user interface- GUITest: a Java library for fully automated GUI robustness testing (SB, TEJV), pp. 330–333.
ASE-2012-DosingerMB #automation #communication #effectiveness #integration #testing- Communicating continuous integration servers for increasing effectiveness of automated testing (SD, RM, SB), pp. 374–377.
ASE-2012-JongeV #automation #evaluation #fault #syntax- Automated evaluation of syntax error recovery (MdJ, EV), pp. 322–325.
ASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using- Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
ASE-2012-LiT #api #automation #erlang #migration #refactoring #source code- Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.
ASE-2012-WestermannHKF #automation #performance #predict- Automated inference of goal-oriented performance prediction functions (DW, JH, RK, RF), pp. 190–199.
FSE-2012-AnandNHY #automation #smarttech #testing- Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.
FSE-2012-Augustine #adaptation #automation #maintenance #semiparsing- Automating adaptive maintenance changes with SrcML and LINQ (VA), p. 9.
FSE-2012-WangZXXM #analysis #automation #collaboration #hybrid #web- Automating presentation changes in dynamic web applications via collaborative hybrid analysis (XW, LZ, TX, YX, HM), p. 16.
FSE-2012-XiaoPTX #automation #documentation #policy #security- Automated extraction of security policies from natural-language software documents (XX, AMP, ST, TX), p. 12.
ICSE-2012-BalasubramaniamJKMN #approach #automation #constraints #generative #performance #theorem proving- An automated approach to generating efficient constraint solvers (DB, CJ, LK, IM, PN), pp. 661–671.
ICSE-2012-Chioasca #automation #machine learning #model transformation #requirements #using- Using machine learning to enhance automated requirements model transformation (EVC), pp. 1487–1490.
ICSE-2012-GouesDFW #automation #debugging #program repair- A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each (CLG, MDV, SF, WW), pp. 3–13.
ICSE-2012-MesbahM #analysis #automation #css #maintenance- Automated analysis of CSS rules to support style maintenance (AM, SM), pp. 408–418.
ICSE-2012-MirakhorliSCC #approach #automation #quality #traceability- A tactic-centric approach for automating traceability of quality concerns (MM, YS, JCH, MÇ), pp. 639–649.
ICSE-2012-MollerS #automation #detection- Automated detection of client-state manipulation vulnerabilities (AM, MS), pp. 749–759.
ICSE-2012-Penix #automation #in the cloud #scalability #testing- Large-scale test automation in the cloud (JP), p. 1122.
ICSE-2012-PradelG #automation #debugging #detection #generative #mining #specification #testing- Leveraging test generation and specification mining for automated bug detection without false positives (MP, TRG), pp. 288–298.
ICSE-2012-SamirniSAMTH #automation #constraints #fault #generative #html #php #string #theorem proving #using- Automated repair of HTML generation errors in PHP applications using string constraint solving (HS, MS, SA, TDM, FT, LJH), pp. 277–287.
ICSE-2012-Schulte #analysis #automation- Ten years of automated code analysis at Microsoft (WS), p. 1001.
ICSE-2012-SiegmundKKABRS #automation #detection #performance #predict- Predicting performance via automated feature-interaction detection (NS, SSK, CK, SA, DSB, MR, GS), pp. 167–177.
ICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing- Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
ICSE-2012-ThummalapentaSSC #automation #testing- Automating test automation (ST, SS, NS, SC), pp. 881–891.
ICSE-2012-VakilianCNRBJ #automation #refactoring #using- Use, disuse, and misuse of automated refactorings (MV, NC, SN, BAR, BPB, REJ), pp. 233–243.
SAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using- Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.
SAC-2012-SchaadB #analysis #automation #named- TAM2: automated threat analysis (AS, MB), pp. 1103–1108.
SAC-2012-TinelliCSD #automation #compilation #composition #sql #standard- Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
CASE-2012-ChowdhuryTWSLG #automation #biology #using- Automated indirect transport of biological cells with optical tweezers using planar gripper formations (SC, AT, CW, PS, WL, SKG), pp. 267–272.
CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification #validation- Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.
CASE-2012-FelekisWMRBSN #automation #using- Automated stiffness characterization of living tobacco BY2 cells using the Cellular Force Microscope (DF, AW, SM, ALRK, FB, RSS, BJN), pp. 285–290.
CASE-2012-FrankHEFDV #automation #modelling #realtime #requirements #using- Using contact points to integrate discipline spanning real-time requirements in modeling Networked Automation Systems for manufacturing systems (TF, TH, KE, AF, CD, BVH), pp. 851–856.
CASE-2012-GargSBCHPSG #automation #towards- Initial experiments toward automated robotic implantation of skew-line needle arrangements for HDR brachytherapy (AG, TS, DB, JAMC, ICH, JP, DS, KG), pp. 26–33.
CASE-2012-KoJJ #automation #modelling #optimisation- Mathematical modeling and optimization of the automated wireless charging electric transportation system (YDK, YJJ, SJ), pp. 250–255.
CASE-2012-LeeKLYBM #3d #automation #visual notation- 3D visual perception system for bin picking in automotive sub-assembly automation (SL, JK, ML, KY, LGB, RM), pp. 706–713.
CASE-2012-LiuSJT #automation #hybrid #mobile- A Floyd-Dijkstra hybrid application for mobile robot path planning in life science automation (HL, NS, SJ, KT), pp. 279–284.
CASE-2012-MatherH #automation #modelling- Ensemble modeling and control for congestion management in automated warehouses (TWM, MAH), pp. 390–395.
CASE-2012-MerzFV #automation #distributed #industrial #runtime- Dynamic redeployment of control software in distributed industrial automation systems during runtime (MM, TF, BVH), pp. 863–868.
CASE-2012-MitraGRCB #automation- Automated path planning for washing in digital microfluidic biochips (DM, SG, HR, KC, BBB), pp. 115–120.
CASE-2012-ParkPC #automation #design #injection- Design automation of valve gate locations and open timing for injection molding of an automotive instrument panel (CHP, BGP, DHC), pp. 843–845.
CASE-2012-ParkYJCCKR #automation #flexibility- A point-of-care test equipment for flexible laboratory automation (JP, WSY, SMJ, HRC, WKC, JK, SR), pp. 821–822.
CASE-2012-ParulkarSK #automation #performance #random- Fast randomized planner for SLAM automation (AP, PS, KMK), pp. 765–770.
CASE-2012-Ralston #automation #using- Automated longwall shearer horizon control using thermal infrared-based seam tracking (JCR), pp. 20–25.
CASE-2012-SchmidtH #automation #data transformation #fault- Managing data for a zero defect production — the contribution of manufacturing automation to a corporate strategy (GS, TH), pp. 70–73.
CASE-2012-TohNT #3d #automation #flexibility #multi- Three dimensional adjustable cavity for flexible singulation of multiple medications in an automated medication dispenser (CKT, SLJN, YOT), pp. 347–352.
CASE-2012-YangHTLSL #automation #process- A vacuum-pumped microfluidic device for automated in-line mixing and focusing processes (ASY, HHH, LYT, PHL, TLS, CLL), pp. 109–114.
CASE-2012-YeY #automation #design- Design of a bending mechanism for automated cystoscope (XY, WJY), pp. 261–266.
CASE-2012-YuLCCJ #automation #scalability- Automated robotic service in large-scale exhibition environments (WY, YCL, SC, HC, JJ), pp. 1156–1161.
DAC-2012-AgostaBP #analysis- A code morphing methodology to automate power analysis countermeasures (GA, AB, GP), pp. 77–82.
DAC-2012-MalburgFF #automation #design #hardware #locality #metric #using- Automated feature localization for hardware designs using coverage metrics (JM, AF, GF), pp. 941–946.
DATE-2012-BamakhramaZNS #automation #design #embedded #realtime #streaming- A methodology for automated design of hard-real-time embedded streaming systems (MB, JTZ, HN, TS), pp. 941–946.
DATE-2012-FaruqueC #automation #collaboration #embedded- Intelligent and collaborative embedded computing in automation engineering (MAAF, AC), pp. 344–345.
DATE-2012-Hassoun #automation #biology #design #search-based- Genetic/bio design automation for (re-)engineering biological systems (SH), pp. 242–247.
DATE-2012-MillerVG #automation #cyber-physical #mockup #named #testing #using- MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups (BM, FV, TG), pp. 1417–1420.
DATE-2012-QinM #automation #generative #protocol #testing- Automated generation of directed tests for transition coverage in cache coherence protocols (XQ, PM), pp. 3–8.
DATE-2012-RudolfTWW #automation #configuration management #identification- Automated critical device identification for configurable analogue transistors (RR, PT, RW, PRW), pp. 858–861.
DATE-2012-TodorovMRS #approximate #automation #memory management #transaction- Automated construction of a cycle-approximate transaction level model of a memory controller (VT, DMG, HR, US), pp. 1066–1071.
OSDI-2012-AttariyanCF #automation #named #performance- X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software (MA, MC, JF), pp. 307–320.
OSDI-2012-Jin0D #automation- Automated Concurrency-Bug Fixing (GJ, WZ, DD), pp. 221–236.
ESOP-2012-ChadhaCK #automation #encryption #equivalence #protocol #verification- Automated Verification of Equivalence Properties of Cryptographic Protocols (RC, SC, SK), pp. 108–127.
FASE-2012-MauczkaHSSBG #automation #classification #commit #maintenance #taxonomy #validation- Tracing Your Maintenance Work — A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages (AM, MH, CS, WS, MB, TG), pp. 301–315.
TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
TACAS-2012-FehnkerGHMPT #analysis #automation #using- Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
TACAS-2012-SonnexDE #automation #data type #named #proving #recursion- Zeno: An Automated Prover for Properties of Recursive Data Structures (WS, SD, SE), pp. 407–421.
CAV-2012-BrockschmidtMOG #automation #java #proving #source code #termination- Automated Termination Proofs for Java Programs with Cyclic Data (MB, RM, CO, JG), pp. 105–122.
CAV-2012-ChengGRBK #automation #industrial #named #synthesis- MGSyn: Automatic Synthesis for Industrial Automation (CHC, MG, HR, CB, AK), pp. 658–664.
ICST-2012-Borjesson #automation #industrial #testing #user interface #visual notation- Industrial Applicability of Visual GUI Testing for System and Acceptance Test Automation (EB), pp. 475–478.
ICST-2012-BorjessonF #automation #case study #comparative #industrial #testing #tool support #user interface #using #visual notation- Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry (EB, RF), pp. 350–359.
ICST-2012-JollyGE #automation #case study #industrial #research #testing- Automated Unit Testing of a SCADA Control Software: An Industrial Case Study Based on Action Research (SAJ, VG, MME), pp. 400–409.
ICST-2012-JonssonBSE #automation #scalability #towards #using- Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization (LJ, DB, KS, SE), pp. 437–446.
ICST-2012-Li #automation #testing- A Smart Structured Test Automation Language (SSTAL) (NL), pp. 471–474.
ICST-2012-MizanF #analysis #automation #performance- Automated Performance Model Construction through Event Log Analysis (AM, GF), pp. 636–641.
ICST-2012-WahlerFSJN #automation #embedded #named #testing- CAST: Automating Software Tests for Embedded Systems (MW, EF, RS, RJ, KN), pp. 457–466.
ICST-2012-WiklundESL #automation #technical debt #testing- Technical Debt in Test Automation (KW, SE, DS, KL), pp. 887–892.
IJCAR-2012-BoerBR #automation #pointer #recursion #source code #verification- Automated Verification of Recursive Programs with Pointers (FSdB, MMB, JR), pp. 149–163.
IJCAR-2012-FosterS #algebra #analysis #automation- Automated Analysis of Regular Algebra (SF, GS), pp. 271–285.
IJCAR-2012-GoreT #automation #logic #reasoning- BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics (RG, JT), pp. 301–315.
IJCAR-2012-JacquelBDD #automation #deduction #modulo theories #proving #theorem proving #using #verification- Tableaux Modulo Theories Using Superdeduction — An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover (MJ, KB, DD, CD), pp. 332–338.
IJCAR-2012-Matiyasevich #automation #reasoning- Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.
SMT-2012-MichelHGH #approach #automation #smt- An SMT-based approach to automated configuration (RM, AH, VG, PH), pp. 109–119.
TAP-2012-ArmandoPCMB #automation #model checking #protocol #security #testing- From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap (AA, GP, RC, AM, DB), pp. 3–18.
TAP-2012-KosmatovW #automation #testing #tutorial- Tutorial on Automated Structural Testing with PathCrawler — (NK, NW), p. 176.
VMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code- Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
VMCAI-2012-Leino #automation #induction #smt- Automating Induction with an SMT Solver (KRML), pp. 315–331.
CBSE-2011-AbdellatifSRL #automation #component #data flow #distributed- Automating information flow control in component-based distributed systems (TA, LS, RR, YL), pp. 73–82.
QoSA-ISARCS-2011-KoziolekKR #architecture #automation #multi #named #optimisation- PerOpteryx: automated application of tactics in multi-objective software architecture optimization (AK, HK, RHR), pp. 33–42.
WICSA-2011-ChampagneG #architecture #automation #performance #towards- Towards Automation of Performance Architectural Tactics Application (RC, SG), pp. 157–160.
DocEng-2011-Brailsford #automation #layout- Automated conversion of web-based marriage register data into a printed format with predefined layout (DFB), pp. 61–64.
DocEng-2011-Damera-VenkataBO #automation #composition #documentation #probability- Probabilistic document model for automated document composition (NDV, JB, EOS), pp. 3–12.
DRR-2011-BallS #automation #statistics #tool support #using- Statistical characterization of handwriting characteristics using automated tools (GRB, SNS), pp. 1–10.
DRR-2011-KimLT #automation #identification #using- Automated identification of biomedical article type using support Vector machines (ICK, DXL, GRT), pp. 1–10.
ICDAR-2011-KokawaBOWK #analysis #automation #classification #fault- An Impact of OCR Errors on Automated Classification of OCR Japanese Texts with Parts-of-Speech Analysis (AK, LSPB, WO, TW, FK), pp. 543–547.
ICDAR-2011-PalRK #automation #recognition- Handwritten Street Name Recognition for Indian Postal Automation (UP, RKR, FK), pp. 483–487.
JCDL-2011-LearyRWWSM #automation #education #machine learning- Automating open educational resources assessments: a machine learning generalization study (HL, MR, AEW, PGW, TS, JHM), pp. 283–286.
SIGMOD-2011-NehmeB #automation #clustering #database #design #parallel- Automated partitioning design in parallel database systems (RVN, NB), pp. 1137–1148.
ITiCSE-2011-HullPK #automation #named #programming #student- Infandango: automated grading for student programming (MJH, DP, EK), p. 330.
ITiCSE-2011-KleinKT #analysis #assessment #automation #semantics #using- Automated assessment of short free-text responses in computer science using latent semantic analysis (RK, AK, MT), pp. 158–162.
ITiCSE-2011-RosslingMS #algorithm #animation #automation #named- AnimalSense: combining automated exercise evaluations with algorithm animations (GR, MM, JS), pp. 298–302.
ITiCSE-2011-StrieweG #automation #diagrams #uml- Automated checks on UML diagrams (MS, MG), pp. 38–42.
ITiCSE-2011-StrieweG11a #automation #programming #runtime #using- Using run time traces in automated programming tutoring (MS, MG), pp. 303–307.
ICPC-2011-Ali #analysis #automation #named #retrieval #trust- Trustrace: Improving Automated Trace Retrieval through Resource Trust Analysis (NA), pp. 230–233.
ICPC-2011-WangSW #automation #fault- Capturing Expert Knowledge for Automated Configuration Fault Diagnosis (MW, XS, KW), pp. 205–208.
ICSM-2011-DamG #automation #impact analysis- Automated change impact analysis for agent systems (HKD, AG), pp. 33–42.
ICSM-2011-RogstadBDRA #automation #case study #database #experience #industrial #legacy #testing- Industrial experiences with automated regression testing of a legacy database application (ER, LCB, RD, MR, EA), pp. 362–371.
MSR-2011-HindleEGM #analysis #automation #maintenance #process #topic- Automated topic naming to support cross-project analysis of software maintenance activities (AH, NAE, MWG, JM), pp. 163–172.
FM-2011-HaxthausenKB #automation #development #modelling #verification- Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems (AEH, AAK, MLB), pp. 118–132.
SEFM-2011-JacquelBDD #automation #proving #theorem proving #using #verification- Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (MJ, KB, DD, CD), pp. 253–268.
SFM-2011-ForejtKNP #automation #probability #verification- Automated Verification Techniques for Probabilistic Systems (VF, MZK, GN, DP), pp. 53–113.
ICFP-2011-GonthierZND #ad hoc #automation #how #proving- How to make ad hoc proof automation less ad hoc (GG, BZ, AN, DD), pp. 163–175.
AGTIVE-2011-ScholerS #3d #architecture #automation #re-engineering #towards- Towards an Automated 3D Reconstruction of Plant Architecture (FS, VS), pp. 51–64.
GT-VMT-2011-BoronatM #automation #case study #maude #uml- Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).
CHI-2011-BrushLMASD #automation #challenge- Home automation in the wild: challenges and opportunities (AJBB, BL, RM, SA, SS, CD), pp. 2115–2124.
CHI-2011-DurrantRKBFM #generative #named- Automics: souvenir generating photoware for theme parks (AD, DR, DSK, SB, JEF, DM), pp. 1767–1776.
DHM-2011-TangoMAP #automation #behaviour #classification- Automation Effects on Driver’s Behaviour When Integrating a PADAS and a Distraction Classifier (FT, LM, RA, OP), pp. 503–512.
DHM-2011-WortelenL #approach #automation #behaviour #estimation- Less Driving While Driving? An Approach for the Estimation of Effects of Future Vehicle Automation Systems on Driver Behavior (BW, AL), pp. 523–532.
DUXU-v2-2011-KomogortsevTMCH #approach #automation #identification #named #usability- EMA: Automated Eye-Movement-Driven Approach for Identification of Usability Issues (OVK, DET, CJM, JC, CH), pp. 459–468.
DUXU-v2-2011-ObermeierBSV #aspect-oriented #automation #evaluation #modelling #object-oriented #programming #usability- Fundamental Aspects Concerning the Usability Evaluation of Model-Driven Object Oriented Programming Approaches in Machine and Plant Automation (MO, SB, KS, BVH), pp. 497–506.
HCI-ITE-2011-NgKNA #automation #gesture- Gesture Based Automating Household Appliances (WLN, NCK, NKN, BMA), pp. 285–293.
HCI-UA-2011-MaehigashiMTKMH #automation #using- Experimental Investigation of Misuse and Disuse in Using Automation System (AM, KM, HT, KK, JM, YH), pp. 384–393.
HCI-UA-2011-VijayaraghavanP #automation #e-commerce #knowledge base- Socio Economic Psycho Knowledge Based Intelligent Agents for Automated e-Commerce Negotiation (PV, RP), pp. 274–284.
HIMI-v2-2011-DaoBBKNMRJ #automation- Conflict Resolution Automation and Pilot Situation Awareness (AQVD, SLB, LPB, JMK, JHN, KM, HR, WWJ), pp. 473–482.
CAiSE-2011-MoserWHB #analysis #automation #categorisation #empirical #requirements #semantics- Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis (TM, DW, MH, SB), pp. 3–17.
ICEIS-J-2011-SchwindF #automation- Automating Texas Hold’em Poker with PLICAS (MS, CF), pp. 193–207.
ICEIS-v3-2011-AndreouSP #automation #testing #user interface- Specification-based Automated Automated GUI Testing (ASA, AAS, CP), pp. 318–323.
ICEIS-v4-2011-FarwickABRVH #analysis #architecture #automation #bibliography #enterprise #maintenance #requirements- Requirements for Automated Enterprise Architecture Model Maintenance — A Requirements Analysis based on a Literature Review and an Exploratory Survey (MF, BA, RB, SR, KV, IH), pp. 325–337.
CIKM-2011-ChengKGSH #automation #generative- Automated feature generation from structured knowledge (WC, GK, TG, DHS, RH), pp. 1395–1404.
CIKM-2011-StuparM #automation #multi #named- PICASSO: automated soundtrack suggestion for multi-modal data (AS, SM), pp. 2589–2592.
KDIR-2011-KuhlweinUTGH #automation #multi #ranking #reasoning- Multi-output Ranking for Automated Reasoning (DK, JU, ET, HG, TH), pp. 42–51.
KDIR-2011-MauleKR #approach #automation #using- Automated Approach for Whole Brain Infarction Core Delineation — Using Non-contrast and Computed Tomography Angiography (PM, JK, VR), pp. 433–437.
KEOD-2011-RazaHK #automation #knowledge base- Knowledge based Services for Devices in Automation (MBR, RH, TK), pp. 133–138.
KEOD-2011-SchmidtKL #automation #documentation #domain-specific language- Domain Specific Language in Technical Solution Documents — Discussion of Two Approaches to Improve the Semi-automated Annotation (HXS, AK, UL), pp. 159–166.
SEKE-2011-BudiLLJW #architecture #automation #design #detection- Automated Detection of Likely Design Flaws in N-Tier Architectures (AB, L, DL, LJ, SW), pp. 613–618.
SEKE-2011-GeigerSW #automation #consistency #towards- Towards Automated Conformance Checking of ebBP-ST Choreographies and Corresponding WS-BPEL Based Orchestrations (MG, AS, GW), pp. 566–571.
SEKE-2011-LiuTCZP #automation #database #lifecycle- Automated Extraction of Data Lifecycle Support from Database Applications (KL, HBKT, XC, HZ, BP), pp. 432–437.
SEKE-2011-MoserWHB #analysis #automation #detection #empirical #requirements #semantics- Automating the Detection of Complex Semantic Conflicts between Software Requirements (An empirical study on requirements conflict analysis with semantic technology) (TM, DW, MH, SB), pp. 729–735.
ECMFA-2011-YueAB #automation #case study #state machine #testing #uml- Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.
MoDELS-2011-KainzBK #automation #concept #metamodelling #model transformation- Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation (GK, CB, AK), pp. 17–31.
MoDELS-2011-LindH #approach #automation #component #embedded #estimation #modelling- A Model-Based and Automated Approach to Size Estimation of Embedded Software Components (KL, RH), pp. 334–348.
Onward-2011-Bierhoff #automation #lightweight #reasoning #verification- Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
OOPSLA-2011-RichardsGEV #automation #benchmark #javascript #metric- Automated construction of JavaScript benchmarks (GR, AG, BE, JV), pp. 677–694.
TOOLS-EUROPE-2011-TrudelOFN #automation #eiffel #java #source code- Automated Translation of Java Source Code to Eiffel (MT, MO, CAF, MN), pp. 20–35.
PLDI-2011-Chlipala #logic #low level #source code #verification- Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.
PLDI-2011-JinSZLL #automation- Automated atomicity-violation fixing (GJ, LS, WZ, SL, BL), pp. 389–400.
POPL-2011-Gulwani #automation #spreadsheet #string #using- Automating string processing in spreadsheets using input-output examples (SG), pp. 317–330.
RE-2011-WeiYJZ #automation #modelling #named #non-functional #reasoning- rΣ: Automated reasoning tool for non-functional requirement goal models (BW, BY, ZJ, DZ), pp. 337–338.
ASE-2011-AlshahwanH #automation #re-engineering #testing #using #web- Automated web application testing using search based software engineering (NA, MH), pp. 3–12.
ASE-2011-BrosigHK #architecture #automation #component #distributed #modelling #performance- Automated extraction of architecture-level performance models of distributed component-based systems (FB, NH, SK), pp. 183–192.
ASE-2011-ChenG #automation #documentation #retrieval #traceability- Improving automated documentation to code traceability by combining retrieval techniques (XC, JCG), pp. 223–232.
ASE-2011-HuangNPGBT #automation #classification #fault #generative #named #orthogonal- AutoODC: Automated generation of Orthogonal Defect Classifications (LH, VN, IP, RG, XB, JT), pp. 412–415.
ASE-2011-OsterSB #analysis #automation #requirements- Automating analysis of qualitative preferences in goal-oriented requirements engineering (ZJO, GRS, SB), pp. 448–451.
ASE-2011-PeiWFNM #automation- Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
ASE-2011-PohlLP #algorithm #analysis #automation #comparison #feature model #modelling #performance- A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models (RP, KL, KP), pp. 313–322.
ASE-2011-RathfelderKE #automation #capacity #performance #predict #using- Capacity planning for event-based systems using automated performance predictions (CR, SK, DE), pp. 352–361.
ASE-2011-RobinsonEPAL #automation #generative #scalability #source code #testing- Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs (BR, MDE, JHP, VA, NL), pp. 23–32.
ASE-2011-SoltaniAHGB #automation #feature model- Automated planning for feature model configuration based on stakeholders’ business concerns (SS, MA, MH, DG, EB), pp. 536–539.
ASE-2011-ZhangZE #automation #documentation #testing- Automated documentation inference to explain failed tests (SZ, CZ, MDE), pp. 63–72.
ESEC-FSE-2011-NaudziunieneBDDGP #automation #ide #java #named #source code #verification- jStar-eclipse: an IDE for automated verification of Java programs (DN, MB, DD, MD, RG, MJP), pp. 428–431.
ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web- A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
ICSE-2011-ChenHG #approach #automation #traceability- A combination approach for enhancing automated traceability (XC, JGH, JCG), pp. 912–915.
ICSE-2011-ClauseO #automation #named- Camouflage: automated anonymization of field data (JAC, AO), pp. 21–30.
ICSE-2011-Jurjens #automation #evolution #modelling #security #uml- Automated security hardening for evolving UML models (JJ), pp. 986–988.
ICSE-2011-MesbahP #automation #testing- Automated cross-browser compatibility testing (AM, MRP), pp. 561–570.
ICSE-2011-Pankratius #automation #evaluation #parallel #programming #usability- Automated usability evaluation of parallel programming constructs (VP), pp. 936–939.
ICSE-2011-SunGW #approach #evolution #named- MT-Scribe: an end-user approach to automate software model evolution (YS, JG, JW), pp. 980–982.
ICSE-2011-Zhang #automation #generative #hybrid #java #named #testing- Palus: a hybrid automated test generation tool for java (SZ), pp. 1182–1184.
SAC-2011-BarreraV #approach #automation #summary- Automated extractive single-document summarization: beating the baselines with a new approach (AB, RV), pp. 268–269.
SAC-2011-JeffersonMP #automation #constraints #generative #named- Combination: automated generation of puzzles with constraints (CJ, WM, KEP), pp. 907–912.
CASE-2011-AddadALD #automation #evaluation #metric- Measures vs. analytic evaluation of response time of Networked Automation Systems (BA, SA, JJL, BD), pp. 576–581.
CASE-2011-AngererEHRR #automation #design #process- Design of an automation system for preforming processes in aerospace industries (AA, CE, AH, WR, GR), pp. 557–562.
CASE-2011-BasileCC #analysis #automation- A discrete event model for the control and analysis of complex automated warehouse systems (FB, PC, JC), pp. 201–207.
CASE-2011-ChoiYSMKCC #automation #development #framework #mobile- Development of robotic laboratory automation platform with intelligent mobile agents for clinical chemistry (BC, WSY, SHS, HM, JK, WC, HC), pp. 708–713.
CASE-2011-KoyamaOHTMA #automation #multi- Multiple cell suction and supply system for automated cell manipulation on microfluidic channel (NK, KO, AH, TT, YM, TA), pp. 678–683.
CASE-2011-NaibR #approach #automation #constraints- A P2P approach for automating seamless connectivity given intermittent bandwidth constraints (VVBN, SR), pp. 637–641.
CASE-2011-RakotondrabeAL #2d #automation- Feedforward and IMC-feedback control of a nonlinear 2-DOF piezoactuator dedicated to automated micropositioning tasks (MR, JA, PL), pp. 393–398.
CASE-2011-RakotondrabeHCL #assembly #automation- Automation of assembly and packaging at the micro/nano-scale (MR, YH, CC, PL), pp. 1–5.
CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification- Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
CASE-2011-Vogel-HeuserS #approach #automation #modelling #usability- A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systems (BVH, KS), pp. 474–481.
CASE-2011-WasonW #architecture #automation #communication #library- Robot Raconteur: A communication architecture and library for robotic and automation systems (JDW, JTW), pp. 761–766.
CGO-2011-RusAL #automation #distance #locality #optimisation #reuse #string- Automated locality optimization based on the reuse distance of string operations (SR, RA, DXL), pp. 181–190.
CGO-2011-Yi #automation #compilation #optimisation #programmable- Automated programmable control and parameterization of compiler optimizations (QY), pp. 97–106.
DAC-2011-ChenEWDXN #array #automation #configuration management- Automated mapping for reconfigurable single-electron transistor arrays (YCC, SE, CYW, SD, YX, VN), pp. 878–883.
DAC-2011-Jandhyala #automation #design #network #social #tool support #web- Physics-based field-theoretic design automation tools for social networks and web search (VJ), pp. 280–281.
DATE-2011-BaiDCD #automation #modelling #network #performance- Automated construction of fast and accurate system-level models for wireless sensor networks (LSB, RPD, PHC, PAD), pp. 1083–1088.
DATE-2011-FerentD #automation #design #similarity- A symbolic technique for automated characterization of the uniqueness and similarity of analog circuit design features (CF, AD), pp. 1212–1217.
DATE-2011-KengSV #automation #debugging- Automated debugging of SystemVerilog assertions (BK, SS, AGV), pp. 323–328.
DATE-2011-KernST #automation #concept #data type #embedded #migration- An automated data structure migration concept — From CAN to Ethernet/IP in automotive embedded systems (CANoverIP) (AK, TS, JT), pp. 112–117.
DATE-2011-MiteaMHJ #automation #constraints #synthesis- Automated constraint-driven topology synthesis for analog circuits (OM, MM, LH, PJ), pp. 1662–1665.
DATE-2011-SommerKHSS #automation #design #generative #network- A new method for automated generation of compensation networks — The EDA Designer Finger (RS, DK, EH, ES, CS), pp. 1666–1672.
DATE-2011-ZadeganICL #automation #design- Design automation for IEEE P1687 (FGZ, UI, GC, EL), pp. 1412–1417.
FASE-2011-FengKP #automation #composition #learning #probability #reasoning- Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
FASE-2011-TkachukR #analysis #automation #generative #web- Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
CADE-2011-AlbertiAR #analysis #automation #named #policy #security- ASASP: Automated Symbolic Analysis of Security Policies (FA, AA, SR), pp. 26–33.
CADE-2011-BohmeM #automation #challenge #data type #proving- Heaps and Data Structures: A Challenge for Automated Provers (SB, MM), pp. 177–191.
CADE-2011-BrotherstonDP #automation #logic #proving- Automated Cyclic Entailment Proofs in Separation Logic (JB, DD, RLP), pp. 131–146.
CADE-2011-Claessen #automation #first-order #logic #reasoning- The Anatomy of Equinox — An Extensible Automated Reasoning Tool for First-Order Logic and Beyond — (KC), pp. 1–3.
CADE-2011-HaarslevSV #automation #reasoning #smt- Automated Reasoning in 𝒜ℒ𝒞𝒬 via SMT (VH, RS, MV), pp. 283–298.
CADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using- Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
CAV-2011-KleinN #automation #behaviour #formal method #rest #verification- Formalization and Automated Verification of RESTful Behavior (UK, KSN), pp. 541–556.
ICST-2011-Grasland #automation #resource management #testing- Testing Resource Usage in Home Automation Systems (YG), pp. 419–422.
ISSTA-2011-BabicMMS #automation #generative #testing- Statically-directed dynamic automated test generation (DB, LM, SM, DS), pp. 12–22.
ISSTA-2011-ParninO #automation #debugging #question- Are automated debugging techniques actually helping programmers? (CP, AO), pp. 199–209.
ISSTA-2011-YasmeenG #analysis #automation #framework- Automated framework for formal operator task analysis (AY, ELG), pp. 78–88.
ISSTA-2011-ZhangSBE #automation #generative #testing- Combined static and dynamic automated test generation (SZ, DS, YB, MDE), pp. 353–363.
RTA-2011-ContejeanCFPU #automation #proving- Automated Certified Proofs with CiME3 (EC, PC, JF, OP, XU), pp. 21–30.
TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing- Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
VMCAI-2011-HowarSM #abstraction #automation #automaton #learning #refinement- Automata Learning with Automated Alphabet Abstraction Refinement (FH, BS, MM), pp. 263–277.
VMCAI-2011-PiskacW #automation #proving #termination- Decision Procedures for Automating Termination Proofs (RP, TW), pp. 371–386.
CBSE-2010-HummelA #adaptation #assessment #automation #component #testing- Automated Creation and Assessment of Component Adapters with Test Cases (OH, CA), pp. 166–181.
ECSA-2010-KrupaviciuteF #automation #distributed #process- Expert Activities Automation through Enhanced Business Services Orchestration (AK, JF), pp. 497–500.
ECSA-2010-ScandariatoBJ #architecture #automation #detection- Automated Detection of Least Privilege Violations in Software Architectures (RS, KB, WJ), pp. 150–165.
DocEng-2010-BilaucaH #automation #layout- A new model for automated table layout (MB, PH), pp. 169–176.
DocEng-2010-SimskeB #automation #named #policy- APEX: automated policy enforcement eXchange (SJS, HB), pp. 139–142.
ECDL-2010-Richardson #ambiguity #automation #set- Automated Country Name Disambiguation for Code Set Alignment (GR), pp. 498–501.
ECDL-2010-StrodlPGR #automation #logic- Automating Logical Preservation for Small Institutions with Hoppla (SS, PP, MG, AR), pp. 124–135.
JCDL-2010-SautterBKM #automation #documentation #generative #named #performance- ProcessTron: efficient semi-automated markup generation for scientific documents (GS, KB, CK, TM), pp. 21–28.
SIGMOD-2010-AlagiannisDSAP #automation #design #interactive- An automated, yet interactive and portable DB designer (IA, DD, KS, AA, NP), pp. 1183–1186.
SIGMOD-2010-TerwilligerBU #automation #database #evolution #modelling- Worry-free database upgrades: automated model-driven evolution of schemas and complex mappings (JFT, PAB, AU), pp. 1191–1194.
VLDB-2010-AngGNH #automation #collaboration #content management #named- P2PDocTagger: Content management through automated P2P collaborative tagging (HHA, VG, WKN, SCHH), pp. 1601–1604.
VLDB-2010-XinDLMSS #automation #database #evaluation #migration- MEET DB2: Automated Database Migration Evaluation (RX, PD, SL, WM, SS, MS), pp. 1426–1434.
SIGITE-2010-Welch #automation #education- Information technology curriculum and practical opportunities in automation (JLW), pp. 85–88.
CSMR-2010-AlalfiCD #automation #metric #web- Automating Coverage Metrics for Dynamic Web Applications (MHA, JRC, TRD), pp. 51–60.
ICPC-2010-OlivetoGPL #automation #equivalence #information retrieval #on the #traceability- On the Equivalence of Information Retrieval Methods for Automated Traceability Link Recovery (RO, MG, DP, ADL), pp. 68–71.
ICPC-2010-RollsJS #automation #benchmark #collaboration #metric #named- Unibench: A Tool for Automated and Collaborative Benchmarking (DR, CJ, SBS), pp. 50–51.
ICSM-2010-ChoudharyVO #automation #identification #named #web- WEBDIFF: Automated identification of cross-browser issues in web applications (SRC, HV, AO), pp. 1–10.
MSR-2010-OssherBL #automation #dependence #open source- Automated dependency resolution for open source software (JO, SKB, CVL), pp. 130–140.
WCRE-2010-BittencourtSGM #automation #information retrieval #modelling #using- Improving Automated Mapping in Reflexion Models Using Information Retrieval Techniques (RAB, GJdSS, DDSG, GCM), pp. 163–172.
WCRE-2010-HaiducAMM #automation #on the #source code #summary #using- On the Use of Automated Text Summarization Techniques for Summarizing Source Code (SH, JA, LM, AM), pp. 35–44.
IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics- Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
ICGT-2010-Qayum #automation #graph transformation #refactoring #search-based #using- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems (FQ), pp. 407–409.
CHI-2010-PanJYPQ #automation #communication #comprehension #quality #realtime- Effects of automated transcription quality on non-native speakers’ comprehension in real-time computer-mediated communication (YP, DJ, LY, MP, YQ), pp. 1725–1734.
SOFTVIS-2010-BeckD10a #analysis #automation #distributed #towards #visualisation- Towards automated analysis and visualization of distributed software systems (MB, JD), pp. 213–214.
CAiSE-2010-SilvaMBB #automation #consistency #design #modelling #nondeterminism #towards- Towards Automated Inconsistency Handling in Design Models (MAAdS, AM, XB, RB), pp. 348–362.
EDOC-2010-MosincatBJ #adaptation #automation #evolution #runtime- Runtime Adaptability through Automated Model Evolution (ADM, WB, MJ), pp. 217–226.
EDOC-2010-TerresNS #automation #process- Selection of Business Process for Autonomic Automation (LDT, JARN, JMdS), pp. 237–246.
ICEIS-J-2010-AleixoFSK10a #approach #automation #deployment #modelling #process #variability- Automating the Variability Management, Customization and Deployment of Software Processes: A Model-Driven Approach (FAA, MAF, WCdS, UK), pp. 372–387.
ICEIS-SAIC-2010-GoyalK #approach #automation #fuzzy #multi #set #using- Using Fuzzy Set Approach in Multi-attribute Automated Auctions (MLG, SK), pp. 81–85.
ICEIS-SAIC-2010-VilenicaL #automation #multi #simulation #towards- Towards Automated Simulation of Multi Agent based Systems (AV, WL), pp. 38–46.
CIKM-2010-RonenS #automation #datalog #interactive #network #social- Automated interaction in social networks with datalog (RR, OS), pp. 1273–1276.
CIKM-2010-ZhangMWW #approach #automation #database #formal method #object-oriented #ontology- Formal approach and automated tool for constructing ontology from object-oriented database model (FZ, ZMM, XW, YW), pp. 1329–1332.
ICPR-2010-AkgulE #approach #automation #probability- A Probabilistic Information Fusion Approach to MR-based Automated Diagnosis of Dementia (CBA, AE), pp. 265–268.
ICPR-2010-AzarM #automation #image #network #sequence #using- Automated Tracking of the Carotid Artery in Ultrasound Image Sequences Using a Self Organizing Neural Network (JCA, HHM), pp. 2544–2547.
ICPR-2010-CadavidA #automation #detection #modelling #using #visual notation- Exploiting Visual Quasi-periodicity for Automated Chewing Event Detection Using Active Appearance Models and Support Vector Machines (SC, MAM), pp. 1714–1717.
ICPR-2010-ChenYKA #assessment #automation #paradigm #reliability #video- A Reliability Assessment Paradigm for Automated Video Tracking Systems (CHC, YY, AK, MAA), pp. 480–483.
ICPR-2010-HamKN #automation #detection #finite #fuzzy- Fire-Flame Detection Based on Fuzzy Finite Automation (SH, BK, JYN), pp. 3919–3922.
ICPR-2010-KeustermansMVS #automation #identification #modelling #using- Automated Cephalometric Landmark Identification Using Shape and Local Appearance Models (JK, WM, DV, PS), pp. 2464–2467.
ICPR-2010-LuLLY #automation #classification #image- Automated Cell Phase Classification for Zebrafish Fluorescence Microscope Images (YL, JL, TL, JY), pp. 2584–2587.
ICPR-2010-Meunier #analysis #assurance #automation #documentation #logic #quality- Automated Quality Assurance for Document Logical Analysis (JLM), pp. 253–256.
ICPR-2010-NgPS #automation #clustering #fuzzy- Automated Feature Weighting in Fuzzy Declustering-based Vector Quantization (TFN, TDP, CS), pp. 686–689.
ICPR-2010-NguyenJA #automation #classification #image #segmentation- Automated Gland Segmentation and Classification for Gleason Grading of Prostate Tissue Images (KN, AKJ, RLA), pp. 1497–1500.
ICPR-2010-PalRK #automation #recognition- Bangla and English City Name Recognition for Indian Postal Automation (UP, RKR, FK), pp. 1985–1988.
ICPR-2010-SunVFT #automation #detection- Automated Detection of Nucleoplasmic Bridges for DNA Damage Scoring in Binucleated Cells (CS, PV, MF, PT), pp. 2480–2483.
ICPR-2010-UsenikVPL #automation #image- Automated Tracking of Vesicles in Phase Contrast Microscopy Images (PU, TV, FP, BL), pp. 2520–2523.
KDD-2010-LiuNYW #automation #named #wiki- BioSnowball: automated population of Wikis (XL, ZN, NY, JRW), pp. 969–978.
KDIR-2010-LieglGSH #automation #detection #sentiment #taxonomy- Dictionary Extension for Improving Automated Sentiment Detection (JL, SG, AS, AHH), pp. 404–407.
KEOD-2010-ChanLB #automation #evolution #higher-order #ontology #reasoning #representation- Higher-order Representation and Reasoning for Automated Ontology Evolution (MC, JL, AB), pp. 84–93.
SEKE-2010-BernhartAMG #automation #case study #experience #framework #integration #testing #verification- Automated Integration Testing and Verification of a Secured SOA Infrastructure — an Experience Report in eHealth (MB, TA, AM, TG), pp. 198–202.
SEKE-2010-ElamyFL #detection #multi- A Multiagent System for Automate Detection and Diagnosis of Active Tuberculosis on Chest Radiograph and CT Thorax (AHE, BHF, RL), pp. 495–498.
SEKE-2010-EsfahaniS #architecture #automation #communication- Service Automation Architecture as adopted by Unified Communication Audit Tool (SSE, TS), pp. 443–447.
SEKE-2010-Garcia-CastroGKG #automation #evaluation #ontology- An Ontology Model to Support the Automated Evaluation of Software (RGC, MEG, MK, SG), pp. 129–134.
SEKE-2010-MoserDB #automation #generative #ontology #simulation #testing- Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
SEKE-2010-PinheiroGMS #automation #industrial #testing- Introducing Automated Environment Configuration Testing in an Industrial Setting (CP, VG, FM, JS), pp. 186–191.
SEKE-2010-RodriguesVZ #automation #modelling #product line #testing #using- PLeTs-Test Automation using Software Product Lines and Model Based Testing (EdMR, LDV, AFZ), pp. 483–488.
SEKE-2010-TibermacineSGFS #automation #evolution #towards- Towards an Automation of Software Evolution Good Practices (CT, SS, VLG, RF, SS), pp. 339–344.
SEKE-2010-ZhangHZJM #automation #eclipse #execution #synthesis #towards- Towards Automated Synthesis of Executable Eclipse Tutorials (NZ, GH, YZ, NJ, HM), pp. 591–598.
ECMFA-2010-KleinerFA #automation #constraints #formal method #platform #theorem proving- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
ECMFA-2010-YueBL #approach #automation #case study #diagrams #process- An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.
SPLC-2010-Nakajima #automation #diagrams #encoding #feature model- Non-clausal Encoding of Feature Diagram for Automated Diagnosis (SN), pp. 420–424.
SPLC-2010-OsterMR #automation #incremental #product line #testing- Automated Incremental Pairwise Testing of Software Product Lines (SO, FM, PR), pp. 196–210.
PADL-2010-AgarwalBGG #automation #program transformation- Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.
PEPM-2010-ContejeanPUCPF #approach #automation #proving #termination- A3PAT, an approach for certified automated termination proofs (EC, AP, XU, PC, OP, JF), pp. 63–72.
PLDI-2010-YangH #automation #operating system #type safety #verification- Safe to the last instruction: automated verification of a type-safe operating system (JY, CH), pp. 99–110.
SAS-2010-KatoenMMM #automation #generative #invariant #probability #source code- Linear-Invariant Generation for Probabilistic Programs: — Automated Support for Proof-Based Methods (JPK, AM, LM, CCM), pp. 390–406.
RE-2010-CuddebackDH #automation #case study #requirements #traceability- Automated Requirements Traceability: The Study of Human Analysts (DC, AD, JHH), pp. 231–240.
RE-2010-KamalrudinHG #approach #automation #consistency #named #nondeterminism #requirements #visual notation- MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements (MK, JGH, JCG), pp. 393–394.
RE-2010-SinhaPTN #analysis #automation #case study #natural language- Extending Automated Analysis of Natural Language Use Cases to Other Languages (AS, AMP, HT, TN), pp. 364–369.
ASE-2010-BeckerG #automation- Automated model grouping (MB, VG), pp. 493–498.
ASE-2010-KhalekK #automation #database #generative #query #sql #testing- Automated SQL query generation for systematic testing of database engines (SAK, SK), pp. 329–332.
ASE-2010-LawallL #approach #automation #debugging- An automated approach for finding variable-constant pairing bugs (JLL, DL), pp. 103–112.
ASE-2010-ManiSDS #automation #fault- Automated support for repairing input-model faults (SM, VSS, PD, SS), pp. 195–204.
ASE-2010-SchulteFW #assembly #automation #evolution #program repair- Automated program repair through the evolution of assembly code (ES, SF, WW), pp. 313–316.
ASE-2010-TanejaZX #automation #database #generative #named #testing- MODA: automated test generation for database applications via mock objects (KT, YZ, TX), pp. 289–292.
ICSE-2010-BudnikCK #automation #testing #theory and practice- Bridging the Gap Between the Theory and Practice of Software Test Automation (CJB, WKC, GMK), pp. 445–446.
ICSE-2010-SahooCA #automation #debugging #empirical- An empirical study of reported bugs in server software with implications for automated bug diagnosis (SKS, JC, VSA), pp. 485–494.
ICSE-2010-ZhangYZCY #automation #debugging #generative #named- BPGen: an automated breakpoint generator for debugging (CZ, DY, JZ, YC, SY), pp. 271–274.
SAC-2010-HurnausP #automation #composition #contract #programming #verification- Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
SAC-2010-Nakajima #automation #diagrams #feature model- Semi-automated diagnosis of FODA feature diagram (SN), pp. 2191–2197.
LDTA-J-2007-CamachoMBV #automation #generative #tool support #using #verification- Automated generation of program translation and verification tools using annotated grammars (DOC, KM, MvdB, JJV), pp. 3–20.
LDTA-2009-DennisJW10 #algorithm #analysis #automation #memory management #named- SLAMM — Automating Memory Analysis for Numerical Algorithms (JMD, ERJ, WMW), pp. 89–104.
SLE-2010-RuscioLP #automation #co-evolution #editing #modelling- Automated Co-evolution of GMF Editor Models (DDR, RL, AP), pp. 143–162.
SLE-2010-SoderbergH #attribute grammar #automation- Automated Selective Caching for Reference Attribute Grammars (ES, GH), pp. 2–21.
CASE-2010-AngererEHRRS #automation- Automated cutting and handling of carbon fiber fabrics in aerospace industries (AA, CE, AH, WR, GR, GS), pp. 861–866.
CASE-2010-BarajasBGY #automation #validation- Virtual Launch & Validation of Manufacturing Automation Controls (LGB, SB, FG, CY), pp. 412–419.
CASE-2010-BengtssonTLAYMF #automation #design #identification #sequence #visualisation- Relations identification and visualization for sequence planning and automation design (KB, CT, BL, KÅ, CY, SM, PF), pp. 841–848.
CASE-2010-BeringV #automation #framework #quality #statistics- A Quality Framework to check the applicability of engineering and statistical assumptions for automated gauges (TPKB, SCV), pp. 319–325.
CASE-2010-BeyelerMN #automation #testing- Wafer-level inspection system for the automated testing of comb drive based MEMS sensors and actuators (FB, SM, BJN), pp. 698–703.
CASE-2010-BorsuYP #automation #detection- Automated surface deformations detection and marking on automotive body panels (VB, AY, PP), pp. 551–556.
CASE-2010-ChoiEF #assembly #automation #industrial #roadmap- Trends and opportunities for robotic automation of trim & final assembly in the automotive industry (SC, WE, TAF), pp. 124–129.
CASE-2010-ChoiYSMKCC #automation #flexibility #framework #mobile #testing- Robotic laboratory automation platform based on mobile agents for flexible clinical tests (BC, WSY, SHS, HM, JK, WC, HRC), pp. 186–191.
CASE-2010-CoppBHTVR #automation #monitoring #network #quality #towards- Towards the automation of water quality monitoring networks (JBC, EB, CH, MT, PAV, LR), pp. 491–496.
CASE-2010-FatikowEJWNK #automation- Automated nanorobotic handling of bio- and nano-materials (SF, VE, DJ, MWJ, FN, FK), pp. 1–6.
CASE-2010-FrohlichS #automation #constraints #matrix #modelling #problem #scheduling #using- Relation matrices for automated MILP modeling of scheduling problems using temporal constraints (RF, SCS), pp. 69–74.
CASE-2010-GhanbariNBCCW #automation #metric- Automated vision-based force measurement of moving C. elegans (AG, VN, RB, XC, JGC, WW), pp. 198–203.
CASE-2010-HametnerZS #architecture #automation #component #development #industrial #performance- Automation component architecture for the efficient development of industrial automation systems (RH, AZ, MS), pp. 156–161.
CASE-2010-HuZLW #assembly #automation #concurrent #flexibility- Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations (HH, MZ, ZL, NW), pp. 459–464.
CASE-2010-JasperF #automation #performance- Automated high-speed nanopositioning inside scanning electron microscopes (DJ, SF), pp. 704–709.
CASE-2010-JinJ #automation #bibliography #distributed #generative- Review on planning and automation technologies for distributed generation systems (TJ, JAJ), pp. 269–274.
CASE-2010-ParkSR #automation #classification #database- Image-based automated chemical database annotation with ensemble of machine-vision classifiers (JP, KS, GRR), pp. 168–173.
CASE-2010-Puffer #automation #challenge- Automation challenges and opportunities for high volume manufacture of proton exchange membrane fuel cell stacks (RHP), pp. 287–292.
CASE-2010-RakotondrabeCRN #automation #estimation #framework- Presentation, force estimation and control of an instrumented platform dedicated to automated micromanipulation tasks (MR, CC, KR, KN), pp. 722–727.
CASE-2010-RichtsfeldSV #automation #detection #realtime- Real-time edge detection for automated fibre-mat stitching (MR, AS, MV), pp. 557–562.
CASE-2010-RososhanskyXL #automation #using- Coverage based tool path planning for automated polishing using contact stress theory (MR, FX, YL), pp. 592–597.
CASE-2010-RuZSZSHC #automation #metric- Automated four-point probe measurement of nanowires inside a scanning electron microscope (CR, YZ, YS, YZ, XS, DH, IC), pp. 533–538.
CASE-2010-SaundersJMOM #automation #design #modelling #process- Model-based design automation and process automation in titanium sheet metal manufacturing (GS, MKJ, JM, CO, MM), pp. 873–878.
CGO-2010-HosteGE #automation #compilation- Automated just-in-time compiler tuning (KH, AG, LE), pp. 62–72.
CGO-2010-LindermanHDMN #analysis #automation #optimisation #precise #towards- Towards program optimization through automated analysis of numerical precision (MDL, MH, DLD, THYM, GPN), pp. 230–237.
DAC-2010-BondD #automation #design #modelling- Automated compact dynamical modeling: an enabling tool for analog designers (BNB, LD), pp. 415–420.
DAC-2010-DeOrioB #automation #design #network #social- Electronic design automation for social networks (AD, VB), pp. 621–622.
DAC-2010-IhrigMJ #automation #design #manycore #modelling- Automated modeling and emulation of interconnect designs for many-core chip multiprocessors (CJI, RGM, AKJ), pp. 431–436.
DATE-2010-LiuTL #automation #design #optimisation #power management- Combining optimizations in automated low power design (QL, TT, WL), pp. 1791–1796.
DATE-2010-YangGBSC #automation- Automated bottleneck-driven design-space exploration of media processing systems (YY, MG, TB, SS, HC), pp. 1041–1046.
OSDI-2010-AttariyanF #analysis #automation #data flow #information management- Automating Configuration Troubleshooting with Dynamic Information Flow Analysis (MA, JF), pp. 237–250.
OSDI-2010-KushmanK #automation #independence- Enabling Configuration-Independent Automation by Non-Expert Users (NK, DK), pp. 223–236.
ESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
ESOP-2010-KingJMJJS #automation #security- Automating Security Mediation Placement (DK, SJ, DM, TJ, SJ, SAS), pp. 327–344.
TACAS-2010-Aderhold #analysis #automation #higher-order #recursion #source code #termination- Automated Termination Analysis for Programs with Second-Order Recursion (MA), pp. 221–235.
CAV-2010-ChenCFTTW #automation #learning #reasoning- Automated Assume-Guarantee Reasoning through Implicit Learning (YFC, EMC, AF, MHT, YKT, BYW), pp. 511–526.
ICLP-J-2010-Schneider-KampGSST #analysis #automation #logic programming #source code #termination- Automated termination analysis for logic programs with cut (PSK, JG, TS, AS, RT), pp. 365–381.
ICST-2010-AsztalosLL #automation #model transformation #towards #verification- Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
ICST-2010-EldhBSHP #automation #scalability #towards- Towards Fully Automated Test Management for Large Complex Systems (SE, JB, MS, HH, SP), pp. 412–420.
ICST-2010-JinOX #automation #behaviour #testing- Automated Behavioral Regression Testing (WJ, AO, TX), pp. 137–146.
ICST-2010-KimSGSHN #analysis #automation #debugging #identification- Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes (MK, SS, CG, HS, MJH, MGN), pp. 383–392.
ICST-2010-PerrouinSKBT #automation #generative #product line #scalability #testing- Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (GP, SS, JK, BB, YLT), pp. 459–468.
ICST-2010-SeguraHBR #analysis #approach #automation #feature model #generative #modelling #testing- Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (SS, RMH, DB, ARC), pp. 35–44.
ICST-2010-SinhaSP #automation #case study #named #natural language- Text2Test: Automated Inspection of Natural Language Use Cases (AS, SMSJ, AMP), pp. 155–164.
ICST-2010-Vega #adaptation #automation #information management #testing #towards- Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information Systems (DEV), pp. 331–334.
ICST-2010-VosBLKWW #automation #industrial #testing- Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool (TEJV, AIB, FFL, PMK, AW, JW), pp. 175–184.
ICTSS-2010-Schieferdecker #automation #perspective #state of the art #testing- Test Automation with TTCN-3 — State of the Art and a Future Perspective (IS), pp. 1–14.
IJCAR-2010-AbourbihBBM #automation #calculus- A Single-Significant-Digit Calculus for Semi-Automated Guesstimation (JAA, LB, AB, FM), pp. 354–368.
IJCAR-2010-Aderhold #automation #axiom #higher-order #induction #recursion #source code #synthesis- Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion (MA), pp. 263–277.
IJCAR-2010-BeierleFKT #automation #information management #probability #reasoning #relational #representation- Automated Reasoning for Relational Probabilistic Knowledge Representation (CB, MF, GKI, MT), pp. 218–224.
IJCAR-2010-ChevalCD #analysis #automation #constraints #equivalence #security- Automating Security Analysis: Symbolic Equivalence of Constraint Systems (VC, HCL, SD), pp. 412–426.
IJCAR-2010-PiskacK #automation #multi #named #set- MUNCH — Automated Reasoner for Sets and Multisets (RP, VK), pp. 149–155.
ISSTA-2010-JaygarlKXC #automation #named #testing- OCAT: object capture-based automated testing (HJ, SK, TX, CKC), pp. 159–170.
ISSTA-2010-Jiang #analysis #automation #testing- Automated analysis of load testing results (ZMJ), pp. 143–146.
ISSTA-2010-Romero-MarionaZR #automation #named #requirements- ASSURE: automated support for secure and usable requirements engineering (JRM, HZ, DJR), pp. 279–282.
ISSTA-2010-WeiPFSBMZ #automation #contract #source code- Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
LICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics- Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
RTA-2010-Aoto #automation #confluence #diagrams #proving- Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling (TA), pp. 7–16.
RTA-2010-OttoBEG #analysis #automation #bytecode #java #term rewriting #termination- Automated Termination Analysis of Java Bytecode by Term Rewriting (CO, MB, CvE, JG), pp. 259–276.
SAT-2010-BrummayerLB #automation #debugging #satisfiability #testing- Automated Testing and Debugging of SAT and QBF Solvers (RB, FL, AB), pp. 44–57.
QoSA-2009-BiehlL #architecture #automation #consistency #development #modelling- Automated Architecture Consistency Checking for Model Driven Software Development (MB, WL), pp. 36–51.
WICSA-ECSA-2009-AboudAFHTUV #architecture #automation #classification #component #concept #using- Automated architectural component classification using concept lattices (NAA, GA, JRF, MH, CT, CU, SV), pp. 21–30.
DocEng-2009-Brailsford #automation- Automated re-typesetting, indexing and contentenhancement for scanned marriage registers (DFB), pp. 29–38.
DocEng-2009-Giannetti #automation #documentation- XSL-FO 2.0: automated publishing for graphic documents (FG), pp. 245–246.
DocEng-2009-Lumley #automation #diagrams #xml- Automated extensible XML tree diagrams (JWL), pp. 123–126.
ICDAR-2009-PalRRK #automation #multi #recognition #string- Indian Multi-Script Full Pin-code String Recognition for Postal Automation (UP, RKR, KR, FK), pp. 456–460.
ICDAR-2009-StreckerBAB #automation #documentation #generative #image- Automated Ground Truth Data Generation for Newspaper Document Images (TS, JvB, SA, TMB), pp. 1275–1279.
CSEET-2009-ChimalakondaN #automation #case study- Automating an eLearning System — A Case Study (SC, KVN), pp. 150–153.
EDM-2009-FengB #modelling- Back to the future: a non-automated method for constructing transfer models (MF, JB), pp. 240–249.
ITiCSE-2009-EnglishR #assessment #automation #case study #source code #student #using- Evaluating students’ programs using automated assessment: a case study (JE, TR), p. 371.
ITiCSE-2009-Sant #assessment #automation #quote- “Mailing it in”: email-centric automated assessment (JAS), pp. 308–312.
ICPC-2009-BaysalGC #automation #debugging #framework- A bug you like: A framework for automated assignment of bugs (OB, MWG, RC), pp. 297–298.
ICSM-2009-JiangHHF #analysis #automation #performance #testing- Automated performance analysis of load tests (ZMJ, AEH, GH, PF), pp. 125–134.
CIAA-J-2008-TsayW09 #automation #composition #reasoning- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 747–762.
FM-2009-LeuschelFFP #automation #modelling #scalability #verification- Automated Property Verification for Large Scale B Models (ML, JF, FF, DP), pp. 708–723.
SEFM-2009-EzekielL #approach #automation #multi #verification- An Automated Approach to Verifying Diagnosability in Multi-agent Systems (JE, AL), pp. 51–60.
DHM-2009-PreuveneersB #automation #modelling- Modeling Human Actors in an Intelligent Automated Warehouse (DP, YB), pp. 285–294.
HCD-2009-PalviainenV #automation #concept #design #experience #user interface- User Experience in Machinery Automation: From Concepts and Context to Design Implications (JP, KVVM), pp. 1042–1051.
HCI-NT-2009-KiuraOM #automation #evaluation #named #usability- Webjig: An Automated User Data Collection System for Website Usability Evaluation (MK, MO, KiM), pp. 277–286.
HCI-NT-2009-LangeWB #analysis #automation #evaluation #information management- Automated Analysis of Eye-Tracking Data for the Evaluation of Driver Information Systems According to ISO/TS 15007-2: 2001 (CL, MW, HB), pp. 105–110.
HCI-NT-2009-Ryu #automation #evaluation #mobile #usability- Mobile Phone Usability Questionnaire (MPUQ) and Automated Usability Evaluation (YSR), pp. 349–351.
HCI-VAD-2009-LinYYC #automation #interface- Allocating Human-System Interfaces Functions by Levels of Automation in an Advanced Control Room (CJL, CWY, TCY, LYC), pp. 741–750.
HIMI-DIE-2009-Ehnes #artificial reality #automation #interface- A Tangible Mixed Reality Interface for the AMI Automated Meeting Assistant (JE), pp. 485–494.
HIMI-II-2009-DaoBBVSJ #automation- The Impact of Automation Assisted Aircraft Separation on Situation Awareness (AQVD, SLB, VB, KPLV, TZS, WWJ), pp. 738–747.
HIMI-II-2009-LigdaJLJ #automation #distributed #tool support #using- Pilot Confidence with ATC Automation Using Cockpit Situation Display Tools in a Distributed Traffic Management Environment (SVL, NHJ, JL, WWJ), pp. 816–825.
OCSC-2009-NeviarouskayaPI #automation #communication #named- EmoHeart: Automation of Expressive Communication of Emotions in Second Life (AN, HP, MI), pp. 584–592.
CAiSE-2009-YuR #automation #collaboration- Automated Context-Aware Service Selection for Collaborative Systems (HY, SRM), pp. 261–274.
ICEIS-ISAS-2009-HastbackaK #approach #automation #development- A Service Oriented Engineering Approach to Enhance the Development of Automation and Control Systems (DH, SK), pp. 219–224.
ICEIS-J-2009-BoglSPW #automation #process- Automated Construction of Process Goal Trees from EPC-Models to Facilitate Extraction of Process Patterns (AB, MS, GP, NW), pp. 427–442.
ICEIS-J-2009-Ehnes #artificial reality #automation #interface- An Automated Meeting Assistant: A Tangible Mixed Reality Interface for the AMIDA Automatic Content Linking Device (JE), pp. 952–962.
ICEIS-J-2009-LahiriW #automation #requirements #web #web service- A Business Service Selection Model for Automated Web Service Discovery Requirements (TL, MW), pp. 790–803.
ICEIS-J-2009-OliveiraRMM #automation #design #multi #prototype- Dimensional Templates in Data Warehouses: Automating the Multidimensional Design of Data Warehouse Prototypes (RO, FR, PM, JPM), pp. 184–195.
ICEIS-J-2009-SchwindG #automation #framework #internet #multi #resource management- A Multiagent-System for Automated Resource Allocation in the IT Infrastructure of a Medium-Sized Internet Service Provider (MS, MG), pp. 689–703.
ICEIS-SAIC-2009-Haider09a #automation #case study- A Case Study of Automated Inventory Management (AH), pp. 141–148.
ECIR-2009-LlorenteR #automation #higher-order #image #statistics #using- Using Second Order Statistics to Enhance Automated Image Annotation (AL, SMR), pp. 570–577.
MLDM-2009-FernandezBFM #automation #data mining #mining- Assisting Data Mining through Automated Planning (FF, DB, SF, DMM), pp. 760–774.
SEKE-2009-AndresMN #mining #realtime #testing #using- Using a Mining Frequency Patterns Model to Automate Passive Testing of Real-time Systems (CA, MGM, MN), pp. 426–431.
SEKE-2009-BifflSM #automation #ontology #semantic gap- Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas (SB, WDS, TM), pp. 233–239.
SEKE-2009-HuangCPHP #automation #information management #using- Automated Nursing Knowledge Management Using Indexing (SH, SC, ASP, SH, MP), pp. 93–96.
SEKE-2009-KangLHTY #automation- Automating Business Intelligence Recovery from a Web-based System (JK, JL, JH, YT, HY), pp. 262–267.
ECMDA-FA-2009-MaderGP #automation #maintenance #traceability- Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations (PM, OG, IP), pp. 174–189.
MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using- Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
SPLC-2009-WhiteDSB #automation #feature model #multi #problem #reasoning- Automated reasoning for multi-step feature model configuration problems (JW, BD, DCS, DB), pp. 11–20.
MoDELS-2009-KraemerH #automation #development #encapsulation #incremental #process #uml #verification- Automated Encapsulation of UML Activities for Incremental Development and Verification (FAK, PH), pp. 571–585.
MoDELS-2009-KusterGZ #automation #development #incremental #model transformation #testing #using- Incremental Development of Model Transformation Chains Using Automated Testing (JMK, TG, OZ), pp. 733–747.
ECOOP-2009-HerrmannsdoerferBJ #automation #co-evolution #evolution #metamodelling #modelling #named- COPE — Automating Coupled Evolution of Metamodels and Models (MH, SB, EJ), pp. 52–76.
OOPSLA-2009-NandaMSS #approach #automation #model transformation- Demystifying model transformations: an approach based on automated rule inference (MGN, SM, VSS, SS), pp. 341–360.
POPL-2009-HawblitzelP #automation #garbage collection #verification- Automated verification of practical garbage collectors (CH, EP), pp. 441–453.
RE-2009-HolbrookHD #assessment #automation #requirements #towards- Toward Automating Requirements Satisfaction Assessment (EAH, JHH, AD), pp. 149–158.
ASE-2009-BoccuzzoG #automation #comprehension- Automated Comprehension Tasks in Software Exploration (SB, HCG), pp. 570–574.
ASE-2009-CassellAGN #automation #clustering #towards #using- Towards Automating Class-Splitting Using Betweenness Clustering (KC, PA, LG, JN), pp. 595–599.
ASE-2009-DeanPMW #approach #automation #fault #linear #locality #multi #programming- A Linear Programming Approach for Automated Localization of Multiple Faults (BCD, WBP, BAM, AAW), pp. 640–644.
ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #requirements #uml- An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
ASE-2009-GonzalezCD #analysis #automation #implementation #workflow- Automating the Implementation of Analysis Concerns in Workflow Applications (OG, RC, DD), pp. 585–589.
ASE-2009-GuldaliFJSE #automation #clustering #requirements #testing #using- Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering (BG, HF, MJ, SS, GE), pp. 29–39.
ASE-2009-HewettK #automation #component #generative #integration #order #testing- Automated Test Order Generation for Software Component Integration Testing (RH, PK), pp. 211–220.
ASE-2009-Kamalrudin #automation #consistency #nondeterminism #requirements #tool support- Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASE-2009-LalanneMOCMG #approach #automation #testing- An Automated Passive Testing Approach for the IMS PoC Service (FL, SM, EMdO, ARC, WM, AG), pp. 535–539.
ASE-2009-LiXTHS #automation #generative #named #regular expression #source code #testing #using- Reggae: Automated Test Generation for Programs Using Complex Regular Expressions (NL, TX, NT, JdH, WS), pp. 515–519.
ASE-2009-MalikGEK #automation #data type #debugging #using- A Case for Automated Debugging Using Data Structure Repair (MZM, KG, BE, SK), pp. 620–624.
ASE-2009-RoseKPP #automation #consistency #metamodelling #nondeterminism- Enhanced Automation for Managing Model and Metamodel Inconsistency (LMR, DSK, RFP, FACP), pp. 545–549.
ASE-2009-SardinhaCWGR #aspect-oriented #automation #detection #named #requirements- EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements (AS, RC, NW, PG, AR), pp. 530–534.
ESEC-FSE-2009-BezemerMD #automation #interactive #security #testing #web- Automated security testing of web widget interactions (CPB, AM, AvD), pp. 81–90.
ICSE-2009-ApelKL #automation #composition #independence #named- FEATUREHOUSE: Language-independent, automated software composition (SA, CK, CL), pp. 221–231.
ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case- WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
ICSE-2009-ComanSS #analysis #automation #case study #industrial #metric #re-engineering #using- A case-study on using an Automated In-process Software Engineering Measurement and Analysis system in an industrial environment (IDC, AS, GS), pp. 89–99.
ICSE-2009-MarianiPP #analysis #automation #tool support- A toolset for automated failure analysis (LM, FP, MP), pp. 563–566.
SAC-2009-Bouarab-DahmaniSCC #approach #automation #evaluation- Learners automated evaluation with the ODALA approach (FBD, MSM, CC, PJC), pp. 98–103.
SAC-2009-GroverS #architecture #automation #java #named #quality #question- GenQA: automated addition of architectural quality attribute support for Java software? (SG, NS), pp. 483–487.
SAC-2009-HabbalMMK #automation- Automated device for determination of skin lesion regions (MEH, MEM, OM, AIK), pp. 859–860.
SAC-2009-ParkPR #algorithm #automation #using- Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.
SAC-2009-SilvaML #approach #automation #heuristic- Heuristic approach for automated shelf space allocation (DLS, FM, KL), pp. 922–928.
SLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #model transformation #novel- A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
SLE-2009-MalletLAGT #automation #domain model #implementation #modelling #multi #process- An Automated Process for Implementing Multilevel Domain Models (FM, FL, CA, SG, FT), pp. 314–333.
ASPLOS-2009-DimitrovZ #approach #automation #debugging #predict #validation- Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging (MD, HZ), pp. 61–72.
CASE-2009-AkellaXBC #automation #integration #modelling- Knowledge sciences in services automation: Integration models and perspectives for service centers (RA, ZX, JB, KLCE), pp. 71–78.
CASE-2009-AnandMT #automation #evaluation #network #performance- Performance evaluation of wireless networks for factory automation applications (DMA, JRM, DMT), pp. 340–346.
CASE-2009-ArcherSRR #automation #embedded #profiling- Profiling primitives of networked embedded automation (BA, SS, AR, RR), pp. 531–536.
CASE-2009-CappelleriHSKEK #automation #towards- Towards fully automated phototransfection (DJC, ÁMH, JYS, TKK, JE, VK), pp. 202–207.
CASE-2009-GaoKJD #automation #modelling #simulation- Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.
CASE-2009-JohnsonM #animation #automation #optimisation #synthesis #using- Automated trajectory synthesis from animation data using trajectory optimization (ERJ, TDM), pp. 274–279.
CASE-2009-MendezTRR #automation #modelling- Model-based controller for anesthesia automation (JAM, ST, JAR, HR), pp. 379–384.
CASE-2009-SaketiKNVK #automation #composition- Automated modular bacterial filtering system with embeddable microfluidic chips (PS, JMK, KN, LV, PJK), pp. 212–216.
CASE-2009-SathiR #automation #generative- STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.
CASE-2009-SriramL #automation #standard- The role of standards in healthcare automation (RDS, BL), pp. 79–82.
CASE-2009-SubburajRA #3d #automation #geometry #reasoning- Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
CASE-2009-Subrahmanian #automation #empirical #workflow- Empirical studies of workflow automation in physician offices in the United States (ES), pp. 83–87.
CASE-2009-TruongLD #automation #multi- Proactive remote healthcare based on multimedia and home automation services (TBTT, FFdL, JPD), pp. 385–390.
CASE-2009-WichESF #assembly #automation- Micro-nano-integration based on automated serial assembly (TW, CE, CS, SF), pp. 573–578.
DAC-2009-TamPB #automation #validation- Automated failure population creation for validating integrated circuit diagnosis methods (WCT, OP, RD(B), pp. 708–713.
DAC-2009-ThorolfssonGF #3d #automation #case study #design- Design automation for a 3DIC FFT processor for synthetic aperture radar: a case study (TT, KG, PDF), pp. 51–56.
DATE-2009-DasV #approach #automation #design #grammarware #graph grammar #multi- A graph grammar based approach to automated multi-objective analog circuit design (AD, RV), pp. 700–705.
DATE-2009-HaastregtK #automation #c #hardware #network #process #streaming #synthesis- Automated synthesis of streaming C applications to process networks in hardware (SvH, BK), pp. 890–893.
DATE-2009-OetjensGGN #automation #hardware #process- An automated flow for integrating hardware IP into the automotive systems engineering process (JHO, RG, JG, WN), pp. 1196–1201.
DATE-2009-WangKABZ #automation #design #energy- An automated design flow for vibration-based energy harvester systems (LW, TJK, BMAH, SPB, DZ), pp. 1391–1396.
DATE-2009-YangNV #automation #data analysis #debugging- Automated data analysis solutions to silicon debug (YSY, NN, AGV), pp. 982–987.
PDP-2009-MathesGDF #automation #industrial #named #realtime- SOAP4IPC: A Real-Time SOAP Engine for Industrial Automation (MM, JG, HD, BF), pp. 220–226.
ESOP-2009-KikuchiK #authentication #automation #encryption #protocol #type system #verification- Type-Based Automated Verification of Authenticity in Cryptographic Protocols (DK, NK), pp. 222–236.
CADE-2009-ClaessenL #automation #finite #satisfiability- Automated Inference of Finite Unsatisfiability (KC, AL), pp. 388–403.
CADE-2009-FalkeK #analysis #approach #automation #imperative #source code #term rewriting #termination- A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs (SF, DK), pp. 277–293.
CADE-2009-Korovin #automation #reasoning #theory and practice- Instantiation-Based Automated Reasoning: From Theory to Practice (KK), pp. 163–166.
CADE-2009-SutcliffeBBT #automation #development #higher-order #logic #proving #theorem proving- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (GS, CB, CEB, FT), pp. 116–130.
CAV-2009-CernyA #analysis #automation #java- Automated Analysis of Java Methods for Confidentiality (PC, RA), pp. 173–187.
ICLP-2009-PilozziS09a #automation #proving #termination- Automating Termination Proofs for CHR (PP, DDS), pp. 504–508.
ICST-2009-BertoliniPdM #automation #black box #empirical #evaluation #testing #user interface- An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (CB, GP, Md, AM), pp. 21–30.
ICST-2009-KarhuRTS #automation #empirical #testing- Empirical Observations on Software Testing Automation (KK, TR, OT, KS), pp. 201–209.
ICST-2009-MathewS #as a service #automation #framework #platform #testing- Test Automation on a SaaS Platform (RM, RS), pp. 317–325.
ICST-2009-MurphySK #ml #runtime #testing #using- Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (CM, KS, GEK), pp. 436–445.
ICST-2009-TanNM #automation #black box #library #parallel #programming #testing- Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.
ICST-2009-WedyanAB #automation #detection #effectiveness #fault #predict #refactoring #static analysis #tool support- The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (FW, DA, JMB), pp. 141–150.
ISSTA-2009-BabenkoMP #automation #detection #named- AVA: automated interpretation of dynamically detected anomalies (AB, LM, FP), pp. 237–248.
MBT-2009-SalasK #automation #testing- Automated Software Testing of Asynchronous Systems (PAPS, PK), pp. 3–19.
CBSE-2008-Tolosana-CalasanzRB #analysis #automation #performance #workflow- Automating Performance Analysis from Taverna Workflows (RTC, OFR, JAB), pp. 1–15.
ECSA-2008-MakkiBG #architecture #automation #multi #process #trade-off- Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process (MM, EB, AAG), pp. 264–272.
ECSA-2008-NavarroC #approach #architecture #automation #design #using- Automating the Trace of Architectural Design Decisions and Rationales Using a MDD Approach (EN, CEC), pp. 114–130.
WICSA-2008-CuiSM #architecture #automation #design #synthesis #towards- Towards Automated Solution Synthesis and Rationale Capture in Decision-Centric Architecture Design (XC, YS, HM), pp. 221–230.
DocEng-2008-BalinskyWRA #automation #documentation- Automated repurposing of implicitly structured documents (HB, AW, MR, AAR), pp. 42–51.
JCDL-2008-TonkinM #automation #metadata- Semi automated metadata extraction for preprints archives (ET, HLM), pp. 157–166.
VLDB-2008-JayapandianJ #automation #database #interface #query- Automated creation of a forms-based database query interface (MJ, HVJ), pp. 695–709.
EDM-2008-AllevatoTEP #automation #mining #testing- Mining Data from an Automated Grading and Testing System by Adding Rich Reporting Capabilities (AA, MT, SHE, MAPQ), pp. 167–176.
ITiCSE-2008-Kurmas #automation #logic #performance #student #testing #using- Improving student performance using automated testing of simulated digital logic circuits (ZK), pp. 265–270.
ICPC-2008-ComanS #automation #development #identification- Automated Identification of Tasks in Development Sessions (IDC, AS), pp. 212–217.
ICSM-2008-MenziesM #assessment #automation #fault- Automated severity assessment of software defect reports (TM, AM), pp. 346–355.
SCAM-2008-ChuD #ajax #automation #migration #web- Automated Migration of List Based JSP Web Pages to AJAX (JC, TRD), pp. 217–226.
SCAM-2008-WangZZ #automation #detection #model checking #program analysis- Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking (LW, QZ, PZ), pp. 165–173.
WCRE-2008-GrantCS #analysis #automation #component #concept #independence #using- Automated Concept Location Using Independent Component Analysis (SG, JRC, DBS), pp. 138–142.
CIAA-2008-TsayW #automation #composition #reasoning- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 36–45.
FM-2008-FuriaPR #approximate #automation #specification #verification- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.
IFL-2008-LijnseP #automation #data type #database #programming #relational #using- Between Types and Tables — Using Generic Programming for Automated Mapping between Data Types and Relational Databases (BL, RP), pp. 272–290.
CHI-2008-LeshedHML #automation #enterprise #named- CoScripter: automating & sharing how-to knowledge in the enterprise (GL, EMH, TM, TAL), pp. 1719–1728.
EDOC-2008-CicchettiREP #automation #co-evolution #modelling- Automating Co-evolution in Model-Driven Engineering (AC, DDR, RE, AP), pp. 222–231.
EDOC-2008-KavimandanKG #automation #enterprise #model transformation #synthesis #using #workflow- Automated Context-Sensitive Dialog Synthesis for Enterprise Workflows Using Templatized Model Transformations (AK, RK, ASG), pp. 159–168.
ICEIS-AIDSS-2008-MahdaviSP #approach #automation #using- Machine Grouping in Cellular Manufacturing System Using Tandem Automated Guided vehicle with ACO Based Six Sigma Approach (IM, BS, MMP), pp. 261–267.
ICEIS-DISI-2008-PapastefanatosVSAPV #automation #database #evolution- Language Extensions for the Automation of Database Schema Evolution (GP, PV, AS, KA, FP, YV), pp. 74–81.
ICEIS-J-2008-BoglSPW08a #automation #identification #modelling #semantics- Semantic Annotation of EPC Models in Engineering Domains to Facilitate an Automated Identification of Common Modelling Practices (AB, MS, GP, NW), pp. 155–171.
CIKM-2008-ByrdNTPCGV #automation- Semi-automated logging of contact center telephone calls (RJB, MSN, WT, YP, KSFC, SCG, KV), pp. 133–142.
ICPR-2008-SukF #automation #equation #invariant- Affine moment invariants generated by automated solution of the equations (TS, JF), pp. 1–4.
ICPR-2008-VillS #analysis #automation #classification- Automated stroke ending analysis for drawing tool classification (MCV, RS), pp. 1–4.
KDD-2008-GodboleR #analysis #automation #classification #industrial- Text classification, business intelligence, and interactivity: automating C-Sat analysis for services industry (SG, SR), pp. 911–919.
KDD-2008-HoT #automation #multi #using- Automated cyclone discovery and tracking using knowledge sharing in multiple heterogeneous satellite data (SSH, AT), pp. 928–936.
KR-2008-RenzL #automation #calculus #complexity #proving- Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi (JR, JJL), pp. 715–723.
SEKE-2008-AssawamekinSP #automation #multi #ontology #requirements #traceability #using- Automated Multiperspective Requirements Traceability Using Ontology Matching Technique (NA, TS, CP), pp. 460–465.
SEKE-2008-BelmonteD #automation #domain model #re-engineering- Automating a Domain Model Aware Reengineering Methodology (JB, PD), pp. 129–136.
SEKE-2008-FatolahiSL #approach #automation #generative #modelling #requirements- A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements (AF, SSS, TCL), pp. 619–624.
SEKE-2008-HerrLSTW #automation #process- Combining SOA and BPM Technologies for Cross-System Process Automation (SH, KL, JS, GKT, GW), pp. 339–344.
SEKE-2008-NicaPW #automation #constraints #deployment- A Constraint Model for Automated Deployment of Automotive Control Software (MN, BP, FW), pp. 899–904.
BX-2008-Ruscio1 #automation #co-evolution #modelling- Automating Co-Evolution in Model-Driven Engineering (DDR), p. 48.
SPLC-2008-PerrouinKGJ #automation #flexibility- Reconciling Automation and Flexibility in Product Derivation (GP, JK, NG, JMJ), pp. 339–348.
SPLC-2008-SantosKL #automation #domain-specific language #generative #modelling- Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
SPLC-2008-WhiteSBTC #automation #fault #feature model #modelling #product line- Automated Diagnosis of Product-Line Configuration Errors in Feature Models (JW, DCS, DB, PT, ARC), pp. 225–234.
PEPM-2008-PuchingerS #automation #bound #source code- Automating branch-and-bound for dynamic programs (JP, PJS), pp. 81–89.
RE-2008-MaderGKP #automation #maintenance #named #traceability- traceMaintainer — Automated Traceability Maintenance (PM, OG, TK, IP), pp. 329–330.
RE-2008-Szoke #automation #scheduling #using- A Proposed Method for Automated Project Scheduling using Goals and Scenarios (AS), pp. 339–340.
ASE-2008-BordiniDFF #automation #multi #source code #verification- Automated Verification of Multi-Agent Programs (RHB, LAD, BF, MF), pp. 69–78.
ASE-2008-CamachoM #automation #named #using- APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars (DOC, KM), pp. 489–490.
ASE-2008-GibbsBSDC #automation #question- Living with the Law: Can Automation give us Moore with Less? (CG, JB, NS, MD, YC), pp. 395–398.
ASE-2008-HolmesW #reuse- Semi-Automating Pragmatic Reuse Tasks (RH, RJW), pp. 481–482.
ASE-2008-KimPYL #automation #component #experience #industrial #integration- Automated Continuous Integration of Component-Based Software: An Industrial Experience (SK, SP, JY, YL), pp. 423–426.
ASE-2008-MaderGP #automation #development #maintenance #modelling #process #traceability- Enabling Automated Traceability Maintenance by Recognizing Development Activities Applied to Models (PM, OG, IP), pp. 49–58.
ASE-2008-MorandiniPP #adaptation #automation #modelling #self- Automated Mapping from Goal Models to Self-Adaptive Systems (MM, LP, AP), pp. 485–486.
ASE-2008-Pinzger #analysis #automation #performance #web- Automated Web Performance Analysis (MP), pp. 513–516.
ASE-2008-TanejaX #automation #generative #named #testing- DiffGen: Automated Regression Unit-Test Generation (KT, TX), pp. 407–410.
ASE-2008-TurnerPKC #approach #automation #code generation #process #using #web- An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach (DAT, MP, JK, JC), pp. 411–414.
ASE-2008-ZhangGC #analysis #automation #clustering #recommendation- Automated Aspect Recommendation through Clustering-Based Fan-in Analysis (DZ, YG, XC), pp. 278–287.
FSE-2008-CottrellWD #reuse #source code- Semi-automating small-scale source code reuse via structural correspondence (RC, RJW, JD), pp. 214–225.
FSE-2008-HalfondO #automation #identification #parametricity #web- Automated identification of parameter mismatches in web applications (WGJH, AO), pp. 181–191.
ICSE-2008-HohnJ #automation #modelling #named- Rubacon: automated support for model-based compliance engineering (SH, JJ), pp. 875–878.
ICSE-2008-WangCW #automation #distributed- Four enhancements to automated distributed system experimentation methods (YW, AC, ALW), pp. 491–500.
SAC-2008-Hassan #automation #classification #open source- Automated classification of change messages in open source projects (AEH), pp. 837–841.
SAC-2008-SilvaDSSM #analysis #automation #component #segmentation- Automated segmentation and volumetric analysis of brain components on MR imaging (MPS, JRD, FLS, ASdS, DCMS), pp. 1422–1423.
SLE-2008-FritzscheJAMGSBK #automation #embedded #model transformation #modelling- Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains (MF, JJ, UA, SM, WG, ITAS, TJB, PK), pp. 134–150.
CASE-2008-AnisHM #array #automation- Automated vision-based selection and placement of single cells in microwell array formats (YHA, MH, DRM), pp. 315–320.
CASE-2008-ChenFL #automation #bibliography #industrial #perspective #process- Automated industrial robot path planning for spray painting process: A review (HC, TAF, XL), pp. 522–527.
CASE-2008-ChoiJSKRKKSACC #automation #development #flexibility #framework #mobile #using- Development of flexible laboratory automation platform using Mobile Agents in the clinical laboratory (BC, SMJ, SHS, JK, SR, MCK, JK, WHS, KTA, WC, HRC), pp. 918–923.
CASE-2008-DotoliFM #automation #fault #first-order #hybrid #monitoring #petri net- Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.
CASE-2008-FerrariniBV #approach #automation #case study #fault- A pragmatic approach to fault diagnosis in hydraulic circuits for automated machining: A case study (LF, RB, CV), pp. 29–34.
CASE-2008-FischionePRST #architecture #automation #communication #mining- Mining ventilation automation: Wireless sensing, communication architecture and advanced services (CF, LP, CR, FS, ST), pp. 851–857.
CASE-2008-Holzmuller-LaueRNKAGTS #automation #flexibility #framework #integration #mobile #process- Flexible R&D integration platform of process informatics for automated medical applications and mobile data acquisition (SHL, KR, SN, SK, DA, BG, KT, RS), pp. 621–626.
CASE-2008-LeeCAG #analysis #automation #evaluation #image #quality- Color quantization and image analysis for automated fruit quality evaluation (DJL, YC, JKA, CRG), pp. 194–199.
CASE-2008-LeeCAP #automation #image #library #process- Matching book-spine images for library shelf-reading process automation (DJL, YC, JKA, CP), pp. 738–743.
CASE-2008-LeeH #automation #named- KNX — ZigBee gateway for home automation (WSL, SHH), pp. 750–755.
CASE-2008-NandakumarHM #analysis #automation #flexibility #framework #interactive- A flexible framework for automation of single cell and cell-to-cell interaction analyses (VN, MH, DRM), pp. 424–430.
CASE-2008-NishiTI #approach #automation #composition #optimisation #petri net- Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.
CASE-2008-RussoMCK #automation #modelling #petri net- Petri net modeling and automated system control of protein crystallization experimentation in drug discovery (MFR, SM, MHC, HK), pp. 906–911.
CASE-2008-SoetebierMMKL #assembly #automation #flexibility- Flexible automation for automotive body assembly (SS, CHM, NM, SK, FL), pp. 341–346.
CASE-2008-SunEHMMMBLM #analysis #automation #biology #integration #multi #user interface- Integration of user interface, device control, data acquisition and analysis for automated multi-spectral imaging of single biological cells (CSS, JRE, MH, TWM, SKM, SM, LWB, MEL, DRM), pp. 1013–1018.
CASE-2008-TewoldeWWS #automation #distributed #multi- Distributed multi-robot work load partition in manufacturing automation (GST, CW, YW, WS), pp. 504–509.
CASE-2008-UnverM #automation #composition #design pattern #throughput #using- Using architectural software patterns in support of controlling modular high throughput screening automation systems (HÖÜ, JM), pp. 912–917.
DAC-2008-HamersE #automation #identification #independence- Automated hardware-independent scenario identification (JH, LE), pp. 954–959.
DAC-2008-KuonR #architecture #automation- Automated transistor sizing for FPGA architecture exploration (IK, JR), pp. 792–795.
DAC-2008-LongM #automation #design #pipes and filters #self- Automated design of self-adjusting pipelines (JL, SOM), pp. 211–216.
DAC-2008-NieuwoudtKM #automation #configuration management #design #network- Automated design of tunable impedance matching networks for reconfigurable wireless applications (AN, JK, YM), pp. 498–503.
DAC-2008-TamPB #analysis #automation #layout #locality #precise #using- Precise failure localization using automated layout analysis of diagnosis candidates (WCT, OP, RD(B), pp. 367–372.
DATE-2008-BrownTBP #automation #library #logic #testing- Automated Testability Enhancements for Logic Brick Libraries (JGB, BT, RDB, LTP), pp. 480–485.
DATE-2008-EberleG #architecture #automation #communication #design #network #power management #scalability- A scalable low-power digital communication network architecture and an automated design path for controlling the analog/RF part of SDR transceivers (WE, MG), pp. 710–715.
DATE-2008-KoN #automation #identification #validation- Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation (HFK, NN), pp. 1298–1303.
DATE-2008-KoN08a #automation #generative #on the #validation- On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
DATE-2008-MuirAL #automation #pipes and filters #streaming- Automated Dynamic Throughput-constrained Structural-level Pipelining in Streaming Applications (MM, TA, IL), pp. 1358–1361.
HPCA-2008-JoshiEJI #automation #generative- Automated microprocessor stressmark generation (AMJ, LE, LKJ, CI), pp. 229–239.
ISMM-2008-DilligDYC #automation #java #resource management- The CLOSER: automating resource management in java (ID, TD, EY, SC), pp. 1–10.
OSDI-2008-ChenZMB #automation #case study #dependence #experience #network- Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions (XC, MZ, ZMM, PB), pp. 117–130.
PPoPP-2008-WangYFDWJ #analysis #automation #source code- Automated application-level checkpointing based on live-variable analysis in MPI programs (PW, XY, HF, YD, ZW, JJ), pp. 273–274.
FASE-2008-JurjensSY #analysis #automation #security #using- Automated Analysis of Permission-Based Security Using UMLsec (JJ, JS, YY), pp. 292–295.
TACAS-2008-FarzanCCTW #automation #composition #regular expression #verification- Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.
TACAS-2008-LegayMOW #automation #on the #probability #source code #verification- On Automated Verification of Probabilistic Programs (AL, ASM, JO, JW), pp. 173–187.
CAV-2008-BobaruPG #abstraction #automation #reasoning #refinement- Automated Assume-Guarantee Reasoning by Abstraction Refinement (MGB, CSP, DG), pp. 135–148.
ICLP-2008-BelhaouariP #approach #automation #constraints #logic programming #testing- A Constraint Logic Programming Approach to Automated Testing (HB, FP), pp. 754–758.
ICST-2008-DantasBC #automation #concurrent #multi #testing #thread- Improving Automated Testing of Multi-threaded Software (AD, FVB, WC), pp. 521–524.
ICST-2008-HarmanA #automation #program repair #testing #web- Automated Session Data Repair for Web Application Regression Testing (MH, NA), pp. 298–307.
ICST-2008-RahaJ #automation #testing #xml- Automation Method for Testing XML/DB/XML Layers (DR, MJ), pp. 458–464.
ICST-2008-TanE #automation #testing- Evaluating Automated Unit Testing in Sulu (RPT, SE), pp. 62–71.
IJCAR-2008-AvanziniMS #analysis #automation #complexity- Automated Implicit Computational Complexity Analysis (MA, GM, AS), pp. 132–138.
IJCAR-2008-BeierleKK #automation #implementation #reasoning- A High-Level Implementation of a System for Automated Reasoning with Default Rules (CB, GKI, NK), pp. 147–153.
IJCAR-2008-BouhoulaJ #automation #automaton #induction- Automated Induction with Constrained Tree Automata (AB, FJ), pp. 539–554.
IJCAR-2008-Comon-Lundh #automation #challenge #protocol #security #verification- Challenges in the Automated Verification of Security Protocols (HCL), pp. 396–409.
IJCAR-2008-HirokawaM #analysis #automation #complexity #dependence- Automated Complexity Analysis Based on the Dependency Pair Method (NH, GM), pp. 364–379.
IJCAR-2008-HofnerS #automation #calculus #on the- On Automating the Calculus of Relations (PH, GS), pp. 50–66.
IJCAR-2008-UrbanSPV #automation #reasoning #semantics- MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance (JU, GS, PP, JV), pp. 441–456.
ISSTA-2008-EdwardsTWVD #automation #fault #identification #named- AFID: an automated fault identification tool (AE, ST, SW, RV, BD), pp. 179–188.
CBSE-2007-DesnosHUVT #automation #component #flexibility- Automated and Unanticipated Flexible Component Substitution (ND, MH, CU, SV, GT), pp. 33–48.
ECDL-2007-SautterBPT #automation #documentation #editing #empirical #evaluation #xml- Empirical Evaluation of Semi-automated XML Annotation of Text Documents with the GoldenGATE Editor (GS, KB, FP, WFT), pp. 357–367.
SIGMOD-2007-HeWCLR #automation #named #tool support- BIwTL: a business information warehouse toolkit and language for warehousing simplification and automation (BH, RW, YC, AL, JR), pp. 1041–1052.
SIGMOD-2007-ShivamDGIGYBC #automation #database #on-demand #virtual machine- Automated and on-demand provisioning of virtual machines for database applications (PS, AD, PG, DEI, LEG, ARY, SB, JSC), pp. 1079–1081.
VLDB-2007-JorwekarFRS #automation #detection- Automating the Detection of Snapshot Isolation Anomalies (SJ, AF, KR, SS), pp. 1263–1274.
VLDB-2007-PapadomanolakisDA #automation #database #design #performance #query- Efficient Use of the Query Optimizer for Automated Database Design (SP, DD, AA), pp. 1093–1104.
ITiCSE-2007-HayesTSW #assessment #automation #interface- An investigation into the automated assessment of the design-code interface (AH, PGT, NS, KGW), p. 324.
ITiCSE-2007-OmwegaTUW #automation #process- Automation of PE recruiting process (EO, JT, MU, CW), p. 350.
ITiCSE-2007-Solomon #assessment #named- Linuxgym: software to automate formative assessment of unix command-line and scripting skills (AS), p. 353.
SIGITE-2007-BoothPQ- Continuous program improvement: a project to automate record-keeping for accreditation (LB, JP, JQ), pp. 155–160.
WCRE-J-2005-ChristlKS07 #automation #clustering- Automated clustering to support the reflexion method (AC, RK, MADS), pp. 255–274.
CSMR-2007-MerloLA #automation #injection #php- Automated Protection of PHP Applications Against SQL-injection Attacks (EM, DL, GA), pp. 191–202.
CSMR-2007-TrifuR #automation #object-oriented #towards- Towards Automated Restructuring of Object Oriented Systems (AT, UR), pp. 39–48.
CSMR-2007-Veerman #automation #maintenance- Automated Mass Maintenance of Software Assets (NPV), pp. 353–356.
ICPC-2007-CareyG #automation #concept #identification #source code- Recovering Concepts from Source Code with Automated Concept Identification (MMC, GCG), pp. 27–36.
ICSM-2007-CoelhoCKSRL #automation #framework #multi #named #testing- JAT: A Test Automation Framework for Multi-Agent Systems (RC, EC, UK, AvS, AR, CJPdL), pp. 425–434.
ICSM-2007-KhatchadourianSR #automation #java #legacy #refactoring- Automated Refactoring of Legacy Java Software to Enumerated Types (RK, JS, AR), pp. 224–233.
WCRE-2007-DuffyM #approach #automation #c++ #grammar recovery- An Automated Approach to Grammar Recovery for a Dialect of the C++ Language (EBD, BAM), pp. 11–20.
WCRE-2007-RaberL07a #approach #automation #identification #named #obfuscation- Deobfuscator: An Automated Approach to the Identification and Removal of Code Obfuscation (JR, EL), pp. 275–276.
IFM-2007-BraghinSB #automation #mobile #policy #security #verification- Automated Verification of Security Policies in Mobile Code (CB, NS, KBA), pp. 37–53.
SEFM-2007-CrockerC #automation #c #reasoning #source code #using #verification- Verification of C Programs Using Automated Reasoning (DC, JC), pp. 7–14.
ILC-2007-WellonsW #automation #named- DAUTI: automated universal traffic introspector (JW, JW), p. 25.
AGTIVE-2007-MatznerMS #automation #graph #performance- Efficient Graph Matching with Application to Cognitive Automation (AM, MM, AS), pp. 297–312.
CHI-2007-LittleLCLHK #named #personalisation #process #web- Koala: capture, share, automate, personalize business processes on the web (GL, TAL, AC, JL, EMH, EK), pp. 943–946.
CHI-2007-WhiteMF #automation #design #identification #mobile #user interface- Designing a mobile user interface for automated species identification (SW, DM, SF), pp. 291–294.
CHI-2007-WoodruffAF #automation- Sabbath day home automation: “it’s like mixing technology and religion” (AW, SA, BEF), pp. 527–536.
CHI-2007-ZimmermanTSHMCM #approach #automation #learning #named- Vio: a mixed-initiative approach to learning and automating procedural update tasks (JZ, AT, IS, IH, KM, JC, RMM), pp. 1445–1454.
HCI-IPT-2007-CaleefatoMT #automation- Advanced Drivers Assistant Systems in Automation (CC, RM, FT), pp. 768–777.
HIMI-IIE-2007-SorensenR #automation- Simulation-Based Automated Intelligent Tutoring (BS, SR), pp. 466–474.
HIMI-MTT-2007-LinL #analysis #automation- A Bayesian Methodology for Semi-automated Task Analysis (SCL, MRL), pp. 697–704.
CAiSE-2007-CappielloCP #automation #generative #on the #web #web service- On Automated Generation of Web Service Level Agreements (CC, MC, PP), pp. 264–278.
CAiSE-2007-SedlmayrRGRMM #automation #standard- Automating Standard Operating Procedures in Intensive Care (MS, TR, TG, RR, MM, AMB), pp. 516–530.
EDOC-2007-GruhnK #analysis #automation #framework #mobile- An Analysis Framework for Mobile Workforce Automation (VG, AK), pp. 193–201.
EDOC-2007-WhiteSCWLWF #automation #enterprise #java #modelling- Automated Model-Based Configuration of Enterprise Java Applications (JW, DCS, KC, CW, GL, EW, LF), pp. 301–312.
ICEIS-EIS-2007-RychkovaW #automation #refinement #specification #towards #visual notation- Refinement Propagation — Towards Automated Construction of Visual Specifications (IR, AW), pp. 196–204.
KDD-2007-ZhuBK #automation- Extracting relevant named entities for automated expense reimbursement (GZ, TJB, VK), pp. 1004–1012.
SEKE-2007-XuXW #automation #code generation #protocol #state machine #uml- Automated Test Code Generation from UML Protocol State Machines (DX, WX, WEW), pp. 99–104.
MoDELS-2007-AbrahaoMGI #automation #design #metric #modelling #validation #web- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.
MoDELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.
MoDELS-2007-WeilMNDB #analysis #automation #design #modelling #semantics- Automated Semantic Analysis of Design Models (FW, BEM, DN, PD, AvdB), pp. 166–180.
SPLC-2007-BragancaM #automation #case study #diagrams #feature model #modelling #product line- Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines (AB, RJM), pp. 3–12.
SPLC-2007-WhiteSWN #automation #mobile #product line- Automating Product-Line Variant Selection for Mobile Devices (JW, DCS, EW, AN), pp. 129–140.
MoDELS-2007-AbrahaoMGI #automation #design #metric #modelling #validation #web- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation (SMA, EM, JG, EI), pp. 467–481.
MoDELS-2007-LeppanenLT #automation #design #industrial #modelling #scalability- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems (KL, SL, MT), pp. 331–345.
MoDELS-2007-WeilMNDB #analysis #automation #design #modelling #semantics- Automated Semantic Analysis of Design Models (FW, BEM, DN, PD, AvdB), pp. 166–180.
TOOLS-EUROPE-2007-CancianSSF #automation #component #development #embedded- A Tool for Supporting and Automating the Development of Component-based Embedded Systems (RLC, MRS, AS, AAF), pp. 399–416.
PLDI-2007-VechevYBR #automation #concurrent #named- CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors (MTV, EY, DFB, NR), pp. 456–467.
RE-2007-LaurentCD #automation #requirements #towards- Towards Automated Requirements Triage (PL, JCH, CD), pp. 131–140.
RE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability- Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.
ASE-2007-BrooksM #automation #testing #user interface- Automated gui testing guided by usage profiles (PAB, AMM), pp. 333–342.
ASE-2007-CaiWHW #array #automation #kernel #testing- Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
ASE-2007-DuanC #automation #clustering- Clustering support for automated tracing (CD, JCH), pp. 244–253.
ASE-2007-Gawley #automation #feature model #identification #modelling #variability- Automating the identification of variability realisation techniques from feature models (RG), pp. 555–558.
ASE-2007-LauenrothP #automation #consistency #product line #requirements #specification #towards- Towards automated consistency checks of product line requirements specifications (KL, KP), pp. 373–376.
ASE-2007-McIntyreW #automation #heuristic- Assisting potentially-repetitive small-scale changes via semi-automated heuristic search (MMM, RJW), pp. 497–500.
ASE-2007-MenziesEHFMB #automation #re-engineering- The business case for automated software engineering (TM, OER, JH, MSF, RJM, BWB), pp. 303–312.
ASE-2007-Selic #automation #what- The embarrassing truth about software automation and what should be done about it (BS), p. 3.
ASE-2007-Smith #automation #development #towards- Toward automated software development (DRS), p. 1.
ASE-2007-TanejaDX #api #automation #detection #library #refactoring- Automated detection of api refactorings in libraries (KT, DD, TX), pp. 377–380.
ASE-2007-WangMYM #approach #automation #monitoring #requirements- An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.
ASE-2007-YilmazW #approach #automation #debugging #modelling- An automated model-based debugging approach (CY, CW), pp. 174–183.
ASE-2007-YuanCM #array #automation #sequence #testing #user interface- Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.
ASE-2007-ZhengWR #automation #named #testing- Pallino: automation to support regression test selection for cots-based applications (JZ, LW, BR), pp. 224–233.
ESEC-FSE-2007-DanielDGM #automation #refactoring #testing- Automated testing of refactoring engines (BD, DD, KG, DM), pp. 185–194.
ESEC-FSE-2007-HalfondO #automation #generative #interface #testing #using #web- Improving test case generation for web applications using automated interface discovery (WGJH, AO), pp. 145–154.
ESEC-FSE-2007-HartmanKP #automation #testing- Domain specific approaches to software test automation (AH, MK, AMP), pp. 621–622.
ESEC-FSE-2007-YuBP #analysis #automation #ocl- Automated size analysis for OCL (FY, TB, EP), pp. 331–340.
GTTSE-2007-SeguraBCT #automation #feature model #graph transformation #modelling #using- Automated Merging of Feature Models Using Graph Transformations (SS, DB, ARC, PT), pp. 489–505.
ICSE-2007-AnbalaganX #aspect-oriented #automation #refactoring- Automated Inference of Pointcuts in Aspect-Oriented Refactoring (PA, TX), pp. 127–136.
ICSE-2007-ChalabineK #aspect-oriented #automation #framework #re-engineering #weaving- A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations (MC, CWK), pp. 137–146.
ICSE-2007-WangER #automation #generative #testing- Automated Generation of Context-Aware Tests (ZW, SGE, DSR), pp. 406–415.
SAC-2007-JunJ #ad hoc #automation #mobile #network #protocol- Automated routing protocol selection in mobile ad hoc networks (TJ, CJ), pp. 906–913.
SAC-2007-Lamari #automation #generative #model transformation #testing #towards #verification- Towards an automated test generation for the verification of model transformations (ML), pp. 998–1005.
SAC-2007-RaedtsPSWSB #automation #framework #verification- A software framework for automated verification (IR, MP, AS, JMEMvdW, LJS, MB), pp. 1031–1032.
SAC-2007-SilvaNI #automation #case study- A computation environment for automated negotiation: a case study in electronic tourism (AS, JAN, IIB), pp. 654–658.
SAC-2007-VarroB #automation #induction #logic programming #model transformation #using- Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.
SAC-2007-YingboJJ #approach #machine learning #workflow- A machine learning approach to semi-automating workflow staff assignment (YL, JW, JS), pp. 340–345.
CASE-2007-FogelBRSMG #automation #layout #modelling #symmetry- Automated Tracking of Pallets in Warehouses: Beacon Layout and Asymmetric Ultrasound Observation Models (MF, NB, HR, JS, MQM, KG), pp. 678–685.
CASE-2007-FukuiNSMMF #automation #safety- Requirement of three-position enabling switches for installing in enabling devices to achieve operational safety of robotics and automation applications (TF, MN, YS, IM, AM, TF), pp. 111–116.
CASE-2007-GarciaV #automation #configuration management #feature model #visual notation- Automated Feature Selection Methodology for Reconfigurable Automated Visual Inspection Systems (HCG, JRV), pp. 542–547.
CASE-2007-GodeHRCS #approach #automation #flexibility #framework #information management #integration- Laboratory Information Management Systems — An Approach as an Integration Platform within Flexible Laboratory Automation for Application in Life Sciences (BG, SHL, KR, MYC, NS), pp. 841–845.
CASE-2007-GoemansAGS #algorithm #automation #composition #design #industrial #physics- Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm (OCG, MTA, KG, AFvdS), pp. 318–325.
CASE-2007-GreenKKS #automation #interface #prototype #testing #usability- Prototyping and Usability Testing of Supervisory Control Interfaces for Life Science Automation (RSG, SHK, DK, NS), pp. 646–651.
CASE-2007-GuHTY #automation- Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs (FG, WSH, DMT, CY), pp. 1105–1110.
CASE-2007-GuoZW #automation #design #diagrams #flexibility #named #state machine- DiagramDraw: A State Machine Diagram Designer for Flexible Automation (WG, MZ, DW), pp. 352–356.
CASE-2007-HongC #approach #automation #petri net #resource management- Resource Allocation for a Life Science Automation Line: a Petri nets Approach (TH, MYC), pp. 887–892.
CASE-2007-JasperDF #automation #feedback #flexibility #named- CameraMan — Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs (DJ, CD, SF), pp. 51–56.
CASE-2007-JiangLCHHS #automation #development #framework- Development of Whole Human Genome Micro-array Automated Hybridization Platform (JYJ, KHL, CCC, JLH, CHH, HJS), pp. 640–645.
CASE-2007-KaberST #interactive #research- Human-automation Interaction Strategies for Life Science Applications: Implications and Future Research (DK, NS, KT), pp. 615–620.
CASE-2007-KaberST07a #interactive #research- Human-Automation Interaction Strategies for Life Science Applications: Implications and Future Research (DK, NS, KT), p. 92–?.
CASE-2007-LaaksoHKF #automation #identification #open source- Open-Source Demo System to Support Automated Identification and Tracking Workshops (ML, JH, RK, KF), pp. 1008–1013.
CASE-2007-LamLY #automation #framework #sketching #using- Robot Drawing Techniques for Contoured Surface Using an Automated Sketching Platform (JHML, KWL, YY), pp. 735–740.
CASE-2007-MalecNNN #automation #configuration management #knowledge-based- Knowledge-Based Reconfiguration of Automation Systems (JM, AN, KN, SN), pp. 170–175.
CASE-2007-MarefatP #automation #modelling #process #retrieval #reuse #similarity- Similarity-Based Retrieval of CAD Solid Models for Automated Reuse of Machining Process Plans (MMM, CP), pp. 312–317.
CASE-2007-McVittieSMMLHM #automation #classification #using- Automated Classification of Macrophage Membrane Integrity using a Fluorescent Live/Dead Stain (PM, CSS, TWM, SM, MEL, MH, DRM), pp. 554–559.
CASE-2007-Pillai #automation- Factory Automation as an Enabler in Leading-Edge Semiconductor Manufacturing (DP), p. 98–?.
CASE-2007-PopaLMDS #assembly #automation- High Yield Automated MEMS Assembly (DOP, WHL, RM, AND, HES), pp. 1099–1104.
CASE-2007-RizziBL #3d #artificial reality #automation #image #modelling #simulation- Automating the Extraction of 3D Models from Medical Images for Virtual Reality and Haptic Simulations (SHRR, PPB, CL), pp. 152–157.
CASE-2007-SaeediKEMP #automation #process #self- Automation and yield of micron-scale self-assembly processes (ES, SSK, JRE, DRM, BAP), pp. 375–380.
CASE-2007-SalernoZBLDGSPYBN #automation #design- Design Considerations for a Minimally Invasive High-Throughput Automation System for Radiation Biodosimetry (AS, JZ, AB, OVL, AD, GG, NS, GRP, YLY, DJB, JN), pp. 846–852.
CASE-2007-SeowDL #automation #multi #towards- Towards An Automated Multiagent Taxi-Dispatch System (KTS, NHD, DHL), pp. 1045–1050.
CASE-2007-SomesBN #automation- Overcoming Traditional Automation Limitations Through Compliant Control and Contact Sensing (SDS, DJB, WSN), pp. 295–299.
CASE-2007-Tomas-RodriguezS #automation #modelling- Automated Modeling of Rotorcraft Dynamics with Special Reference to Autosim (MTR, RSS), pp. 974–979.
CASE-2007-WeiJL #automation #industrial #on the- On Protecting Industrial Automation and Control Systems against Electronic Attacks (DW, MAJ, YL), pp. 176–181.
DAC-2007-AndrikosLPS- A Fully-Automated Desynchronization Flow for Synchronous Circuits (NA, LL, DP, CPS), pp. 982–985.
DAC-2007-Darringer #automation #challenge #design #manycore- Multi-Core Design Automation Challenges (JAD), pp. 760–764.
DAC-2007-PatilDWM #automation #design- Automated Design of Misaligned-Carbon-Nanotube-Immune Circuits (NP, JD, HSPW, SM), pp. 958–961.
DATE-2007-BonziniP #automation #polynomial #set- Polynomial-time subgraph enumeration for automated instruction set extension (PB, LP), pp. 1331–1336.
DATE-2007-SafarpourV #abstraction #automation #debugging #design #refinement- Abstraction and refinement techniques in automated design debugging (SS, AGV), pp. 1182–1187.
LCTES-2007-BennettMFT #automation #embedded #set #text-to-text- Combining source-to-source transformations and processor instruction set extensions for the automated design-space exploration of embedded systems (RVB, ACM, BF, NPT), pp. 83–92.
LCTES-2007-HuangCTC #automation #fault #locality #statistics- Automated fault localization with statistically suspicious program states (TYH, PCC, CHT, HAC), pp. 11–20.
PDP-2007-SlawinskaKSS #automation #deployment #distributed #parallel- Automated Deployment Support for Parallel Distributed Computing (MS, DK, JS, VSS), pp. 139–146.
A-MOST-2007-KicillofGTB #automation #test coverage #testing- Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
CADE-2007-CouchotL #automation #deduction #morphism #polymorphism- Handling Polymorphism in Automated Deduction (JFC, SL), pp. 263–278.
CADE-2007-Harrison #automation #proving #using- Automating Elementary Number-Theoretic Proofs Using Gröbner Bases (JH), pp. 51–66.
CADE-2007-HofnerS #algebra #automation #reasoning- Automated Reasoning in Kleene Algebra (PH, GS), pp. 279–294.
CADE-2007-VerchinineLP #automation #deduction #proving #verification- System for Automated Deduction (SAD): A Tool for Proof Verification (KV, AVL, AP), pp. 398–403.
CAV-2007-GuptaMF #automation #composition #generative #verification- Automated Assumption Generation for Compositional Verification (AG, KLM, ZF), pp. 420–432.
ISSTA-2007-ManoliosVS #assembly #automation #component- Automating component-based system assembly (PM, DV, GS), pp. 61–72.
ISSTA-2007-OstrandWB #algorithm #automation #identification- Automating algorithms for the identification of fault-prone files (TJO, EJW, RMB), pp. 219–227.
MBT-2007-OuimetL #automation #consistency #satisfiability #specification #state machine #using #verification- Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver (MO, KL), pp. 85–97.
TestCom-FATES-2007-CebrianRC #automation #testing- Automation of Avionic Systems Testing (DC, VVR, FC), pp. 28–40.
TestCom-FATES-2007-KawakamiKRBPSS #automation #framework #mobile #object-oriented #reuse #testing- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones (LK, AK, DR, DB, OP, RPeS, LCVdS), pp. 199–211.
VMCAI-2007-NguyenDQC #automation #logic #verification- Automated Verification of Shape and Size Properties Via Separation Logic (HHN, CD, SQ, WNC), pp. 251–266.
DRR-2006-KhanAC #automation- Address block features for image-based automated mail orientation (MSK, HBA, WTC).
DRR-2006-Vega-RiverosS #automation #comprehension #design #documentation #segmentation- Graphic design principles for automated document segmentation and understanding (JFVR, HJSV).
ECDL-2006-GolubAMG #automation #classification- Comparing and Combining Two Approaches to Automated Subject Classification of Text (KG, AA, DM, MG), pp. 467–470.
ECDL-2006-KimR #automation #classification #metadata- Genre Classification in Automated Ingest and Appraisal Metadata (YK, SR), pp. 63–74.
JCDL-2006-LagozeKCDES #automation #experience #library #metadata- Metadata aggregation and “automated digital libraries”: a retrospective on the NSDL experience (CL, DBK, TC, ND, DE, JS), pp. 230–239.
VLDB-2006-ChaudhuriW #automation #database- Foundations of Automated Database Tuning (SC, GW), p. 1265.
ITiCSE-2006-English #assessment #automation- The checkpoint automated assessment system (JE), p. 337.
ITiCSE-2006-FatimaMRSH #automation #retrieval #sequence- Automated gene processing and exon sequence retrieval (TF, JDM, RR, GS, KGH), p. 366.
CSMR-2006-Cleve #approach #automation #database #re-engineering- Automating Program Conversion in Database Reengineering A Wrapper-based Approach (AC), pp. 323–326.
CSMR-2006-CugnoNSDT #automation #composition #semantics #tool support- Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3 (FdC, TDN, EDS, FMD, ET), pp. 343–346.
ICPC-2006-NgoTT #automation #database #interactive #web- Automated Extraction of Database Interactions in Web Applications (MNN, HBKT, DT), pp. 117–126.
ICSM-2006-WissinkA #automation #maintenance #testing- Successful Test Automation for Software Maintenance (TW, CA), pp. 265–266.
ICSM-2006-Xie #automation #effectiveness #specification #testing- Improving Effectiveness of Automated Software Testing in the Absence of Specifications (TX), pp. 355–359.
ICSM-2006-YaoMKB #automation #c #metaprogramming #program transformation #source code- C Macro Handling in Automated Source Code Transformation Systems (BY, WM, SK, RB), pp. 68–69.
MSR-2006-SigonneauR #automation #component #file system #logic #multi #re-engineering- Software engineering applications of logic file system: application to automated multi-criteria indexation of software components (BS, OR), pp. 87–93.
FM-2006-BouquetDL #automation #bound #generative #ml #specification #testing- Automated Boundary Test Generation from JML Specifications (FB, FD, BL), pp. 428–443.
SEFM-2006-MarconiPT #automation #composition #data flow #requirements #specification #web #web service- Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.
SEFM-2006-Rushby06a #automation #formal method #named #tutorial- Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.
CHI-2006-EngLTCHV #adaptation #automation #behaviour #generative #performance #predict- Generating automated predictions of behavior strategically adapted to specific performance objectives (KE, RLL, IT, AC, AH, AHV), pp. 621–630.
CHI-2006-WestL #automation #empirical #evaluation #usability- Automated summative usability studies: an empirical evaluation (RW, KL), pp. 631–639.
ICEIS-AIDSS-2006-ConstantinouGCCL #assurance #automation #quality- A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.
ICEIS-HCI-2006-EspirituST #automation #named #semantics #topic #visualisation #wiki- ENWIC: Visualizing Wiki Semantics as Topic Maps — An Automated Topic Discovery and Visualization Tool (CE, ES, TT), pp. 35–42.
ICEIS-SAIC-2006-OliveiraGSBC #adaptation #automation #framework #learning #multi- A Multi-Agent Based Framework for Supporting Learning in Adaptive Automated Negotiation (RSdO, HG, AS, IIB, EdBC), pp. 153–158.
ICPR-v3-2006-SagirogluE #approach #assembly #automation- A Texture Based Matching Approach for Automated Assembly of Puzzles (MSS, AE), pp. 1036–1041.
ICPR-v4-2006-GurevichKMSV #analysis #automation- Technology for Automated Morphologic Analysis of Cytological Slides. Methods and Results (IBG, DK, DM, OS, IV), pp. 711–714.
ICPR-v4-2006-LiZZB #analysis #approach #automation #multi #segmentation #using- A New Approach to Automated Retinal Vessel Segmentation Using Multiscale Analysis (QL, LZ, DZ, PB), pp. 77–80.
ICPR-v4-2006-ZhaoG06a #automation #energy #estimation #modelling #using- Automated Face Pose Estimation Using Elastic Energy Models (SZ, YG), pp. 618–621.
SEKE-2006-JiangAYCA #automation #implementation #mobile- Automating the Implementation of Mobile Applications and Services (MJ, AA, ZY, RC, JA), pp. 526–531.
SIGIR-2006-ChaiBZ #assessment #automation #interactive #performance- Automated performance assessment in interactive QA (JYC, TB, CZ), pp. 631–632.
SIGIR-2006-ShenCST #automation #database #identification #music #performance #scalability #towards- Towards efficient automated singer identification in large music databases (JS, BC, JS, KLT), pp. 59–66.
ECOOP-2006-DigCMJ #automation #component #detection #evolution #refactoring- Automated Detection of Refactorings in Evolving Components (DD, CC, DM, REJ), pp. 404–428.
LOPSTR-2006-Schneider-KampGST #analysis #automation #logic programming #source code #term rewriting #termination- Automated Termination Analysis for Logic Programs by Term Rewriting (PSK, JG, AS, RT), pp. 177–193.
LOPSTR-2006-WinwoodKC #automation #monitoring #on the #synthesis- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors (SW, GK, MMTC), pp. 111–126.
SAS-2006-LoginovRS #algorithm #automation #verification- Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm (AL, TWR, MS), pp. 261–279.
RE-2006-LinLCSABBKDZ #automation #distributed #named #tool support #traceability- Poirot: A Distributed Tool Supporting Enterprise-Wide Automated Traceability (JL, CCL, JCH, RS, JA, GB, BB, OBK, CD, XZ), pp. 356–357.
ASE-2006-ChalabineKB #aspect-oriented #automation #re-engineering #weaving- Automated Round-trip Software Engineering in Aspect Weaving Systems (MC, CWK, PB), pp. 305–308.
ASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing- An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.
ASE-2006-FalbRA #automation #design #interactive #specification #synthesis #user interface #using- Using communicative acts in interaction design specifications for automated synthesis of user interfaces (JF, TR, EA), pp. 261–264.
ASE-2006-FalcarinT #aspect-oriented #automation #interactive #reasoning- Automated Reasoning on Aspects Interactions (PF, MT), pp. 313–316.
ASE-2006-GrossK #automation #scalability- Automated Information Aggregation for Scaling Scale-Resistant Services (PG, GEK), pp. 15–24.
ASE-2006-Jurjens #analysis #automation #java #proving #security #source code #theorem proving #using- Security Analysis of Crypto-based Java Programs using Automated Theorem Provers (JJ), pp. 167–176.
ASE-2006-LaurentSW #automation #constraints #functional #generative #specification #testing- A methodology for automated test generation guided by functional coverage constraints at specification level (OL, CS, VW), pp. 285–288.
ASE-2006-NeumullerG #automation #case study #lessons learnt #traceability- Automating Software Traceability in Very Small Companies: A Case Study and Lessons Learned (CN, PG), pp. 145–156.
ASE-2006-TateishiMOS #automation #verification- Automated Verification Tool for DHTML (TT, HM, KO, SS), pp. 363–364.
ASE-2006-WarrenSKW #approach #automation #configuration management #formal method- An Automated Formal Approach to Managing Dynamic Reconfiguration (IW, JS, SK, TW), pp. 37–46.
ASE-2006-WinbladhAZR #approach #automation #testing- An Automated Approach for Goal-driven, Specification-based Testing (KW, TAA, HZ, DJR), pp. 289–292.
ICSE-2006-Anvik #automation #debugging- Automating bug report assignment (JA), pp. 937–940.
ICSE-2006-BriandLS #automation #component #contract #testing- Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.
ICSE-2006-LiuYR #automation #library #named- LtRules: an automated software library usage rule extraction tool (CL, EY, DJR), pp. 823–826.
ICSE-2006-ZhangGG #automation #fault- Locating faults through automated predicate switching (XZ, NG, RG), pp. 272–281.
SAC-2006-AbbottBCVM #automation #forensics #recognition- Automated recognition of event scenarios for digital forensics (JA, JB, AJC, OYdV, GMM), pp. 293–300.
SAC-2006-TailbyDMS #automation #classification #email- Email classification for automated service handling (RT, RD, BM, DS), pp. 1073–1077.
SAC-2006-TylerHS #automation #contract #generative #monitoring- Automated generation of monitors for pattern contracts (BT, JOH, NS), pp. 1779–1784.
LDTA-2006-CamachoMBV #automation- Automated Derivation of Translators From Annotated Grammars (DOC, KM, MvdB, JJV), pp. 121–137.
CASE-2006-ChaoSZJM #analysis #automation #information management #using- Single-cell information extraction and viability analysis using automated microscopy (ShC, TJS, SZ, KAJI, DRM), pp. 33–38.
CASE-2006-EurschHSZMK #automation #concept #multi- A Multilevel Automation Concept for the Target-Based Production of Radioisotopes for Cancer Treatment (AE, MH, MS, MFZ, JM, EK), pp. 51–56.
CASE-2006-JangC #automation- Introduction to Automated Material Handling Systems in LCD Panel Production Lines (YJJ, GHC), pp. 223–229.
CASE-2006-PotsaidWF #adaptation #automation- Automation of Challenging Spatial-Temporal Biomedical Observations with the Adaptive Scanning Optical Microscope (ASOM) (BP, JTW, FPF), pp. 39–44.
CASE-2006-SaiK #automation #reliability- Highly Reliable and Accurate Level Radar for Automated Legal Custody Transfer and Inventory Management (BS, BK), pp. 346–350.
CASE-2006-SchiffG #automation #network #using- Automated Intruder Tracking using Particle Filtering and a Network of Binary Motion Sensors (JS, KG), pp. 580–587.
DAC-2006-HwangSC #array #automation #design- Automated design of pin-constrained digital microfluidic arrays for lab-on-a-chip applications* (WLH, FS, KC), pp. 925–930.
DAC-2006-JonesHDTSFCM #automation #configuration management #power management- An automated, reconfigurable, low-power RFID tag (AKJ, RRH, SRD, SCT, RS, JF, JTC, MHM), pp. 131–136.
DAC-2006-PistolLD #automation #design #self- Design automation for DNA self-assembled nanostructures (CP, ARL, CD), pp. 919–924.
DATE-2006-DimondML #automation #memory management #resource management- Automating processor customisation: optimised memory access and resource sharing (RGD, OM, WL), pp. 206–211.
DATE-2006-MamagkakisAPCSM #automation #embedded #memory management- Automated exploration of pareto-optimal configurations in parameterized dynamic memory allocation for embedded systems (SM, DA, CP, FC, DS, JMM), pp. 874–875.
DATE-2006-SethuramanV #architecture #automation #generative #multi #named #using- optiMap: a tool for automated generation of noc architectures using multi-port routers for FPGAs (BS, RV), pp. 947–952.
DATE-DF-2006-VeredasSP #automation #performance- Automated conversion from a LUT-based FPGA to a LUT-based MPGA with fast turnaround time (FJV, MS, HJP), pp. 36–41.
PPoPP-2006-RothM #automation #online #performance #process- On-line automated performance diagnosis on thousands of processes (PCR, BPM), pp. 69–80.
ESOP-2006-JiaW #automation #named #pointer #reasoning #source code- ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.
FASE-2006-DevereuxC #automation #behaviour #modelling- Automated Support for Building Behavioral Models of Event-Driven Systems (BD, MC), pp. 122–138.
FASE-2006-MinK #automation #component- A Technique to Represent and Generate Components in MDA/PIM for Automation (HGM, SDK), pp. 293–307.
FASE-2006-SenA #automation #distributed #source code #testing- Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.
TACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.
A-MOST-J-2005-AugustonMS06 #assessment #automation #behaviour #modelling #safety #testing- Environment behavior models for automation of testing and assessment of system safety (MA, JBM, MtS), pp. 971–980.
IJCAR-2006-GelderS #automation #generative #higher-order #logic #parsing- Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (AVG, GS), pp. 156–161.
IJCAR-2006-KoprowskiZ #automation #infinity #order #recursion #term rewriting- Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems (AK, HZ), pp. 332–346.
IJCAR-2006-KozenKR #automation #category theory #proving- Automating Proofs in Category Theory (DK, CK, ER), pp. 392–407.
ISSTA-2006-SevcikovaBSB #approach #automation #probability #statistics #testing- Automated testing of stochastic systems: a statistically grounded approach (HS, AB, DS, WGB), pp. 215–224.
ISSTA-2006-TkachukR #automation #generative- Application of automated environment generation to commercial software (OT, SPR), pp. 203–214.
RTA-2006-GieslSST #analysis #automation #haskell #programming language #term rewriting #termination- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages (JG, SS, PSK, RT), pp. 297–312.
WICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental- Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.
WICSA-2005-SmithS #analysis #architecture #automation- Extending SPQR to Architectural Analysis by Semi-Automated Training (JMS, PDS), pp. 239–242.
ECDL-2005-GolubA #automation #classification #html #metadata- Importance of HTML Structural Elements and Metadata in Automated Subject Classification (KG, AA), pp. 368–378.
ECDL-2005-KimJC #automation #classification #library #naive bayes #ontology #semantics- Building Semantic Digital Libraries: Automated Ontology Linking by Associative Naïve Bayes Classifier (HK, MGJ, SSC), pp. 500–501.
ICDAR-2005-MandalCDC #automation #identification #segmentation- A Hierarchical Method for Automated Identification and Segmentation of Forms (SM, SPC, AKD, BC), pp. 705–709.
ICDAR-2005-RoyVBPC #automation- A System for Indian Postal Automation (KR, SV, AB, UP, BBC), pp. 1060–1064.
JCDL-2005-ChauQZTC #automation #development #named- SpidersRUs: automated development of vertical search engines in different domains and languages (MC, JQ, YZ, CT, HC), pp. 110–111.
JCDL-2005-FuKM #automation #classification #framework #multi #using- Automated text classification using a multi-agent framework (YF, WK, JM), pp. 157–158.
JCDL-2005-KrowneH #automation #evaluation #library- An initial evaluation of automated organization for digital library browsing (AK, MH), pp. 246–255.
SIGMOD-2005-ChaudhuriW #automation #database- Foundations of automated database tuning (SC, GW), pp. 964–965.
SIGMOD-2005-HaasKLMPRZ #automation #statistics- Automated statistics collection in action (PJH, MK, AL, VM, IP, VR, DCZ), pp. 933–935.
ICSM-2005-BinkleyCHRT #aspect-oriented #automation #object-oriented #refactoring- Automated Refactoring of Object Oriented Code into Aspects (DB, MC, MH, FR, PT), pp. 27–36.
ICSM-2005-ZhangZ #configuration management #evolution #maintenance #self #using- Using Self-Reconfigurable Workplaces to Automate the Maintenance of Evolving Business Applications (QZ, YZ), pp. 219–229.
MSR-2005-SpaccoSHP #automation #mining #programming #repository #testing- Software repository mining with Marmoset: an automated programming project snapshot and testing system (JS, JS, DH, WP), pp. 46–50.
WCRE-2005-ChristlKS #automation #clustering- Equipping the Reflexion Method with Automated Clustering (AC, RK, MADS), pp. 89–98.
IFM-2005-GrunskeLYW #analysis #automation #behaviour #design #specification- An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees (LG, PAL, NY, KW), pp. 129–149.
CAiSE-2005-BenavidesTC #automation #feature model #modelling #reasoning- Automated Reasoning on Feature Models (DB, PTMA, ARC), pp. 491–503.
CAiSE-2005-NetoRP #automation #information management #testing- A Method for Information Systems Testing Automation (PdAdSN, RFR, CIPdSeP), pp. 504–518.
ICEIS-v3-2005-KochGS #automation #industrial- Automating the Configuration of It Asset Management in Industrial Automation Systems (TEK, EG, PS), pp. 306–311.
CIKM-2005-SinghKVSC #automation- Automated cleansing for spend analytics (MS, JK, SV, AJS, SKC), pp. 437–445.
KDD-2005-LiRGMAEGATJ #automation #detection- Automated detection of frontal systems from numerical model-generated data (XL, RR, SJG, SM, BA, DE, SG, RA, JT, JCJ), pp. 782–787.
SEKE-2005-FuDH #architecture #automation #design- A Methodology of Automated Realization of a Software Architecture Design (YF, ZD, XH), pp. 412–417.
SEKE-2005-JuricWM #automation #case study #component #experience #generative #off the shelf- Experiences of Generating COTS Components when Automating Medicinal Product Evaluations (RJ, SW, PM), pp. 653–656.
SEKE-2005-NetoRP #automation #developer #perspective #testing- System Testing Automation: A Developer Perspective (PdAdSN, RFR, CIPdSeP), pp. 380–385.
SIGIR-2005-SharmaJ #automation #evaluation #feedback #performance- Automated evaluation of search engine performance via implicit user feedback (HS, BJJ), pp. 649–650.
SIGIR-2005-TeevanDH #analysis #automation #personalisation #process- Personalizing search via automated analysis of interests and activities (JT, STD, EH), pp. 449–456.
MoDELS-2005-ChengSB #analysis #automation #industrial #lessons learnt #modelling #uml- Lessons Learned from Automated Analysis of Industrial UML Class Models (BHCC, RS, BB), pp. 324–338.
MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl- Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
SPLC-2005-TolvanenK #case study #domain-specific language #experience #modelling- Defining Domain-Specific Modeling Languages to Automate Product Derivation: Collected Experiences (JPT, SK), pp. 198–209.
MoDELS-2005-ChengSB #analysis #automation #industrial #lessons learnt #modelling #uml- Lessons Learned from Automated Analysis of Industrial UML Class Models (BHCC, RS, BB), pp. 324–338.
MoDELS-2005-StirewaltR #automation #compilation #invariant #maintenance #ocl- Automated Invariant Maintenance Via OCL Compilation (KS, SR), pp. 616–632.
OOPSLA-2005-HauswirthDSM #automation #profiling- Automating vertical profiling (MH, AD, PFS, MCM), pp. 281–296.
PLDI-2005-GodefroidKS #automation #named #random testing #testing- DART: directed automated random testing (PG, NK, KS), pp. 213–223.
POPL-2005-LernerMRC #analysis #automation #data flow #proving- Automated soundness proofs for dataflow analyses and transformations via local rules (SL, TDM, ER, CC), pp. 364–377.
ASE-2005-DiaconescuM #automation #component #enterprise #performance #using- Automating the performance management of component-based enterprise systems through the use of redundancy (AD, JM), pp. 44–53.
ASE-2005-EgyedBHG #automation #traceability #trade-off- Determining the cost-quality trade-off for automated software traceability (AE, SB, MH, PG), pp. 360–363.
ASE-2005-FalbPRJAK #automation #specification #synthesis #user interface #using- Using communicative acts in high-level specifications of user interfaces for their automated synthesis (JF, RP, TR, HJ, EA, HK), pp. 429–430.
ASE-2005-HeartyFNC #assessment #automation #modelling #risk management- Automated population of causal models for improved software risk assessment (PH, NEF, MN, PC), pp. 433–434.
ASE-2005-HoffmanY #automation #framework #named #testing- Blowtorch: a framework for firewall test automation (DH, KY), pp. 96–103.
ASE-2005-SampaioCR #aspect-oriented #automation #identification #named #requirements- EA-Miner: a tool for automating aspect-oriented requirements identification (AS, RC, PR), pp. 352–355.
ASE-2005-SprenkleGSP #automation #detection #web- Automated replay and failure detection for web applications (SS, EG, SS, LLP), pp. 253–262.
ASE-2005-WangR #automation #fault #generative #locality- Automated path generation for software fault localization (TW, AR), pp. 347–351.
ASE-2005-WangRCW #automation #distributed- Automating experimentation on distributed testbeds (YW, MJR, AC, ALW), pp. 164–173.
ASE-2005-WuG #automation #domain-specific language #generative #testing #tool support- Automated generation of testing tools for domain-specific languages (HW, JG), pp. 436–439.
ASE-2005-XiaVM #automation #generative #testing- Automated test generation for engineering applications (SX, BDV, CAM), pp. 283–286.
GTTSE-2005-BenavidesSMC #analysis #automation #csp #feature model #java #modelling #using- Using Java CSP Solvers in the Automated Analyses of Feature Models (DB, SS, PTMA, ARC), pp. 399–408.
ICSE-2005-BeekMLGFS #automation #case study #protocol #verification- A case study on the automated verification of groupware protocols (MHtB, MM, DL, SG, AF, MS), pp. 596–603.
ICSE-2005-BernerWK #automation #lessons learnt #testing- Observations and lessons learned from automated testing (SB, RW, RKK), pp. 571–579.
ICSE-2005-LavazzaB #automation #execution #metric- Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.
ICSE-2005-PretschnerPWKBSZS #automation #evaluation #modelling #testing- One evaluation of model-based testing and its automation (AP, WP, SW, CK, MB, BS, RZ, TS), pp. 392–401.
SAC-2005-DoxseeG #automation #c++ #specification #synthesis- Synthesis of C++ software for automated teller from CSPm specifications (SD, WBG), pp. 1565–1566.
SAC-2005-FlanaginGRAS #automation #generative #overview #using- Automated terrain generation using LIDAR and waterbody survey data (MF, AG, JJR, MA, KS), pp. 1185–1189.
SAC-2005-RekhisB #automation #forensics #verification- A formal logic-based language and an automated verification tool for computer forensic investigation (SR, NB), pp. 287–291.
SAC-2005-RobinsonRHD #automation #database- User-defined view automation of genomic databases (AJR, JWR, SH, TSD), pp. 671–675.
SAC-2005-VarmaAPT #automation #migration- NextGen eXtreme porting: structured by automation (PV, AA, DPP, BT), pp. 1511–1517.
CASE-2005-Hwang #approach #automation #behaviour #configuration management #finite #generative- Generating finite-state global behavior of reconfigurable automation systems: DEVS approach (MHH), pp. 254–260.
CASE-2005-KoschwanezHCMGM #analysis #automation- Automated lifetime analysis of a single yeast cell (JK, MH, RHC, MM, DG, DRM), pp. 13–18.
CASE-2005-NajmabadiGE #automation #scalability- A scalable robotic-based laboratory automation system for medium-sized biotechnology laboratories (PN, AAG, AE), pp. 166–171.
CASE-2005-PeddiZCC #automation #effectiveness #performance- Efficient and effective path for automated dispensing of bio-precipitant solutions (AP, YFZ, VC, MC), pp. 61–66.
CASE-2005-SongHQG #automation #documentation #using- Automating inspection and documentation of remote building construction using a robotic camera (DS, QH, NQ, KG), pp. 172–177.
DAC-2005-DongR #automation #megamodelling #performance- Automated nonlinear Macromodelling of output buffers for high-speed digital applications (ND, JSR), pp. 51–56.
DAC-2005-PasrichaDBB #architecture #automation