Filters








95,884 Hits in 5.6 sec

Tool-assisted unit test selection based on operational violations

Tao Xie, D. Notkin
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.  
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

Tao Xie, David Notkin
2006 Automated Software Engineering : An International Journal  
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

Manas Ranjan Patra, Amar Ranjan Dash
2017 International Journal of Computer Science Engineering and Applications  
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

Silvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, Paulo S. L. Souza
2015 Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation - A-TEST 2015  
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

Sarah Alismail, Wallace Chipidza
2021 JAMIA Journal of the American Medical Informatics Association  
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

Muzawir Arief, Sari Rissanen, Kaija Saranto
2020 Studies in Health Technology and Informatics  
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

Nourdine Aliane, Javier Fernandez, Sergio Bemposta, Mario Mata, Ramiro Diez
2012 2012 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2012)  
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

Krishna Chaya Addagarrala, Patrick Kinnicutt
2018 International Journal of Engineering & Technology  
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]

Pasquale Caruso, Giuliano Laccetti, Marco Lapegna
2005 Lecture Notes in Computer Science  
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

Jessica Dawn Brown
2021 SLIS Connecting  
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

Sang-Chul Kim, Yong-Woo Kim
2012 Journal of Civil Engineering and Management  
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

Kory W. Hedman, Patrick Panciatici
2017 IEEE Transactions on Power Systems  
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

Bidush Kumar Sahoo, Mitrabinda Ray
2018 International Journal of Engineering & Technology  
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

Reinhard Tartler, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann
2009 Proceedings of the First International Workshop on Feature-Oriented Software Development - FOSD '09  
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

Hisashige Ando, Hideo Yamashita, Yoshihiko Satsukawa, Akihiko Konmoto, Ryouichi Yamashita, Hiroyuki Sugiyama, Yuuji Yoshida, Aiichiro Inoue, Itsumi Sugiyama, Takeo Asakawa, Kuniki Morita, Toshiyuki Muta (+2 others)
2003 Proceedings of the 40th conference on Design automation - DAC '03  
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