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.
SEFM-2019-GleirscherFN #evolution #formal method #modelling- Evolution of Formal Model-Based Assurance Cases for Autonomous Robots (MG, SF0, YN), pp. 87–104.
CoG-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.
FASE-2019-ChechikSVKR #nondeterminism- Software Assurance in an Uncertain World (MC, RS, TV, SK, MR), pp. 3–21.
MoDELS-2018-DiskinMWWL #model transformation #refinement- Assurance via model transformations and their hierarchical refinement (ZD, TM, AW, SWW, ML), pp. 426–436.
ESEC-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-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.
CASE-2017-LiuJL #framework #social- A framework of credit assurance mechanism for manufacturing services under social manufacturing context (JL, PJ, JL), pp. 36–40.
QoSA-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.
SANER-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.
CIKM-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.
- MoDELS-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.
ITiCSE-2015-KirkpatrickP #operating system #process #using- Using the Readiness Assurance Process and Metacognition in an Operating Systems Course (MSK, SP), pp. 183–188.
HCI-DE-2015-BorzaM #design #process #usability- Incorporating Marketing Strategies to Improve Usability Assurance in User-Centered Design Processes (ICB, JAM), pp. 152–162.
ICSE-v2-2015-DenneyPH #safety- Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.
ISSTA-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.
- ITiCSE-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.
ICEIS-v3-2014-WijkBBW #collaboration- Assurance in Collaborative ICT-enabled Service Chains (YWvW, NRTPvB, KFCdB, JCW), pp. 368–375.
HILT-2014-GacekBCSW #architecture #modelling #named- Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
ASE-2014-GiannakopoulouHILRR #testing- Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.
TAP-2014-Gabmeyer #quality- Quality Assurance in MBE Back and Forth (SG), pp. 78–81.
CSEET-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.
- CSEET-2013-MeadS #roadmap
- The software assurance competency model: A roadmap to enhance individual professional capability (NRM, DS), pp. 119–128.
SEKE-2013-BajnaidBPS #development #evaluation #ontology #quality- Software Quality Assurance Ontology from Development to Evaluation (NB, RB, AP, SS), pp. 689–694.
- MoDELS-2013-PretschnerHEG #fault #quality
- A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.
RE-2013-Nair #certification #safety- Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.
- ICSE-2013-HeymansLC #performance #quality #variability
- Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
- ICSE-2013-Rimba #platform #security #using
- Building high assurance secure applications using security patterns for capability-based platforms (PR), pp. 1401–1404.
KDD-2012-FujiwaraNYSO #performance #personalisation #rank- Efficient personalized pagerank with accuracy assurance (YF, MN, TY, HS, MO), pp. 15–23.
- HILT-2012-Fisher #named
- HACMS: high assurance cyber military systems (KF), pp. 51–52.
REFSQ-2012-Cleland-HuangHHLM #query #requirements #safety- Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.
- CSEET-2011-Scharff #agile #development #quality #using
- Guiding global software development projects using Scrum and Agile with quality assurance (CS), pp. 274–283.
ICSM-2011-MatthesSH #migration #quality #testing- Testing & quality assurance in data migration projects (FM, CS, KH), pp. 438–447.
ICFP-2011-Takeyama #programming- Programming assurance cases in Agda (MT), p. 142.
- ASE-2011-LutzJP #modelling #using
- Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.
- ICSE-2011-MirakhorliC #architecture
- Tracing architectural concerns in high assurance systems (MM, JCH), pp. 908–911.
- ICSE-2011-Shihab #quality
- Pragmatic prioritization of software quality assurance efforts (ES), pp. 1106–1109.
ECSA-2010-ChristensenHL #architecture #lightweight #quality #using- Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.
SIGMOD-2010-VartakRR #generative #named #query- QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.
SIGITE-2010-UzubellLJ #analysis #information management- An analysis of the common body of knowledge of software assurance (SU, SL, KJ), pp. 125–130.
- SIGITE-2010-UzubellLJ10a
- Software assurance in academia (SU, SL, KJ), pp. 157–158.
- ICSM-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.
MSR-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.
ICPR-2010-Meunier #analysis #automation #documentation #logic #quality- Automated Quality Assurance for Document Logical Analysis (JLM), pp. 253–256.
SIGAda-2010-Lane - Systems software integrity assurance (CL), pp. 11–12.
- ASE-2010-HuangPWXM #mining
- Text mining in supporting software systems risk assurance (LH, DP, LW, TX, TM), pp. 163–166.
WCRE-1999-Perin99a #evolution #quality #reverse engineering- Enabling the Evolution of J2EE Applications through Reverse Engineering and Quality Assurance (FP), pp. 291–294.
- SEFM-2009-Rushby #verification
- Software Verification and System Assurance (JMR), pp. 3–10.
- DHM-2009-LandryL
- A Model of Integrated Operator-System Separation Assurance and Collision Avoidance (SJL, AVL), pp. 394–402.
- HCI-NT-2009-HippP #quality #speech
- Reference Model for Quality Assurance of Speech Applications (CH, MP), pp. 259–266.
- HIMI-II-2009-DwyerL #concept #generative
- Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.
- REFSQ-2009-GandhiL #case study #design #requirements #research
- Assurance Case Driven Case Study Design for Requirements Engineering Research (RAG, SWL), pp. 190–196.
SAC-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.
ICST-2009-MurphyKVC #approach #quality #testing #using- Quality Assurance of Software Applications Using the In Vivo Testing Approach (CM, GEK, IV, MC), pp. 111–120.
- ICST-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.
- CSEET-2008-ShoemakerDIM #recommendation
- Integrating Secure Software Assurance Content with SE2004 Recommendations (DS, AD, JAI, NRM), pp. 59–66.
- ITiCSE-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.
- CIKM-2008-WangYPY #encryption #query
- Dual encryption for query integrity assurance (HW, JY, CSP, PSY), pp. 863–872.
- MoDELS-2008-JurjensRT #modelling #quality
- Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.
- MoDELS-2008-JurjensRT #modelling #quality
- Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.
- ICST-2008-GrieskampKMNSW #documentation #modelling #protocol #quality
- Model-Based Quality Assurance of Windows Protocol Documentation (WG, NK, DM, AN, KS, FLW), pp. 502–506.
- SIGMOD-2007-LarsonLZZ #estimation #quality #using
- Cardinality estimation using sample views with quality assurance (PÅL, WL, JZ, PZ), pp. 175–186.
- CSEET-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.
- ITiCSE-2007-Ghafarian #security
- Ideas for projects in undergraduate information assurance and security courses (AG), p. 322.
AGTIVE-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.
- ICEIS-EIS-2007-EnstromWH #enterprise #security
- A Reference Model for Enterprise Security — High Assurance Enterprise Security (DWE, DW, SH), pp. 355–364.
- SIGAda-2007-Jarzombek #named
- Wanted: software with assurance built-in (JJ), pp. 9–10.
- ICSM-2006-Black #maintenance
- Software Assurance During Maintenance (PEB), pp. 70–72.
- ICEIS-AIDSS-2006-ConstantinouGCCL #automation #quality
- A Semi-Automated Quality Assurance Toolbox for Diagnostic Radiological Imaging (CC, AG, AC, CC, AL), pp. 216–221.
- MoDELS-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.
- MoDELS-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.
PEPM-2006-GeayYF #quality- Continuous code-quality assurance with SAFE (EG, EY, SJF), pp. 145–149.
VLDB-2005-Sion #database #execution #outsourcing #query- Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.
- CSEET-2005-RedwineKSB #education
- Software Assurance Education (STRJ, HK, JS, SAB), pp. 265–266.
- SIGITE-2005-DarkEL #education #integration #security
- Integration of information assurance and security into the IT2005 model curriculum (MJD, JJE, BML), pp. 7–14.
CSMR-2005-AlghamdiRK #named #quality- OOMeter: A Software Quality Assurance Tool (JA, RAR, SMK), pp. 190–191.
- ICEIS-v5-2005-DexterP #quality
- Cross-Domain Mapping: Quality Assurance and E-Learning Provision (HD, JP), pp. 199–205.
- ICSE-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.
- SAC-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.
DATE-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.
- SIGMOD-2004-Multari #challenge
- Information Assurance Technology Challenges (NJM), p. 899.
- CSEET-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.
- ITiCSE-WGR-2004-Campbell #security
- IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.
- ICFP-2004-Launchbury #named
- Galois: high assurance software (JL), p. 3.
- ICPR-v4-2004-Martin-HerreroFA #quality #realtime
- A SOFM Improves a Real Time Quality Assurance Machine Vision System (JMH, MFA, JLAC), pp. 301–304.
SPLC-2004-KolbM #product line #quality- Quality Assurance for Software Product Lines (RK, DM), p. 312.
- ICSE-2004-MemonPYNSN #distributed #named #quality
- Skoll: Distributed Continuous Quality Assurance (AMM, AAP, CY, AN, DCS, BN), pp. 459–468.
- SAC-2004-GrutznerWW #lifecycle #quality
- Improving courseware quality through life-cycle encompassing quality assurance (IG, SW, PEW), pp. 946–951.
DocEng-2003-SimskeS #quality- A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.
- ITiCSE-2003-MoodyS #analysis #education #process #quality #requirements
- Incorporating quality assurance processes into requirements analysis education (DLM, GS), pp. 74–78.
- ICSM-2003-Howell #maintenance
- The Case For Maintaining Assurance Cases (CH), p. 127–?.
- RE-2003-Lipner #towards
- The Journey Toward Secure Systems: Achieving Assurance (SBL), p. 5.
- WCRE-2002-EmdenM #detection #java #quality #smell
- Java Quality Assurance by Detecting Code Smells (EVE, LM), p. 97–?.
- SIGAda-2002-McEvilley #ada #community
- The essence of information assurance and its implications for the Ada community (MM), pp. 35–39.
- RE-2002-LemoineF #requirements
- Managing (Requirements) Evolutions of High Assurance Systems (ML, JF), p. 91.
- ICEIS-v2-2001-JeongNSL #framework #named
- C-ISCAP: Controlled-Internet Secury Connectivity Assurance Platform (JHJ, JN, SWS, JTL), pp. 920–925.
SAS-2001-Wagner #static analysis- Static Analysis and Software Assurance (DW), p. 431.
- ASE-2001-OHalloran
- Acceptance Based Assurance (CO), pp. 63–70.
CBSE-2000-VecellioT #component- Issues in the Assurance of Component-Based Software (GV, WMT), p. 11.
- SAC-2000-Lyon #protocol #web
- Assurance Protocols and Small Web Retailers (GEL), pp. 904–908.
- SAC-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.
- ICPR-1998-DeutschlR #quality #realtime #tablet
- Tablet quality assurance in real time (ED, AR), pp. 1731–1734.
- ICSE-1998-AprilAM #lessons learnt #process
- Process Assurance Audits: Lessons Learned (AA, AA, EM), pp. 482–485.
- SEKE-1996-KnollSS #perspective #quality #specification
- Quality Assurance of Specification — The Users Point of View (HDK, TS, WS), pp. 450–456.
- CSEE-1995-Stinson #quality
- Academic Freedom versus Quality Assurance (MCS), p. 263.
- WCRE-1995-WellsBM #quality #re-engineering #tool support
- Customized Tools for Software Quality Assurance and Reengineering (CHW, RB, LM).
AdaEurope-1994-CorreriniP #named- ESSPASE — European Space Software Product Assurance Support Environment (FC, PP), pp. 258–269.
- KBSE-1994-KotikM #quality
- Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.
- CSM-1993-Talbert #quality
- Representative Sampling Within Software Quality Assurance (NBT), pp. 174–179.
- CIKM-1993-Zlatareva #approach #knowledge base #quality
- An Integrated Approach to Quality Assurance of Expert System Knowledge Bases (NZ), pp. 85–94.
DAC-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.
- SEI-1988-Hunter #industrial #quality
- An Industrial Course in Software Quality Assurance (RBH), pp. 45–54.
- DAC-1985-Grinthal #quality
- Software quality assurance for CAD (ETG), pp. 555–561.
