Stem toolset$ (all stems)

54 papers:

SCAM-2015-SzokeNFFG #automation #named #refactoring #smell #tool support

FaultBuster: An automatic code smell refactoring toolset (GS, CN, LJF, RF, TG), pp. 253–258.

ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support

UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.

TACAS-2014-HartmannsH #ide #modelling #tool support #verification

The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.

SCAM-2014-TengeriBHG #analysis #repository #test coverage #testing #tool support

Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation (DT, ÁB, DH, TG), pp. 47–52.

SEFM-2014-KoreckoSDS #development #education #formal method #tool support

A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.

FSE-2014-XiaoCK #analysis #architecture #named #quality #tool support

Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.

ISSTA-2014-KingNSCM #agile #domain-specific language #named #testing #tool support #web

Legend: an agile DSL toolset for web acceptance testing (TMK, GN, DS, AC, CM), pp. 409–412.

TACAS-2013-CranenGKSVWW #bibliography #tool support

An Overview of the mCRL2 Toolset and Its Recent Advances (SC, JFG, JJAK, FPMS, EPdV, WW, TACW), pp. 199–213.

HILT-2013-DoranA #development #embedded #modelling #named #tool support

Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.

ICTSS-2013-FariaPC #consistency #diagrams #sequence chart #testing #tool support #uml

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams (JPF, ACRP, MVdC), pp. 180–195.

ICSM-2012-AmalfitanoFTCI #android #testing #tool support #user interface

A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.

ASE-2011-Hall #calculus #tool support

The Capture Calculus Toolset (RJH), pp. 628–632.

ICSE-2011-BacchelliLD #email #named #tool support

Miler: a toolset for exploring email data (AB, ML, MD), pp. 1025–1027.

SPLC-2011-AbbasiHH11a #tool support #workflow

A Toolset for Feature-Based Configuration Workflows (EKA, AH, PH), pp. 65–69.

ASE-2009-JanssenAG #automation #fault #locality #named #tool support

Zoltar: A Toolset for Automatic Fault Localization (TJ, RA, AJCvG), pp. 662–664.

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

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

ICSE-2009-MarianiPP #analysis #automation #tool support

A toolset for automated failure analysis (LM, FP, MP), pp. 563–566.

SEKE-2008-BaratK #approach #enterprise #integration #modelling #process #tool support

A Model-driven Toolset to Support an Approach for Analyzing Integration of Business Process Aspect of Enterprise Application Integration (SB, VK), pp. 625–630.

ICSE-2008-GrundyHHL #eclipse #generative #multi #named

Marama: an eclipse meta-toolset for generating multi-view environments (JCG, JGH, JH, KNLL), pp. 819–822.

ICSE-2008-RobbesL #development #named #tool support

SpyWare: a change-aware development toolset (RR, ML), pp. 847–850.

SCAM-2007-RoubtsovTH #assessment #named #quality #tool support #visualisation

SQuAVisiT: A Software Quality Assessment and Visualisation Toolset (SAR, ACT, DH), pp. 155–156.

SIGAda-2007-Grosman #ada #development #eclipse #named #tool support

Hibachi: the eclipse ada development toolset (TG), p. 99.

ICSE-2007-LeclercqOQS #architecture #tool support

Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.

CAV-2007-OuimetL #realtime #simulation #specification #tool support #verification

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.

CAiSE-2005-MammarRGSG #named #performance #tool support #transaction

Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.

DATE-v1-2004-BurnsSKY #synthesis #tool support #using

An Asynchronous Synthesis Toolset Using Verilog (FPB, DS, AK, AY), pp. 724–725.

SFM-2004-BozgaGOOS #tool support

The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.

CAV-2004-RameshSDCV #modelling #tool support #verification

A Toolset for Modelling and Verification of GALS Systems (SR, SS, VD, NC, BV), pp. 506–509.

TestCom-2004-BatteramHRHRV #component #implementation #open source #testing #tool support

Implementation of an Open Source Toolset for CCM Components and Systems Testing (HJB, WH, WAR, AH, AR, AV), pp. 1–16.

ASE-2001-ShenCH #state machine #tool support #uml #validation

A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.

AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using

Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.

CAV-2001-BlomFGLLP #algebra #named #specification #tool support

µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.

UML-2000-HussmannDF #architecture #composition #ocl #tool support

Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.

SPLC-2000-StuartSPCWC #development #product line #tool support

The SSEP toolset for product line development (DS, WS, SP, DC, FW, TWC), pp. 413–436.

CAV-2000-RamakrishnanRSDDRV #named #tool support #verification

XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.

TACAS-1999-ParnasP #tool support

An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.

FM-v2-1999-HainquePBN #compilation #composition #named #tool support

Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.

IWPC-1998-BechiniT #concurrent #design #dynamic analysis #java #tool support

Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.

CAV-1998-HeitmeyerKLB #requirements #specification #tool support

SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.

CAV-1998-Peled98a #sequence chart #tool support

A Toolset for Message Sequence Charts (DP), pp. 532–536.

TACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named #tool support

MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.

AdaEurope-1997-Bell #ada #analysis #source code #tool support

An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.

AdaEurope-1997-DobbingR #ada #named #realtime #tool support

T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.

ITiCSE-1996-Velazquez-IturbideRF #algorithm #development #programming #tool support

An inexpensive programming toolset for algorithm development (JÁVI, AMCR, NLF), p. 231.

CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.

CAV-1996-MoserMRKD #logic #realtime #tool support #visual notation

The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.

TOOLS-USA-1993-CorriveauW #evolution #framework #on the #tool support

On the Evolution of a Framework for the ObjecTime Toolset (JPC, LW), pp. 337–349.

CAV-1993-KuttyRMDM #concurrent #logic #tool support #verification #visual notation

A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.

AdaEurope-1992-Treurniet #assessment #interface #set #tool support

SWG APSE Test Support Toolset (Assessment of the CAIS-A Interface Set) (WT), pp. 214–229.

ALP-1992-GioviniMC #algebra #concurrent #implementation #prototype #specification #tool support

Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems (AG, FM, AC), pp. 335–349.

VDME-1991-1-Dollin #tool support

The HP-ST Toolset (CD), pp. 687–688.

VDME-1991-1-Group #tool support

The RAISE Toolset (CRI), pp. 689–690.

TAV-1991-AvruninBCDW #tool support

Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.

HCI-CE-1987-BylanderCJ #tool support

The Generic Task Toolset (TB, BC, JRJ), pp. 507–514.