( 5 ) Program dependence based partial order reduction techniques to enable efficient and accurate state space exploration in both static and dynamic mode . In an attempt to simplify the approaches , they have been based on the basic concepts/ideas of the affected techniques ( e.g. program slicing is a rooted transitive closure of dependence relation ) . As trace-based reasoning is well suited for concurrent systems , an attempt has been made to explore trace-based reasoning wherever possible . This article surveys previous work on program slicing-based techniques . For each technique , we describe its features , its main applications , and a common example of slicing using such a technique . To solve the problem that most existing approaches find Web injection vulnerabilities only focusing on filter-based validations while ignoring check-based validations , a taint-driven slicing approach is proposed . This approach , specifying program slicing process by taint analysis , extracts both filter-based validations and check-based validations in programs . And by evaluating the ability of these validations on hierarchical string analysis in attacker 's view , Web injection vulnerabilities are detected more precisely . It can reduce the amount of testing work and further improve the efficiency of testing . Programming slicing is a way to analyze and decompose system code . In the paper , the category of the property is given and the primitive property is informal defined . In order to implement an e-learning system we have to consider several factors , and to evaluate and compare different approaches and techniques during all the software engineering process . So , to implement an e-learning system we have first started to analyze several e-learning current approaches both systems and tools in order to identify strong points and weaknesses . Humans are what constitutes the most complex and complicated , yet fascinating , component of a software engineering endeavor . A meaningful and deep understanding of the human aspects of software engineering requires psychological constructs to be taken into account . In recent years there has been a growing interest in applying metaheuristic search algorithms in model-checking . On the other hand , model checking has been used far less in other software engineering activities , such as model design and software testing . In this paper we propose an automated model design strategy , by integrating genetic algorithms ( used for model generation ) with model checking ( used to evaluate the fitness , which takes into account the satisfied/unsatisfied specifications ) . Analytical Open Innovation ( AOI ) is the integration of Open Innovation with ( a portfolio of ) analytical methods which could be used in different problems of a semi-wicked nature such as planning and design . This chapter studies the usage of AOI in the context of release planning ( RP ) . The respective approach called “ AOI@RP ” is taking advantage of gathering and generating data and relating data into well-defined aspects of the problem and combining analytical methods to address the solution . It is critical but challenging to select the requirements from a large number of candidates for the achievement of overall busi- ness goal and the goals of multiple stakeholders , each of whom may have competing and often conflicting priorities . This thesis argues that search-based techniques can be applied to the optimisation problem during the requirements selection and analysis phase for release planning problem . Search-based techniques offer significant advantages ; they can be used to seek robust , scalable solutions , to investigate trade-offs , to yield insight and to provide feedback explaining choices to the decision maker . This framework is generic and applicable to many other DSSs . Second , as a proof-of-concept , the applications of RSA and DNA techniques are demonstrated through a case study of mining patterns from input-output pairs of ReleasePlanner(TM ) , a specific DSS for product release planning . Our evaluation indicates that the explanations generated by RSA and DNA improve the overall user acceptance of results provided by this specific DSS . Release planning activity is one of the important issues that project managers are always concerned about , because generation of a good quality release guaranties success of a product . PARSEQ method is aimed to improve release planning decisions that are made in previous releases and it is based on retrospective analysis as a way to look back at the events taken place . rdia thus involves a transition from requirements to software entities or to a representative model of the implemented system . rdia is performed during the release-planning phase . Input is a set of requirements and the existing system . RDIA thus involves a transition from requirements to software entities or to a representative model of the implemented system . RDIA is performed during the release planning phase . Input is a set of requirements and the existing system . Software product management ( SPM ) as a discipline includes many practices like product and release planning , market analysis , roadmapping , and product lifecycle management . Product management frameworks prescribe these practices but companies seldom adopt all of them . ABSTRACT The priority of requirement is important because the priority is a critical activity of release plan especially in software development which has an open market customer . Also , it is important for stakeholders to select a method and aspects to prioritize requirements . The experimental result shows that 107 requirements inconsistency are founded in requirements validations . Overall , the result is satisfiable , and the enhanced RM2PT can be further applied to the software industry for requirements validation . The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA The Dilbert Solution 0:58:55 Modern Requirements Capture 1:05:48 Requirements Validation 1:15:19 Requirements Validation Techniques 1:17:40 RE Benefit 1:19:45 RE Cost 1:25:06 Conclusion Evidence shows that faults still escape to customers incurring large warranty costs . Existing test methods can be ineffective in testing robustness with the primary focus being on requirements validation . Evidence from other industries such as IT and medical suggests faults that are difficult to find , manifest due to complex interactions and sequences of events . Why the benefits of having the requirements validation activities during the RE process ? Who are the stakeholders involved in the requirements validation process ? Where applied the validation in the RE process ? This often results in greater resources being used , which results in greater cost of acquisition . However , by tailoring the requirements validation process during the systems engineering and detailed design efforts to produce reusable models of the system software , these models can then be reused to increase the level of automation in the scenario planning , execution , and analysis during Test and Evaluation ( T&E ) . We present our method of reusing engineering models to provide increased analysis coverage during system verification . Various requirements validation techniques have been used to evaluate the correctness and quality of requirements , but most of these techniques are tedious , expensive and time consuming . Accordingly , most project members are reluctant to invest their time and efforts in the requirements validation process . Moreover , automated tool supports that promote effective collaboration between the client-stakeholders and the engineers are still lacking . Requirements engineering is also described in general and RE processes introduced to provide background information about RE and help to understand the method descriptions . The main processes of RE as seen in this publication include : System requirements development , requirements allocation and flowdown , software requirements analysis and specification and continuous processes including requirements documentation , requirements validation and verification and requirements change management . Requirements Management ( RM ) activities are understood to begin before actual requirements engineering process phases ( RM planning ) and continuing during design , implementation , testing and maintenance phases . Non-functional requirements were found to be the most researched emerging area . The empirical work in the sub-area of requirements validation and verification is little and has a decreasing trend . The majority of the studies ( 50 % ) used a case study research method followed by experiments ( 28 % ) , whereas the experience reports are few ( 6 % ) . ContextThe role of formal specification in requirements validation and analysis is generally considered to be limited because considerable expertise is required in developing and understanding the mathematical proofs . However , formal semantics of a language can provide a basis for step-by-step execution of requirements specification by building an easy to use simulator to assist in requirements elicitation , validation and analysis . In large software-intensive systems , validation of requirements and verification of system performance are often performed completely independently by separate groups at great expense . However , by producing products at the requirements validation phase of development that can be reused during system performance verification , the costs can be greatly reduced and the verification can be increasingly automated with an improvement in quality . We present our model and simulation approach to requirements validation that produces data analysis tools that are then reused in automating system . This paper introduces the inference validity problem , a software-engineering concern that manifests in and complicates the pre-trial process of discovery in litigation . The problem is related to the requirements validation problem in traditional software engineering , but with stricter constraints on stakeholder communication and potentially severe liability risks on the part of software engineers who are retained as expert witnesses . We propose an approach , based on the use of formal methods and traceability , to enable software engineers to avoid this problem , thereby increasing the quality of written opinions while mitigating the risk of liability . Abstract —Test scenarios can be derived based on some system models for requirements validation purposes . Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria . With the correct sets of requirements , producing a highly desired system is possible . However , due to time constraint , requirements validation steps are commonly ignored by developer . The objectives of this research are to identify the major factors in validating user requirements , development of a reverse engineered meta-requirement algorithm and validating with expert panel in requirements engineering of the algorithm usefulness . The primary success of a framework depends on the purpose and the projected area in discovering for Requirements Engineering ( RE ) . The process in requirement engineering consists of five distinct phases that are requirement elicitation , requirement analysis & negotiation , requirement documentation , requirements verification & validation and requirements management . Requirement Engineering has many distinct proposed solutions for the difficulties inherited and framework suggests possible ways to identify the solutions . On the other hand , there are tools to model the project itself such as project management tools , bug trackers , or tools to model the organizational structure . In typical software engineering projects , the artifacts managed using these two types of tools are not integrated with each other . This makes traceability , e.g. from a task to the according part of the specification , rather difficult . The popularity of microblogging among programmers , software engineers , and software users has also led to their use of microblogs to communicate software engineering issues apart from using emails and other traditional communication channels . Understanding how millions of users use microblogs in software engineering related activities would shed light on ways we could leverage the fast evolving microblogging content to aid software development efforts . In this work , we perform a preliminary study on what the software engineering community microblogs about . Recommender systems have been used to improve software requirements engineering activities . This paper reviews literature on recommender systems for requirements engineering research since 2012 . Productivity measurement is constructed by the measure of tree categories of elements : inputs , outputs and factors . This concept , which started being used in the manufacturing industry , has been also a research topic within Software Engineering SE . In this area , the most used inputs are time and effort and the most used outputs are source code and functionality . Despite growing interest of Open Innovation ( OI ) in Software Engineering ( SE ) , little is known about what triggers software organizations to adopt it and how this affects SE practices . OI can be realized in numerous of ways , including Open Source Software ( OSS ) involvement . We present the vision that for all fields of software engineering ( SE ) , empirical research methods should enable the development of scientific knowledge about how useful different SE technologies are for different kinds of actors , performing different kinds of activities , on different kinds of systems . It is part of the vision that such scientific knowledge will guide the development of new SE technology and is a major input to important SE decisions in industry . This study , using both quantitative and qualitative methods , investigates current practice of Knowledge Management ( KM ) in Software Engineering ( SE ) processes in two Australian companies on the basis that they both claimed to apply KM practices in their software development work . It also describes the KM activities and KM process used in SE practice , and examines the enablers of KM process for SE in terms of leadership , technology , culture , process and measurement . This work presents various approaches SVM feature selection developped using new tools such as entropy measurement and K-medoid clustering . The work focuses on the use of one-class SVM 's for wafer testing , with a numerical implementation in R. The automatic conveying system is characterized in that the end part of the conveying manipulator is of an O-shaped structure , wherein the wafer boxes are symmetrically arranged about the rotary center of the rotary table . Compared with the conventional automatic conveying system for wafer testing , the automatic conveying system has the characteristics of low probability of deformation , no need of stop to replace the wafer boxes and high working efficiency of the testing system in the wafer conveying process . In addition , the maximum switching activity under functional broadside tests can be used as an upper bound on the switching activity that can be allowed for other types of tests . Tests with low switching activity may be preferred during wafer testing . Motivated by these applications , we study the range of switching activity possible for the functional broadside tests that detect a target fault , considering transition faults . Accelerated durability testing of polybenzimidazole (PBI)-based polymer electrolyte membrane fuel cells ( PEMFC ) was performed using test protocols designed to simulate real life operating conditions . The membrane electrode assemblies were fabricated using a novel ultrasonic sealing method , that reduces process cycle times by 98 % . Data from six different 4 mm silvered-glass manufacturers is presented , covering nearly the entire market of commercially available silvered-glass mirrors , and going way beyond the recommended testing times of the UNE standard . The data may be used to benchmark initial reflective properties ( before aging ) and the performance during accelerated durability testing . In addition , recommendations for improvements of the standard are given and an estimate of the acceleration factor of the Copper Accelerate Salt Spray ( CASS ) test with respect to a highly corrosive outdoor environment is presented . The book also addresses testing for small-delay defects ( SDDs ) , which can cause immediate timing failures on both critical and non-critical paths in the circuit . Overviews semiconductor industry test challenges and the need for SDD testing , including basic concepts and introductory material Describes algorithmic solutions incorporated in commercial tools from Mentor Graphics Reviews SDD testing based on " alternative methods " that explores new metrics , top-off ATPG , and circuit topology-based solutions Highlights the advantages and disadvantages of a diverse set of metrics , and identifies scope for improvement Written from the triple viewpoint of university researchers , EDA tool developers , and chip designers and tool users , this book is the first of its kind to address all aspects of SDD testing from such a diverse perspective . The book is designed as a one-stop reference for current industrial practices , research challenges in the domain of SDD testing , and recent developments in SDD solutions . Prebond testing of through-silicon-vias ( TSVs ) and die logic is a significant challenge and a potential roadblock for 3-D integration . Built-in self-test solutions introduce considerable die area overhead . This is based on finite state machines ( FSM ) . Second , it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification . Third , it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components . This is based on a coalgebraic definition of components , which is a categorical representation allowing the unification of a large family of formalisms for specifying state-based systems . Second , it studies compositional conformance testing i.e. checking whether an implementation made of correct interacting components combined with integration operators conforms to its specification . responses to another measurement instrument , along with scores from 10 additional DHH participants responding to the original English SUS , we verified the criterion validity and internal reliability of the new " ASL-SUS . " We are disseminating the translated instrument to promote the inclusion of DHH users in HCI research studies or in usability testing of consumer products . An Approach for Sampling in Usability Testing of Consumer Products . As digital technology flourished , modes of interaction pertaining to computer systems started to be utilized in consumer products . The xPC-Target is tightly integrated into the MATLAB ® /Simulink ® environment and allows Simulink ® models to be compiled into executable code and run on a proprietary real-time operating system . It is a solution for rapid prototyping , hardware-in-the-loop testing of control systems , and deploying real-time systems using standard PC hardware such as Athena II . Using standard PC hardware and off-the-shelf l/O boards , xPC-Target turns a standard PC into a real-time rapid prototyping Target . Using a special bounding on a uniform prior over the population means , a simple Bayesian hypothesis test is derived that does not require computationally expensive numerical integration of the posterior distribution . The minimum message length procedure is then compared against well-known methods on the Behrens – Fisher hypothesis testing problem and the estimation of the common mean problem showing excellent performance in both cases . Extensions to the generalised Behrens – Fisher problem and the multivariate Behrens – Fisher problem are also discussed . A new kind of replay technology for eddy testing signal , the method to implement this technology , the characteristics and the results are introduced . This technology also supplies a new analysis way for improving the reliability of eddy testing . The rapid and growing diffusion of Rich Internet Applications ( RIAs ) with their enhanced interactivity , responsiveness and dynamicity is sharpening the distance between Web applications and desktop applications , making the Web experience more and more appealing and user-friendly . This paper presents a technique for testing RIAs that generates test cases from application execution traces , and obtains more scalable test suites thanks to testing reduction techniques . Execution traces provide a fast and cheap way for generating test cases and can be obtained either from user sessions , or by crawling the application or by combining both approaches . Hence , it is very convenient to implement position - sensitive average pooling on most of the popular deep neural network frameworks . subsection : Multi - Scale Training and Testing Inspired by , we perform multi - scale training and testing strategy to improve performance . Deep - networks - based approaches have recently been substantially improving upon the state of the art in image classification , object detection , many other recognition tasks , and even non - recognition tasks . However , there is a technical issue in the training and testing of the CNNs : the prevalent CNNs require a fixed input image size ( , 224 224 ) , which limits both the aspect ratio and the scale of the input image . When applied to images of arbitrary sizes , current methods mostly fit the input image to the fixed size , either via cropping or via warping , as shown in Figure [ reference ] ( top ) . A full - image representation can be preferred . subsubsection : Multi - view Testing on Feature Maps Inspired by our detection algorithm ( described in the next section ) , we further propose a multi - view testing method on the feature maps . Although the fact that results improve with larger training sets is not surprising , the percentage improvement obtained using pre - trained encoder network and this training set indicates that this architecture can potentially be deployed for practical applications . Our random testing on urban and highway images from the internet ( see Fig . [ reference ] ) demonstrates that SegNet can absorb a large training set and generalize well to unseen images .
( 5 ) Program dependence based partial order reduction techniques to enable efficient and accurate state space exploration in both static and dynamic mode . In an attempt to simplify the approaches , they have been based on the basic concepts/ideas of the affected techniques ( e.g. program slicing is a rooted transitive closure of dependence relation ) . As trace-based reasoning is well suited for concurrent systems , an attempt has been made to explore trace-based reasoning wherever possible .
This article surveys previous work on program slicing-based techniques . For each technique , we describe its features , its main applications , and a common example of slicing using such a technique .
To solve the problem that most existing approaches find Web injection vulnerabilities only focusing on filter-based validations while ignoring check-based validations , a taint-driven slicing approach is proposed . This approach , specifying program slicing process by taint analysis , extracts both filter-based validations and check-based validations in programs . And by evaluating the ability of these validations on hierarchical string analysis in attacker 's view , Web injection vulnerabilities are detected more precisely .
It can reduce the amount of testing work and further improve the efficiency of testing . Programming slicing is a way to analyze and decompose system code . In the paper , the category of the property is given and the primitive property is informal defined .
In order to implement an e-learning system we have to consider several factors , and to evaluate and compare different approaches and techniques during all the software engineering process . So , to implement an e-learning system we have first started to analyze several e-learning current approaches both systems and tools in order to identify strong points and weaknesses .
Humans are what constitutes the most complex and complicated , yet fascinating , component of a software engineering endeavor . A meaningful and deep understanding of the human aspects of software engineering requires psychological constructs to be taken into account .
In recent years there has been a growing interest in applying metaheuristic search algorithms in model-checking . On the other hand , model checking has been used far less in other software engineering activities , such as model design and software testing . In this paper we propose an automated model design strategy , by integrating genetic algorithms ( used for model generation ) with model checking ( used to evaluate the fitness , which takes into account the satisfied/unsatisfied specifications ) .
Analytical Open Innovation ( AOI ) is the integration of Open Innovation with ( a portfolio of ) analytical methods which could be used in different problems of a semi-wicked nature such as planning and design . This chapter studies the usage of AOI in the context of release planning ( RP ) . The respective approach called “ AOI@RP ” is taking advantage of gathering and generating data and relating data into well-defined aspects of the problem and combining analytical methods to address the solution .
It is critical but challenging to select the requirements from a large number of candidates for the achievement of overall busi- ness goal and the goals of multiple stakeholders , each of whom may have competing and often conflicting priorities . This thesis argues that search-based techniques can be applied to the optimisation problem during the requirements selection and analysis phase for release planning problem . Search-based techniques offer significant advantages ; they can be used to seek robust , scalable solutions , to investigate trade-offs , to yield insight and to provide feedback explaining choices to the decision maker .
This framework is generic and applicable to many other DSSs . Second , as a proof-of-concept , the applications of RSA and DNA techniques are demonstrated through a case study of mining patterns from input-output pairs of ReleasePlanner(TM ) , a specific DSS for product release planning . Our evaluation indicates that the explanations generated by RSA and DNA improve the overall user acceptance of results provided by this specific DSS .
Release planning activity is one of the important issues that project managers are always concerned about , because generation of a good quality release guaranties success of a product . PARSEQ method is aimed to improve release planning decisions that are made in previous releases and it is based on retrospective analysis as a way to look back at the events taken place .
rdia thus involves a transition from requirements to software entities or to a representative model of the implemented system . rdia is performed during the release-planning phase . Input is a set of requirements and the existing system .
RDIA thus involves a transition from requirements to software entities or to a representative model of the implemented system . RDIA is performed during the release planning phase . Input is a set of requirements and the existing system .
Software product management ( SPM ) as a discipline includes many practices like product and release planning , market analysis , roadmapping , and product lifecycle management . Product management frameworks prescribe these practices but companies seldom adopt all of them .
ABSTRACT The priority of requirement is important because the priority is a critical activity of release plan especially in software development which has an open market customer . Also , it is important for stakeholders to select a method and aspects to prioritize requirements .
The experimental result shows that 107 requirements inconsistency are founded in requirements validations . Overall , the result is satisfiable , and the enhanced RM2PT can be further applied to the software industry for requirements validation . The tool can be downloaded at http://rm2pt.mydreamy.net and a demo video casting its features is at https://youtu.be/Y7GNa57WGfA
The Dilbert Solution 0:58:55 Modern Requirements Capture 1:05:48 Requirements Validation 1:15:19 Requirements Validation Techniques 1:17:40 RE Benefit 1:19:45 RE Cost 1:25:06 Conclusion
Evidence shows that faults still escape to customers incurring large warranty costs . Existing test methods can be ineffective in testing robustness with the primary focus being on requirements validation . Evidence from other industries such as IT and medical suggests faults that are difficult to find , manifest due to complex interactions and sequences of events .
Why the benefits of having the requirements validation activities during the RE process ? Who are the stakeholders involved in the requirements validation process ? Where applied the validation in the RE process ?
This often results in greater resources being used , which results in greater cost of acquisition . However , by tailoring the requirements validation process during the systems engineering and detailed design efforts to produce reusable models of the system software , these models can then be reused to increase the level of automation in the scenario planning , execution , and analysis during Test and Evaluation ( T&E ) . We present our method of reusing engineering models to provide increased analysis coverage during system verification .
Various requirements validation techniques have been used to evaluate the correctness and quality of requirements , but most of these techniques are tedious , expensive and time consuming . Accordingly , most project members are reluctant to invest their time and efforts in the requirements validation process . Moreover , automated tool supports that promote effective collaboration between the client-stakeholders and the engineers are still lacking .
Requirements engineering is also described in general and RE processes introduced to provide background information about RE and help to understand the method descriptions . The main processes of RE as seen in this publication include : System requirements development , requirements allocation and flowdown , software requirements analysis and specification and continuous processes including requirements documentation , requirements validation and verification and requirements change management . Requirements Management ( RM ) activities are understood to begin before actual requirements engineering process phases ( RM planning ) and continuing during design , implementation , testing and maintenance phases .
Non-functional requirements were found to be the most researched emerging area . The empirical work in the sub-area of requirements validation and verification is little and has a decreasing trend . The majority of the studies ( 50 % ) used a case study research method followed by experiments ( 28 % ) , whereas the experience reports are few ( 6 % ) .
ContextThe role of formal specification in requirements validation and analysis is generally considered to be limited because considerable expertise is required in developing and understanding the mathematical proofs . However , formal semantics of a language can provide a basis for step-by-step execution of requirements specification by building an easy to use simulator to assist in requirements elicitation , validation and analysis .
In large software-intensive systems , validation of requirements and verification of system performance are often performed completely independently by separate groups at great expense . However , by producing products at the requirements validation phase of development that can be reused during system performance verification , the costs can be greatly reduced and the verification can be increasingly automated with an improvement in quality . We present our model and simulation approach to requirements validation that produces data analysis tools that are then reused in automating system .
This paper introduces the inference validity problem , a software-engineering concern that manifests in and complicates the pre-trial process of discovery in litigation . The problem is related to the requirements validation problem in traditional software engineering , but with stricter constraints on stakeholder communication and potentially severe liability risks on the part of software engineers who are retained as expert witnesses . We propose an approach , based on the use of formal methods and traceability , to enable software engineers to avoid this problem , thereby increasing the quality of written opinions while mitigating the risk of liability .
Abstract —Test scenarios can be derived based on some system models for requirements validation purposes . Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria .
With the correct sets of requirements , producing a highly desired system is possible . However , due to time constraint , requirements validation steps are commonly ignored by developer . The objectives of this research are to identify the major factors in validating user requirements , development of a reverse engineered meta-requirement algorithm and validating with expert panel in requirements engineering of the algorithm usefulness .
The primary success of a framework depends on the purpose and the projected area in discovering for Requirements Engineering ( RE ) . The process in requirement engineering consists of five distinct phases that are requirement elicitation , requirement analysis & negotiation , requirement documentation , requirements verification & validation and requirements management . Requirement Engineering has many distinct proposed solutions for the difficulties inherited and framework suggests possible ways to identify the solutions .
On the other hand , there are tools to model the project itself such as project management tools , bug trackers , or tools to model the organizational structure . In typical software engineering projects , the artifacts managed using these two types of tools are not integrated with each other . This makes traceability , e.g. from a task to the according part of the specification , rather difficult .
The popularity of microblogging among programmers , software engineers , and software users has also led to their use of microblogs to communicate software engineering issues apart from using emails and other traditional communication channels . Understanding how millions of users use microblogs in software engineering related activities would shed light on ways we could leverage the fast evolving microblogging content to aid software development efforts . In this work , we perform a preliminary study on what the software engineering community microblogs about .
Recommender systems have been used to improve software requirements engineering activities . This paper reviews literature on recommender systems for requirements engineering research since 2012 .
Productivity measurement is constructed by the measure of tree categories of elements : inputs , outputs and factors . This concept , which started being used in the manufacturing industry , has been also a research topic within Software Engineering SE . In this area , the most used inputs are time and effort and the most used outputs are source code and functionality .
Despite growing interest of Open Innovation ( OI ) in Software Engineering ( SE ) , little is known about what triggers software organizations to adopt it and how this affects SE practices . OI can be realized in numerous of ways , including Open Source Software ( OSS ) involvement .
We present the vision that for all fields of software engineering ( SE ) , empirical research methods should enable the development of scientific knowledge about how useful different SE technologies are for different kinds of actors , performing different kinds of activities , on different kinds of systems . It is part of the vision that such scientific knowledge will guide the development of new SE technology and is a major input to important SE decisions in industry .
This study , using both quantitative and qualitative methods , investigates current practice of Knowledge Management ( KM ) in Software Engineering ( SE ) processes in two Australian companies on the basis that they both claimed to apply KM practices in their software development work . It also describes the KM activities and KM process used in SE practice , and examines the enablers of KM process for SE in terms of leadership , technology , culture , process and measurement .
This work presents various approaches SVM feature selection developped using new tools such as entropy measurement and K-medoid clustering . The work focuses on the use of one-class SVM 's for wafer testing , with a numerical implementation in R.
The automatic conveying system is characterized in that the end part of the conveying manipulator is of an O-shaped structure , wherein the wafer boxes are symmetrically arranged about the rotary center of the rotary table . Compared with the conventional automatic conveying system for wafer testing , the automatic conveying system has the characteristics of low probability of deformation , no need of stop to replace the wafer boxes and high working efficiency of the testing system in the wafer conveying process .
In addition , the maximum switching activity under functional broadside tests can be used as an upper bound on the switching activity that can be allowed for other types of tests . Tests with low switching activity may be preferred during wafer testing . Motivated by these applications , we study the range of switching activity possible for the functional broadside tests that detect a target fault , considering transition faults .
Accelerated durability testing of polybenzimidazole (PBI)-based polymer electrolyte membrane fuel cells ( PEMFC ) was performed using test protocols designed to simulate real life operating conditions . The membrane electrode assemblies were fabricated using a novel ultrasonic sealing method , that reduces process cycle times by 98 % .
Data from six different 4 mm silvered-glass manufacturers is presented , covering nearly the entire market of commercially available silvered-glass mirrors , and going way beyond the recommended testing times of the UNE standard . The data may be used to benchmark initial reflective properties ( before aging ) and the performance during accelerated durability testing . In addition , recommendations for improvements of the standard are given and an estimate of the acceleration factor of the Copper Accelerate Salt Spray ( CASS ) test with respect to a highly corrosive outdoor environment is presented .
The book also addresses testing for small-delay defects ( SDDs ) , which can cause immediate timing failures on both critical and non-critical paths in the circuit . Overviews semiconductor industry test challenges and the need for SDD testing , including basic concepts and introductory material Describes algorithmic solutions incorporated in commercial tools from Mentor Graphics Reviews SDD testing based on " alternative methods " that explores new metrics , top-off ATPG , and circuit topology-based solutions Highlights the advantages and disadvantages of a diverse set of metrics , and identifies scope for improvement Written from the triple viewpoint of university researchers , EDA tool developers , and chip designers and tool users , this book is the first of its kind to address all aspects of SDD testing from such a diverse perspective . The book is designed as a one-stop reference for current industrial practices , research challenges in the domain of SDD testing , and recent developments in SDD solutions .
Prebond testing of through-silicon-vias ( TSVs ) and die logic is a significant challenge and a potential roadblock for 3-D integration . Built-in self-test solutions introduce considerable die area overhead .
This is based on finite state machines ( FSM ) . Second , it studies compositional conformance testing i.e. checking whether an implementation made of conforming components combined with integration operators is conform to its specification . Third , it shows the correctness of the global system can be obtained by testing the components involved into it towards the projection of the global specification on the specifications of the components .
This is based on a coalgebraic definition of components , which is a categorical representation allowing the unification of a large family of formalisms for specifying state-based systems . Second , it studies compositional conformance testing i.e. checking whether an implementation made of correct interacting components combined with integration operators conforms to its specification .
responses to another measurement instrument , along with scores from 10 additional DHH participants responding to the original English SUS , we verified the criterion validity and internal reliability of the new " ASL-SUS . " We are disseminating the translated instrument to promote the inclusion of DHH users in HCI research studies or in usability testing of consumer products .
An Approach for Sampling in Usability Testing of Consumer Products . As digital technology flourished , modes of interaction pertaining to computer systems started to be utilized in consumer products .
The xPC-Target is tightly integrated into the MATLAB ® /Simulink ® environment and allows Simulink ® models to be compiled into executable code and run on a proprietary real-time operating system . It is a solution for rapid prototyping , hardware-in-the-loop testing of control systems , and deploying real-time systems using standard PC hardware such as Athena II . Using standard PC hardware and off-the-shelf l/O boards , xPC-Target turns a standard PC into a real-time rapid prototyping Target .
Using a special bounding on a uniform prior over the population means , a simple Bayesian hypothesis test is derived that does not require computationally expensive numerical integration of the posterior distribution . The minimum message length procedure is then compared against well-known methods on the Behrens – Fisher hypothesis testing problem and the estimation of the common mean problem showing excellent performance in both cases . Extensions to the generalised Behrens – Fisher problem and the multivariate Behrens – Fisher problem are also discussed .
A new kind of replay technology for eddy testing signal , the method to implement this technology , the characteristics and the results are introduced . This technology also supplies a new analysis way for improving the reliability of eddy testing .
The rapid and growing diffusion of Rich Internet Applications ( RIAs ) with their enhanced interactivity , responsiveness and dynamicity is sharpening the distance between Web applications and desktop applications , making the Web experience more and more appealing and user-friendly . This paper presents a technique for testing RIAs that generates test cases from application execution traces , and obtains more scalable test suites thanks to testing reduction techniques . Execution traces provide a fast and cheap way for generating test cases and can be obtained either from user sessions , or by crawling the application or by combining both approaches .
Hence , it is very convenient to implement position - sensitive average pooling on most of the popular deep neural network frameworks . subsection : Multi - Scale Training and Testing Inspired by , we perform multi - scale training and testing strategy to improve performance .
Deep - networks - based approaches have recently been substantially improving upon the state of the art in image classification , object detection , many other recognition tasks , and even non - recognition tasks . However , there is a technical issue in the training and testing of the CNNs : the prevalent CNNs require a fixed input image size ( , 224 224 ) , which limits both the aspect ratio and the scale of the input image . When applied to images of arbitrary sizes , current methods mostly fit the input image to the fixed size , either via cropping or via warping , as shown in Figure [ reference ] ( top ) .
A full - image representation can be preferred . subsubsection : Multi - view Testing on Feature Maps Inspired by our detection algorithm ( described in the next section ) , we further propose a multi - view testing method on the feature maps .
Although the fact that results improve with larger training sets is not surprising , the percentage improvement obtained using pre - trained encoder network and this training set indicates that this architecture can potentially be deployed for practical applications . Our random testing on urban and highway images from the internet ( see Fig . [ reference ] ) demonstrates that SegNet can absorb a large training set and generalize well to unseen images .
Scalable and accurate approaches for program dependence analysis, slicing, and verification of concurrent object oriented programs A vocabulary of program slicing-based techniques Improved approach to detecting Web injection vulnerabilities Test Sequence Generation from Combining Property Modeling and Program Slicing Software Engineering Analysis Process Applied on an e-Learning System Behavioral Software Engineering: Methodological Introduction to Psychometrics Automated Model Design Using Genetic Algorithms and Model Checking Analytical Product Release Planning Multi-Objective Search-based Requirements Selection and Optimisation Two machine-learning techniques for mining solutions of the ReleasePlanner™ decision support system Evaluation of release planning improvement activity in PARSEQ method Impact Analysis in Software Evolution An Empirical Study of Requirements-Driven Impact Analysis in Object-Oriented Software Evolution The Preliminary Results from the Software Product Management State-of-Practice Survey An Adjustable Process of Requirements Prioritizing for Release Plan RM2PT: Requirements Validation through Automatic Prototyping Softwaretechnik II, WS 2015/2016, gehalten am 09.11.2015, Vorlesung 06 Real-Time Sequence Testing of an Automotive Electric Machine Control Systems Challenge of validation in requirements engineering An approach toward reuse of engineering models in the automation of system verification Automatic Acceptance Test Case Generation From Essential Use Cases Requirements engineering Inventory of technologies Empirical research in requirements engineering: trends and opportunities Requirements simulation for early validation using Behavior Trees and Datalog A unified approach to requirements validation and system verification The inference validity problem in legal discovery Incremental Model-based Test Suite Reduction with Formal Concept Analysis Meta-requirement Method Towards Analyzing Completeness of Requirements Specification Review of Frameworks in Requirement Engineering (RE) Integrating System Modeling with Project Management - A Case Study What does software engineering community microblog about? Recommender Systems for Software Requirements Engineering: Current Research & Challenges Productivity Measurement in Software Engineering: A Study of the Inputs and the Outputs Open innovation using open source tools: a case study at Sony Mobile The Future of Empirical Methods in Software Engineering Research Investigating Knowledge Management practices in software development organisations - An Australian experience New methods for SVM feature selection Automatic conveying system for wafer testing Functional Broadside Tests with Minimum and Maximum Switching Activity Durability studies of PBI-based membrane elect rode assemblies for high temperature PEMFCs Acceptance criteria for accelerated aging testing of silvered-glass mirrors for concentrated solar power technologies Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits Scan Test of Die Logic in 3-D ICs Using TSV Probing Compositional Testing For FSM-Based Models A formal abstract framework for modelling and testing complex software systems Design and Psychometric Evaluation of an American Sign Language Translation of the System Usability Scale General Interaction Expertise: An Approach for Sampling in Usability Testing of Consumer Products xPC-Target embedded system design Minimum Message Length Analysis of the Behrens-Fisher Problem Research on Replay Technology of Eddy Testing Signal Rich Internet Application Testing Using Execution Trace Data Detecting Faces Using Region-based Fully Convolutional Networks Spatial Pyramid Pooling in Deep Convolutional Networks for Visual Recognition SegNet: A Deep Convolutional Encoder-Decoder Architecture for Image Segmentation
61ca854df3d5236756db93de37d57e5f26103ee2 e5b7740d7ca905ea30636c8910ec3096577073a4 825c43b9bc285412ff9a33bb388fe88592a9193b 295d81688976003c90d7b0ff28502b97ba6855fd f07910c5d86cc30b60730b6c2d08e1ac47df52d6 70d7e7f52ea1a37688336b74d2e85a639d5d78d7 93c9064f9672eb43772d298de2651a7221f8d2ba 4a0d96b8dfe0641dad3c07fc1b8dcb61789c46f1 3beafa3b82f94df95a9cd30a77bc7c257d85a85a 965fe461e4e2bdeff76ad5078799ffc886c8342f 73e7d65eb3f00cc20b46bcc85d9ec88732053e09 d53089dc4f8018ca16bc306d23f0cda0a117ff0e 6783f8d4020e7e263bf5616c263aa80f5e89b66f 7d9b1f8730e9e894012a5301864737c43610c45b 05703805c35c6ee3c64551802bca15b6e53a31fa cec34800e8145dc46c8c33342c3320caa40e3ca8 b1c126550990af82b456bd6cb1668de9ec6e94f9 a17bffd52795f3efaf745693f930d8382edf2a37 21801b6f32133435883f5f5131be3b42e5d99ea0 4b9a8b0196f630ecb40dc7b56d4c45362d620664 a22a27a5c5ef7e31b8c5c798e68e68365a2a2cb6 08c3ba2605116b8ec10ebfdbf1daba779b7b58fe b5c490538d4fbecd5b60b1d6730807d543d14730 581e6a3ace920a22226d2fb6f8db6f8c1754a5f5 3055902d105491c586e950fe0bde1ffbe839a707 5a881cd7756dad5fd199418e4034bc7a5dd94695 3b16bbaa58f7d8e70a6b3be78f57b61934c2b43f 8d27857bda59734dff63e6fe594206484003c4b9 cf90e5c6a7a16444264eeeec8007b9d882f6690c ac8790195317025faa742c460551a3b6c8047e4b 3ee932d94d2c0df593e1ca692cdbf659863646b1 171d2f51051f177ff3e8b188bdc2b5197dae4e5d aa69efa3209496fd6482794b2d79441d8a61a573 1cb2aa3cf21bfd5639cd9a0d4fb8f4de36755b4d 2d69014c0d601c202f0c33dde2f646e8f31183c5 97a17753855215ecb93fa3228073ad91d59de021 f2c8322cc8d2f37a666f12ee252ffd27622a68f9 f0c0938dcb6722a17965bfa645cd27b5b304d55c 2a1768932558564ada1fea1fcc1de2b4bccfbb80 096fb5dd30d166bdd0f1f92d23bf00ed2d6a9aa5 6ff30aec8196510717da7a42cce0c0a66418f53f 18fed3ced7bc594e45695d7fbd4fbd0e57ce6c88 6734f563d1e9636f825e5c832eedcb6d75ce6fcc 6275412dbd5d3a9105ca588c87d3cc0db8891aa4 2ae70701b7d9020c0472f9d5ea4fc20a1012b79c f45632bee2af14186ee7d11b5a34ed06ed3f7543 c1386ba00ea04614ca5245be0f1793a183fcd705 341e0cd25b819f59079fc9f191d17627ba140a72 67f2faf7444f26fe4234911543d74e816748fa4d 85bb913f5a92838c6fdaa9eb6ce5707c2ed65865 e0ec5f174c48739466f6d3e92ff08ae4984c5a37
["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science","Engineering"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science","Engineering"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Computer Science","Mathematics"] ["Computer Science"] ["Engineering","Computer Science"] ["Materials Science","Computer Science"] ["Chemistry"] ["Computer Science","Engineering"] ["Engineering","Computer Science"] ["Computer Science"] ["Computer Science","Mathematics"] ["Computer Science"] ["Computer Science"] ["Computer Science"] ["Mathematics","Computer Science"] ["Computer Science"] ["Computer Science"]
2006 2012 2013 2010 2008 2020 2009 2015 2010 2014 2010 2003 2014 2008 2019 2015 2018 2016 2011 2014 2003 2018 2015 2010 2009 2010 2018 2015 2009 2012 2019 2015 2018 2007 2008 2019 2013 2008 2010 2019 2013 2015 2014 2012 2017 2007 2018 2013 2009 2010 2017 2015 2017
COMPSAC Workshops BCI The Art and Science of Analyzing Software Data ICSOB RE SoMeT ICSE Companion COMPSAC (1) MSR FOSE CASE ASSETS HCI (1) ICST Workshops ArXiv IEEE Transactions on Pattern Analysis and Machine Intelligence IEEE Transactions on Pattern Analysis and Machine Intelligence
https://api.semanticscholar.org/61ca854df3d5236756db93de37d57e5f26103ee2 https://api.semanticscholar.org/e5b7740d7ca905ea30636c8910ec3096577073a4 https://api.semanticscholar.org/825c43b9bc285412ff9a33bb388fe88592a9193b https://api.semanticscholar.org/295d81688976003c90d7b0ff28502b97ba6855fd https://api.semanticscholar.org/f07910c5d86cc30b60730b6c2d08e1ac47df52d6 https://api.semanticscholar.org/70d7e7f52ea1a37688336b74d2e85a639d5d78d7 https://api.semanticscholar.org/93c9064f9672eb43772d298de2651a7221f8d2ba https://api.semanticscholar.org/4a0d96b8dfe0641dad3c07fc1b8dcb61789c46f1 https://api.semanticscholar.org/3beafa3b82f94df95a9cd30a77bc7c257d85a85a https://api.semanticscholar.org/965fe461e4e2bdeff76ad5078799ffc886c8342f https://api.semanticscholar.org/73e7d65eb3f00cc20b46bcc85d9ec88732053e09 https://api.semanticscholar.org/d53089dc4f8018ca16bc306d23f0cda0a117ff0e https://api.semanticscholar.org/6783f8d4020e7e263bf5616c263aa80f5e89b66f https://api.semanticscholar.org/7d9b1f8730e9e894012a5301864737c43610c45b https://api.semanticscholar.org/05703805c35c6ee3c64551802bca15b6e53a31fa https://api.semanticscholar.org/cec34800e8145dc46c8c33342c3320caa40e3ca8 https://api.semanticscholar.org/b1c126550990af82b456bd6cb1668de9ec6e94f9 https://api.semanticscholar.org/a17bffd52795f3efaf745693f930d8382edf2a37 https://api.semanticscholar.org/21801b6f32133435883f5f5131be3b42e5d99ea0 https://api.semanticscholar.org/4b9a8b0196f630ecb40dc7b56d4c45362d620664 https://api.semanticscholar.org/a22a27a5c5ef7e31b8c5c798e68e68365a2a2cb6 https://api.semanticscholar.org/08c3ba2605116b8ec10ebfdbf1daba779b7b58fe https://api.semanticscholar.org/b5c490538d4fbecd5b60b1d6730807d543d14730 https://api.semanticscholar.org/581e6a3ace920a22226d2fb6f8db6f8c1754a5f5 https://api.semanticscholar.org/3055902d105491c586e950fe0bde1ffbe839a707 https://api.semanticscholar.org/5a881cd7756dad5fd199418e4034bc7a5dd94695 https://api.semanticscholar.org/3b16bbaa58f7d8e70a6b3be78f57b61934c2b43f https://api.semanticscholar.org/8d27857bda59734dff63e6fe594206484003c4b9 https://api.semanticscholar.org/cf90e5c6a7a16444264eeeec8007b9d882f6690c https://api.semanticscholar.org/ac8790195317025faa742c460551a3b6c8047e4b https://api.semanticscholar.org/3ee932d94d2c0df593e1ca692cdbf659863646b1 https://api.semanticscholar.org/171d2f51051f177ff3e8b188bdc2b5197dae4e5d https://api.semanticscholar.org/aa69efa3209496fd6482794b2d79441d8a61a573 https://api.semanticscholar.org/1cb2aa3cf21bfd5639cd9a0d4fb8f4de36755b4d https://api.semanticscholar.org/2d69014c0d601c202f0c33dde2f646e8f31183c5 https://api.semanticscholar.org/97a17753855215ecb93fa3228073ad91d59de021 https://api.semanticscholar.org/f2c8322cc8d2f37a666f12ee252ffd27622a68f9 https://api.semanticscholar.org/f0c0938dcb6722a17965bfa645cd27b5b304d55c https://api.semanticscholar.org/2a1768932558564ada1fea1fcc1de2b4bccfbb80 https://api.semanticscholar.org/096fb5dd30d166bdd0f1f92d23bf00ed2d6a9aa5 https://api.semanticscholar.org/6ff30aec8196510717da7a42cce0c0a66418f53f https://api.semanticscholar.org/18fed3ced7bc594e45695d7fbd4fbd0e57ce6c88 https://api.semanticscholar.org/6734f563d1e9636f825e5c832eedcb6d75ce6fcc https://api.semanticscholar.org/6275412dbd5d3a9105ca588c87d3cc0db8891aa4 https://api.semanticscholar.org/2ae70701b7d9020c0472f9d5ea4fc20a1012b79c https://api.semanticscholar.org/f45632bee2af14186ee7d11b5a34ed06ed3f7543 https://api.semanticscholar.org/c1386ba00ea04614ca5245be0f1793a183fcd705 https://api.semanticscholar.org/341e0cd25b819f59079fc9f191d17627ba140a72 https://api.semanticscholar.org/67f2faf7444f26fe4234911543d74e816748fa4d https://api.semanticscholar.org/85bb913f5a92838c6fdaa9eb6ce5707c2ed65865 https://api.semanticscholar.org/e0ec5f174c48739466f6d3e92ff08ae4984c5a37 https://www.semanticscholar.org/paper/2e942d19333651bf6012374ea9e78d6937fd33ac https://www.semanticscholar.org/paper/cbb19236820a96038d000dc629225d36e0b6294a https://www.semanticscholar.org/paper/b0c065cd43aa7280e766b5dcbcc7e26abce59330