BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
test (7)
softwar (7)
analysi (6)
develop (6)
system (6)

Stem toolset$ (all stems)

54 papers:

SCAMSCAM-2015-SzokeNFFG #automation #named #refactoring #smell #tool support
FaultBuster: An automatic code smell refactoring toolset (GS, CN, LJF, RF, TG), pp. 253–258.
ESEC-FSEESEC-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.
TACASTACAS-2014-HartmannsH #ide #modelling #tool support #verification
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification (AH, HH), pp. 593–598.
SCAMSCAM-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.
SEFMSEFM-2014-KoreckoSDS #development #education #formal method #tool support
A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
FSEFSE-2014-XiaoCK #analysis #architecture #named #quality #tool support
Titan: a toolset that connects software architecture with quality analysis (LX, YC, RK), pp. 763–766.
ISSTAISSTA-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.
TACASTACAS-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.
HILTHILT-2013-DoranA #development #embedded #modelling #named #tool support
Reddo: a model driven engineering toolset for embedded software development (SD, SEA), pp. 47–48.
ICTSSICTSS-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.
ICSMEICSM-2012-AmalfitanoFTCI #android #testing #tool support #user interface
A toolset for GUI testing of Android applications (DA, ARF, PT, SDC, GI), pp. 650–653.
ASEASE-2011-Hall #calculus #tool support
The Capture Calculus Toolset (RJH), pp. 628–632.
ICSEICSE-2011-BacchelliLD #email #named #tool support
Miler: a toolset for exploring email data (AB, ML, MD), pp. 1025–1027.
SPLCSPLC-2011-AbbasiHH11a #tool support #workflow
A Toolset for Feature-Based Configuration Workflows (EKA, AH, PH), pp. 65–69.
ASEASE-2009-JanssenAG #automation #fault #locality #named #tool support
Zoltar: A Toolset for Automatic Fault Localization (TJ, RA, AJCvG), pp. 662–664.
AdaSIGAda-2009-Jennings #named #re-engineering #tool support
SPARK: the libre language and toolset for high-assurance software engineering (TJ), pp. 9–10.
ICSEICSE-2009-MarianiPP #analysis #automation #tool support
A toolset for automated failure analysis (LM, FP, MP), pp. 563–566.
SEKESEKE-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.
ICSEICSE-2008-GrundyHHL #eclipse #generative #multi #named
Marama: an eclipse meta-toolset for generating multi-view environments (JCG, JGH, JH, KNLL), pp. 819–822.
ICSEICSE-2008-RobbesL #development #named #tool support
SpyWare: a change-aware development toolset (RR, ML), pp. 847–850.
SCAMSCAM-2007-RoubtsovTH #assessment #named #quality #tool support #visualisation
SQuAVisiT: A Software Quality Assessment and Visualisation Toolset (SAR, ACT, DH), pp. 155–156.
AdaSIGAda-2007-Grosman #ada #development #eclipse #named #tool support
Hibachi: the eclipse ada development toolset (TG), p. 99.
ICSEICSE-2007-LeclercqOQS #architecture #tool support
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset (ML, AEÖ, VQ, JBS), pp. 209–219.
CAVCAV-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.
CAiSECAiSE-2005-MammarRGSG #named #performance #tool support #transaction
Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.
DATEDATE-v1-2004-BurnsSKY #synthesis #tool support #using
An Asynchronous Synthesis Toolset Using Verilog (FPB, DS, AK, AY), pp. 724–725.
SFMSFM-2004-BozgaGOOS #tool support
The IF Toolset (MB, SG, IO, IO, JS), pp. 237–267.
CAVCAV-2004-RameshSDCV #modelling #tool support #verification
A Toolset for Modelling and Verification of GALS Systems (SR, SS, VD, NC, BV), pp. 506–509.
ICTSSTestCom-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.
ASEASE-2001-ShenCH #state machine #tool support #uml #validation
A UML Validation Toolset Based on Abstract State Machines (WS, KJC, JH), pp. 315–318.
AdaEuropeAdaEurope-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.
CAVCAV-2001-BlomFGLLP #algebra #named #specification #tool support
µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.
UMLUML-2000-HussmannDF #architecture #composition #ocl #tool support
Modular Architecture for a Toolset Supporting OCL (HH, BD, FF), pp. 278–293.
SPLCSPLC-2000-StuartSPCWC #development #product line #tool support
The SSEP toolset for product line development (DS, WS, SP, DC, FW, TWC), pp. 413–436.
CAVCAV-2000-RamakrishnanRSDDRV #named #tool support #verification
XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.
TACASTACAS-1999-ParnasP #tool support
An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.
FMFM-v2-1999-HainquePBN #compilation #composition #named #tool support
Cronos: A Separate Compilation Toolset for Modular Esterel Applications (OH, LP, YLB, EN), pp. 1836–1853.
IWPCIWPC-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.
CAVCAV-1998-HeitmeyerKLB #requirements #specification #tool support
SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
CAVCAV-1998-Peled98a #sequence chart #tool support
A Toolset for Message Sequence Charts (DP), pp. 532–536.
TACASTACAS-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.
AdaEuropeAdaEurope-1997-Bell #ada #analysis #source code #tool support
An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.
AdaEuropeAdaEurope-1997-DobbingR #ada #named #realtime #tool support
T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.
ITiCSEITiCSE-1996-Velazquez-IturbideRF #algorithm #development #programming #tool support
An inexpensive programming toolset for algorithm development (JÁVI, AMCR, NLF), p. 231.
CAVCAV-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.
CAVCAV-1996-MoserMRKD #logic #realtime #tool support #visual notation
The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
TOOLSTOOLS-USA-1993-CorriveauW #evolution #framework #on the #tool support
On the Evolution of a Framework for the ObjecTime Toolset (JPC, LW), pp. 337–349.
CAVCAV-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.
AdaEuropeAdaEurope-1992-Treurniet #assessment #interface #set #tool support
SWG APSE Test Support Toolset (Assessment of the CAIS-A Interface Set) (WT), pp. 214–229.
PPDPALP-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.
FMVDME-1991-1-Dollin #tool support
The HP-ST Toolset (CD), pp. 687–688.
FMVDME-1991-1-Group #tool support
The RAISE Toolset (CRI), pp. 689–690.
ISSTATAV-1991-AvruninBCDW #tool support
Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
HCIHCI-CE-1987-BylanderCJ #tool support
The Generic Task Toolset (TB, BC, JRJ), pp. 507–514.

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.