A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Filters
Tool-assisted unit test selection based on operational violations
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.
Preserved Fulltext
In this paper, we present the operational violation approach for unit test selection, a black-box approach without requiring a priori specifications. ...
Any automatically generated tests violating the operational abstractions are identified as candidates for selection. ...
We also thank ParaSoft Inc. for their sponsorship on the Jtest tool. This work was supported in part by the National Science Foundation under grant ITR 0086003. ...
doi:10.1109/ase.2003.1240293
dblp:conf/kbse/XieN03
fatcat:hzziyobafrazzikggoe7bsxkuu
Tool-assisted unit-test generation and selection based on operational abstractions
2006
Automated Software Engineering : An International Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
These operational abstractions guide test generation tools to generate tests to violate them. The approach selects those generated tests violating operational abstractions for inspection. ...
In this paper, we present the operational violation approach for unit-test generation and selection, a black-box approach without requiring a priori specifications. ...
We thank Parasoft Co. for their assistance in our use of their Jtest tool. ...
doi:10.1007/s10851-006-8530-6
fatcat:4x466i7zz5bltglmexu6o5hf7a
Accessibility Analysis of Some Indian Educational Web Portals
2017
International Journal of Computer Science Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Accessibility of web portals largely depends on their userfriendliness in terms of design, contents, assistive features, and online support. ...
In this paper, we have critically analyzed the web portals of thirty Indian Universities of different categories based on the WCAG 2.0 guidelines. ...
Based on this data, we have calculated the percentage of accessibility violation done by web portals of selected categories with respect to different principles. ...
doi:10.5121/ijcsea.2017.7404
fatcat:skw7ikwnh5e7thbhkyd7xu4luq
Concurrent software testing in practice: a catalog of tools
2015
Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A systematic mapping was conducted so that studies on testing tools for concurrent programs could be identified. ...
testing, model based testing, data race and deadlock detection, deterministic testing and symbolic execution. ...
Comutation [31] uses selective mutation based on the mutation operators for concurrent Java programs. ...
doi:10.1145/2804322.2804328
dblp:conf/sigsoft/MeloSSS15
fatcat:2hr2k6h7yrhxrkktfdmf6pvxom
Accessibility Evaluation of COVID-19 Vaccine Registration Websites across the United States
2021
JAMIA Journal of the American Medical Informatics Association
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Based on our findings, we offered recommendations for states and other authorities to improve the accessibility of their websites to ensure that users with disabilities can independently schedule vaccination ...
We employed AChecker, WAVE, and SortSite web accessibility evaluation tools to conduct automated analyses of these websites. ...
Unlike AChecker, the WAVE tool found that Guideline 2.4 on navigability under the operable principle was mostly violated, with 29.78% errors identified. ...
doi:10.1093/jamia/ocab105
pmid:33993310
fatcat:cbh37st5cvhwlbfhnd3fdyqkaa
Effectiveness of Web Accessibility Policy Implementation in Online Healthcare Information
2020
Studies in Health Technology and Informatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Statistical analysis using descriptive and Mann-Whitney analysis to measure the impact of the WCAG 2.0 showed a predominance of low violation occurrences in the UK with 40% from selected websites compared ...
Website evaluations were performed for ten websites found with this search by using the WCAG 2.0 measurement tool Axe. ...
The selected countries were chosen also based on the first author language capacity. ...
doi:10.3233/shti200334
pmid:32570553
fatcat:asgc6hf2wfcwbgaz362sapmvwa
SACAT: An instrumented vehicle for driver assistance and safety
2012
2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The paper covers firstly the description of the hardware architecture, and then describes some of the implemented functionalities such as driver assistance based on traffic signs detection and recognition ...
The experimental platform is based on the use of an on-board computer vision system to capture the traffic signs, and on a multiple of electronic components to capture the vehicle state and identify drivers ...
Research on driver assistance and safety requires the use of an instrumented vehicle test-bed able to capture the vehicle surround and state. ...
doi:10.1109/icves.2012.6294310
dblp:conf/icves/AlianeFBMD12
fatcat:poyplike4zbhbd7fys3enuiiqy
Safety critical software ground rules
2018
International Journal of Engineering & Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
systems and it must be addressed completely in order to operate safety critical software successfully. ...
Safety critical software development field is one of the active research areas in many industries like automotive, medical, railways, nuclear and aerospace are placing increased value on safety and reliability ...
Gonzhu Hu for their assistance in helping with the literature review and the proofreading. ...
doi:10.14419/ijet.v7i2.28.13209
fatcat:7m2tmab4rbanzofdzdjigxtixa
A Performance Contract System in a Grid Enabling, Component Based Programming Environment
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
One of these requirements is the ability to sustain a predictable performance in front to the fluctuations related to the dynamic nature of a grid. ...
manages the computational kernel of a grid application with the aim to face such aspect of the grid computing, as well as the strategies and the experiences to integrate it in a gridenabling component-based ...
The ASSIST programming model is based on a combination of the concepts of structured parallel programming and component-based programming. ...
doi:10.1007/11508380_100
fatcat:iit7bxqqnngrbkjh7mewpoq6x4
Analysis of Free Browser-based Accessibility Tools: WCAG 2.1 Evaluation of Mississippi Gulf Coast Public Library Websites
2021
SLIS Connecting
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This webometrics study compared free browser-based accessibility tools and determine the WCAG2.1 compliance levels of Mississippi Gulf Coast public library websites based on homepage analysis through free ...
browser-based accessibility tools—ARC Toolkit, Lighthouse, Accessibility Insights for the Web, and Axe Accessibility. ...
Tested Criteria per Tool based on All Reports ARC Toolkit tested sixteen success criteria with seventy-five percent on Level A and the remaining on Level AA (see ARC in Table 1 ). ...
doi:10.18785/slis.1002.10
fatcat:zm3b37q4izh53gtgz36comdqki
WORKFORCE INFORMATION DATABASE SYSTEM TO SUPPORT PRODUCTION PLANNING IN CONSTRUCTION PROJECTS
2012
Journal of Civil Engineering and Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Information on the capacity of available workforce is important in production planning because a production unit's quantitative and qualitative capacities need to match its assigned loads. ...
Contractors can then select workers based on the exact information. ...
Then, they select a team within the subcontractor and search the name of a worker, specifically selecting the one who violated a safety policy. ...
doi:10.3846/13923730.2012.725675
fatcat:tgviciye7rgr3iqubssqcdcg5e
Editorial: Special Section on Harnessing Flexible Transmission Assets for Power System Optimization
2017
IEEE Transactions on Power Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This special section of the IEEE TRANSACTIONS ON POWER SYSTEMS is focused on software development, modeling, and algorithms that address practical challenges on real-world test cases in order to achieve ...
While HVDC, flexible AC transmission systems, and transmission switching are utilized today, their capabilities have been incorporated into existing operations decision support tools, such as energy management ...
system that does not violate operating limits. ...
doi:10.1109/tpwrs.2017.2659238
fatcat:ahxdbqtnvjdrfc2k3z6zyyswie
Concurrent Bug Detection Using Invariant Analysis
2018
International Journal of Engineering & Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Invariant based testing technique is one approach of static analysis used for detecting the concurrent bugs. ...
In this paper, we discuss an invariant based testing approach using three steps: (i) the invariants of a given concurrent program are generated using Daikon tool. ...
Filtering the failure Invariants Using Daikon tool we are able to find out invariants from unit testing and integration testing. ...
doi:10.14419/ijet.v7i3.4.14666
fatcat:rg3qlcvsqzemfdlvfdbgiwtg3y
Dead or Alive
2009
Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This is especially true for the Linux operating system, which provides a specialized tool called Kconfig for users to customize kernels from an impressive amount of selectable features. ...
Variability management in operating systems is an errorprone and tedious task. ...
These issues are very hard to test and review; our framework can assist here with visualizing and verifying the additional variation points. ...
doi:10.1145/1629716.1629732
dblp:conf/models/TartlerSSL09
fatcat:4yzsvzfsxfaudowp7f6iazkgr4
A 1.3GHz fifth generation SPARC64 microprocessor
2003
Proceedings of the 40th conference on Design automation - DAC '03
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The error detection and recovery mechanism is implemented for execution units and data path logic circuits in addition to on-chip arrays to detect and recover from data logic error. ...
This processor is developed by using mostly in-house CAD tools. ...
All clock delays are back annotated based on parasitic extraction and the CAD tool reports set-up and hold violations. ...
doi:10.1145/775832.776010
dblp:conf/dac/AndoYISAMMMOYSKYS03
fatcat:c64p7iklczasng7b4ews6slzza
« Previous
Showing results 1 — 15 out of 95,884 results