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

Tag #assurance

115 papers:

IFM-2019-Nemouchi0GK #formal method #named
Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods (YN, SF0, MG, TK), pp. 379–398.
SEFMSEFM-2019-GleirscherFN #evolution #formal method #modelling
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots (MG, SF0, YN), pp. 87–104.
CoGCoG-2019-ChangAS #automation #named #quality #testing #using
Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration (KC, BA, AMS), pp. 1–8.
ICSE-2019-KavalerTVF #git #javascript #matter #quality #tool support
Tool choice matters: JavaScript quality assurance tools and usage outcomes in GitHub projects (DK, AT, BV, VF), pp. 476–487.
FASEFASE-2019-ChechikSVKR #nondeterminism
Software Assurance in an Uncertain World (MC, RS, TV, SK, MR), pp. 3–21.
MoDELSMoDELS-2018-DiskinMWWL #model transformation #refinement
Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
ESEC-FSEESEC-FSE-2018-Afzal #automation #quality
Quality assurance automation in autonomous systems (AA), pp. 948–951.
ICSE-2018-CalinescuWGIHK #adaptation #named #self
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases (RC, DW, SG, MUI, IH, TK), p. 495.
ESEC-FSEESEC-FSE-2017-Hilton0TMD #flexibility #integration #security #trade-off
Trade-offs in continuous integration: assurance, security, and flexibility (MH, NN0, TT, DM, DD), pp. 197–207.
CASECASE-2017-LiuJL #framework #social
A framework of credit assurance mechanism for manufacturing services under social manufacturing context (JL, PJ, JL), pp. 36–40.
QoSAQoSA-2016-JohnsenLHPT #architecture #framework #named #quality
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL (AJ, KL, KH, PP, MT), pp. 31–40.
SANERSANER-2016-TouraniA #eclipse #empirical #quality
The Impact of Human Discussions on Just-in-Time Quality Assurance: An Empirical Study on OpenStack and Eclipse (PT, BA), pp. 189–200.
CIKMCIKM-2016-MariappanPRDPR #named #quality #realtime
QART: A Tool for Quality Assurance in Real-Time in Contact Centers (RM, BP, PRR, SD, NP, SR), pp. 2493–2496.
MoDELSMoDELS-2016-KokalySCMC #approach #evolution #model management #reuse
A model management approach for assurance case reuse due to system evolution (SK, RS, VC, TM, MC), pp. 196–206.
ITiCSEITiCSE-2015-KirkpatrickP #operating system #process #using
Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
HCIHCI-DE-2015-BorzaM #design #process #usability
Incorporating Marketing Strategies to Improve Usability Assurance in User-Centered Design Processes (ICB, JAM), pp. 152–162.
ICSEICSE-v2-2015-DenneyPH #safety
Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.
ISSTAISSTA-2015-DimjasevicG #analysis #generative #runtime #testing #verification
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.
ITiCSEITiCSE-2014-GuoBQLH #education #security
Enhancing the information assurance and security (IAS) in CS education with mobile-device based hands-on labs (MG, PB, KQ, CTDL, XH), p. 343.
ICEISICEIS-v3-2014-WijkBBW #collaboration
Assurance in Collaborative ICT-enabled Service Chains (YWvW, NRTPvB, KFCdB, JCW), pp. 368–375.
HILTHILT-2014-GacekBCSW #architecture #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
ASEASE-2014-GiannakopoulouHILRR #testing
Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
TAPTAP-2014-Gabmeyer #quality
Quality Assurance in MBE Back and Forth (SG), pp. 78–81.
CSEETCSEET-2013-BollinHS #development #education #process #simulation
Teaching software development processes by simulation: Wuality assurance as a factor of success (AB, EH, LS), pp. 362–364.
CSEETCSEET-2013-MeadS #roadmap
The software assurance competency model: A roadmap to enhance individual professional capability (NRM, DS), pp. 119–128.
SEKESEKE-2013-BajnaidBPS #development #evaluation #ontology #quality
Software Quality Assurance Ontology from Development to Evaluation (NB, RB, AP, SS), pp. 689–694.
MODELSMoDELS-2013-PretschnerHEG #fault #quality
A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
RERE-2013-Nair #certification #safety
Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.
ICSEICSE-2013-HeymansLC #performance #quality #variability
Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
ICSEICSE-2013-Rimba #platform #security #using
Building high assurance secure applications using security patterns for capability-based platforms (PR), pp. 1401–1404.
KDDKDD-2012-FujiwaraNYSO #performance #personalisation #rank
Efficient personalized pagerank with accuracy assurance (YF, MN, TY, HS, MO), pp. 15–23.
HILTHILT-2012-Fisher #named
HACMS: high assurance cyber military systems (KF), pp. 51–52.
REFSQREFSQ-2012-Cleland-HuangHHLM #query #requirements #safety
Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.
CSEETCSEET-2011-Scharff #agile #development #quality #using
Guiding global software development projects using Scrum and Agile with quality assurance (CS), pp. 274–283.
ICSMEICSM-2011-MatthesSH #migration #quality #testing
Testing & quality assurance in data migration projects (FM, CS, KH), pp. 438–447.
ICFPICFP-2011-Takeyama #programming
Programming assurance cases in Agda (MT), p. 142.
ASEASE-2011-LutzJP #modelling #using
Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.
ICSEICSE-2011-MirakhorliC #architecture
Tracing architectural concerns in high assurance systems (MM, JCH), pp. 908–911.
ICSEICSE-2011-Shihab #quality
Pragmatic prioritization of software quality assurance efforts (ES), pp. 1106–1109.
ECSAECSA-2010-ChristensenHL #architecture #lightweight #quality #using
Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.
SIGMODSIGMOD-2010-VartakRR #generative #named #query
QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.
SIGITESIGITE-2010-UzubellLJ #analysis #information management
An analysis of the common body of knowledge of software assurance (SU, SL, KJ), pp. 125–130.
SIGITESIGITE-2010-UzubellLJ10a
Software assurance in academia (SU, SL, KJ), pp. 157–158.
ICSMEICSM-2010-NagyVFGKK #developer #named #quality
MAGISTER: Quality assurance of Magic applications for software developers and end users (CN, LV, RF, TG, FK, IK), pp. 1–6.
MSRMSR-2010-NussbaumZ #data mining #database #metadata #mining #quality
The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining (LN, SZ), pp. 52–61.
ICPRICPR-2010-Meunier #analysis #automation #documentation #logic #quality
Automated Quality Assurance for Document Logical Analysis (JLM), pp. 253–256.
AdaSIGAda-2010-Lane
Systems software integrity assurance (CL), pp. 11–12.
ASEASE-2010-HuangPWXM #mining
Text mining in supporting software systems risk assurance (LH, DP, LW, TX, TM), pp. 163–166.
WCREWCRE-1999-Perin99a #evolution #quality #reverse engineering
Enabling the Evolution of J2EE Applications through Reverse Engineering and Quality Assurance (FP), pp. 291–294.
SEFMSEFM-2009-Rushby #verification
Software Verification and System Assurance (JMR), pp. 3–10.
HCIDHM-2009-LandryL
A Model of Integrated Operator-System Separation Assurance and Collision Avoidance (SJL, AVL), pp. 394–402.
HCIHCI-NT-2009-HippP #quality #speech
Reference Model for Quality Assurance of Speech Applications (CH, MP), pp. 259–266.
HCIHIMI-II-2009-DwyerL #concept #generative
Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.
REFSQREFSQ-2009-GandhiL #case study #design #requirements #research
Assurance Case Driven Case Study Design for Requirements Engineering Research (RAG, SWL), pp. 190–196.
SACSAC-2009-LiuTN #component #integration #overview #quality #specification #testing
Integration of formal specification, review, and testing for software component quality assurance (SL, TT, SN), pp. 415–421.
ICSTICST-2009-MurphyKVC #approach #quality #testing #using
Quality Assurance of Software Applications Using the In Vivo Testing Approach (CM, GEK, IV, MC), pp. 111–120.
ICSTICST-2009-NodlerNG #flexibility #framework #java #quality #specification #uml
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications (JN, HN, JG), pp. 101–110.
CSEETCSEET-2008-ShoemakerDIM #recommendation
Integrating Secure Software Assurance Content with SE2004 Recommendations (DS, AD, JAI, NRM), pp. 59–66.
ITiCSEITiCSE-2008-GotelSW #assessment #education #open source #programming #quality #student
Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments (OG, CS, AW), pp. 214–218.
CIKMCIKM-2008-WangYPY #encryption #query
Dual encryption for query integrity assurance (HW, JY, CSP, PSY), pp. 863–872.
MODELSMoDELS-2008-JurjensRT #modelling #quality
Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.
MODELSMoDELS-2008-JurjensRT #modelling #quality
Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.
ICSTICST-2008-GrieskampKMNSW #documentation #modelling #protocol #quality
Model-Based Quality Assurance of Windows Protocol Documentation (WG, NK, DM, AN, KS, FLW), pp. 502–506.
SIGMODSIGMOD-2007-LarsonLZZ #estimation #quality #using
Cardinality estimation using sample views with quality assurance (PÅL, WL, JZ, PZ), pp. 175–186.
CSEETCSEET-2007-ShoemakerDIM #comparison #standard
A Comparison of the Software Assurance Common Body of Knowledge to Common Curricular Standards (DS, AD, JAI, NRM), pp. 149–156.
ITiCSEITiCSE-2007-Ghafarian #security
Ideas for projects in undergraduate information assurance and security courses (AG), p. 322.
AGTIVEAGTIVE-2007-KoehlerGKPRVV #development #model transformation #quality
Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.
ICEISICEIS-EIS-2007-EnstromWH #enterprise #security
A Reference Model for Enterprise Security — High Assurance Enterprise Security (DWE, DW, SH), pp. 355–364.
AdaSIGAda-2007-Jarzombek #named
Wanted: software with assurance built-in (JJ), pp. 9–10.
ICSMEICSM-2006-Black #maintenance
Software Assurance During Maintenance (PEB), pp. 70–72.
ICEISICEIS-AIDSS-2006-ConstantinouGCCL #automation #quality
A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.
MODELSMoDELS-2006-GoldsbyCKK #analysis #formal method #framework #modelling #visualisation
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
MODELSMoDELS-2006-GoldsbyCKK #analysis #formal method #framework #modelling #visualisation
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
PEPMPEPM-2006-GeayYF #quality
Continuous code-quality assurance with SAFE (EG, EY, SJF), pp. 145–149.
VLDBVLDB-2005-Sion #database #execution #outsourcing #query
Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.
CSEETCSEET-2005-RedwineKSB #education
Software Assurance Education (STRJ, HK, JS, SAB), pp. 265–266.
SIGITESIGITE-2005-DarkEL #education #integration #security
Integration of information assurance and security into the IT2005 model curriculum (MJD, JJE, BML), pp. 7–14.
CSMRCSMR-2005-AlghamdiRK #named #quality
OOMeter: A Software Quality Assurance Tool (JA, RAR, SMK), pp. 190–191.
ICEISICEIS-v5-2005-DexterP #quality
Cross-Domain Mapping: Quality Assurance and E-Learning Provision (HD, JP), pp. 199–205.
ICSEICSE-2005-YilmazKMPSGN #distributed #evolution #monitoring #performance #process #quality
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems (CY, ASK, AMM, AAP, DCS, ASG, BN), pp. 293–302.
SACSAC-2005-LiuBGROA #distributed #embedded #realtime #requirements
Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
DATEDATE-2005-IllgenO #case study #experience #perspective #process #quality
Process Oriented Software Quality Assurance — An Experience Report in Process Improvement — OEM Perspective (TI, SO), pp. 536–537.
SIGMODSIGMOD-2004-Multari #challenge
Information Assurance Technology Challenges (NJM), p. 899.
CSEETCSEET-2004-Endicott-PopovskyF #agile #case study #education #re-engineering
A Case Study in Rapid Introduction of an Information Assurance Track into a Software Engineering Curriculum (BEP, DAF), pp. 118–123.
ITiCSEITiCSE-WGR-2004-Campbell #security
IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
ICFPICFP-2004-Launchbury #named
Galois: high assurance software (JL), p. 3.
ICPRICPR-v4-2004-Martin-HerreroFA #quality #realtime
A SOFM Improves a Real Time Quality Assurance Machine Vision System (JMH, MFA, JLAC), pp. 301–304.
SPLCSPLC-2004-KolbM #product line #quality
Quality Assurance for Software Product Lines (RK, DM), p. 312.
ICSEICSE-2004-MemonPYNSN #distributed #named #quality
Skoll: Distributed Continuous Quality Assurance (AMM, AAP, CY, AN, DCS, BN), pp. 459–468.
SACSAC-2004-GrutznerWW #lifecycle #quality
Improving courseware quality through life-cycle encompassing quality assurance (IG, SW, PEW), pp. 946–951.
DocEngDocEng-2003-SimskeS #quality
A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.
ITiCSEITiCSE-2003-MoodyS #analysis #education #process #quality #requirements
Incorporating quality assurance processes into requirements analysis education (DLM, GS), pp. 74–78.
ICSMEICSM-2003-Howell #maintenance
The Case For Maintaining Assurance Cases (CH), p. 127–?.
RERE-2003-Lipner #towards
The Journey Toward Secure Systems: Achieving Assurance (SBL), p. 5.
WCREWCRE-2002-EmdenM #detection #java #quality #smell
Java Quality Assurance by Detecting Code Smells (EVE, LM), p. 97–?.
AdaSIGAda-2002-McEvilley #ada #community
The essence of information assurance and its implications for the Ada community (MM), pp. 35–39.
RERE-2002-LemoineF #requirements
Managing (Requirements) Evolutions of High Assurance Systems (ML, JF), p. 91.
ICEISICEIS-v2-2001-JeongNSL #framework #named
C-ISCAP: Controlled-Internet Secury Connectivity Assurance Platform (JHJ, JN, SWS, JTL), pp. 920–925.
SASSAS-2001-Wagner #static analysis
Static Analysis and Software Assurance (DW), p. 431.
ASEASE-2001-OHalloran
Acceptance Based Assurance (CO), pp. 63–70.
CBSECBSE-2000-VecellioT #component
Issues in the Assurance of Component-Based Software (GV, WMT), p. 11.
SACSAC-2000-Lyon #protocol #web
Assurance Protocols and Small Web Retailers (GEL), pp. 904–908.
SACSAC-1999-LauberSW #online #probability #quality #safety
Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program (JL, CS, RW), pp. 25–30.
ICPRICPR-1998-DeutschlR #quality #realtime #tablet
Tablet quality assurance in real time (ED, AR), pp. 1731–1734.
ICSEICSE-1998-AprilAM #lessons learnt #process
Process Assurance Audits: Lessons Learned (AA, AA, EM), pp. 482–485.
SEKESEKE-1996-KnollSS #perspective #quality #specification
Quality Assurance of Specification — The Users Point of View (HDK, TS, WS), pp. 450–456.
CSEETCSEE-1995-Stinson #quality
Academic Freedom versus Quality Assurance (MCS), p. 263.
WCREWCRE-1995-WellsBM #quality #re-engineering #tool support
Customized Tools for Software Quality Assurance and Reengineering (CHW, RB, LM).
AdaEuropeAdaEurope-1994-CorreriniP #named
ESSPASE — European Space Software Product Assurance Support Environment (FC, PP), pp. 258–269.
ASEKBSE-1994-KotikM #quality
Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.
ICSMECSM-1993-Talbert #quality
Representative Sampling Within Software Quality Assurance (NBT), pp. 174–179.
CIKMCIKM-1993-Zlatareva #approach #knowledge base #quality
An Integrated Approach to Quality Assurance of Expert System Knowledge Bases (NZ), pp. 85–94.
DACDAC-1990-TeraiTS #algorithm #constraints #design #layout
A New Min-Cut Placement Algorithm for Timing Assurance Layout Design Meeting Net Length Constraint (MT, KT, KS), pp. 96–102.
CSEETSEI-1988-Hunter #industrial #quality
An Industrial Course in Software Quality Assurance (RBH), pp. 45–54.
DACDAC-1985-Grinthal #quality
Software quality assurance for CAD (ETG), pp. 555–561.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.