Stem assur$ (all stems)

119 papers:

ITiCSE-2015-KirkpatrickP #assurance #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 #assurance #design #process #usability

Incorporating Marketing Strategies to Improve Usability Assurance in User-Centered Design Processes (ICB, JAM), pp. 152–162.

ICSE-v2-2015-DenneyPH #assurance #safety

Dynamic Safety Cases for Through-Life Safety Assurance (ED, GJP, IH), pp. 587–590.

ISSTA-2015-DimjasevicG #analysis #assurance #generative #runtime #testing #verification

Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance (MD, DG), pp. 282–292.

ASE-2014-GiannakopoulouHILRR #assurance #testing

Taming test inputs for separation assurance (DG, FH, MI, TL, ZR, VR), pp. 373–384.

ITiCSE-2014-GuoBQLH #assurance #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.

HILT-2014-GacekBCSW #architecture #assurance #modelling #named

Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.

ICEIS-v2-2014-SimpsonC #enterprise

Vulnerability and Remediation for a High-assurance Web-based Enterprise (WRS, CC), pp. 119–128.

ICEIS-v3-2014-WijkBBW #assurance #collaboration

Assurance in Collaborative ICT-enabled Service Chains (YWvW, NRTPvB, KFCdB, JCW), pp. 368–375.

TAP-2014-Gabmeyer #assurance #quality

Quality Assurance in MBE Back and Forth (SG), pp. 78–81.

CSEET-2013-BollinHS #assurance #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 #assurance #roadmap

The software assurance competency model: A roadmap to enhance individual professional capability (NRM, DS), pp. 119–128.

SEKE-2013-BajnaidBPS #assurance #development #evaluation #ontology #quality

Software Quality Assurance Ontology from Development to Evaluation (S) (NB, RB, AP, SS), pp. 689–694.

MoDELS-2013-PretschnerHEG #assurance #fault #quality

A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.

MoDELS-2013-PretschnerHEG #assurance #fault #quality

A Generic Fault Model for Quality Assurance (AP, DH, RE, MG), pp. 87–103.

RE-2013-Nair #assurance #certification #safety

Evidence management for evolutionary safety assurance and certification (SN), pp. 385–388.

ICSE-2013-HeymansLC #assurance #performance #quality #variability

Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.

ICSE-2013-Rimba #assurance #security #using

Building high assurance secure applications using security patterns for capability-based platforms (PR), pp. 1401–1404.

ICFP-2012-PikeWNG #case study #compilation #experience

Experience report: a do-it-yourself high-assurance compiler (LP, NW, SN, AG), pp. 335–340.

HILT-2012-Fisher #assurance #named

HACMS: high assurance cyber military systems (KF), pp. 51–52.

KDD-2012-FujiwaraNYSO #assurance #performance #personalisation #rank

Efficient personalized pagerank with accuracy assurance (YF, MN, TY, HS, MO), pp. 15–23.

REFSQ-2012-Cleland-HuangHHLM #assurance #query #requirements #safety

Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.

ASE-2011-LutzJP #assurance #modelling #using

Using model-based assurance to strengthen diagnostic procedures (RRL, JJ, APH), pp. 516–519.

CSEET-2011-Scharff #agile #assurance #development #quality #using

Guiding global software development projects using Scrum and Agile with quality assurance (CS), pp. 274–283.

ICSM-2011-MatthesSH #assurance #migration #quality #testing

Testing & quality assurance in data migration projects (FM, CS, KH), pp. 438–447.

ICFP-2011-Takeyama #assurance #programming

Programming assurance cases in Agda (MT), p. 142.

AdaEurope-2011-OLeary #reliability #using #web #web service

Assuring Software Reliability While Using Web Services and Commercial Products (JO), pp. 1–16.

ICSE-2011-MirakhorliC #architecture #assurance

Tracing architectural concerns in high assurance systems (MM, JCH), pp. 908–911.

ICSE-2011-Shihab #assurance #quality

Pragmatic prioritization of software quality assurance efforts (ES), pp. 1106–1109.

SPLC-2011-HutchessonM #effectiveness #product line #towards

Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations (SH, JAM), pp. 55–64.

ECSA-2010-ChristensenHL #architecture #assurance #lightweight #quality #using

Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.

ASE-2010-HuangPWXM #assurance #mining

Text mining in supporting software systems risk assurance (LH, DP, LW, TX, TM), pp. 163–166.

SIGMOD-2010-VartakRR #assurance #generative #named #query

QRelX: generating meaningful queries that provide cardinality assurance (MV, VR, EAR), pp. 1215–1218.

ICSM-2010-NagyVFGKK #assurance #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 #assurance #data mining #database #metadata #mining #quality

The Ultimate Debian Database: Consolidating bazaar metadata for Quality Assurance and data mining (LN, SZ), pp. 52–61.

SIGAda-2010-Lane #assurance

Systems software integrity assurance (CL), pp. 11–12.

ICPR-2010-Meunier #analysis #assurance #automation #documentation #logic #quality

Automated Quality Assurance for Document Logical Analysis (JLM), pp. 253–256.

RE-2010-HillT #legacy #requirements #safety #traceability

Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems (JH, SRT), pp. 297–302.

ISSTA-2010-Romero-MarionaZR #automation #named #requirements

ASSURE: automated support for secure and usable requirements engineering (JRM, HZ, DJR), pp. 279–282.

WCRE-1999-Perin99a #assurance #evolution #quality #reverse engineering

Enabling the Evolution of J2EE Applications through Reverse Engineering and Quality Assurance (FP), pp. 291–294.

SEFM-2009-Rushby #assurance #verification

Software Verification and System Assurance (JMR), pp. 3–10.

DHM-2009-LandryL #assurance

A Model of Integrated Operator-System Separation Assurance and Collision Avoidance (SJL, AVL), pp. 394–402.

DHM-2009-NiedermaierDEK #process #usability

The New BMW iDrive — Applied Processes and Methods to Assure High Usability (BN, SD, LE, AK), pp. 443–452.

HCI-NT-2009-HippP #assurance #quality #speech

Reference Model for Quality Assurance of Speech Applications (CH, MP), pp. 259–266.

HIMI-II-2009-DwyerL #assurance #concept #generative

Separation Assurance and Collision Avoidance Concepts for the Next Generation Air Transportation System (JPD, SJL), pp. 748–757.

SIGAda-2009-Jennings #named #re-engineering #tool support

SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.

REFSQ-2009-GandhiL #assurance #case study #design #requirements #research

Assurance Case Driven Case Study Design for Requirements Engineering Research (RAG, SWL), pp. 190–196.

SAC-2009-LiuTN #assurance #bibliography #component #integration #quality #specification #testing

Integration of formal specification, review, and testing for software component quality assurance (SL, TT, SN), pp. 415–421.

ASPLOS-2009-SidiroglouLPVNK #automation #named #self #using

ASSURE: automatic software self-healing using rescue points (SS, OL, CP, NV, JN, ADK), pp. 37–48.

ICST-2009-MurphyKVC #approach #assurance #quality #testing #using

Quality Assurance of Software Applications Using the In Vivo Testing Approach (CM, GEK, IV, MC), pp. 111–120.

ICST-2009-NodlerNG #assurance #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 #assurance #recommendation

Integrating Secure Software Assurance Content with SE2004 Recommendations (DS, AD, JAI, NRM), pp. 59–66.

ITiCSE-2008-GotelSW #assessment #assurance #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.

AdaEurope-2008-FahmyRJ #performance #realtime #scheduling #thread

Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness (SFF, BR, EDJ), pp. 211–225.

CIKM-2008-WangYPY #assurance #encryption #query

Dual encryption for query integrity assurance (HW, JY, CSP, PSY), pp. 863–872.

ICMT-2008-SiikarlaLSS #rest

Transformations Have to be Developed ReST Assured (MS, ML, PS, TS), pp. 1–15.

MoDELS-2008-JurjensRT #assurance #modelling #quality

Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.

MoDELS-2008-JurjensRT #assurance #modelling #quality

Model-Based Quality Assurance of Automotive Software (JJ, DR, DT), pp. 858–873.

ICST-2008-GrieskampKMNSW #assurance #documentation #modelling #protocol #quality

Model-Based Quality Assurance of Windows Protocol Documentation (WG, NK, DM, AN, KS, FLW), pp. 502–506.

SIGMOD-2007-LarsonLZZ #assurance #estimation #quality #using

Cardinality estimation using sample views with quality assurance (PÅL, WL, JZ, PZ), pp. 175–186.

CSEET-2007-ShoemakerDIM #assurance #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 #assurance #security

Ideas for projects in undergraduate information assurance and security courses (AG), p. 322.

AGTIVE-2007-EngelsGSW #consistency #contract #modelling #process #using #visual notation #web #web service

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.

AGTIVE-2007-KoehlerGKPRVV #assurance #development #model transformation #quality

Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.

SIGAda-2007-Jarzombek #assurance #named

Wanted: software with assurance built-in (JJ), pp. 9–10.

ICEIS-DISI-2007-DangelmaierRHBKDT #information management #named #reliability

OOPUS — a production planning information system to assure high delivery reliability under short-term demand changes and production disturbances (WD, TR, TH, DB, DK, AD, TT), pp. 423–432.

ICEIS-EIS-2007-EnstromWH #assurance #enterprise #security

A Reference Model for Enterprise Security — High Assurance Enterprise Security (DWE, DW, SH), pp. 355–364.

ECOOP-2007-Aldrich #architecture #object-oriented

Assuring Object-Oriented Architecture (JA), p. 450.

ICSM-2006-Black #assurance #maintenance

Software Assurance During Maintenance (PEB), pp. 70–72.

PEPM-2006-GeayYF #assurance #quality

Continuous code-quality assurance with SAFE (EG, EY, SJF), pp. 145–149.

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.

MoDELS-2006-GoldsbyCKK #analysis #assurance #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 #assurance #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.

DATE-2005-IllgenO #assurance #case study #experience #perspective #process #quality

Process Oriented Software Quality Assurance — An Experience Report in Process Improvement — OEM Perspective (TI, SO), pp. 536–537.

VLDB-2005-Sion #assurance #database #execution #outsourcing #query

Query Execution Assurance for Outsourced Databases (RS), pp. 601–612.

CSEET-2005-RedwineKSB #assurance #education

Software Assurance Education (STRJ, HK, JS, SAB), pp. 265–266.

CSMR-2005-AlghamdiRK #assurance #named #quality

OOMeter: A Software Quality Assurance Tool (JA, RAR, SMK), pp. 190–191.

ICEIS-v5-2005-DexterP #assurance #quality

Cross-Domain Mapping: Quality Assurance and E-Learning Provision (HD, JP), pp. 199–205.

SAC-2005-LiuBGROA #assurance #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.

ICSE-2005-YilmazKMPSGN #assurance #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.

SIGMOD-2004-Multari #assurance #challenge

Information Assurance Technology Challenges (NJM), p. 899.

CSEET-2004-Endicott-PopovskyF #agile #assurance #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 #assurance #security

IT security and data assurance: a new resource for two-year colleges (RDC), p. 20.

ICFP-2004-Launchbury #assurance #named

Galois: high assurance software (JL), p. 3.

ICPR-v4-2004-Martin-HerreroFA #assurance #quality #realtime

A SOFM Improves a Real Time Quality Assurance Machine Vision System (JMH, MFA, JLAC), pp. 301–304.

SAC-2004-GrutznerWW #assurance #lifecycle #quality

Improving courseware quality through life-cycle encompassing quality assurance (IG, SW, PEW), pp. 946–951.

ICSE-2004-MemonPYNSN #assurance #distributed #named #quality

Skoll: Distributed Continuous Quality Assurance (AMM, AAP, CY, AN, DCS, BN), pp. 459–468.

SPLC-2004-KolbM #assurance #product line #quality

Quality Assurance for Software Product Lines (RK, DM), p. 312.

DocEng-2003-SimskeS #assurance #quality

A ground-truthing engine for proofsetting, publishing, re-purposing and quality assurance (SJS, MS), pp. 150–152.

ITiCSE-2003-MoodyS #analysis #assurance #education #process #quality #requirements

Incorporating quality assurance processes into requirements analysis education (DLM, GS), pp. 74–78.

ICSM-2003-Howell #assurance #maintenance

The Case For Maintaining Assurance Cases (CH), p. 127–?.

PPDP-2003-EchahedPS #concurrent #process

Statically assuring secrecy for dynamic concurrent processes (RE, FP, WS), pp. 91–101.

RE-2003-Lipner #assurance #towards

The Journey Toward Secure Systems: Achieving Assurance (SBL), p. 5.

SAC-2003-RagothamanP #assessment #hybrid #segmentation

Hybrid Log Segmentation for Assured Damage Assessment (PR, BP), pp. 522–527.

WCRE-2002-EmdenM #assurance #detection #java #quality #smell

Java Quality Assurance by Detecting Code Smells (EVE, LM), p. 97–?.

SIGAda-2002-McEvilley #ada #assurance #community

The essence of information assurance and its implications for the Ada community (MM), pp. 35–39.

RE-2002-LemoineF #assurance #requirements

Managing (Requirements) Evolutions of High Assurance Systems (ML, JF), p. 91.

ICSE-2002-GreenhouseS #concurrent #evolution #policy #source code

Assuring and evolving concurrent programs: annotations and policy (AG, WLS), pp. 453–463.

ASE-2001-OHalloran #assurance

Acceptance Based Assurance (CO), pp. 63–70.

SAS-2001-Wagner #assurance #static analysis

Static Analysis and Software Assurance (DW), p. 431.

ICEIS-v2-2001-JeongNSL #assurance #framework #named

C-ISCAP: Controlled-Internet Secury Connectivity Assurance Platform (JHJ, JN, SWS, JTL), pp. 920–925.

CBSE-2000-VecellioT #assurance #component

Issues in the Assurance of Component-Based Software (GV, WMT), p. 11.

SAC-2000-Lyon #assurance #protocol #web

Assurance Protocols and Small Web Retailers (GEL), pp. 904–908.

ICSE-2000-Rausch #component #contract #evolution #requirements #using

Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.

SAC-1999-LauberSW #assurance #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 #assurance #quality #realtime #tablet

Tablet quality assurance in real time (ED, AR), pp. 1731–1734.

ICSE-1998-AprilAM #assurance #lessons learnt #process

Process Assurance Audits: Lessons Learned (AA, AA, EM), pp. 482–485.

SEKE-1996-KnollSS #assurance #perspective #quality #specification

Quality Assurance of Specification — The Users Point of View (HDK, TS, WS), pp. 450–456.

CSEE-1995-Stinson #assurance #quality

Academic Freedom versus Quality Assurance (MCS), p. 263.

WCRE-1995-WellsBM #assurance #quality #re-engineering #tool support

Customized Tools for Software Quality Assurance and Reengineering (CHW, RB, LM).

CHI-1995-SeligmannME #interactive #multi

Providing Assurances in a Multimedia Interactive Environment (DDS, RM, JTE), pp. 250–256.

KBSE-1994-KotikM #assurance #quality

Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.

AdaEurope-1994-CorreriniP #assurance #named

ESSPASE — European Space Software Product Assurance Support Environment (FC, PP), pp. 258–269.

CSM-1993-Talbert #assurance #quality

Representative Sampling Within Software Quality Assurance (NBT), pp. 174–179.

CIKM-1993-Zlatareva #approach #assurance #knowledge base #quality

An Integrated Approach to Quality Assurance of Expert System Knowledge Bases (NZ), pp. 85–94.

DAC-1990-EdmondGSB #automation #dependence #design #named

ASSURE: Automated Design for Dependability (PE, APG, DPS, AAB), pp. 555–560.

DAC-1990-TeraiTS #algorithm #assurance #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 #assurance #industrial #quality

An Industrial Course in Software Quality Assurance (RBH), pp. 45–54.

DAC-1985-Grinthal #assurance #quality #tutorial

Software quality assurance for CAD (tutorial) (ETG), pp. 555–561.